title: Measurement Based Quantum Computation on Fractal Lattices

abstract: In this article we extend on work which establishes an analology between one-way quantum computation and thermodynamics to see how the former can be performed on fractal lattices. We find fractals lattices of arbitrary dimension greater than one which do all act as good resources for one-way quantum computation, and sets of fractal lattices with dimension greater than one all of which do not. The difference is put down to other topological factors such as ramification and connectivity. This work adds confidence to the analogy and highlights new features to what we require for universal resources for one-way quantum computation.


title: Instability by Chern-Simons and/or Transgressions

abstract: It was demonstrated recently that there is an upper bound of the Chern-Simons coupling of the five-dimensional Einstein-Maxwell theory, beyond which the electrically charged AdS_2 \times S^3 vacuum solution becomes unstable. We generalize the result to a general class of gravity theories involving Chern-Simons and/or transgression terms and find their upper bounds for stability. We show that supergravities with AdS \times Sphere vacua satisfy the bounds.


title: Classification of delocalization power of global unitary operations in terms of LOCC one-piece relocalization

abstract: We study how two pieces of localized quantum information can be delocalized across a composite Hilbert space when a global unitary operation is applied. We classify the delocalization power of global unitary operations on quantum information by investigating the possibility of relocalizing one piece of the quantum information without using any global quantum resource. We show that one-piece relocalization is possible if and only if the global unitary operation is local unitary equivalent of a controlled-unitary operation. The delocalization power turns out to reveal different aspect of the non-local properties of global unitary operations characterized by their entangling power.


title: Long-term monitoring of LS I+61303 with INTEGRAL

abstract: LS I+61303 is one of the few high-mass X-ray binaries that have been recently observed at TeV and GeV energies. Here we investigate the hard X-ray spectral and timing properties of this source using the IBIS/ISGRI instrument on-board the INTEGRAL satellite. We carry out a systematic analysis based on all available INTEGRAL data since December 28, 2002 up to April 30, 2008. The total exposure time analyzed amounts to 2.1 Ms, hence more than doubling the previous reported sample. The source is best detected in the 18-60 keV band, with a significance level of 12.0 sigma. The hard X-ray data are best fit with a simple power law with a photon index of ~ 1.7+-0.2. We detect a periodical signal at 27 +- 4 days, matching the orbital period of 26.496 days previously reported at other wavelengths. The hard X-rays orbital lightcurve is obtained and compared with those derived at other frequencies.


title: Turing Automata and Graph Machines

abstract: Indexed monoidal algebras are introduced as an equivalent structure for self-dual compact closed categories, and a coherence theorem is proved for the category of such algebras. Turing automata and Turing graph machines are defined by generalizing the classical Turing machine concept, so that the collection of such machines becomes an indexed monoidal algebra. On the analogy of the von Neumann data-flow computer architecture, Turing graph machines are proposed as potentially reversible low-level universal computational devices, and a truly reversible molecular size hardware model is presented as an example.


title: Causality and the Semantics of Provenance

abstract: Provenance, or information about the sources, derivation, custody or history of data, has been studied recently in a number of contexts, including databases, scientific workflows and the Semantic Web. Many provenance mechanisms have been developed, motivated by informal notions such as influence, dependence, explanation and causality. However, there has been little study of whether these mechanisms formally satisfy appropriate policies or even how to formalize relevant motivating concepts such as causality. We contend that mathematical models of these concepts are needed to justify and compare provenance techniques. In this paper we review a theory of causality based on structural models that has been developed in artificial intelligence, and describe work in progress on using causality to give a semantics to provenance graphs.


title: Equilibrium and Termination

abstract: We present a reduction of the termination problem for a Turing machine (in the simplified form of the Post correspondence problem) to the problem of determining whether a continuous-time Markov chain presented as a set of Kappa graph-rewriting rules has an equilibrium. It follows that the problem of whether a computable CTMC is dissipative (ie does not have an equilibrium) is undecidable.


title: Algebraic characterisation of one-way patterns

abstract: We give a complete structural characterisation of the map the positive branch of a one-way pattern implements. We start with the representation of the positive branch in terms of the phase map decomposition, which is then further analysed to obtain the primary structure of the matrix M, representing the phase map decomposition in the computational basis. Using this approach we obtain some preliminary results on the connection between the columns structure of a given unitary and the angles of measurements in a pattern that implements it. We believe this work is a step forward towards a full characterisation of those unitaries with an efficient one-way model implementation.


title: The space of measurement outcomes as a spectrum for non-commutative algebras

abstract: Bohrification defines a locale of hidden variables internal in a topos. We find that externally this is the space of partial measurement outcomes. By considering the double negation sheafification, we obtain the space of measurement outcomes which coincides with the spectrum for commutative C*-algebras.


title: Semantics of a Typed Algebraic Lambda-Calculus

abstract: Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We sketch the relation with two established vectorial lambda-calculi. Then we study the problems arising from the addition of a fixed point combinator and how to modify the equational theory to solve them. We sketch an algebraic vectorial PCF and its possible denotational interpretations.


title: Computing by Means of Physics-Based Optical Neural Networks

abstract: We report recent research on computing with biology-based neural network models by means of physics-based opto-electronic hardware. New technology provides opportunities for very-high-speed computation and uncovers problems obstructing the wide-spread use of this new capability. The Computation Modeling community may be able to offer solutions to these cross-boundary research problems.


title: Distortion Outage Probability in MIMO Block-Fading Channels

abstract: We study analogue source transmission over MIMO block-fading channels with receiver-only channel state information. Unlike previous work which considers the end-to-end expected distortion as a figure of merit, we study the distortion outage probability. We first consider the well known transmitter informed bound, which yields a benchmark lower bound to the distortion outage probability of any coding scheme. We next compare the results with source-channel separation. The key difference from the expected distortion approach is that if the channel code rate is chosen appropriately, source-channel separation can not only achieve the same diversity exponent, but also the same distortion outage probability as the transmitter informed lower bound.


title: Borel generators

abstract: We use the notion of Borel generators to give alternative methods for computing standard invariants, such as associated primes, Hilbert series, and Betti numbers, of Borel ideals. Because there are generally few Borel generators relative to ordinary generators, this enables one to do manual computations much more easily. Moreover, this perspective allows us to find new connections to combinatorics involving Catalan numbers and their generalizations. We conclude with a surprising result relating the Betti numbers of certain principal Borel ideals to the number of pointed pseudo-triangulations of particular planar point sets.


title: $B^{(*)}\bar B^{(*)}$ intermediate state contribution to $\Upsilon(4S,5S)\to \eta_b+\gamma$ radiative decay

abstract: In this work, we investigate the re-scattering effects in the radiative decay $\Upsilon(5S)\to\eta_b+\gamma$, which were suggested to be crucially important for understanding the anomalous largeness of the branching ratios $B(\Upsilon(5S)\to \Upsilon(1S)+\pi\pi)$ and $B(\Upsilon(5S)\to \Upsilon(1S)+\eta)$. Our calculations show that the re-scattering effects may enhance $\Gamma(\Upsilon(10860)\to \eta_b+\gamma)$ by four orders, but the tetraquark structure does not. Recently the BaBar and CLEO collaborations have measured the mass of ${\eta_b}$ and the branching ratios $\mathcal{B}(\Upsilon(2S)\rightarrow\eta_b+\gamma)$, $\mathcal{B}(\Upsilon(3S)\rightarrow\eta_b+\gamma)$. We hope that very soon, $\Upsilon(10860)\to \eta_b+\gamma$ will be measured and it would be an ideal opportunity for testing whether the re-scattering or the tetraquark structure is responsible for the anomaly of $\mathcal{B}\big(\Upsilon(5S)\rightarrow\Upsilon(nS)\pi^+\pi^- (n=1,2,3)\big)$, $i.e.$, the future measurements on the radiative decays of $\Upsilon(5S)$ might be a touchstone of the two mechanisms.


title: Semiclassical dynamics of quasi-one-dimensional, attractive Bose-Einstein condensates

abstract: The strongly interacting regime for attractive Bose-Einstein condensates (BECs) tightly confined in an extended cylindrical trap is studied. For appropriately prepared, non-collapsing BECs, the ensuing dynamics are found to be governed by the one-dimensional focusing Nonlinear Schr\"odinger equation (NLS) in the semiclassical (small dispersion) regime. In spite of the modulational instability of this regime, some mathematically rigorous results on the strong asymptotics of the semiclassical limiting solutions were obtained recently. Using these results, "implosion-like" and "explosion-like" events are predicted whereby an initial hump focuses into a sharp spike which then expands into rapid oscillations. Seemingly related behavior has been observed in three-dimensional experiments and models, where a BEC with a sufficient number of atoms undergoes collapse. The dynamical regimes studied here, however, are not predicted to undergo collapse. Instead, distinct, ordered structures, appearing after the "implosion", yield interesting new observables that may be experimentally accessible.


title: Nonlinearity of Mechanochemical Motions in Motor Proteins

abstract: The assumption of linear response of protein molecules to thermal noise or structural perturbations, such as ligand binding or detachment, is broadly used in the studies of protein dynamics. Conformational motions in proteins are traditionally analyzed in terms of normal modes and experimental data on thermal fluctuations in such macromolecules is also usually interpreted in terms of the excitation of normal modes. We have chosen two important protein motors - myosin V and kinesin KIF1A - and performed numerical investigations of their conformational relaxation properties within the coarse-grained elastic network approximation. We have found that the linearity assumption is deficient for ligand-induced conformational motions and can even be violated for characteristic thermal fluctuations. The deficiency is particularly pronounced in KIF1A where the normal mode description fails completely in describing functional mechanochemical motions. These results indicate that important assumptions of the theory of protein dynamics may need to be reconsidered. Neither a single normal mode, nor a superposition of such modes yield an approximation of strongly nonlinear dynamics.


title: A Comprehensive Analysis of Electric Dipole Moment Constraints on CP-violating Phases in the MSSM

abstract: We analyze the constraints placed on individual, flavor diagonal CP-violating phases in the minimal supersymmetric extension of the Standard Model (MSSM) by current experimental bounds on the electric dipole moments (EDMs) of the neutron, Thallium, and Mercury atoms. We identify the four CP-violating phases that are individually highly constrained by current EDM bounds, and we explore how these phases and correlations among them are constrained by current EDM limits. We also analyze the prospective implications of the next generation of EDM experiments. We point out that all other CP-violating phases in the MSSM are not nearly as tightly constrained by limits on the size of EDMs. We emphasize that a rich set of phenomenological consequences is potentially associated with these generically large EDM-allowed phases, ranging from B physics, electroweak baryogenesis, and signals of CP-violation at the CERN Large Hadron Collider and at future linear colliders. Our numerical study takes into account the complete set of contributions from one- and two-loop EDMs of the electron and quarks, one- and two-loop Chromo-EDMs of quarks, the Weinberg 3-gluon operator, and dominant 4-fermion CP-odd operator contributions, including contributions which are both included and not included yet in the CPsuperH2.0 package. We also introduce an open-source numerical package, 2LEDM, which provides the complete set of two-loop electroweak diagrams contributing to the electric dipole moments of leptons and quarks.


title: Deterministic Random Walks on Regular Trees

abstract: Jim Propp's rotor router model is a deterministic analogue of a random walk on a graph. Instead of distributing chips randomly, each vertex serves its neighbors in a fixed order. Cooper and Spencer (Comb. Probab. Comput. (2006)) show a remarkable similarity of both models. If an (almost) arbitrary population of chips is placed on the vertices of a grid $\Z^d$ and does a simultaneous walk in the Propp model, then at all times and on each vertex, the number of chips on this vertex deviates from the expected number the random walk would have gotten there by at most a constant. This constant is independent of the starting configuration and the order in which each vertex serves its neighbors. This result raises the question if all graphs do have this property. With quite some effort, we are now able to answer this question negatively. For the graph being an infinite $k$-ary tree ($k \ge 3$), we show that for any deviation $D$ there is an initial configuration of chips such that after running the Propp model for a certain time there is a vertex with at least $D$ more chips than expected in the random walk model. However, to achieve a deviation of $D$ it is necessary that at least $\exp(\Omega(D^2))$ vertices contribute by being occupied by a number of chips not divisible by $k$ at a certain time.


title: First law of thermodynamics on holographic screens in entropic force frame

abstract: By following the spirit of Verlinde's entropic force proposal arXiv:1001.0785, we give the differential and integral form of the first law of thermodynamics on the holographic screen enclosing a spherical symmetric black hole. It is consistent with equipartition principle and the form of Komar mass. The entropy of the holographic screen determines its area, i. e. $S=\frac{A}{4}$. And then we express the metric by thermodynamic variables, to give an illustration of how the space is foliated by the thermodynamical potentials.


title: Smoothed Analysis of Balancing Networks

abstract: In a balancing network each processor has an initial collection of unit-size jobs (tokens) and in each round, pairs of processors connected by balancers split their load as evenly as possible. An excess token (if any) is placed according to some predefined rule. As it turns out, this rule crucially affects the performance of the network. In this work we propose a model that studies this effect. We suggest a model bridging the uniformly-random assignment rule, and the arbitrary one (in the spirit of smoothed-analysis). We start with an arbitrary assignment of balancer directions and then flip each assignment with probability $\alpha$ independently. For a large class of balancing networks our result implies that after $\Oh(\log n)$ rounds the discrepancy is $\Oh( (1/2-\alpha) \log n + \log \log n)$ with high probability. This matches and generalizes known upper bounds for $\alpha=0$ and $\alpha=1/2$. We also show that a natural network matches the upper bound for any $\alpha$.


title: Regularity of Canonical and Deficiency modules for Monomial ideals

abstract: We show that the Castelnuovo--Mumford regularity of the canonical or a deficiency module of the quotient of a polynomial ring by a monomial ideal is bounded by its dimension.


title: Instabilities and Oscillations in Isotropic Active Gels

abstract: We present a generic formulation of the continuum elasticity of an isotropic crosslinked active gel. The gel is described by a two-component model consisting of an elastic network coupled frictionally to a permeating fluid. Activity is induced by active crosslinkers that undergo an ATP-activated cycle and transmit forces to the network. The on/off dynamics of the active crosslinkers is described via rate equations for unbound and bound motors. For large activity motors yield a contractile instability of the network. At smaller values of activity, the on/off motor dynamics provides an effective inertial drag on the network that opposes elastic restoring forces, resulting in spontaneous oscillations. Our work provides a continuum formulation that unifies earlier microscopic models of oscillations in muscle sarcomeres and a generic framework for the description of the large scale properties of isotropic active solids.


title: High-energy asymptotics of the spectrum of a periodic square-lattice quantum graph

abstract: We investigate a periodic quantum graph in form of a square lattice with a general self-adjoint coupling at the vertices. We analyze the spectrum, in particular, its high-energy behaviour. Depending on the coupling type, bands and gaps have different asymptotics. Bands may be flat even if the edges are coupled, and non-flat band widths may behave as $\mathcal{O}(n^j),\, j=1,0,-1,-2,-3$, as the band index $n\to\infty$. The gaps may be of asymptotically constant width or linearly growing with the latter case being generic.


title: Quantum Limits of Thermometry

abstract: The precision of typical thermometers consisting of $N$ particles is shot noise limited, improving as $\sim1/\sqrt{N}$. For high precision thermometry and thermometric standards this presents an important theoretical noise floor. Here it is demonstrated that thermometry may be mapped onto the problem of phase estimation, and using techniques from optimal phase estimation, it follows that the scaling of the precision of a thermometer may in principle be improved to $\sim1/N$, representing a Heisenberg limit to thermometry.


title: Study light scalar meson property from heavy meson decays

abstract: In the SU(3) symmetry limit, the ratio $R\equiv\frac{{\cal B}(D^+\to f_0l^+\nu)+ {\cal B}(D^+\to \sigma l^+\nu)}{{\cal B}(D^+\to a_0^0l^+\nu)}$ is equal to 1 if the scalar mesons are $\bar qq$ states, while it is 3 if these mesons are tentraquark states. This ratio provides a model-independent way to distinguish the descriptions for light scalar mesons . It also applies to the $B^-\to Sl^-\bar\nu$ and $\bar B^0\to J/\psi(\eta_c) S$ decays. The SU(3) symmetry breaking effect is found to be under control, which will not spoil our method. The branching fractions of the $D^+\to S l^+\nu$, $B^-\to S l^-\bar\nu$ and $\bar B^0\to J/\psi(\eta_c) S$ decays roughly have the order $10^{-4}$, $10^{-5}$ and $10^{-6}$, respectively. The B factory experiments and ongoing BEPC-II experiments are able to measure these channels and accordingly to provide the detailed information of the scalar meson inner structure.


title: On Secure Workflow Decentralisation on the Internet

abstract: Decentralised workflow management systems are a new research area, where most work to-date has focused on the system's overall architecture. As little attention has been given to the security aspects in such systems, we follow a security driven approach, and consider, from the perspective of available security building blocks, how security can be implemented and what new opportunities are presented when empowering the decentralised environment with modern distributed security protocols. Our research is motivated by a more general question of how to combine the positive enablers that email exchange enjoys, with the general benefits of workflow systems, and more specifically with the benefits that can be introduced in a decentralised environment. This aims to equip email users with a set of tools to manage the semantics of a message exchange, contents, participants and their roles in the exchange in an environment that provides inherent assurances of security and privacy. This work is based on a survey of contemporary distributed security protocols, and considers how these protocols could be used in implementing a distributed workflow management system with decentralised control . We review a set of these protocols, focusing on the required message sequences in reviewing the protocols, and discuss how these security protocols provide the foundations for implementing core control-flow, data, and resource patterns in a distributed workflow environment.


title: Separating Agent-Functioning and Inter-Agent Coordination by Activated Modules: The DECOMAS Architecture

abstract: The embedding of self-organizing inter-agent processes in distributed software applications enables the decentralized coordination system elements, solely based on concerted, localized interactions. The separation and encapsulation of the activities that are conceptually related to the coordination, is a crucial concern for systematic development practices in order to prepare the reuse and systematic integration of coordination processes in software systems. Here, we discuss a programming model that is based on the externalization of processes prescriptions and their embedding in Multi-Agent Systems (MAS). One fundamental design concern for a corresponding execution middleware is the minimal-invasive augmentation of the activities that affect coordination. This design challenge is approached by the activation of agent modules. Modules are converted to software elements that reason about and modify their host agent. We discuss and formalize this extension within the context of a generic coordination architecture and exemplify the proposed programming model with the decentralized management of (web) service infrastructures.


title: Quantum capacitance: a microscopic derivation

abstract: We start from microscopic approach to many body physics and show the analytical steps and approximations required to arrive at the concept of quantum capacitance. These approximations are valid only in the semi-classical limit and the quantum capacitance in that case is determined by Lindhard function. The effective capacitance is the geometrical capacitance and the quantum capacitance in series, and this too is established starting from a microscopic theory.


title: Entanglement dynamics in open two-qubit systems via diffusive quantum trajectories

abstract: We use quantum diffusive trajectories to prove that the time evolution of two-qubit entanglement under spontaneous emission can be fully characterized by optimal continuous monitoring. We analytically determine this optimal unraveling and derive a deterministic evolution equation for the system's concurrence. Furthermore, we propose an experiment to monitor the entanglement dynamics in bipartite two-level systems and to determine the disentanglement time from a single trajectory.


title: Backward stochastic viability property with jumps and applications to the comparison theorem for multidimensional BSDEs with jumps

abstract: In this paper, we study conditions under which the solutions of a backward stochastic differential equation with jump remains in a given set of constrains. This property is the so-called "viability property". As an application, we study the comparison theorem for multidimensional BSDEs with jumps.


title: On the comparison theorem for multidimensional SDEs with jumps

abstract: In this note, we give a necessary and sufficient condition under which the comparison theorem holds for multidimensional stochastic differential equations (SDEs) with jumps and for matrix-valued SDEs with jumps.


title: Viscosity solutions to second order parabolic PDEs on Riemannian manifolds

abstract: In this work we consider viscosity solutions to second order parabolic PDEs $u_{t}+F(t,x,u,du,d^{2}u)=0$ defined on compact Riemannian manifolds with boundary conditions. We prove comparison, uniqueness and existence results for the solutions. Under the assumption that the manifold $M$ has nonnegative sectional curvature, we get the finest results. If one additionally requires $F$ to depend on $d^{2}u$ in a uniformly continuous manner, the assumptions on curvature can be thrown away.


title: F4 Algorithm For Euclidean Rings

abstract: This short note is the generalization of Faugere F4-algorithm for polynomial rings with coefficients in Euclidean rings. This algorithm computes successively a Groebner basis replacing the reduction of one single s-polynomial in Buchberger's algorithm by the simultaneous reduction of several polynomials.


title: Field dependent dynamics in the metallic regime of the half-filled Hubbard model

abstract: A systematic study of the effect of magnetic field (h) on Hubbard model has been carried out at half filling within dynamical mean field theory. In agreement with previous studies, we find a zero temperature itinerant metamagnetic transition, reflected in the discontinuous changes in magnetization as well as in the hysteresis, from a paramagnetic (PM) metallic state to a polarized quasi-ferromagnetic (QFM) state, at intermediate and large interaction strength ($U$). The jump in magnetization vanishes smoothly with decreasing interaction strength, and at a critical $U$, the transition becomes continuous. The region of `coexistence' of the PM and QFM solutions in the field-$U$ plane obtained in this study agrees quantitatively with recent numerical renormalization group calculations, thus providing an important benchmark. We highlight the changes in dynamics and quasiparticle weight across this transition. The effective mass increases sharply as the transition is approached, exhibiting a cusp-like singularity at the critical field,and decreases with field monotonically beyond the transition. We conjecture that the first order metamagnetic transition is a result of the competition between Kondo screening, that tries to quench the local moments, and Zeeman coupling, which induces polarization and hence promotes local moment formation. A comparison of our theoretical results with experiments on $^{3}He$ indicate that, a theory of $^{3}He$ based on the half-filled Hubbard model places it in a regime of intermediate interaction strength.


title: Higgs Boson Sector of the Next-to-MSSM with CP Violation

abstract: We perform a comprehensive study of the Higgs sector in the framework of the next-to-minimal supersymmetric standard model with CP-violating parameters in the superpotential and in the soft-supersymmetry-breaking sector. Since the CP is no longer a good symmetry, the two CP-odd and the three CP-even Higgs bosons of the next-to-minimal supersymmetric standard model in the CP-conserving limit will mix. We show explicitly how the mass spectrum and couplings to gauge bosons of the various Higgs bosons change when the CP-violating phases take on nonzero values. We include full one-loop and the logarithmically enhanced two-loop effects employing the renormalization-group (RG) improved approach. In addition, the LEP limits, the global minimum condition, and the positivity of the square of the Higgs-boson mass have been imposed. We demonstrate the effects on the Higgs-mass spectrum and the couplings to gauge bosons with and without the RG-improved corrections. Substantial modifications to the allowed parameter space happen because of the changes to the Higgs-boson spectrum and their couplings with the RG-improved corrections. Finally, we calculate the mass spectrum and couplings of the few selected scenarios and compare to the previous results in literature where possible; in particular, we illustrate a scenario motivated by electroweak baryogenesis.


title: Effect of pressure on magnetization and magnetostriction jumps in the manganite Eu$_{0.58}$Sr$_{0.42}$MnO$_{3}$

abstract: We have demonstrated the effect of pressure on magnetization jump and its associated magnetostriction in Eu$_{0.58}$Sr$_{0.42}$MnO$_{3}$. The critical field lowered by the applied pressure is explained by a suppression of the metastable blocked state, which is inherent to the phase separated manganite system exhibiting the magnetic avalanche. To reduce a factor of the bad thermal coupling in the bulk sample, and to further examine the nature of the magnetization jump, we have performed the influence of pressure on the isothermal magnetization of the powder sample. There is no discrepancy in the critical field between the bulk and powder samples although the $MH$ curve of the latter is not saturated at high fields. These findings indicate a crucial role of the frozen phase separated state in the abrupt transition.


title: Bounds for the Ratios of Differences of Power Means in Two Arguments

abstract: Using methods from classical analysis, sharp bounds for the ratio of differences of Power Means are obtained. Our results generalize and extend previous ones due to S. Wu(2005), and to S. Wu and L. Debnath.


title: Some Discussion on Thermodynamical Behaviour of Modified Chaplygin Gas

abstract: On going good number of research works establish Modified Chaplygin Gas as one one of the most favoured candidates of Dark Energy. In our present work, new bound on the parameter space of associated model - parameter has been worked out with new explanation. Moreover, the explicit relation between the mysterious state parameter $w$ and scale factor $a(t)$ has been derived.


title: Nonlinear interfacial waves in a constant-vorticity planar flow over variable depth

abstract: Exact Lagrangian in compact form is derived for planar internal waves in a two-fluid system with a relatively small density jump (the Boussinesq limit taking place in real oceanic conditions), in the presence of a background shear current of constant vorticity, and over arbitrary bottom profile. Long-wave asymptotic approximations of higher orders are derived from the exact Hamiltonian functional in a remarkably simple way, for two different parametrizations of the interface shape.


title: On the self-similar motion of a gravitating Chaplygin fluid

abstract: A self-similar motion of the generalized Chaplygin gas in its own gravitational field is considered. The problem is being studied numerically and analytically (in the limiting cases). It is shown that the model under consideration admits only expanding solutions. As the astrophysical application of the model, a description of rotating curves of spiral galaxies is suggested by using the analytical solutions obtained in the paper.


title: Schubert calculus and singularity theory

abstract: Schubert calculus has been in the intersection of several fast developing areas of mathematics for a long time. Originally invented as the description of the cohomology of homogeneous spaces it has to be redesigned when applied to other generalized cohomology theories such as the equivariant, the quantum cohomology, K-theory, and cobordism. All this cohomology theories are different deformations of the ordinary cohomology. In this note we show that there is in some sense the universal deformation of Schubert calculus which produces the above mentioned by specialization of the appropriate parameters. We build on the work of Lerche Vafa and Warner. The main conjecture there was that the classical cohomology of a hermitian symmetric homogeneous manifold is a Jacobi ring of an appropriate potential. We extend this conjecture and provide a simple proof. Namely we show that the cohomology of the hermitian symmetric space is a Jacobi ring of a certain potential and the equivariant and the quantum cohomology and K-theory is a Jacobi ring of a particular deformation of this potential. This suggests to study the most general deformations of the Frobenius algebra of cohomology of these manifolds by considering the versal deformation of the appropriate potential. The structure of the Jacobi ring of such potential is a subject of well developed singularity theory. This gives a potentially new way to look at the classical, the equivariant, the quantum and other flavors of Schubert calculus.


title: Positivity and vanishing theorems for ample vector bundles

abstract: In this paper, we study the Nakano-positivity and dual-Nakano-positivity of certain adjoint vector bundles associated to ample vector bundles. As applications, we get new vanishing theorems about ample vector bundles. For example, we prove that if $E$ is an ample vector bundle over a compact K\"ahler manifold $X$, $S^kE\ts \det E$ is both Nakano-positive and dual-Nakano-positive for any $k\geq 0$. Moreover, $H^{n,q}(X,S^kE\ts \det E)=H^{q,n}(X,S^kE\ts \det E)=0$ for any $q\geq 1$. In particular, if $(E,h)$ is a Griffiths-positive vector bundle, the naturally induced Hermitian vector bundle $(S^kE\ts \det E, S^kh\ts \det h)$ is both Nakano-positive and dual-Nakano-positive for any $k\geq 0$.


title: Annihilators for cusp forms of weight 2 and level $4p^m$

abstract: Added a short section to show as to calculate the $p$-term of the Hasse-Weil $L$-function of certain modular curves.


title: Modified Jacobi forms of index zero

abstract: By modifying a slash operator of index zero we define \textit{modified Jacobi forms} of \textit{index zero}. Such forms play a role of generating nearly holomorphic modular forms of integral weight. Furthermore, by observing a relation between the coefficients of Fourier development of a modified Jacobi form we construct a family of finite-dimensional subspaces.


title: Geometric phase with nonunitary evolution in presence of a quantum critical bath

abstract: Geometric phases, arising from cyclic evolutions in a curved parameter space, appear in a wealth of physical settings. Recently, and largely motivated by the need of an experimentally realistic definition for quantum computing applications, the quantum geometric phase was generalized to open systems. The definition takes a kinematical approach, with an initial state that is evolved cyclically but coupled to an environment --- leading to a correction of the geometric phase with respect to the uncoupled case. We obtain this correction by measuring the nonunitary evolution of the reduced density matrix of a spin one-half coupled to an environment. In particular, we consider a bath that can be tuned near a quantum phase transition, and demonstrate how the criticality information imprinted in the decoherence factor translates into the geometric phase. The experiments are done with a NMR quantum simulator, in which the critical environment is modeled using a one-qubit system.


title: A modularity criterion for Klein forms, with an application to modular forms of level $13$

abstract: We find some modularity criterion for a product of Klein forms of the congruence subgroup $\Gamma_1(N)$ and, as its application, construct a basis of the space of modular forms for $\Gamma_1(13)$ of weight $2$. In the process we face with an interesting property about the coefficients of certain theta function from a quadratic form and prove it conditionally by applying Hecke operators.


title: Observational constraints on the nature of very short gamma-ray bursts

abstract: We discuss a very peculiar subgroup of gamma-ray bursts among the BATSE sources. These bursts are very short ($T_{90} \le $0.1 s), hard, and came predominantly from a restricted direction of the sky (close to the Galactic anti-center). We analyze their arrival times and possible correlations, as well as the profiles of individual bursts. We find no peculiarities in the arrival times of Very Short Bursts (VSBs) despite their highly non-uniform spatial distribution. There is no dependence in the burst shapes on location. Bursts coming both from the burst-enhancement Galactic Anticenter region and from all other directions show considerable dispersion in their rise and fall times. Significant fraction of VSBs have multiple peaks despite their extremely short duration. Burst time properties are most likely to be consistent with two origin mechanisms: either with binary NS-NS mergers with low total masses passing through a phase of hypermassive neutron star, or with evaporation of the primordial black holes in the scenario of no photosphere formation.


title: Quantum Szilard Engine

abstract: The Szilard engine (SZE) is the quintessence of Maxwell's demon, which can extract the work from a heat bath by utilizing information. We present the first complete quantum analysis of the SZE, and derive an analytic expression of the quantum-mechanical work performed by a quantum SZE containing an arbitrary number of molecules, where it is crucial to regard the process of insertion or removal of a wall as a legitimate thermodynamic process. We find that more (less) work can be extracted from the bosonic (fermionic) SZE due to the indistinguishability of identical particles.


title: The physical meaning of the de Sitter invariants

abstract: We study the Lie algebras of the covariant representations transforming the matter fields under the de Sitter isometries. We point out that the Casimir operators of these representations can be written in closed forms and we deduce how their eigenvalues depend on the field's rest energy and spin. For the scalar, vector and Dirac fields, which have well-defined field equations, we express these eigenvalues in terms of mass and spin obtaining thus the principal invariants of the theory of free fields on the de Sitter spacetime. We show that in the flat limit we recover the corresponding invariants of the Wigner irreducible representations of the Poincare group.


title: XMASS

abstract: The XMASS detector is a large single phase liquid Xenon scintillator.After its feasibility had been studied using a 100 kg size prototype detector, an 800 kg size detector is being built for dark matter search with the sensitivity of $10^{-45} {\rm cm}^2$ region in spin-independent cross section. The results of R\&D study for 800 kg detector, especially ultra low background technologies, and the prospects of the experiment are described.


title: Cubic surfaces with a Galois invariant pair of Steiner trihedra

abstract: We present a method to construct non-singular cubic surfaces over $\bbQ$ with a Galois invariant pair of Steiner trihedra. We start with cubic surfaces in a form generalizing that of A. Cayley and G. Salmon. For these, we develop an explicit version of Galois descent.


title: True 3D imaging with monocular cues using holographic stereography

abstract: A quantitative condition is derived to evaluate the monocular accommodation in holographic stereograms. We find that the reconstruction can be viewed as true-3D image when the whole scene is located in the monocular cues area, with compatible monocular cues and binocular cues. In contrast, it reveals incorrect monocular cues in the visible multi-imaging area and the lacking information area. To demonstrate our theoretical predictions, a pupil-function integral imaging algorithm is developed to simulate the mono-eye observation, and a holographic printing system is set up to fabricate the full-parallax holographic stereogram. Both simulation and experimental results match our theoretical predictions.


title: High luminosity interaction region design for collisions with detector solenoid

abstract: An innovatory interaction region has been recently conceived and realized on the Frascati DA{\Phi}NE lepton collider. The concept of tight focusing and small crossing angle adopted until now to achieve high luminosity in multibunch collisions has evolved towards enhanced beam focusing at the interaction point with large horizontal crossing angle, thanks to a new compensation mechanism for the beam-beam resonances. The novel configuration has been tested with a small detector without solenoidal field yielding a remarkable improvement in terms of peak as well as integrated luminosity. The high luminosity interaction region has now been modified to host a large detector with a strong solenoidal field which significantly perturbs the beam optics introducing new design challenges in terms of interaction region optics design, beam transverse coupling control and beam stay clear requirements


title: Hard exclusive electroproduction of rhoT at twist 3

abstract: Exclusive processes in hard electroproduction are one of the best place for understanding QCD in view of its factorization properties. In particular, in the limit of asymptotic gamma* p center of mass energy, they give an access to the perturbative Regge properties of QCD. The HERA experiment recently provided precise data for rho electroproduction, including all spin density matrix elements. From QCD, it is expected that such a process should factorize between a hard (calculable) coefficient function, and hadronic (p and rho) matrix elements. Such a factorization is up to now only proven for a longitudinaly polarized rho. Within the kt-factorization approach (valid at large gamma* p invariant mass), we evaluate the impact factor of the transition gamma* -> rhoT taking into account the twist 3 contributions. We show that a gauge invariant expression is obtained with the help of QCD equations of motion. More generally, relying on these equations and on the invariance under rotation on the light-cone of the factorized amplitude, the non-perturbative Distribution Amplitudes can be reduced to a minimal set. This opens the way to a consistent treatment of factorization for exclusive processes with a transversally polarized vector meson, and clarifies the equivalence of two proposed parametrizations of the rhoT distribution amplitudes, illustrated here by the gamma* -> rhoT impact factor.


title: Beta-decay properties of Zr and Mo neutron-rich isotopes

abstract: Gamow-Teller strength distributions, beta-decay half-lives, and beta-delayed neutron emission are investigated in neutron-rich Zr and Mo isotopes within a deformed quasiparticle random-phase approximation. The approach is based on a self-consistent Skyrme Hartree-Fock mean field with pairing correlations and residual separable particle-hole and particle-particle forces. Comparison with recent measurements of half-lives stresses the important role that nuclear deformation plays in the description of beta-decay properties in this mass region.


title: On the finite subgroups of U(3) of order smaller than 512

abstract: We use the SmallGroups Library to find the finite subgroups of U(3) of order smaller than 512 which possess a faithful three-dimensional irreducible representation. From the resulting list of groups we extract those groups that can not be written as direct products with cyclic groups. These groups are the basic building blocks for models based on finite subgroups of U(3). All resulting finite subgroups of SU(3) can be identified using the well known list of finite subgroups of SU(3) derived by Miller, Blichfeldt and Dickson at the beginning of the 20th century. Furthermore we prove a theorem which allows to construct infinite series of finite subgroups of U(3) from a special type of finite subgroups of U(3). This theorem is used to construct some new series of finite subgroups of U(3). The first members of these series can be found in the derived list of finite subgroups of U(3) of order smaller than 512. In the last part of this work we analyse some interesting finite subgroups of U(3), especially the group S_4(2)\cong A_4\rtimes Z_4, which is closely related to the important SU(3)-subgroup S_4.


title: Reduced Steenrod operations and resolution of singularities

abstract: We give a new construction of a weak form of Steenrod operations for Chow groups modulo a prime number p for a certain class of varieties. This class contains projective homogeneous varieties which are either split or over a field admitting some form of resolution of singularities, for example any field of characteristic not p. These reduced Steenrod operations are sufficient for some applications to the theory of quadratic forms.


title: Huygens-Fresnel principle for molecular continuum wave function

abstract: The asymptotic behavior of the molecular continuum wave function has been analyzed within a model of non-overlapping atomic potentials. It has been shown that the representation of the wave function far from a molecule as a plane wave and single spherical wave emitted by the molecular center cannot be corrected. Because of the multicenter character of the problem, the asymptotic form of the wave function according to the Huygens-Fresnel principle must contain N spherical waves with centers at the nuclei of the N atoms that form the molecule. A method of partial waves for a spherically non-symmetrical target is considered for the simplest multicenter target formed by two non-overlapping potentials. The results are compared with those obtained within the single spherical wave approximation. It has been shown that the use of this approximation is intrinsically conflicting, which is a direct consequence of refusal from the Huygens-Fresnel picture of the wave scattering process.


title: Duality and the topological filtration

abstract: We investigate some relations between the duality and the topological filtration in algebraic K-theory. As a result, we obtain a construction of the first Steenrod square for Chow groups modulo two of varieties over a field of arbitrary characteristic. This improves previously obtained results, in the sense that it is not anymore needed to mod out the image modulo two of torsion integral cycles. Along the way we construct a lifting of the first Steenrod square to algebraic connective K-theory with integral coefficients, and homological Adams operations in this theory. Finally we provide some applications to the Chow groups of quadrics.


title: Effects of impurities and vortices on the low-energy spin excitations in high-Tc materials

abstract: We review a theoretical scenario for the origin of the spin-glass phase of underdoped cuprate materials. In particular it is shown how disorder in a correlated d-wave superconductor generates a magnetic phase by inducing local droplets of antiferromagnetic order which eventually merge and form a quasi-long range ordered state. When correlations are sufficiently strong, disorder is unimportant for the generation of static magnetism but plays an additional role of pinning disordered stripe configurations. We calculate the spin excitations in a disordered spin-density wave phase, and show how disorder and/or applied magnetic fields lead to a slowing down of the dynamical spin fluctuations in agreement with neutron scattering and muon spin rotation (muSR) experiments.


title: Interferometric distillation and determination of unknown two-qubit entanglement

abstract: We propose a scheme for both distilling and quantifying entanglement, applicable to individual copies of an arbitrary unknown two-qubit state. It is realized in a usual two-qubit interferometry with local filtering. Proper filtering operation for the maximal distillation of the state is achieved, by erasing single-qubit interference, and then the concurrence of the state is determined directly from the visibilities of two-qubit interference. We compare the scheme with full state tomography.


title: Blowup and Scattering problems for the Nonlinear Schr\"odinger equations

abstract: We consider $L^{2}$-supercritical and $H^{1}$-subcritical focusing nonlinear Schr\"odinger equations. We introduce a subset $PW$ of $H^{1}(\mathbb{R}^{d})$ for $d\ge 1$, and investigate behavior of the solutions with initial data in this set. For this end, we divide $PW$ into two disjoint components $PW_{+}$ and $PW_{-}$. Then, it turns out that any solution starting from a datum in $PW_{+}$ behaves asymptotically free, and solution starting from a datum in $PW_{-}$ blows up or grows up, from which we find that the ground state has two unstable directions. We also investigate some properties of generic global and blowup solutions.


title: Sub-parsec scale imaging of Centaurus A

abstract: At a distance of about 3.8 Mpc, the radio galaxy Centaurus A is the closest active galaxy. Therefore it is a key target for studying the innermost regions of active galactic nuclei (AGN). VLBI observations conducted within the framework of the TANAMI program enable us to study the central region of the Cen A jet with some of the highest linear resolutions ever achieved in an AGN. This region is the likely origin of the gamma-ray emission recently detected by the Fermi Large Area Telescope (LAT). TANAMI monitors a sample of radio and gamma-ray selected extragalactic jets south of -30 degrees declination at 8.4 GHz and 22.3 GHz with the Australian Long Baseline Array (LBA) and the transoceanic antennas Hartebeesthoek in South Africa, the 6 m Transportable Integrated Geodetic Observatory (TIGO) in Chile and the 9 m German Antarctic Receiving Station (GARS) in O'Higgins, Antarctica. The highest angular resolution achieved at 8.4 GHz in the case of Cen A is 0.59mas x 0.978mas (natural weighting) corresponding to a linear scale of less than 18 milliparsec. We show images of the first three TANAMI 8.4 GHz observation epochs of the sub-parsec scale jet-counterjet system of Cen A. With a simultaneous 22.3 GHz observation in 2008 November, we present a high resolution spectral index map of the inner few milliarcseconds of the jet probing the putative emission region of gamma-ray-photons.


title: Da${\Phi}$ne developments for the KLOE-2 experimental run

abstract: Recently the peak luminosity achieved on the DA{\Phi}NE collider has been improved by almost a factor three by implementing a novel collision scheme based on large Piwinski angle and Crab-Waist. This encouraging result opened new perspectives for physics research and a new run with the KLOE-2 detector has been scheduled to start by spring 2010. The KLOE-2 installation is a complex operation requiring a careful design effort and a several months long shutdown. The high luminosity interaction region has been deeply revised in order to take into account the effect on the beam caused by the solenoidal field of the experimental detector and to ensure background rejection. The shutdown has been also used to implement several other modifications aimed at improving beam dynamics: the wiggler poles have been displaced from the magnet axis in order to cancel high order terms in the field, the feedback systems have been equipped with stronger power supplies and more efficient kickers and electrodes have been inserted inside the wiggler and the dipole vacuum chambers, in the positron ring, to avoid the e-cloud formation. A low level RF feedback has been added to the cavity control in both rings.


title: Brightening of dark excitons in a single quantum dot containing a single magnetic ion

abstract: A promising method to investigate dark exciton transitions in quantum dots is presented. The optical recombination of the dark exciton is allowed when the exciton state is coupled with an individual magnetic impurity (manganese ion). It is shown that the efficient radiative recombination is possible when the exchange interaction with the magnetic ion is accompanied by a mixing of the heavy-light hole states related to an in-plane anisotropy of the quantum dot. It is also shown that the dark exciton recombination is an efficient channel of manganese spin orientation.


title: The work of Tom Farrell and Lowell Jones in topology and geometry

abstract: This is a survey of some of the work of Tom Farrell and Lowell Jones. This is the lead article of a special issue of the Pure and Applied Mathematics Quarterly. This issue is published in conjunction with the conference "Geometry,Topology, and their Interactions" held in Morelia, Mexico.


title: On the non-commutative Main Conjecture for elliptic curves with complex multiplication

abstract: In arXiv:math/0404297 a non-commutative Iwasawa Main Conjecture for elliptic curves over $\mathbb{Q}$ has been formulated. In this note we show that it holds for all CM-elliptic curves $E$ defined over $\mathbb{Q}$. This was claimed in (loc.\ cit.) without proof, which we want to provide now assuming that the torsion conjecture holds in this case. Based on this we show firstly the existence of the (non-commutative) $p$-adic $L$-function of $E$ and secondly that the (non-commutative) Main Conjecture follows from the existence of the Katz-measure, the work of Yager and Rubin's proof of the 2-variable main conjecture. The main issues are the comparison of the involved periods and to show that the (non-commutative) $p$-adic $L$-function is defined over the conjectured in (loc.\ cit.) coefficient ring. Moreover we generalize our considerations to the case of CM-elliptic cusp forms.


title: Construction of optimal witness for unknown two-qubit entanglement

abstract: Whether entanglement in a state can be detected, distilled, and quantified without full state reconstruction is a fundamental open problem. We demonstrate a new scheme encompassing these three tasks for arbitrary two-qubit entanglement, by constructing the optimal entanglement witness for polarization-entangled mixed-state photon pairs without full state reconstruction. With better efficiency than quantum state tomography, the entanglement is maximally distilled by newly developed tunable polarization filters, and quantified by the expectation value of the witness, which equals the concurrence. This scheme is extendible to multiqubit Greenberger-Horne-Zeilinger entanglement.


title: Mean-payoff Automaton Expressions

abstract: Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of the transition weights. When the mode of branching of the automaton is deterministic, nondeterministic, or alternating, the corresponding class of quantitative languages is not robust as it is not closed under the pointwise operations of max, min, sum, and numerical complement. Nondeterministic and alternating mean-payoff automata are not decidable either, as the quantitative generalization of the problems of universality and language inclusion is undecidable. We introduce a new class of quantitative languages, defined by mean-payoff automaton expressions, which is robust and decidable: it is closed under the four pointwise operations, and we show that all decision problems are decidable for this class. Mean-payoff automaton expressions subsume deterministic mean-payoff automata, and we show that they have expressive power incomparable to nondeterministic and alternating mean-payoff automata. We also present for the first time an algorithm to compute distance between two quantitative languages, and in our case the quantitative languages are given as mean-payoff automaton expressions.


title: A splitting for K_1 of completed group rings

abstract: Motivated by the theory of Coleman power series (reinterpreted via fields of norms by Fontaine) we construct a splitting of the natural map of K_1 groups arising from the mod p reduction map of the Iwasawa algebra of a pro-p Lie group. We also show the vanishing of SK_1 for certain unipotent groups.


title: Detection of bound entanglement in continuous variable systems

abstract: We present several entanglement conditions in order to detect bound entangled states in continuous variable systems. Specifically, Werner and Wolf [Phys. Rev. Lett. 86, 3658 (2001)] and Horodecki and Lewenstein [Phys. Rev. Lett. 85, 2657 (2000)] have proposed examples of bound entangled Gaussian state and bound entangled non-Gaussian state, respectively, of which entanglement can be detected by using our entanglement conditions.


title: Fast optimal transition between two equilibrium states

abstract: We demonstrate a technique based on invariants of motion for a time-dependent Hamiltonian, allowing a fast transition to a final state identical in theory to that obtained through a perfectly adiabatic transformation. This method is experimentally applied to the fast decompression of an ultracold cloud of Rubidium 87 atoms held in a harmonic magnetic trap, in the presence of gravity. We are able to decompress the trap by a factor of 15 within 35 ms with a strong suppression of the sloshing and breathing modes induced by the large vertical displacement and curvature reduction of the trap. When compared to a standard linear decompression, we achieve a gain of a factor of 37 on the transition time.


title: The isotropic correlation function of plane figures: the triangle case

abstract: The knowledge of the isotropic correlation function of a plane figure is useful to determine the correlation function of the cylinders having the plane figure as right-section and a given height as well as to analyze the out of plane intensity collected in grazing incidence small-angle scattering from a film formed by a particulate collection of these cylinders. The correlation function of plane polygons can always be determined in closed algebraic form. Here we report its analytic expression for the case of a triangle. The expressions take four different forms that depend on the relative order among the sides and the heights of the triangle.


title: Analyzing Graph Transformation Systems through Constraint Handling Rules

abstract: Graph transformation systems (GTS) and constraint handling rules (CHR) are non-deterministic rule-based state transition systems. CHR is well-known for its powerful confluence and program equivalence analyses, for which we provide the basis in this work to apply them to GTS. We give a sound and complete embedding of GTS in CHR, investigate confluence of an embedded GTS, and provide a program equivalence analysis for GTS via the embedding. The results confirm the suitability of CHR-based program analyses for other formalisms embedded in CHR.


title: Electron phenomena in layered conductors

abstract: The quasi-two-dimensional nature of the charge carriers energy spectrum in layered conductors leads to specific effects in an external magnetic field. The magnetoresistance of layered conductors in a wide range of strong magnetic fields directed in the plane of the layers can increase proportionally to a magnetic field value. The electromagnetic impedance and the sound attenuation rate depend essentially on the polarization of normal to the layers. Propagation of electromagnetic and acoustic waves in these conductors involves virtually all charge carriers in the transfer of acoustic pulses and electromagnetic field spikes to the bulk of the conductor. The orbits of Fermi electrons in a magnetic field are virtually indistinguishable, which allows the inclusion of large number of conduction electrons in the formation of peculiar oscillatory and resonant effects which are absent in the case of ordinary metals. Investigation of these effects introduce the possibilities for detailed study of the dissipative processes in electron systems of layered conductors and the charge carriers energy spectrum. Point contact investigations of layered metals allow us to obtain the information about electron and phonon spectra. The electron focusing signal and the point contact spectrum are extremely sensitive to the orientation of the magnetic field vector $\bs{H}$ in relation to the layers with a high electrical conductivity. The values of $\bs{H}$ for which the electron focusing signal has peaks can be used for determining velocities and extremal diameters for the open Fermi surface. The dependence of the point contact spectra on the magnitude and the relaxation of electrons at various types of phonon excitations.


title: Kinetic phenomena in metallic multilayers

abstract: A series of kinetic phenomena in metallic multilayers has been considered. The kinetic properties of multilayers differ essentially from the properties of both massive metals and thin films. One of the main reasons of that is the influence of electron interaction of electrons with interfaces between layers. From one hand, this interaction leads to the additional electron scattering and conductivity of multilayer may be noticeably less than specific conductivities of composing metals. From the other hand, the electron reflection from interfaces in a strong magnetic field may results in considerable increasing of conducting properties in consequence of the static skin effect. Due to changing of electron trajectories after collisions with interfaces new types of periodic motion in the magnetic field and therefore new size and resonance phenomena in high frequency fields appear. In thin normal layers on the superconducting substrate, changing of trajectories is due to Andreev reflection and resonance effects, which do not exist in normal multilayers, films, and bulk monocrystals, take place. In multilayers consisting of ferromagnetic and nonmagnetic metals, the internal magnetic field in ferromagnetic layers must be taken into account, if the Larmor radius in this field is comparable with the layer thickness. Because of the mutual diffusion of metals, the kinetic coefficients of multilayers are changed in time. The investigation of this changing may be used for determination of diffusion coefficient for the bulk and grain-boundary diffusion. The effects, which have been analyzed theoretically in this review, can be used for the obtaining information on the electron interaction with interfaces in conducting multilayers.


title: Ricci Flow Conjugated Initial Data Sets for Einstein Equations

abstract: We discuss a natural form of Ricci--flow conjugation between two distinct general relativistic data sets given on a compact $n\geq 3$-dimensional manifold $\Sigma$. We establish the existence of the relevant entropy functionals for the matter and geometrical variables, their monotonicity properties, and the associated convergence in the appropriate sense. We show that in such a framework there is a natural mode expansion generated by the spectral resolution of the Ricci conjugate Hodge--DeRham operator. This mode expansion allows to compare the two distinct data sets and gives rise to a computable heat kernel expansion of the fluctuations among the fields defining the data. In particular this shows that Ricci flow conjugation entails a form of $L^2$ averaging of one data set with respect to the other with a number of desiderable properties: (i) It preserves the dominant energy condition; (ii) It is localized by a heat kernel whose support sets the scale of averaging; (iii) It is characterized by a set of balance functionals which allow the analysis of its entropic stability.


title: Strong and Electro-Weak Supersymmetric Corrections to Single Top Processes at the Large Hadron Collider

abstract: We present the one-loop corrections originating from Quantum Chromo-Dynamics (QCD) and Electro-Weak (EW) interactions of Supersymmetric (SUSY) origin within the Minimal Supersymmetric Standard Model (MSSM) to the single-top processes bq -> tq' and qbar q' -> tbar b. We illustrate their impact onto top quark observables accessible at the Large Hadron Collider (LHC) in the 't+jet' final state, such as total cross section, several differential distributions and left-right plus forward-backward asymmetries. We find that in many instances these effects can be observable for planned LHC energies and luminosities, quite large as well as rather sensitive to several MSSM parameters.


title: Electromagnetic properties of neutrinos

abstract: A short review on electromagnetic properties of neutrinos is presented. In spite of many efforts in the theoretical and experimental studies of neutrino electromagnetic properties, they still remain one of the main puzzles related to neutrinos.


title: The role of the cytoskeleton in volume regulation and beading transitions in PC12 neurites

abstract: We present investigations on volume regulation and beading shape transitions in PC12 neurites conducted using a flow-chamber technique. By disrupting the cell cytoskeleton with specific drugs we investigate the role of its individual components in the volume regulation response. We find that microtubule disruption increases both swelling rate and maximum volume attained, but does not affect the ability of the neurite to recover its initial volume. In addition, investigation of axonal beading --also known as pearling instability-- provides additional clues on the mechanical state of the neurite. We conclude that the initial swelling phase is mechanically slowed down by microtubules, while the volume recovery is driven by passive diffusion of osmolites. Our experiments provide a framework to investigate the role of cytoskeletal mechanics in volume homeostasis.


title: Wide-field global VLBI and MERLIN combined monitoring of supernova remnants in M82

abstract: From a combination of MERLIN (Multi-Element Radio-Linked Interferometer Network) and global VLBI (Very Long Baseline Interferometry) observations of the starburst galaxy M82, images of 36 discrete sources at resolutions ranging from ~3 to ~80 mas at 1.7 GHz are presented. Of these 36 sources, 32 are identified as supernova remnants, 2 are HII regions, and 3 remain unclassified. Sizes, flux densities and radio brightnesses are given for all of the detected sources. Additionally, global VLBI only data from this project are used to image four of the most compact radio sources. These data provide a fifth epoch of VLBI observations of these sources, covering a 19-yr time-line. In particular, the continued expansion of one of the youngest supernova remnants, 43.31+59.3 is discussed. The deceleration parameter is a power-law index used to represent the time evolution of the size of a supernova remnant. For the source 43.31+59.3, a lower limit to the deceleration parameter is calculated to be 0.53+/-0.06, based on a lower limit of the age of this source.


title: On status of Boltzmann kinetic theory in the framework of statistical mechanics

abstract: It is shown that early suggested derivation of the Boltzmann kinetic equation for dilute hard sphere gas from the time-reversible BBGKY equations is incorrect since in fact a priori substitutes for them definite irreversible equations. Alternative approach to analysis of the hard sphere gas is formulated which conserves the reversibility and makes it clear that at any gas density one can reduce the BBGKY equations to the Boltzmann equation only in case of spatially uniform gas.


title: Shape and motion of drops in the inertial regime

abstract: In this paper, we report experimental results on the shape and motion of a mercury droplet, placed in a horizontally rotating cylinder in the rpm range 8-93, so that the Reynolds number of the drop 2500<Re<26000 and its capillary number 0.0002<Ca<0.0023. When contact angle variations can be neglected at low speeds (Re<8150), the velocity of the drop is much lower than that predicted by the Ho. Young Kim's [6] relation. This observed discrepancy is overcome by modifying Kim's relation by substituting the dissipation estimated from a boundary layer near the solid surface instead of bulk dissipation. Based on the changes at the rear side of the mercury droplet, there are three distinct regimes identified with varying speeds of rotation (i) oval or rounded regime (ii) corner regime and (iii) cusping regime. The oval to corner transition happens at a finite receding contact angle of 950. The ratio of critical contact angle ({\theta}c) at which the transition occurs to the static receding contact angle ({\theta}s) was found to be 0.657. The de Gennes model [4], extended to high contact angle by substituting the dissipation for wedge flow, predicts a critical contact angle ratio ({\theta}c/{\theta}s) that is in close agreement with the experimental value. At higher Re, the dynamic contact angle variation with velocity was compared with Cox-Voinov model [3]. Though the trend of the variation of data is approximately represented by the model, the fit coefficient according to experimental data is very high when compared to theoretical value.


title: Self-approximation of Dirichlet L-functions

abstract: Let $d$ be a real number, let $s$ be in a fixed compact set of the strip $1/2<\sigma<1$, and let $L(s, \chi)$ be the Dirichlet $L$-function. The hypothesis is that for any real number $d$ there exist 'many' real numbers $\tau$ such that the shifts $L(s+i\tau, \chi)$ and $L(s+id\tau, \chi)$ are 'near' each other. If $d$ is an algebraic irrational number then this was obtained by T. Nakamura. \L. Pa\'nkowski solved the case then $d$ is a transcendental number. We prove the case then $d\ne0$ is a rational number. If $d=0$ then by B. Bagchi we know that the above hypothesis is equivalent to the Riemann hypothesis for the given Dirichlet $L$-function. We also consider a more general version of the above problem.


title: Gravitational fragmentation in turbulent primordial gas and the initial mass function of Population III stars

abstract: We report results from numerical simulations of star formation in the early universe that focus on the dynamical behavior of metal-free gas under different initial and environmental conditions. In particular we investigate the role of turbulence, which is thought to ubiquitously accompany the collapse of high-redshift halos. We distinguish between two main cases: the birth of Population III.1 stars - those which form in the pristine halos unaffected by prior star formation - and the formation of Population III.2 stars - those forming in halos where the gas is still metal free but has an increased ionization fraction. This latter case can arise either from exposure to the intense UV radiation of stellar sources in neighboring halos, or from the high virial temperatures associated with the formation of massive halos, that is, those with masses greater than 1e8 solar masses. We find that turbulent primordial gas is highly susceptible to fragmentation in both cases, even for turbulence in the subsonic regime, i.e. for rms velocity dispersions as low as 20 % of the sound speed. Contrary to our original expectations, fragmentation is more vigorous and more widespread in pristine halos compared to pre-ionized ones. We therefore predict Pop III.1 stars to be on average of somewhat lower mass, and form in larger groups, than Pop III.2 stars. We find that fragment masses cover over two orders of magnitude, indicating that the resulting Population III initial mass function was significantly extended in mass as well. This prompts the need for a large, high-resolution study of the formation of dark matter minihalos that is capable of resolving the turbulent flows in the gas at the moment when the baryons become self-gravitating. This would help determine which, if any, of the initial conditions presented in our study are realized in nature.


title: Linear-Temperature Dependence of Static Magnetic Susceptibility in LaFeAsO from Dynamical Mean-Field Theory

abstract: In this Letter we report the LDA+DMFT (method combining Local Density Approximation with Dynamical Mean-Field Theory) results for magnetic properties of parent superconductor LaFeAsO in paramagnetic phase. Calculated uniform magnetic susceptibility shows linear dependence at intermediate temperatures in agreement with experimental data. For high temperatures ($>$1000 K) calculations show saturation and then susceptibility decreases with temperature. Contributions to temperature dependence of the uniform susceptibility are strongly orbitally dependent. It is related to the form of the orbitally-resolved spectral functions near the Fermi energy with strong temperature dependent narrow peaks for some of the orbitals. Our results demonstrate that linear-temperature dependence of static magnetic susceptibility in pnictide superconductors can be reproduced without invoking antiferromagnetic fluctuations.


title: Anderson localization transition with long-ranged hoppings : analysis of the strong multifractality regime in terms of weighted Levy sums

abstract: For Anderson tight-binding models in dimension $d$ with random on-site energies $\epsilon_{\vec r}$ and critical long-ranged hoppings decaying typically as $V^{typ}(r) \sim V/r^d$, we show that the strong multifractality regime corresponding to small $V$ can be studied via the standard perturbation theory for eigenvectors in quantum mechanics. The Inverse Participation Ratios $Y_q(L)$, which are the order parameters of Anderson transitions, can be written in terms of weighted L\'evy sums of broadly distributed variables (as a consequence of the presence of on-site random energies in the denominators of the perturbation theory). We compute at leading order the typical and disorder-averaged multifractal spectra $\tau_{typ}(q)$ and $\tau_{av}(q)$ as a function of $q$. For $q<1/2$, we obtain the non-vanishing limiting spectrum $\tau_{typ}(q)=\tau_{av}(q)=d(2q-1)$ as $V \to 0^+$. For $q>1/2$, this method yields the same disorder-averaged spectrum $\tau_{av}(q)$ of order $O(V)$ as obtained previously via the Levitov renormalization method by Mirlin and Evers [Phys. Rev. B 62, 7920 (2000)]. In addition, it allows to compute explicitly the typical spectrum, also of order $O(V)$, but with a different $q$-dependence $\tau_{typ}(q) \ne \tau_{av}(q)$ for all $q>q_c=1/2$. As a consequence, we find that the corresponding singularity spectra $f_{typ}(\alpha)$ and $f_{av}(\alpha)$ differ even in the positive region $f>0$, and vanish at different values $\alpha_+^{typ} > \alpha_+^{av}$, in contrast to the standard picture. We also obtain that the saddle value $\alpha_{typ}(q)$ of the Legendre transform reaches the termination point $\alpha_+^{typ}$ where $f_{typ}(\alpha_+^{typ})=0 $ only in the limit $q \to +\infty$.


title: New path integral representation for Hubbard model: II. Spinless case

abstract: The Hubbard model is used to study an electronic system. In this paper we present the new path integral representation for Hubbard model. We have constructed the new supercoherent state for spinless electrons which appears from a set of eigenfunctions of atomic limit of strongly correlated systems. Exact calculation of nonlinear representation of a supergroup has been carried. This group defines the transformation of atomic base. The general formalism we elaborate for Hubbard model is the one widely used in the gauge field theory of the nonlinear representation of a superconformal group.


title: The Deterministic Dendritic Cell Algorithm

abstract: The Dendritic Cell Algorithm is an immune-inspired algorithm orig- inally based on the function of natural dendritic cells. The original instantiation of the algorithm is a highly stochastic algorithm. While the performance of the algorithm is good when applied to large real-time datasets, it is difficult to anal- yse due to the number of random-based elements. In this paper a deterministic version of the algorithm is proposed, implemented and tested using a port scan dataset to provide a controllable system. This version consists of a controllable amount of parameters, which are experimented with in this paper. In addition the effects are examined of the use of time windows and variation on the number of cells, both which are shown to influence the algorithm. Finally a novel metric for the assessment of the algorithms output is introduced and proves to be a more sensitive metric than the metric used with the original Dendritic Cell Algorithm.


title: Comment on Quantum teleportation via GHZ-like state

abstract: Recently Yang et al. [Int. J. Theo. Phys. 48 (2009) 516] have shown that an unknown qubit can be teleported by using a particular GHZ-like state as quantum channel. However, there are several errors in the calculation which lead to incorrect conclusions. The errors have been indicated and corrected. It is also noted that their scheme and the independently proposed teleportation scheme of Zhang et al. [Int. J. Theo. Phys. 48 (2009) 3331] uses quantum channel from the same family and any state of that family may be used for teleportation.


title: The coalescent and its descendants

abstract: The coalescent revolutionised theoretical population genetics, simplifying, or making possible for the first time, many analyses, proofs, and derivations, and offering crucial insights about the way in which the structure of data in samples from populations depends on the demographic history of the population. However statistical inference under the coalescent model is extremely challenging, effectively because no explicit expressions are available for key sampling probabilities. This led initially to approximation of these probabilities by ingenious application of modern computationally-intensive statistical methods. A key breakthrough occurred when Li and Stephens introduced a different model, similar in spirit to the coalescent, for which efficient calculations are feasible. In turn, the Li and Stephens model has changed statistical inference for the wealth of data now available which documents molecular genetic variation within populations. We briefly review the coalescent and associated measure-valued diffusions, describe the Li and Stephens model, and introduce and apply a generalisation of it for inference of population structure in the presence of linkage disequilibrium.


title: The Flow of Newtonian Fluids in Axisymmetric Corrugated Tubes

abstract: This article deals with the flow of Newtonian fluids through axially-symmetric corrugated tubes. An analytical method to derive the relation between volumetric flow rate and pressure drop in laminar flow regimes is presented and applied to a number of simple tube geometries of converging-diverging nature. The method is general in terms of fluid and tube shape within the previous restrictions. Moreover, it can be used as a basis for numerical integration where analytical relations cannot be obtained due to mathematical difficulties.


title: On the rheology of a liquid-vapor interface

abstract: The mass and momentum balances are theoretically studied in heterogeneous two-component systems. Following Gibbs the system is presented as two bulk and a single surface phases. Comparing the equations derived with some typical rheological models, useful information about the location of the interface is obtained. It was demonstrated that the surface phase for insoluble surfactants coincides with the equimolecular interface, while for soluble ones it is placed on the surface of total mass density zero excess. In both cases the surface phase is close to the surface of tension and kinematic surface.


title: VLT and GTC observations of SDSS J0123+00: a type 2 quasar triggered in a galaxy encounter?

abstract: We present long-slit spectroscopy, continuum and [OIII]5007 imaging data obtained with the Very Large Telescope and the Gran Telescopio Canarias of the type 2 quasar SDSS J0123+00 at z=0.399. The quasar lies in a complex, gas-rich environment. It appears to be physically connected by a tidal bridge to another galaxy at a projected distance of ~100 kpc, which suggests this is an interacting system. Ionized gas is detected to a distance of at least ~133 kpc from the nucleus. The nebula has a total extension of ~180 kpc. This is one of the largest ionized nebulae ever detected associated with an active galaxy. Based on the environmental properties, we propose that the origin of the nebula is tidal debris from a galactic encounter, which could as well be the triggering mechanism of the nuclear activity. SDSS J0123+00 demonstrates that giant, luminous ionized nebulae can exist associated with type 2 quasars of low radio luminosities, contrary to expectations based on type 1 quasar studies.


title: The DCA:SOMe Comparison A comparative study between two biologically-inspired algorithms

abstract: The Dendritic Cell Algorithm (DCA) is an immune-inspired algorithm, developed for the purpose of anomaly detection. The algorithm performs multi-sensor data fusion and correlation which results in a 'context aware' detection system. Previous applications of the DCA have included the detection of potentially malicious port scanning activity, where it has produced high rates of true positives and low rates of false positives. In this work we aim to compare the performance of the DCA and of a Self-Organizing Map (SOM) when applied to the detection of SYN port scans, through experimental analysis. A SOM is an ideal candidate for comparison as it shares similarities with the DCA in terms of the data fusion method employed. It is shown that the results of the two systems are comparable, and both produce false positives for the same processes. This shows that the DCA can produce anomaly detection results to the same standard as an established technique.


title: Changes in the gradient percolation transition caused by an Allee effect

abstract: The establishment and spreading of biological populations depends crucially on population growth at low densities. The Allee effect is a problem in those populations where the per-capita growth rate at low densities is reduced. We examine stochastic spatial models in which the reproduction rate changes across a gradient g so that the population undergoes a 2D-percolation transition. Without the Allee effect, the transition is continuous and the width w of the hull scales as in conventional (i.e., uncorrelated) gradient percolation, proportional to g^(-0.57). However, with a strong Allee effect the transition is first order and w is proportional to g^(-0.26).


title: Cesaro operators on the Hardy spaces of the half-plane

abstract: In this article we study the Ces\`{a}ro operator $$ \mathcal{C}(f)(z)=\frac{1}{z}\int_{0}^{z}f(\zeta)\,d\zeta, $$ and its companion operator $\mathcal{T}$ on Hardy spaces of the upper half plane. We identify $\mathcal{C}$ and $\mathcal{T}$ as resolvents for appropriate semigroups of composition operators and we find the norm and the spectrum in each case. The relation of $\mathcal{C}$ and $\mathcal{T}$ with the corresponding Ces\`{a}ro operators on Lebesgue spaces $L^p(\R)$ of the boundary line is also discussed.


title: Upper bound on the expected size of intrinsic ball

abstract: We give a short proof of Theorem 1.2 (i) from the paper "The Alexander-Orbach conjecture holds in high dimensions" by G. Kozma and A. Nachmias. We show that the expected size of the intrinsic ball of radius r is at most Cr if the susceptibility exponent is at most 1. In particular, this result follows if the so-called triangle condition holds.


title: The sinusoid and the phasor

abstract: Mathieu equation is widely used to study several natural phenomenon. In this paper, we show that replacing the sinusoid in the Mathieu equation with a phasor can lead to solutions that behave in a totally different way. Solutions of Mathieu equation are either bounded or grow unboundedly at an exponential rate. Solutions of this new equation are always unbounded and grow linearly with time.

categories: physics.plasm-ph cond-mat.soft math-ph math.CA math.MP


title: On the Dirichlet semigroup for Ornstein -- Uhlenbeck operators in subsets of Hilbert spaces

abstract: We consider a family of self-adjoint Ornstein--Uhlenbeck operators $L_{\alpha} $ in an infinite dimensional Hilbert space H having the same gaussian invariant measure $\mu$ for all $\alpha \in [0,1]$. We study the Dirichlet problem for the equation $\lambda \phi - L_{\alpha}\phi = f$ in a closed set K, with $f\in L^2(K, \mu)$. We first prove that the variational solution, trivially provided by the Lax---Milgram theorem, can be represented, as expected, by means of the transition semigroup stopped to K. Then we address two problems: 1) the regularity of the solution $\varphi$ (which is by definition in a Sobolev space $W^{1,2}_{\alpha}(K,\mu)$) of the Dirichlet problem; 2) the meaning of the Dirichlet boundary condition. Concerning regularity, we are able to prove interior $W^{2,2}_{\alpha}$ regularity results; concerning the boundary condition we consider both irregular and regular boundaries. In the first case we content to have a solution whose null extension outside K belongs to $W^{1,2}_{\alpha}(H,\mu)$. In the second case we exploit the Malliavin's theory of surface integrals which is recalled in the Appendix of the paper, then we are able to give a meaning to the trace of $\phi$ at the boundary of K and to show that it vanishes, as it is natural.


title: Inviscid SPH

abstract: In smooth-particle hydrodynamics (SPH), artificial viscosity is necessary for the correct treatment of shocks, but often generates unwanted dissipation away from shocks. We present a novel method of controlling the amount of artificial viscosity, which uses the total time derivative of the velocity divergence as shock indicator and aims at completely eliminating viscosity away from shocks. We subject the new scheme to numerous tests and find that the method works at least as well as any previous technique in the strong-shock regime, but becomes virtually inviscid away from shocks, while still maintaining particle order. In particular sound waves or oscillations of gas spheres are hardly damped over many periods.


title: Dynamic spin susceptibility of superconducting cuprates: A microscopic theory of the magnetic resonance mode

abstract: A microscopic theory of the dynamic spin susceptibility (DSS) in the superconducting state within the t-J model is presented. It is based on an exact representation for the DSS obtained by applying the Mori-type projection technique for the relaxation function in terms of Hubbard operators. The static spin susceptibility is evaluated by a sum-rule-conserving generalized mean-field approximation, while the self-energy is calculated in the mode-coupling approximation. The spectrum of spin excitations is studied in the underdoped and optimally doped regions. The DSS reveals a resonance mode (RM) at the antiferromagnetic wave vector Q = \pi(1,1) at low temperatures due to a strong suppression of the damping of spin excitations. This is explained by an involvement of spin excitations in the decay process besides the particle-hole continuum usually considered in random-phase-type approximations. The spin gap in the spin-excitation spectrum at Q plays a dominant role in limiting the decay in comparison with the superconducting gap which results in the observation of the RM even above $T_c$ in the underdoped region. A good agreement with inelastic neutron-scattering experiments on the RM in YBCO compounds is found.


title: The Motif Tracking Algorithm

abstract: The search for patterns or motifs in data represents a problem area of key interest to finance and economic researchers. In this paper we introduce the Motif Tracking Algorithm, a novel immune inspired pattern identification tool that is able to identify unknown motifs of a non specified length which repeat within time series data. The power of the algorithm comes from the fact that it uses a small number of parameters with minimal assumptions regarding the data being examined or the underlying motifs. Our interest lies in applying the algorithm to financial time series data to identify unknown patterns that exist. The algorithm is tested using three separate data sets. Particular suitability to financial data is shown by applying it to oil price data. In all cases the algorithm identifies the presence of a motif population in a fast and efficient manner due to the utilisation of an intuitive symbolic representation. The resulting population of motifs is shown to have considerable potential value for other applications such as forecasting and algorithm seeding.


title: On the stability of spherically symmetric and wormhole solutions supported by the sine-Gordon ghost scalar field

abstract: In this paper we investigate wormhole and spherically symmetric solutions in 4D gravity plus a matter source consisting of a ghost scalar field with a sine-Gordon potential. For the wormhole solutions we also include the possibility of electric and/or magnetic charges. For both types of solutions we perform a linear stability analysis and show that the wormhole solutions are stable and that when one turns on the electric and/or magnetic field the solution remains stable. The linear stability analysis of the spherically symmetric solutions indicates that they can be stable or unstable depending on one of the parameters of the system. This result for the spherically symmetric solution is nontrivial since a previous investigation of 4D gravity plus a ghost scalar field with a $\lambda \phi ^4$ interaction found only unstable spherically symmetric solutions. Both the wormhole and spherically symmetric solutions presented here asymptotically go to anti-de-Sitter space-time.


title: Thermofield dynamics and twisted Poincar\'e symmetry on Moyal space-time

abstract: On Moyal space-time, one can implement twisted Poincar\'e symmetry with the resultant modification of symmetrization and anti-symmetrization postulates for bosons and fermions. We develop the thermofield approach of Umezawa and Takahashi on such a spacetime preserving the twisted Poincar\'e symmetry of the underlying quantum field theory(qft). Implications of this twisted Poincar\'e symmetry for qft's at finite temperature are pointed out.


title: A Note on the Isotopism of Commutative Semifields

abstract: We present an example of two isotopic but not strongly isotopic commutative semifields. This example shows that a recent result of Coulter and Henderson on semifield of order p^n, n odd, can not be generalized to the case n even.


title: Compactness and asymptotic behavior in nonautonomous linear parabolic equations with unbounded coefficients in $\R^d$

abstract: We consider a class of second order linear nonautonomous parabolic equations in R^d with time periodic unbounded coefficients. We give sufficient conditions for the evolution operator G(t,s) be compact in C_b(R^d) for t>s, and describe the asymptotic behavior of G(t,s)f as t-s goes to infinity in terms of a family of measures mu_s, s in R, solution of the associated Fokker-Planck equation.


title: K-contact Lie groups of dimension five or greater

abstract: We prove that a K-contact Lie group of dimension five or greater is the central extension of a symplectic Lie group by complexifying the Lie algebra and applying a result from complex contact geometry, namely, that, if the adjoint action of the complex Reeb vector field on a complex contact Lie algebra is diagonalizable, then it is trivial.


title: Hill's formula

abstract: In his study of periodic orbits of the 3 body problem, Hill obtained a formula relating the characteristic polynomial of the monodromy matrix of a periodic orbit and an infinite determinant of the Hessian of the action functional. A mathematically correct definition of the Hill determinant and a proof of Hill's formula were obtained later by Poincar\'e. We give two multidimensional generalizations of Hill's formula: to discrete Lagrangian systems (symplectic twist maps) and continuous Lagrangian systems. We discuss additional aspects which appear in the presence of symmetries or reversibility. We also study the change of the Morse index of a periodic trajectory after the reduction of order in a system with symmetries. Applications are given to the problem of stability of periodic orbits.


title: Hierarchy of Separability Conditions for Bipartite Systems

abstract: A new hierarchy of separability conditions for bipartite states is obtained. All the conditions in the hierarchy are necessary for separability. The conditions are expressed in terms of higher powers of the density operator of the bipartite system and the reduced density operators of the subsystems. Violation of any of the conditions in the hierarchy implies entanglement. As a consequence of the hierarchy, another separability condition, expressed in terms of the eigenvalues of the density operators of the total system and subsystems, is obtained.


title: Self-Consistent Screening Approximation for Flexible Membranes: Application to Graphene

abstract: Crystalline membranes at finite temperatures have an anomalous behavior of the bending rigidity that makes them more rigid in the long wavelength limit. This issue is particularly relevant for applications of graphene in nano- and micro-electromechanical systems. We calculate numerically the height-height correlation function $G(q)$ of crystalline two-dimensional membranes, determining the renormalized bending rigidity, in the range of wavevectors $q$ from $10^{-7}$ \AA$^{-1}$ till 10 \AA$^{-1}$ in the self-consistent screening approximation (SCSA). For parameters appropriate to graphene, the calculated correlation function agrees reasonably with the results of atomistic Monte Carlo simulations for this material within the range of $q$ from $10^{-2}$ \AA$^{-1}$ till 1 \AA$^{-1}$. In the limit $q\rightarrow 0$ our data for the exponent $\eta$ of the renormalized bending rigidity $\kappa_R(q)\propto q^{-\eta}$ is compatible with the previously known analytical results for the SCSA $\eta\simeq 0.82$. However, this limit appears to be reached only for $q<10^{-5}$ \AA$^{-1}$ whereas at intermediate $q$ the behavior of $G(q)$ cannot be described by a single exponent.


title: Tree-structure Expectation Propagation for Decoding LDPC codes over Binary Erasure Channels

abstract: Expectation Propagation is a generalization to Belief Propagation (BP) in two ways. First, it can be used with any exponential family distribution over the cliques in the graph. Second, it can impose additional constraints on the marginal distributions. We use this second property to impose pair-wise marginal distribution constraints in some check nodes of the LDPC Tanner graph. These additional constraints allow decoding the received codeword when the BP decoder gets stuck. In this paper, we first present the new decoding algorithm, whose complexity is identical to the BP decoder, and we then prove that it is able to decode codewords with a larger fraction of erasures, as the block size tends to infinity. The proposed algorithm can be also understood as a simplification of the Maxwell decoder, but without its computational complexity. We also illustrate that the new algorithm outperforms the BP decoder for finite block-size


title: Lectures on Generalized Complex Geometry for Physicists

abstract: In these lectures we review Generalized Complex Geometry and discuss two main applications to string theory: the description of supersymmetric flux compactifications and the supersymmetric embedding of D-branes. We start by reviewing G-structures, and in particular SU(3)-structure and its torsion classes, before extending to Generalized Complex Geometry. We then discuss the supersymmetry conditions of type II supergravity in terms of differential conditions on pure spinors, and finally introduce generalized calibrations to describe D-branes. As examples we discuss in some detail AdS4 compactifications, which play a role as the geometric duals in the AdS4/CFT3-correspondence.


title: New worst upper bound for #SAT

abstract: The rigorous theoretical analyses of algorithms for #SAT have been proposed in the literature. As we know, previous algorithms for solving #SAT have been analyzed only regarding the number of variables as the parameter. However, the time complexity for solving #SAT instances depends not only on the number of variables, but also on the number of clauses. Therefore, it is significant to exploit the time complexity from the other point of view, i.e. the number of clauses. In this paper, we present algorithms for solving #2-SAT and #3-SAT with rigorous complexity analyses using the number of clauses as the parameter. By analyzing the algorithms, we obtain the new worst-case upper bounds O(1.1892m) for #2-SAT and O(1.4142m) for #3-SAT, where m is the number of clauses.


title: Periodic Jacobi operator with finitely supported perturbations

abstract: We describe the spectral properties of the Jacobi operator $(Hy)_n= a_{n-1} y_{n-1}+a_{n}y_{n+1}+b_ny_n,$ $n\in\Z,$ with $a_n=a_n^0+ u_n,$ $b_n= b_n^0+ v_n,$ where sequences $a_n^0>0,$ $b_n^0\in\R$ are periodic with period $q$, and sequences $ u_n,$ $ v_n$ have compact support. In the case $ u_n\equiv 0$ we obtain the asymptotics of the spectrum in the limit of small perturbations $ v_n.$


title: On the pulsating strings in AdS_5 x T^{1,1}

abstract: We study the class of pulsating strings in AdS_5 x T^{1,1}. Using a generalized ansatz for pulsating string configurations we find new solutions of this class. Further we semiclassically quantize the theory and obtain the first correction to the energy. The latter, due to AdS/CFT correspondence, is supposed to give the anomalous dimensions of operators in the dual N=1 superconformal gauge field theory.


title: On the representation of multi-ideals by tensor norms

abstract: A tensor norm $\beta= (\beta_{n})_{n=1}^{\infty}$ is smooth if the natural correspondence $(E_{1} \otimes\cdots\otimes E_{n} \otimes\mathbb{K},\beta_{n+1}) \longleftrightarrow (E_{1} \otimes\cdots\otimes E_{n} ,\beta_{n})$ is always an isometric isomorphism. In this paper we study the representation of multi-ideals and of ideals of multilinear forms by smooth tensor norms.


title: A quasimartingale characterization of p stable type Banach spaces

abstract: We characterize Banach spaces B of stable type p (1 < p < 2) by the property that for every sequence (X_i) of B-valued random variables, independent, centered and fulfilling some integrability assumption, the sequence S_n/n^(1/p) is a quasimartingale, where S_n=X_1+...+X_n.