title: Minimum Description Length Principle for Maximum Entropy Model Selection

abstract: Model selection is central to statistics, and many learning problems can be formulated as model selection problems. In this paper, we treat the problem of selecting a maximum entropy model given various feature subsets and their moments, as a model selection problem, and present a minimum description length (MDL) formulation to solve this problem. For this, we derive normalized maximum likelihood (NML) codelength for these models. Furthermore, we prove that the minimax entropy principle is a special case of maximum entropy model selection, where one assumes that complexity of all the models are equal. We apply our approach to gene selection problem and present simulation results.


title: Working characteristics of the New Low-Background Laboratory (DULB-4900, Baksan Neutrino Observatory)

abstract: A concise technical characteristic of a new low-background laboratory DULB-4900 of the BNO INR RAS is presented. The technique and the results of background measurements in the Hall, ordinary box and low-background box are presented. Rn-222 contamination in the laboratory air has been measured by direct detection of gamma-radiation of its daughter Bi-214 distributed over the volume of the low-background box. The results of the data analysis are presented.


title: The Deformation of Poincar\'e Subgroups Concerning Very Special Relativity

abstract: We investigate here various kinds of semi-product subgroups of Poincar\'e group in the scheme of Cohen-Glashow's very special relativity along the deformation approach by Gibbons- Gomis-Pope. For each proper Poincar\'e subgroup which is a semi-product of proper lorentz group with the spacetime translation group T(4), we investigate all possible deformations and obtain all the possible natural representations which inherit from the $5-d$ representation of Poincar\'e group. We find from the obtained natural representation that rotation operation may have additional accompanied scale transformation in the case of the original Lorentz subgroup is deformed and the boost operation get the additional accompanied scale transformation in all the deformation cases. The additional accompanied scale transformation has strong constrain on the possible invariant metric function of the corresponding geometry and the field theories in the spacetime with the corresponding geometry.


title: Constraints on the Optical-IR extragalactic background from gamma-ray absorption studies

abstract: Very high energy (VHE) gamma-rays from extragalactic sources, interacting by gamma-gamma collisions with diffuse intergalactic radiation fields, provide an alternative way to constrain the diffuse background light, completely independent of direct measurements. The limits depend however on our knowledge of the physics of the gamma-ray sources. After clarifying the interplay between background light and VHE spectra, I summarize the extent and validity of the obtainable limits, and where future improvements can be expected.


title: Electroweak gauge boson polarisation at the LHC

abstract: We study the polarisation of gauge bosons produced at the LHC. Polarisation effects for W bosons manifest themselves in the angular distributions of the lepton and in the distributions of lepton transverse momentum and missing transverse energy. The distributions also depend on the selection cuts, with kinematic effects competing with polarisation effects. The polarisation is discussed for a range of different processes producing W bosons: W+jets, W from top (single and pair) production, W pair production and W production in association with a Z or Higgs boson. The relative contributions of the different polarisation states varies from process to process, reflecting the dynamics of the underlying hard-scattering process. We also present results for the polarisation of the Z boson produced in association with QCD jets at the LHC, and comment on the differences between W and Z production.


title: Time-Reversal Symmetry and Universal Conductance Fluctuations in a Driven Two-Level System

abstract: In the presence of time-reversal symmetry, quantum interference gives strong corrections to the electric conductivity of disordered systems. The self-interference of an electron wavefunction traveling time-reversed paths leads to effects such as weak localization and universal conductance fluctuations. Here, we investigate the effects of broken time-reversal symmetry in a driven artificial two-level system. Using a superconducting flux qubit, we implement scattering events as multiple Landau-Zener transitions by driving the qubit periodically back and forth through an avoided crossing. Interference between different qubit trajectories give rise to a speckle pattern in the qubit transition rate, similar to the interference patterns created when coherent light is scattered off a disordered potential. Since the scattering events are imposed by the driving protocol, we can control the time-reversal symmetry of the system by making the drive waveform symmetric or asymmetric in time. We find that the fluctuations of the transition rate exhibit a sharp peak when the drive is time-symmetric, similar to universal conductance fluctuations in electronic transport through mesoscopic systems.


title: Molecular Spiders on the Plane

abstract: Synthetic bio-molecular spiders with "legs" made of single-stranded segments of DNA can move on a surface covered by single-stranded segments of DNA called substrates when the substrate DNA is complementary to the leg DNA. If the motion of a spider does not affect the substrates, the spider behaves asymptotically as a random walk. We study the diffusion coefficient and the number of visited sites for spiders moving on the square lattice with a substrate in each lattice site. The spider's legs hop to nearest-neighbor sites with the constraint that the distance between any two legs cannot exceed a maximal span. We establish analytic results for bipedal spiders, and investigate multileg spiders numerically. In experimental realizations legs usually convert substrates into products (visited sites). The binding of legs to products is weaker, so the hopping rate from the substrates is smaller. This makes the problem non-Markovian and we investigate it numerically. We demonstrate the emergence of a counter-intuitive behavior - the more spiders are slowed down on unvisited sites, the more motile they become.

categories: physics.bio-ph cond-mat.stat-mech math.PR q-bio.QM


title: Quasi-Einstein metrics on hypersurface families

abstract: We construct quasi-Einstein metrics on some hypersurface families. The hypersurfaces are circle bundles over the product of Fano, K\"ahler-Einstein manifolds. The quasi-Einstein metrics are related to various gradient K\"ahler-Ricci solitons constructed by Dancer and Wang and some Hermitian, non-K\"ahler, Einstein metrics constructed by Wang and Wang on the same manifolds.


title: Two families of Exel-Larsen crossed products

abstract: Larsen has recently extended Exel's construction of crossed products from single endomorphisms to abelian semigroups of endomorphisms, and here we study two families of her crossed products. First, we look at the natural action of the multiplicative semigroup $\mathbb{N}^\times$ on a compact abelian group $\Gamma$, and the induced action on $C(\Gamma)$. We prove a uniqueness theorem for the crossed product, and we find a class of connected compact abelian groups $\Gamma$ for which the crossed product is purely infinite simple. Second, we consider some natural actions of the additive semigroup $\mathbb{N}^2$ on the UHF cores in 2-graph algebras, as introduced by Yang, and confirm that these actions have properties similar to those of single endomorphisms of the core in Cuntz algebras.


title: The Cohomology Of The Weak Stable Foliation Of Geodesic Flows

abstract: The leafwise cohomology of the weak stable foliation of the geodesic flows is very important in the study of the space of actions whose orbit foliation is the weak stable foliation of geodesic flows.The dimension one cohomology was computed by S.Matsumoto and Y.Mitsumatsu in [MM].In this article we compute the second dimension cohomology completing the study of the cohomology of these foliations.


title: High Precision Measurements of the Pion Proton Differential Cross Section

abstract: Study of the elastic scattering can produce a rich information on the dynamics of the strong interaction. The EPECUR collaboration is aimed at the research of baryon resonances in the second resonance region via pion-proton elastic scattering and kaon-lambda production. The experiment features high statistics and better than 1 MeV resolution in the invariant mass thus allowing searches for narrow resonances with the coupling to the pi p channel as low as 5%. The experiment is of "formation" type, i.e. the resonances are produced in s-channel and the scan over the invariant mass is done by the variation of the incident pion momentum which is measured with the accuracy of 0.1% with a set of 1 mm pitch proportional chambers located in the first focus of the beam line. The reaction is identified by a magnetless spectrometer based on wire drift chambers with a hexagonal structure. Background suppression in this case depends on the angular resolution, so the amount of matter in the chambers and the setup was minimized to reduce multiple scattering. The measurements started in 2009 with the setup optimized for elastic pion-proton scattering. With 3 billions of triggers already recorded the differential cross section of the elastic pi p-scattering on a liquid hydrogen target in the region of the diffraction minimum is measured with statistical accuracy about 1% in 1 MeV steps in terms of the invariant mass. The paper covers the experimental setup, current status and some preliminary results.


title: Higher order time asymptotics of fast diffusion in euclidean space: a dynamical systems approach

abstract: This paper quantifies the speed of convergence and higher- order asymptotics of fast diffusion dynamics on R^n to the Barenblatt (self similar) solution. Degeneracies in the parabolicity of this equation are cured by re-expressing the dynamics on a manifold with a cylindrical end, called the cigar. The nonlinear evolution becomes differentiable in Hoelder spaces on the cigar. The linearization of the dynamics is given by the Laplace-Beltrami operator plus a transport term (which can be suppressed by introducing appropriate weights into the function space norm), plus a finite-depth potential well with a universal profile. In the limiting case of the (linear) heat equation, the depth diverges, the number of eigenstates increases without bound, and the continuous spectrum recedes to infinity. We provide a detailed study of the linear and nonlinear problems in Hoelder spaces on the cigar, including a sharp boundedness estimate for the semi-group, and use this as a tool to obtain sharp convergence results toward the Barenblatt solution, and higher order asymptotics. In finer convergence results (after modding out symmetries of the problem), a subtle interplay between convergence rates and tail behavior is revealed. The difficulties involved in choosing the right functional spaces in which to carry out the analysis can be interpreted as genuine features of the equation rather than mere annoying technicalities.


title: Fast Scramblers, Horizons and Expander Graphs

abstract: We propose that local quantum systems defined on expander graphs provide a simple microscopic model for thermalization on quantum horizons. Such systems are automatically fast scramblers and are motivated from the membrane paradigm by a conformal transformation to the so-called optical metric.


title: Statistical Uncertainty in Line Shift and Width Interpretation

abstract: A general mathematical derivation is given of the uncertainty arising from photon statistics in spectroscopic determination of line shift and width, in the presence of a background spectrum.


title: Non-Local Interactions For the Deuteron Using Spherical Bessel Functions

abstract: Non-local interactions are assumed for the deuteron with form factors $g_C(k)= j_0(b_1k)\,j_0(b_2k)$ for the central part responsible for the S-state and $g_T(k)= j_1(b_1k)\,j_1(b_2k)$ for the tensor part responsible for the D-state, where $b_1$ and $b_2$ are range parameters for the proton and neutron, respectively. The analytically obtained wavefunctions in coordinate space have different forms in three different regions. The inner most region is between $r=0$ and $r=b_2-b_1$ (assuming $b_2>b_1$), followed by a region between $r=b_2-b_1$ and $b_1+b_2$ and finally the region $r>b_1+b_2$. The resulting wavefunctions and their derivatives are found to be continuous at the boundaries. The ensuing calculations are simplified by setting $b_1=b_2=b$. Good agreement is obtained for the quadrupole moment. Neutron-proton scattering calculations will follow in the next communication.


title: Geometry of non-holonomic diffusion

abstract: We study stochastically perturbed non-holonomic systems from a geometric point of view. In this setting, it turns out that the probabilistic properties of the perturbed system are intimately linked to the geometry of the constraint distribution. For $G$-Chaplygin systems, this yields a stochastic criterion for the existence of a smooth preserved measure. As an application of our results we consider the motion planning problem for the noisy two-wheeled robot and the noisy snakeboard.


title: Codimension zero laminations are inverse limits

abstract: The aim of the paper is to investigate the relation between inverse limit of branched manifolds and codimension zero laminations. We give necessary and sufficient conditions for such an inverse limit to be a lamination. We also show that codimension zero laminations are inverse limits of branched manifolds. The inverse limit structure allows us to show that equicontinuous codimension zero laminations preserves a distance function on transversals.


title: Nonequilibrium Zaklan model on Apollonian Networks

abstract: The Zaklan model had been proposed and studied recently using the equilibrium Ising model on Square Lattices (SL) by Zaklan et al (2008), near the critica temperature of the Ising model presenting a well-defined phase transition; but on normal and modified Apollonian networks (ANs), Andrade et al. (2005, 2009) studied the equilibrium Ising model. They showed the equilibrium Ising model not to present on ANs a phase transition of the type for the 2D Ising model. Here, using agent-based Monte-Carlo simulations, we study the Zaklan model with the well-known majority-vote model (MVM) with noise and apply it to tax evasion on ANs, to show that differently from the Ising model the MVM on ANs presents a well defined phase transition. To control the tax evasion in the economics model proposed by Zaklan et al, MVM is applied in the neighborhood of the critical noise $q_{c}$ to the Zaklan model. Here we show that the Zaklan model is robust because this can be studied besides using equilibrium dynamics of Ising model also through the nonequilibrium MVM and on various topologies giving the same behavior regardless of dynamic or topology used here.


title: "I Wanted to Predict Elections with Twitter and all I got was this Lousy Paper" -- A Balanced Survey on Election Prediction using Twitter Data

abstract: Predicting X from Twitter is a popular fad within the Twitter research subculture. It seems both appealing and relatively easy. Among such kind of studies, electoral prediction is maybe the most attractive, and at this moment there is a growing body of literature on such a topic. This is not only an interesting research problem but, above all, it is extremely difficult. However, most of the authors seem to be more interested in claiming positive results than in providing sound and reproducible methods. It is also especially worrisome that many recent papers seem to only acknowledge those studies supporting the idea of Twitter predicting elections, instead of conducting a balanced literature review showing both sides of the matter. After reading many of such papers I have decided to write such a survey myself. Hence, in this paper, every study relevant to the matter of electoral prediction using social media is commented. From this review it can be concluded that the predictive power of Twitter regarding elections has been greatly exaggerated, and that hard research problems still lie ahead.


title: Velocity fluctuations of noisy reaction fronts propagating into a metastable state: testing theory in stochastic simulations

abstract: The position of a reaction front, propagating into a metastable state, fluctuates because of the shot noise of reactions and diffusion. A recent theory [B. Meerson, P.V. Sasorov, and Y. Kaplan, Phys. Rev. E 84, 011147 (2011)] gave a closed analytic expression for the front diffusion coefficient in the weak noise limit. Here we test this theory in stochastic simulations involving reacting and diffusing particles on a one-dimensional lattice. We also investigate a small noise-induced systematic shift of the front velocity compared to the prediction from the spatially continuous deterministic reaction-diffusion equation.


title: Symmetric differentials and the fundamental group

abstract: Esnault asked whether every smooth complex projective variety with infinite fundamental group has a nonzero symmetric differential (a section of a symmetric power of the cotangent bundle). In a sense, this would mean that every variety with infinite fundamental group has some nonpositive curvature. We show that the answer to Esnault's question is positive when the fundamental group has a finite-dimensional representation over some field with infinite image. This applies to all known varieties with infinite fundamental group. Along the way, we produce many symmetric differentials on the base of a variation of Hodge structures. One interest of these results is that symmetric differentials give information in the direction of Kobayashi hyperbolicity. For example, they limit how many rational curves the variety can contain.


title: Prime ends for domains in metric spaces

abstract: In this paper we propose a new definition of prime ends for domains in metric spaces under rather general assumptions. We compare our prime ends to those of Carath\'eodory and N\"akki. Modulus ends and prime ends, defined by means of the \p-modulus of curve families, are also discussed and related to the prime ends. We provide characterizations of singleton prime ends and relate them to the notion of accessibility of boundary points, and introduce a topology on the prime end boundary. We also study relations between the prime end boundary and the Mazurkiewicz boundary. Generalizing the notion of John domains, we introduce almost John domains, and we investigate prime ends in the settings of John domains, almost John domains and domains which are finitely connected at the boundary.


title: A Complete Dichotomy Rises from the Capture of Vanishing Signatures

abstract: We prove a complexity dichotomy theorem for Holant problems over an arbitrary set of complex-valued symmetric constraint functions F on Boolean variables. This extends and unifies all previous dichotomies for Holant problems on symmetric constraint functions (taking values without a finite modulus). We define and characterize all symmetric vanishing signatures. They turned out to be essential to the complete classification of Holant problems. The dichotomy theorem has an explicit tractability criterion expressible in terms of holographic transformations. A Holant problem defined by a set of constraint functions F is solvable in polynomial time if it satisfies this tractability criterion, and is #P-hard otherwise. The tractability criterion can be intuitively stated as follows: A set F is tractable if (1) every function in F has arity at most two, or (2) F is transformable to an affine type, or (3) F is transformable to a product type, or (4) F is vanishing, combined with the right type of binary functions, or (5) F belongs to a special category of vanishing type Fibonacci gates. The proof of this theorem utilizes many previous dichotomy theorems on Holant problems and Boolean #CSP. Holographic transformations play an indispensable role as both a proof technique and in the statement of the tractability criterion.


title: The Deodhar decomposition of the Grassmannian and the regularity of KP solitons

abstract: Given a point A in the real Grassmannian, it is well-known that one can construct a soliton solution u_A(x,y,t) to the KP equation. The contour plot of such a solution provides a tropical approximation to the solution when the variables x, y, and t are considered on a large scale and the time t is fixed. In this paper we use several decompositions of the Grassmannian in order to gain an understanding of the contour plots of the corresponding soliton solutions. First we use the positroid stratification of the real Grassmannian in order to characterize the unbounded line-solitons in the contour plots at y>>0 and y<<0. Next we introduce a refinement of the positroid stratification -- the Deodhar decomposition of the Grassmannian -- which is defined to be the projection of Deodhar's decomposition of the complete flag variety. We index the components of the Deodhar decomposition of the Grassmannian by certain tableaux which we call Go-diagrams, and then use these Go-diagrams to characterize the contour plots of solitons solutions when t<<0. Finally we use these results to show that a soliton solution u_A(x,y,t) is regular for all times t if and only if A comes from the totally non-negative part of the Grassmannian.

categories: math.CO hep-th math-ph math.AG math.MP nlin.SI


title: Open Problems in Analysis of Boolean Functions

abstract: A list of open problems in the field of analysis of boolean functions, compiled February 2012 for the Simons Symposium.


title: Reproducing Kernels of Generalized Sobolev Spaces via a Green Function Approach with Distributional Operators

abstract: In this paper we introduce a generalized Sobolev space by defining a semi-inner product formulated in terms of a vector distributional operator $\mathbf{P}$ consisting of finitely or countably many distributional operators $P_n$, which are defined on the dual space of the Schwartz space. The types of operators we consider include not only differential operators, but also more general distributional operators such as pseudo-differential operators. We deduce that a certain appropriate full-space Green function $G$ with respect to $L:=\mathbf{P}^{\ast T}\mathbf{P}$ now becomes a conditionally positive definite function. In order to support this claim we ensure that the distributional adjoint operator $\mathbf{P}^{\ast}$ of $\mathbf{P}$ is well-defined in the distributional sense. Under sufficient conditions, the native space (reproducing-kernel Hilbert space) associated with the Green function $G$ can be isometrically embedded into or even be isometrically equivalent to a generalized Sobolev space. As an application, we take linear combinations of translates of the Green function with possibly added polynomial terms and construct a multivariate minimum-norm interpolant $s_{f,X}$ to data values sampled from an unknown generalized Sobolev function $f$ at data sites located in some set $X \subset \mathbb{R}^d$. We provide several examples, such as Mat\'ern kernels or Gaussian kernels, that illustrate how many reproducing-kernel Hilbert spaces of well-known reproducing kernels are isometrically equivalent to a generalized Sobolev space. These examples further illustrate how we can rescale the Sobolev spaces by the vector distributional operator $\mathbf{P}$. Introducing the notion of scale as part of the definition of a generalized Sobolev space may help us to choose the "best" kernel function for kernel-based approximation methods.


title: Generalized Limits for Parameter Sensitivity via Quantum Ziv-Zakai Bound

abstract: We study the generalized limit for parameter sensitivity in quantum estimation theory considering the effects of repeated and adaptive measurements. Based on the quantum Ziv-Zakai bound, we derive some lower bounds for parameter sensitivity when the Hamiltonian of system is unbounded and when the adaptive measurements are implemented on the system. We also prove that the parameter sensitivity is bounded by the limit of the minimum detectable parameter. In particular, we examine several known states in quantum phase estimation with non-interacting photons, and show that they can not perform better than Heisenberg limit in a much simpler way with our result.


title: Global weak solutions to the two-dimensional Navier-Stokes equations of compressible heat-conducting flows with symmetric data and forces

abstract: We prove the global existence of weak solutions to the Navier-Stokes equations of compressible heat-conducting fluids in two spatial dimensions with initial data and external forces which are large and spherically symmetric. The solutions will be obtained as the limit of the approximate solutions in an annular domain. We first derive a number of regularity results on the approximate physical quantities in the "fluid region", as well as the new uniform integrability of the velocity and temperature in the entire space-time domain by exploiting the theory of the Orlicz spaces. By virtue of these a priori estimates we then argue in a manner similar to that in [Arch. Rational Mech. Anal. 173 (2004), 297-343] to pass to the limit and show that the limiting functions are indeed a weak solution which satisfies the mass and momentum equations in the entire space-time domain in the sense of distributions, and the energy equation in any compact subset of the "fluid region".


title: Rayleigh-Taylor instability for compressible rotating flows

abstract: In this paper, we investigate the Rayleigh-Taylor instability problem for two compressible, immiscible, inviscid flows rotating with an constant angular velocity, and evolving with a free interface in the presence of a uniform gravitational field. First we construct the Rayleigh-Taylor steady-state solutions with a denser fluid lying above the free interface with the second fluid, then we turn to an analysis of the equations obtained from linearization around such a steady state. In the presence of uniform rotation, there is no natural variational framework for constructing growing mode solutions to the linearized problem. Using the general method of studying a family of modified variational problems introduced in \cite{Y-I2}, we construct normal mode solutions that grow exponentially in time with rate like $e^{t\sqrt{c|\xi|-1}}$, where $\xi$ is the spatial frequency of the normal mode and the constant $c$ depends on some physical parameters of the two layer fluids. A Fourier synthesis of these normal mode solutions allows us to construct solutions that grow arbitrarily quickly in the Sobolev space $H^k$, and lead to an ill-posedness result for the linearized problem. Moreover, from the analysis we see that rotation diminishes the growth of instability. Using the pathological solutions, we then demonstrate the ill-posedness for the original non-linear problem in some sense.


title: Optimality of Graphlet Screening in High Dimensional Variable Selection

abstract: Consider a linear regression model where the design matrix X has n rows and p columns. We assume (a) p is much large than n, (b) the coefficient vector beta is sparse in the sense that only a small fraction of its coordinates is nonzero, and (c) the Gram matrix G = X'X is sparse in the sense that each row has relatively few large coordinates (diagonals of G are normalized to 1). The sparsity in G naturally induces the sparsity of the so-called graph of strong dependence (GOSD). We find an interesting interplay between the signal sparsity and the graph sparsity, which ensures that in a broad context, the set of true signals decompose into many different small-size components of GOSD, where different components are disconnected. We propose Graphlet Screening (GS) as a new approach to variable selection, which is a two-stage Screen and Clean method. The key methodological innovation of GS is to use GOSD to guide both the screening and cleaning. Compared to m-variate brute-forth screening that has a computational cost of p^m, the GS only has a computational cost of p (up to some multi-log(p) factors) in screening. We measure the performance of any variable selection procedure by the minimax Hamming distance. We show that in a very broad class of situations, GS achieves the optimal rate of convergence in terms of the Hamming distance. Somewhat surprisingly, the well-known procedures subset selection and the lasso are rate non-optimal, even in very simple settings and even when their tuning parameters are ideally set.


title: The Role of Vertex Consistency in Sampling-based Algorithms for Optimal Motion Planning

abstract: Motion planning problems have been studied by both the robotics and the controls research communities for a long time, and many algorithms have been developed for their solution. Among them, incremental sampling-based motion planning algorithms, such as the Rapidly-exploring Random Trees (RRTs), and the Probabilistic Road Maps (PRMs) have become very popular recently, owing to their implementation simplicity and their advantages in handling high-dimensional problems. Although these algorithms work very well in practice, the quality of the computed solution is often not good, i.e., the solution can be far from the optimal one. A recent variation of RRT, namely the RRT* algorithm, bypasses this drawback of the traditional RRT algorithm, by ensuring asymptotic optimality as the number of samples tends to infinity. Nonetheless, the convergence rate to the optimal solution may still be slow. This paper presents a new incremental sampling-based motion planning algorithm based on Rapidly-exploring Random Graphs (RRG), denoted RRT# (RRT "sharp") which also guarantees asymptotic optimality but, in addition, it also ensures that the constructed spanning tree of the geometric graph is consistent after each iteration. In consistent trees, the vertices which have the potential to be part of the optimal solution have the minimum cost-come-value. This implies that the best possible solution is readily computed if there are some vertices in the current graph that are already in the goal region. Numerical results compare with the RRT* algorithm.


title: Symmetric ground states for a stationary relativistic mean-field model for nucleons in the nonrelativistic limit

abstract: In this paper we consider a model for a nucleon interacting with the $\omega$ and $\sigma$ mesons in the atomic nucleus. The model is relativistic, but we study it in the nuclear physics nonrelativistic limit, which is of a very different nature from the one of the atomic physics. Ground states with a given angular momentum are shown to exist for a large class of values for the coupling constants and the mesons' masses. Moreover, we show that, for a good choice of parameters, the very striking shapes of mesonic densities inside and outside the nucleus are well described by the solutions of our model.


title: On the Manipulability of Voting Systems: Application to Multi-Carrier Networks

abstract: Today, Internet involves many actors who are making revenues on it (operators, companies, service providers,...). It is therefore important to be able to make fair decisions in this large-scale and highly competitive economical ecosystem. One of the main issues is to prevent actors from manipulating the natural outcome of the decision process. For that purpose, game theory is a natural framework. In that context, voting systems represent an interesting alternative that, to our knowledge, has not yet been considered. They allow competing entities to decide among different options. Strong theoretical results showed that all voting systems are susceptible to be manipulated by one single voter, except for some "degenerated" and non-acceptable cases. However, very little is known about how much a voting system is manipulable in practical scenarios. In this paper, we investigate empirically the use of voting systems for choosing end-to-end paths in multi-carrier networks, analyzing their manipulability and their economical efficiency. We show that one particular system, called \Single Transferable Vote (STV), is largely more resistant to manipulability than the natural system which tries to get the economical optimum. Moreover, STV manages to select paths close to the economical optimum, whether the participants try to cheat or not.


title: The Thurston norm and twisted Alexander polynomials

abstract: Using recent results of Agol, Przytycki-Wise and Wise we show that twisted Alexander polynomials detect the Thurston norm of any irreducible 3-manifold which is not a closed graph manifold.


title: Hamiltonicity in connected regular graphs

abstract: In 1980, Jackson proved that every 2-connected $k$-regular graph with at most $3k$ vertices is Hamiltonian. This result has been extended in several papers. In this note, we determine the minimum number of vertices in a connected $k$-regular graph that is not Hamiltonian, and we also solve the analogous problem for Hamiltonian paths. Further, we characterize the smallest connected $k$-regular graphs without a Hamiltonian cycle.


title: Active Contour with A Tangential Component

abstract: Conventional edge-based active contours often require the normal component of an edge indicator function on the optimal contours to approximate zero, while the tangential component can still be significant. In real images, the full gradients of the edge indicator function along the object boundaries are often small. Hence, the curve evolution of edge-based active contours can terminate early before converging to the object boundaries with a careless contour initialization. We propose a novel Geodesic Snakes (GeoSnakes) active contour that requires the full gradients of the edge indicator to vanish at the optimal solution. Besides, the conventional curve evolution approach for minimizing active contour energy cannot fully solve the Euler-Lagrange (EL) equation of our GeoSnakes active contour, causing a Pseudo Stationary Phenomenon (PSP). To address the PSP problem, we propose an auxiliary curve evolution equation, named the equilibrium flow (EF) equation. Based on the EF and the conventional curve evolution, we obtain a solution to the full EL equation of GeoSnakes active contour. Experimental results validate the proposed geometrical interpretation of the early termination problem, and they also show that the proposed method overcomes the problem.


title: A Distinguisher-Based Attack on a Variant of McEliece's Cryptosystem Based on Reed-Solomon Codes

abstract: Baldi et \textit{al.} proposed a variant of McEliece's cryptosystem. The main idea is to replace its permutation matrix by adding to it a rank 1 matrix. The motivation for this change is twofold: it would allow the use of codes that were shown to be insecure in the original McEliece's cryptosystem, and it would reduce the key size while keeping the same security against generic decoding attacks. The authors suggest to use generalized Reed-Solomon codes instead of Goppa codes. The public code built with this method is not anymore a generalized Reed-Solomon code. On the other hand, it contains a very large secret generalized Reed-Solomon code. In this paper we present an attack that is built upon a distinguisher which is able to identify elements of this secret code. The distinguisher is constructed by considering the code generated by component-wise products of codewords of the public code (the so-called "square code"). By using square-code dimension considerations, the initial generalized Reed-Solomon code can be recovered which permits to decode any ciphertext. A similar technique has already been successful for mounting an attack against a homomorphic encryption scheme suggested by Bogdanoc et \textit{al.}. This work can be viewed as another illustration of how a distinguisher of Reed-Solomon codes can be used to devise an attack on cryptosystems based on them.


title: Observables on Quantum Structures

abstract: An observable on a quantum structure is any $\sigma$-homomorphism of quantum structures from the Borel $\sigma$-algebra into the quantum structure. We show that our partial information on an observable known only for all intervals of the form $(-\infty,t)$ is sufficient to determine uniquely the whole observable defined on quantum structures like $\sigma$-MV-algebras, $\sigma$-effect algebras, Boolean $\sigma$-algebras, monotone $\sigma$-complete effect algebras with the Riesz Decomposition Property, the effect algebra of effect operators of a Hilbert space, and a system of functions, and an effect-tribe.


title: Roto-flexoelectric coupling impact on the phase diagrams and pyroelectricity of thin SrTiO3 films

abstract: The influence of the flexoelectric and rotostriction coupling on the phase diagrams of ferroelastic-quantum paraelectric SrTiO3 films was studied using Landau-Ginzburg-Devonshire (LGD) theory. The phase diagrams in coordinates temperature - film thickness were calculated for different epitaxial misfit strains. Tensile misfit strains stimulate appearance of the spontaneous out-of-plane structural order parameter (displacement vector of an appropriate oxygen atom from its cubic position) in the structural phase. Compressive misfit strains stimulate appearance of the spontaneous in-plane structural order parameter. Gradients of the structural order parameter components, which inevitably exist in the vicinity of film surfaces due to the termination and symmetry breaking, induce improper polarization and pyroelectric response via the flexoelectric and rotostriction coupling mechanism. Flexoelectric and rotostriction coupling results in the roto-flexoelectric field that is antisymmetric inside the film, small in the central part of the film, where the gradients of the structural parameter are small, and maximal near the surfaces, where the gradients of the structural parameter are highest. The field induces improper polarization and pyroelectric response. Penetration depths of the improper phases (both polar and structural) can reach several nm from the film surfaces. An improper pyroelectric response of thin films is high enough to be registered with planar-type electrode configurations by conventional pyroelectric methods.


title: Satellite peaks in the scattering of light from the two-dimensional randomly rough surface of a dielectric film on a planar metal surface

abstract: A nonperturbative, purely numerical, solution of the reduced Rayleigh equation for the scattering of p- and s-polarized light from a dielectric film with a two-dimensional randomly rough surface deposited on a planar metallic substrate, has been carried out. It is found that satellite peaks are present in the angular dependence of the elements of the mean differential reflection coefficient in addition to an enhanced backscattering peak. This result resolves a conflict between the results of earlier approximate theoretical studies of scattering from this system.


title: Coherent phonon dynamics at the martensitic phase transition of Ni_2MnGa

abstract: We use time-resolved optical reflectivity to study the laser stimulated dynamics in the magnetic shape memory alloy Ni_2MnGa. We observe two coherent optical phonons, at 1.2 THz in the martensite phase and at 0.7 THz in the pre-martensite phase, which we interpret as a zone-folded acoustic phonon and a heavily damped amplitudon respectively. In the martensite phase the martensitic phase transition can be induced by a fs laser pulse on a timescale of a few ps.


title: H\"{o}lder continuous retractions and amenable semigroups of uniformly Lipschitzian mappings in Hilbert spaces

abstract: Suppose that S is a left amenable semitopological semigroup. We prove that if ${T_{t}: t \in S}$ is a uniformly k-Lipschitzian semigroup on a bounded closed and convex subset C of a Hilbert space and $k<\sqrt{2}$, then the set of fixed points of this semigroup is a H\"{o}lder continuous retract of C. This gives a qualitative complement to the Ishihara-Takahashi fixed point existence theorem.


title: Logarithmic temperature profiles in turbulent Rayleigh-B\'enard convection

abstract: We report results for the temperature profiles of turbulent Rayleigh-B\'enard convection (RBC) in the interior of a cylindrical sample of aspect ratio $\Gamma \equiv D/L = 0.50$ ($D$ and $L$ are the diameter and height respectively). Results from experiment over the Rayleigh number range $4\times 10^{12} \alt Ra \alt 10^{15}$ for a Prandtl number $\Pra \simeq 0.8$ and from direct numerical simulation (DNS) at $Ra = 2 \times 10^{12}$ for $\Pra = 0.7$ are presented. We find that the temperature varies as $A*ln(z/L) + B$ where $z$ is the distance from the bottom or top plate. This is the case in the classical as well as in the ultimate state of RBC. From DNS we find that $A$ in the classical state decreases in the radial direction as the distance from the side wall increases and becomes small near the sample center.


title: R-parity violating supersymmetric contributions to the P, CP-odd electron-nucleon interaction at the one-loop level

abstract: The contribution of the R-parity violating minimal supersymmetric Standard model (RPVMSSM) at the one-loop level to the 199Hg atomic electric dipole moment (EDM) through P, CP-odd electron-nucleon (e-N) interaction is calculated. We show that the current experimental data of the 199Hg EDM give tighter constraints on some of the imaginary parts of R-parity violating (RPV) coupling than those currently known. We add also the analysis of the P, CP-odd 4-quark interaction generated by R-parity violating interactions at the one-loop level, and discuss the possibility to constrain them in future experiments.


title: Homogenization of a Wilson-Cowan model for neural fields

abstract: Homogenization of Wilson-Cowan type of nonlocal neural field models is investigated. Motivated by the presence of a convolution terms in this type of models, we first prove some general convergence results related to convolution sequences. We then apply theses results to the homogenization problem of the Wilson-Cowan type model in a general deterministic setting. Key ingredients in this study are the notion of algebras with mean value and the related concept of sigma-convergence.


title: Emergent spacetime and black hole probes from automorphic forms

abstract: Over the past few years the arithmetic Langlands program has found applications in two quite different problems that arise in string physics. The first of these is concerned with the fundamental problem of deriving the geometry of spacetime from the worldsheet dynamics, leading to a realization of the notion of an emergent spacetime in string theory. The second problem is concerned with the idea of using automorphic black holes as probes of spacetime. In this article both of these applications of the Langlands program are described.


title: Wall charge and potential from a microscopic point of view

abstract: Macroscopic objects floating in an ionized gas (plasma walls) accumulate electrons more efficiently than ions because the influx of electrons outruns the influx of ions. The floating potential acquired by plasma walls is thus negative with respect to the plasma potential. Until now plasma walls are typically treated as perfect absorbers for electrons and ions, irrespective of the microphysics at the surface responsible for charge deposition and extraction. This crude description, sufficient for present day technological plasmas, will run into problems in solid-state based gas discharges where, with continuing miniaturization, the wall becomes an integral part of the plasma device and the charge transfer across it has to be modelled more precisely. The purpose of this paper is to review our work, where we questioned the perfect absorber model and initiated a microscopic description of the charge transfer across plasma walls, put it into perspective, and indicate directions for future research.


title: Exponential decay of equal-time four-point correlation functions in the Hubbard model on the copper-oxide lattice

abstract: For the Hubbard model on the two-dimensional copper-oxide lattice, equal-time four-point correlation functions at positive temperature are proved to decay exponentially in the thermodynamic limit if the magnitude of the on-site interactions is smaller than some power of temperature. This result especially implies that the equal-time correlation functions for singlet Cooper pairs of various symmetries decay exponentially in the distance between the Cooper pairs in high temperatures or in low-temperature weak-coupling regimes. The proof is based on a multi-scale integration over the Matsubara frequency.


title: Analyticity and sum rules for photon GPDs

abstract: The photon is explored as an object to test the applications of QCD to the perturbatively calculable collinear parton distributions. We investigate analytic properties of DVCS amplitudes and related sum rules of generalized parton distributions of the photon using as an input their earlier calculations in the leading order. The relation of these GPDs to the quintessential functions in the framework of the dual parametrization approach is also found.


title: STEREO-A and PROBA2 Quadrature Observations of Reflections of three EUV Waves from a Coronal Hole

abstract: We investigate the interaction of three consecutive large-scale coronal waves with a polar coronal hole, simultaneously observed on-disk by the Solar TErrestrial Relations Observatory (STEREO)-A spacecraft and on the limb by the PRoject for On-Board Autonomy 2 (PROBA2) spacecraft on January 27, 2011. All three extreme-ultraviolet(EUV) waves originate from the same active region NOAA 11149 positioned at N30E15 in the STEREO-A field-of-view and on the limb in PROBA2. We derive for the three primary EUV waves start velocities in the range of ~310 km/s for the weakest up to ~500 km/s for the strongest event. Each large-scale wave is reflected at the border of the extended coronal hole at the southern polar region. The average velocities of the reflected waves are found to be smaller than the mean velocities of their associated direct waves. However, the kinematical study also reveals that in each case the end velocity of the primary wave matches the initial velocity of the reflected wave. In all three events the primary and reflected waves obey the Huygens-Fresnel principle, as the incident angle with ~10{\deg} to the normal is of the same size as the angle of reflection. The correlation between the speed and the strength of the primary EUV waves, the homologous appearance of both the primary and the reflected waves, and in particular the EUV wave reflections themselves implicate that the observed EUV transients are indeed nonlinear large-amplitude MHD waves.


title: Secondary phase Cu2SnSe3 vs. kesterite Cu2ZnSnSe4: similarities and differences in lattice vibration modes

abstract: The crystal structure of monoclinic semiconductor Cu2SnSe3 is optimized, in a first-principles LDA calculation by Siesta method, to be found in good agreement with available experimental data, on which base zone-center transversal phonon modes are further calculated. The comparison with a similar calculation for kesterite-phase Cu2ZnSnSe4 helps to identify vibration modes promising to serve as fingerprints for discrimination of these two materials from their lattice-dynamical properties. Moreover, a full analysis of vibration modes is done, which emphasizes an importance of structural motives present in Cu2SnSe3 but absent in kesterite, namely continuous planar chains and stripes of like cations/anions, for the manifestation of structure-specific vibration lines.


title: The Gromoll filtration, KO-characteristic classes and metrics of positive scalar curvature

abstract: Let X be a closed m-dimensional spin manifold which admits a metric of positive scalar curvature and let Pos(X) be the space of all such metrics. For any g in Pos(X), Hitchin used the KO-valued alpha-invariant to define a homomorphism A_{n-1} from \pi_{n-1}(Pos(X) to KO_{m+n}. He then showed that A_0 is not 0 if m = 8k or 8k+1 and that A_1 is not 0 if m = 8k-1 or 8$. In this paper we use Hitchin's methods and extend these results by proving that A_{8j+1-m} is not 0 whenever m>6 and 8j - m >= 0. The new input are elements with non-trivial alpha-invariant deep down in the Gromoll filtration of the group \Gamma^{n+1} = \pi_0(\Diff(D^n, \del)). We show that \alpha(\Gamma^{8j+2}_{8j-5}) is not 0 for j>0. This information about elements existing deep in the Gromoll filtration is the second main new result of this note.


title: Electromagnetic field fluctuations near a dielectric-vacuum boundary and surface divergences in the ideal conductor limit

abstract: We consider the electric and magnetic field fluctuations in the vacuum state in the region external to a half-space filled with a homogeneous non-dissipative dielectric. We discuss an appropriate limit to an ideal metal and concentrate our interest on the renormalized field fluctuations, or equivalently to renormalized electric and magnetic energy densities, in the proximity of the dielectric-vacuum interface. We show that surface divergences of field fluctuations arise at the interface in an appropriate ideal conductor limit, and that our limiting procedure allows to discuss in detail their structure. Field fluctuations close to the surface can be investigated through the retarded Casimir-Polder interaction with an appropriate polarizable body.


title: Molecule and polaron in a highly polarized two-dimensional Fermi gas with spin-orbit coupling

abstract: We show that spin-orbit coupling (SOC) gives rise to pairing instability in a highly polarized two-dimensional Fermi gas for arbitrary interaction strength. The pairing instability can lead to a Fulde-Ferrell-Larkin-Ovchinnikov-like molecular state, which undergoes a first-order transition into a pairing state with zero center-of-mass momentum as the parameters are tuned. These pairing states are metastable against a polaron state dressed by particle-hole fluctuations for small SOC. At large SOC, a polaron-molecule transition exists, which suggests a phase transition between the topological superfluid state and the normal state for a highly polarized Fermi gas in the thermodynamic limit. As polarization in a Fermi gas with SOC is induced by the effective Zeeman field, we also discuss the influences of the effective Zeeman field on the ground state of the system. Our findings may be tested directly in future experiments.


title: Diffractive gauge bosons production beyond QCD factorisation

abstract: We discuss single diffractive gauge bosons ($\gamma^*,\,W^{\pm},\,Z$) production in proton-proton collisions at different (LHC and RHIC) energies within the color dipole approach. The calculations are performed for gauge bosons produced at forward rapidities. The diffractive cross section is predicted as function of fractional momentum and invariant mass of the lepton pair. We found a dramatic breakdown of the diffractive QCD factorisation caused by an interplay of hard and soft interactions. Data from the CDF experiment on diffractive production of $W$ and $Z$ are well explained in a parameter free way.


title: Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant 1 in characteristic 3

abstract: We describe all the elliptic models with section on the Shioda supersingular K3 surface X of Artin invariant 1 over an algebraically closed field of characteristic 3. In particular, we compute elliptic parameters and Weierstrass equations for the fifty two different fibrations, and analyze the reducible fibers and Mordell-Weil lattices.


title: Spin Squeezing Property of Weighted Graph States

abstract: We study the spin squeezing property of weighted graph states, which can be used to improve the sensitivity in interferometry. Decoherence reduces the spin squeezing property but the result remains superior over other reference schemes with GHZ-type maximally entangled states and product states. We study the time evolution of spin squeezing of weighted graph states coupled to different decoherence channels. Based on the analysis, the spin squeezing of the weighted graph states is robust in the presence of decoherence and the decoherence limit in the improvement of the interferometric sensitivity is still achievable.


title: On early onset of quark number density at zero temperature

abstract: We study a longstanding problem in lattice QCD at low temperature and nonzero quark chemical potential on an onset of the quark number density at $\mu=m_\pi/2$. We introduce a physical parametrization of the eigenvalues in the reduction formula of the fermion determinant. It is shown that the parametrization reduces the quark number density operator to an expression with the Fermi distribution of the quark. For each configuration, the eigenvalues of the reduced matrix correspond to one-particle energy states of a quark. The gap of the eigenspectrum of the reduced matrix corresponds to the gap of the energy states, which causes the $\mu$-independence of the fermion determinant for small $\mu$ at T=0. Once $\mu$ exceeds the gap, the quark number density becomes nonzero for each configuration, which causes the early onset of the quark number density.


title: Thermodynamics as a theory of decision-making with information processing costs

abstract: Perfectly rational decision-makers maximize expected utility, but crucially ignore the resource costs incurred when determining optimal actions. Here we propose an information-theoretic formalization of bounded rational decision-making where decision-makers trade off expected utility and information processing costs. Such bounded rational decision-makers can be thought of as thermodynamic machines that undergo physical state changes when they compute. Their behavior is governed by a free energy functional that trades off changes in internal energy-as a proxy for utility-and entropic changes representing computational costs induced by changing states. As a result, the bounded rational decision-making problem can be rephrased in terms of well-known concepts from statistical physics. In the limit when computational costs are ignored, the maximum expected utility principle is recovered. We discuss the relation to satisficing decision-making procedures as well as links to existing theoretical frameworks and human decision-making experiments that describe deviations from expected utility theory. Since most of the mathematical machinery can be borrowed from statistical physics, the main contribution is to axiomatically derive and interpret the thermodynamic free energy as a model of bounded rational decision-making.


title: Tradeoff Analysis of Delay-Power-CSIT Quality of Dynamic BackPressure Algorithm for Energy Efficient OFDM Systems

abstract: In this paper, we analyze the fundamental power-delay tradeoff in point-to-point OFDM systems under imperfect channel state information quality and non-ideal circuit power. We consider the dynamic back- pressure (DBP) algorithm, where the transmitter determines the rate and power control actions based on the instantaneous channel state information (CSIT) and the queue state information (QSI). We exploit a general fluid queue dynamics using a continuous time dynamic equation. Using the sample-path approach and renewal theory, we decompose the average delay in terms of multiple unfinished works along a sample path, and derive an upper bound on the average delay under the DBP power control, which is asymptotically accurate at small delay regime. We show that despite imperfect CSIT quality and non-ideal circuit power, the average power (P) of the DBP policy scales with delay (D) as P = O(Dexp(1/D)) at small delay regime. While the impacts of CSIT quality and circuit power appears as the coefficients of the scaling law, they may be significant in some operating regimes.


title: Applications of statistical mechanics to economics: Entropic origin of the probability distributions of money, income, and energy consumption

abstract: This Chapter is written for the Festschrift celebrating the 70th birthday of the distinguished economist Duncan Foley from the New School for Social Research in New York. This Chapter reviews applications of statistical physics methods, such as the principle of entropy maximization, to the probability distributions of money, income, and global energy consumption per capita. The exponential probability distribution of wages, predicted by the statistical equilibrium theory of a labor market developed by Foley in 1996, is supported by empirical data on income distribution in the USA for the majority (about 97%) of population. In addition, the upper tail of income distribution (about 3% of population) follows a power law and expands dramatically during financial bubbles, which results in a significant increase of the overall income inequality. A mathematical analysis of the empirical data clearly demonstrates the two-class structure of a society, as pointed out Karl Marx and recently highlighted by the Occupy Movement. Empirical data for the energy consumption per capita around the world are close to an exponential distribution, which can be also explained by the entropy maximization principle.


title: Universal Factor Graphs

abstract: The factor graph of an instance of a symmetric constraint satisfaction problem on n Boolean variables and m constraints (CSPs such as k-SAT, k-AND, k-LIN) is a bipartite graph describing which variables appear in which constraints. The factor graph describes the instance up to the polarity of the variables, and hence there are up to 2km instances of the CSP that share the same factor graph. It is well known that factor graphs with certain structural properties make the underlying CSP easier to either solve exactly (e.g., for tree structures) or approximately (e.g., for planar structures). We are interested in the following question: is there a factor graph for which if one can solve every instance of the CSP with this particular factor graph, then one can solve every instance of the CSP regardless of the factor graph (and similarly, for approximation)? We call such a factor graph universal. As one needs different factor graphs for different values of n and m, this gives rise to the notion of a family of universal factor graphs. We initiate a systematic study of universal factor graphs, and present some results for max-kSAT. Our work has connections with the notion of preprocessing as previously studied for closest codeword and closest lattice-vector problems, with proofs for the PCP theorem, and with tests for the long code. Many questions remain open.


title: Persistent energy flow for a stochastic wave equation model in nonequilibrium statistical mechanics

abstract: We consider a one-dimensional partial differential equation system modeling heat flow around a ring. The system includes a Klein-Gordon wave equation for a field satisfying spatial periodic boundary conditions, as well as Ornstein-Uhlenbeck stochastic differential equations with finite rank dissipation and stochastic driving terms modeling heat baths. There is an energy flow around the ring. In the case of a linear field with different (fixed) bath temperatures, the energy flow can persist even when the interaction with the baths is turned off. A simple example is given.


title: Smearing of Observables and Spectral Measures on Quantum Structures

abstract: An observable on a quantum structure is any $\sigma$-homomorphism of quantum structures from the Borel $\sigma$-algebra of the real line into the quantum structure which is in our case a monotone $\sigma$-complete effect algebras with the Riesz Decomposition Property. We show that every observable is a smearing of a sharp observable which takes values from a Boolean $\sigma$-subalgebra of the effect algebra, and we prove that for every element of the effect algebra there is its spectral measure.


title: Distribution of velocity gradients and rate of caustic formation in turbulent aerosols at finite Kubo numbers

abstract: In a one-dimensional model for a turbulent aerosol (inertial particles suspended in a random flow) we compute the distributions of particle-velocity gradients and the rate of caustic formation at finite but small Kubo numbers Ku, for arbitrary Stokes numbers St. Our results are consistent with those obtained earlier in the limit of small Ku and and large St, such that Ku^2 St remains constant. We show how finite-time correlations and non-ergodic effects influence the inertial-particle dynamics at finite but small Kubo numbers.


title: Optimal multifactor trading under proportional transaction costs

abstract: Proportional transaction costs present difficult theoretical problems in trading algorithm design, on account of their lack of analytical tractability. The author derives a solution of DT-NT-DT form for an arbitrary model in which the the traded asset has diffusive dynamics described by one or more stochastic risk factors. The width of the NT zone is found to be, as expected, proportional to the cube root of the transaction cost. It is also proportional to the 2/3 power of the volatility of the target position, thereby causing a faster trading strategy to be buffered more than a slower one. The displacement of the middle of the buffer from the costfree position is found to be proportional to the square of the width, and hence to the 2/3 power of the transaction cost; the proportionality constant depends on the expected short-term change in position.


title: Strong scale dependent bispectrum in the Starobinsky model of inflation

abstract: We compute analytically the dominant contribution to the tree-level bispectrum in the Starobinsky model of inflation. In this model, the potential is vacuum energy dominated but contains a subdominant linear term which changes the slope abruptly at a point. We show that on large scales compared with the transition scale $k_0$ and in the equilateral limit the analogue of the non-linearity parameter scales as $(k/k_0)^2$, that is its amplitude decays for larger and larger scales until it becomes subdominant with respect to the usual slow-roll suppressed corrections. On small scales we show that the non-linearity parameter oscillates with angular frequency given by $3/k_0$ and its amplitude grows linearly towards smaller scales and can be large depending on the model parameters. We also compare our results with previous results in the literature.


title: Quantum transport in disordered systems under magnetic fields: A study based on operator algebras

abstract: The linear conductivity tensor for generic homogeneous, microscopic quantum models was formulated as a noncommutative Kubo formula in Refs. \cite{BELLISSARD:1994xj,Schulz-Baldes:1998vm,Schulz-Baldes:1998oq}. This formula was derived directly in the thermodynamic limit, within the framework of $C^*$-algebras and noncommutative calculi defined over infinite spaces. As such, the numerical implementation of the formalism encountered fundamental obstacles. The present work defines a $C^*$-algebra and an approximate noncommutative calculus over a finite real-space torus, which naturally leads to an approximate finite-volume noncommutative Kubo formula, amenable on a computer. For finite temperatures and dissipation, it is shown that this approximate formula converges exponentially fast to its thermodynamic limit, which is the exact noncommutative Kubo formula. The approximate noncommutative Kubo formula is then deconstructed to a form that is implementable on a computer and simulations of the quantum transport in a 2-dimensional disordered lattice gas in a magnetic field are presented.


title: A Selective Review of Group Selection in High-Dimensional Models

abstract: Grouping structures arise naturally in many statistical modeling problems. Several methods have been proposed for variable selection that respect grouping structure in variables. Examples include the group LASSO and several concave group selection methods. In this article, we give a selective review of group selection concerning methodological developments, theoretical properties and computational algorithms. We pay particular attention to group selection methods involving concave penalties. We address both group selection and bi-level selection methods. We describe several applications of these methods in nonparametric additive models, semiparametric regression, seemingly unrelated regressions, genomic data analysis and genome wide association studies. We also highlight some issues that require further study.


title: An Eclipse Plugin to Support Code Smells Detection

abstract: Eradication of code smells is often pointed out as a way to improve readability, extensibility and design in existing software. However, code smell detection in large systems remains time consuming and error-prone, partly due to the inherent subjectivity of the detection processes presently available. In view of mitigating the subjectivity problem, this paper presents a tool that automates a technique for the detection and assessment of code smells in Java source code, developed as an Eclipse plug-in. The technique is based upon a Binary Logistic Regression model and calibrated by expert's knowledge. A short overview of the technique is provided and the tool is described.


title: The Dirac-Coulomb Problem: a mathematical revisit

abstract: We obtain a symmetric tridiagonal matrix representation of the Dirac-Coulomb operator in a suitable complete square integrable basis. Orthogonal polynomials techniques along with Darboux method are used to obtain the bound states energy spectrum, the relativistic scattering amplitudes and phase shifts from the asymptotic behavior of the polynomial solutions associated with the resulting three-term recursion relation.


title: Dimorphism of Ortho-Positronium in Relativistic Schr\"odinger Theory

abstract: The non-relativistic energy levels of ortho-positronium are calculated in the quadrupole and octupole approximations for the interaction potential. For this purpose, the RST eigenvalue problem of angular momentum is illustratively solved for the quantum numbers $\jO=0,1,2,3,4$ and $\bjz=\pm 1$. This eigenvalue problem admits \emph{ambiguous} solutions for $0<|\bjz|<\jO$ whereas the solutions for $\bjz=0$ and $\bjz=\pm \jO$ are \emph{unique}. In order to attain some (at least approximative) solutions of the energy eigenvalue problem one tries a factorized ansatz for the wave function and thus splits off the angular problem (with its ambiguous solutions) from the residual radial problem. The latter does, as usual, finally fix the energy eigenvalues. But it is just by this procedure that the ambiguity of the angular problem is transferred to most of the energy levels which thereby become doubled. The corresponding doubling energy amounts to (roughly) one percent of the total binding energy and is, however, of purely \emph{electric} origin, since magnetism is completely neglected. Indeed, the charge distributions of both positronium constituents (i.e.\ electron and positron) do inherit their ambiguity from the ambiguous solution of the angular eigenvalue problem ($\leadsto$ charge "dimorphism"); and naturally the dimorphic configurations must then possess slightly different interaction energies of the electrostatic type.


title: Shape invariance in phase space

abstract: Shape invariance is a powerful solvability condition, that allows for complete knowledge of the energy spectrum, and eigenfunctions of a system. After a short introduction into the deformation quantization formalism, this paper explores the implications of the supersymmetric quantum mechanics and shape invariance techniques to the phase space formalism. We show that shape invariance induces a new set of relations between the Wigner functions of the system, that allows for their direct calculation, once we know one of them. The simple harmonic oscillator and the Morse potential are solved as examples.


title: A Decomposition of Irreversible Diffusion Processes Without Detailed Balance

abstract: As a generalization of deterministic, nonlinear conservative dynamical systems, a notion of {\em canonical conservative dynamics} with respect to a positive, differentiable stationary density $\rho(x)$ is introduced: $\dot{x}=j(x)$ in which $\nabla\cdot\big(\rho(x)j(x)\big)=0$. Such systems have a conserved "generalized free energy function" $F[u]$ $=$ $\int u(x,t)\ln\big(u(x,t)/\rho(x)\big)dx$ in phase space with a density flow $u(x,t)$ satisfying $\partial u_t =-\nabla\cdot(ju)$. Any general stochastic diffusion process without detailed balance, in terms of its Fokker-Planck equation, can be decomposed into a reversible diffusion process with detailed balance and a canonical conservative dynamics. This decomposition can be rigorously established in a function space with inner product defined as $\langle\phi,\psi\rangle=\int\rho^{-1}(x)\phi(x)\psi(x)dx$. Furthermore, a law for balancing $F[u]$ can be obtained: The non-positive $dF[u(x,t)]/dt$ $=$ $E_{in}(t)-e_p(t)$ where the "source" $E_{in}(t)\ge 0$ and the "sink" $e_p(t)\ge 0$ are known as house-keeping heat and entropy production, respectively. A reversible diffusion has $E_{in}(t)=0$. For a linear (Ornstein-Uhlenbeck) diffusion process, our decomposition is equivalent to the previous approaches developed by R. Graham and P. Ao, as well as the theory of large deviations. In terms of two different formulations of time reversal for a same stochastic process, the meanings of {\em dissipative} and {\em conservative} stationary dynamics are discussed.

categories: math-ph cond-mat.stat-mech math.DS math.MP q-bio.PE


title: A Roman Dodecahedron for measuring distance

abstract: Here I am discussing a possible use of a Roman Dodecahedron, a bronze artifact of gallo-roman origin, for measuring distance. A dodecahedron, found at Jublains, the ancient Nouiodunum, dating from the 2nd or 3rd century AD, is used to create a model. Looking through the model, it is possible to test it for measurements of distance based on similar triangles.


title: Orbifold matrix models and fuzzy extra dimensions

abstract: We revisit an orbifold matrix model obtained as a restriction of the type IIB matrix model on a Z_3-invariant sector. An investigation of its moduli space of vacua is performed and issues related to chiral gauge theory and gravity are discussed. Modifications of the orbifolded model triggered by Chern-Simons or mass deformations are also analyzed. Certain vacua of the modified models exhibit higher-dimensional behaviour with internal geometries related to fuzzy spheres.


title: Collective Excitations and Stability of the Excitonic Phase in the Extended Falicov--Kimball Model

abstract: We consider the excitonic insulator state (often associated with electronic ferroelectricity), which arises on the phase diagram of an extended spinless Falicov--Kimball model (FKM) at half-filling. Within the Hartree--Fock approach, we calculate the spectrum of low-energy collective excitations in this state up to second order in the narrow-band hopping and/or hybridisation. This allows to probe the mean-field stability of the excitonic insulator. The latter is found to be unstable when the case of the pure FKM (no hybridisation with a fully localised band) is approached. The instability is due to the presence of another, lower-lying ground state and not to the degeneracy of the excitonic phase in the pure FKM. The excitonic phase, however, may be stabilised further away from the pure FKM limit. In this case, the low-energy excitation spectrum contains new information about the properties of the excitonic condensate (including the strongly suppressed critical temperature).


title: Quantum Metrology Triangle Experiments: A Status Review

abstract: Quantum Metrology Triangle experiments combine three quantum electrical effects (the Josephson effect, the quantum Hall effect and the single-electron transport effect) used in metrology. These experiments allow important fundamental consistency tests on the validity of commonly assumed relations between fundamental constants of nature and the quantum electrical effects. This paper reviews the history, results and the present status and perspectives of Quantum Metrology Triangle experiments. It also reflects on the possible implications of results for the knowledge on fundamental constants and the quantum electrical effects.


title: Conformal Scalar Propagation and Hawking Radiation

abstract: The construction of the conformal scalar propagator which has been obtained in the preceding two projects as an analytic function of the Schwarzschild black-hole space-time is completed with a boundary condition imposed by the physical context through contour integration in the exterior vicinity of the event horizon. It is shown that, as a consequence of the semi-classical character which the emitted quanta have in that exterior vicinity, the particle production by the Schwarzschild black hole which was formally established in the preceding project is identical to thermal Hawking radiation. By extension, it is established that such a particle production corresponds to a spectrum which detracts from thermality by the amount predicted by Parikh and Wilczek if energy conservation is properly imposed as a constraint on scalar propagation. The results obtained herein support the case made by S. Hawking on the relation between quantum propagation and observation of particles produced by a black hole.


title: Exploring the Morphology of RAVE Stellar Spectra

abstract: The RAdial Velocity Experiment (RAVE) is a medium resolution R~7500 spectroscopic survey of the Milky Way which already obtained over half a million stellar spectra. They present a randomly selected magnitude-limited sample, so it is important to use a reliable and automated classification scheme which identifies normal single stars and discovers different types of peculiar stars. To this end we present a morphological classification of 350,000 RAVE survey stellar spectra using locally linear embedding, a dimensionality reduction method which enables representing the complex spectral morphology in a low dimensional projected space while still preserving the properties of the local neighborhoods of spectra. We find that the majority of all spectra in the database ~90-95% belong to normal single stars, but there is also a significant population of several types of peculiars. Among them the most populated groups are those of various types of spectroscopic binary and chromospherically active stars. Both of them include several thousands of spectra. Particularly the latter group offers significant further investigation opportunities since activity of stars is a known proxy of stellar ages. Applying the same classification procedure to the sample of normal single stars alone shows that the shape of the projected manifold in two dimensional space correlates with stellar temperature, surface gravity and metallicity.


title: Equilibrium measures for uniformly quasiregular dynamics

abstract: We establish the existence and fundamental properties of the equilibrium measure in uniformly quasiregular dynamics. We show that a uniformly quasiregular endomorphism $f$ of degree at least 2 on a closed Riemannian manifold admits an equilibrium measure $\mu_f$, which is balanced and invariant under $f$ and non-atomic, and whose support agrees with the Julia set of $f$. Furthermore we show that $f$ is strongly mixing with respect to the measure $\mu_f$. We also characterize the measure $\mu_f$ using an approximation property by iterated pullbacks of points under $f$ up to a set of exceptional initial points of Hausdorff dimension at most $n-1$. These dynamical mixing and approximation results are reminiscent of the Mattila-Rickman equidistribution theorem for quasiregular mappings. Our methods are based on the existence of an invariant measurable conformal structure due to Iwaniec and Martin and the $\cA$-harmonic potential theory.


title: Renormalization group procedure for effective particles: elementary example of exact solution with finite mass corrections and no involvement of vacuum

abstract: Renormalization group procedure for effective particles in the front form of Hamiltonian dynamics is applied to an elementary quantum field theory for two species of particles mixed through a mass-like interaction term. The model interaction generates only finite terms and the procedure yields a whole family of equivalent effective theories. The exact solution for the family is found without involvement of the vacuum state in the dynamics. Physical spectrum is obtained at the end of the procedure in the form of free particles with definite masses. Since the procedure is designed in general terms, it could be used for the purpose of constructing effective dynamics also in other theories than the elementary model.


title: Marginally Specified Priors for Nonparametric Bayesian Estimation

abstract: Prior specification for nonparametric Bayesian inference involves the difficult task of quantifying prior knowledge about a parameter of high, often infinite, dimension. Realistically, a statistician is unlikely to have informed opinions about all aspects of such a parameter, but may have real information about functionals of the parameter, such the population mean or variance. This article proposes a new framework for nonparametric Bayes inference in which the prior distribution for a possibly infinite-dimensional parameter is decomposed into two parts: an informative prior on a finite set of functionals, and a nonparametric conditional prior for the parameter given the functionals. Such priors can be easily constructed from standard nonparametric prior distributions in common use, and inherit the large support of the standard priors upon which they are based. Additionally, posterior approximations under these informative priors can generally be made via minor adjustments to existing Markov chain approximation algorithms for standard nonparametric prior distributions. We illustrate the use of such priors in the context of multivariate density estimation using Dirichlet process mixture models, and in the modeling of high-dimensional sparse contingency tables.


title: Algorithmically complex residually finite groups

abstract: We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function. The groups are solvable of class 3. We also prove that the universal theory of finite solvable of class 3 groups is undecidable.


title: A fast solution to the conjugacy problem in the 4-strand braid group

abstract: We present an algorithm for solving the conjugacy search problem in the four strand braid group. The computational complexity is cubic with respect to the braid length.


title: Efficient cache oblivious algorithms for randomized divide-and-conquer on the multicore model

abstract: In this paper we present randomized algorithms for sorting and convex hull that achieves optimal performance (for speed-up and cache misses) on the multicore model with private cache model. Our algorithms are cache oblivious and generalize the randomized divide and conquer strategy given by Reischuk and Reif and Sen. Although the approach yielded optimal speed-up in the PRAM model, we require additional techniques to optimize cache-misses in an oblivious setting. Under a mild assumption on input and number of processors our algorithm will have optimal time and cache misses with high probability. Although similar results have been obtained recently for sorting, we feel that our approach is simpler and general and we apply it to obtain an optimal parallel algorithm for 3D convex hulls with similar bounds. We also present a simple randomized processor allocation technique without the explicit knowledge of the number of processors that is likely to find additional applications in resource oblivious environments.


title: Dissimilarity Clustering by Hierarchical Multi-Level Refinement

abstract: We introduce in this paper a new way of optimizing the natural extension of the quantization error using in k-means clustering to dissimilarity data. The proposed method is based on hierarchical clustering analysis combined with multi-level heuristic refinement. The method is computationally efficient and achieves better quantization errors than the


title: On the representation dimension of skew group algebras, wreath products and blocks of Hecke algebras

abstract: We establish bounds for the representation dimension of skew group algebras and wreath products. Using this, we obtain bounds for the representation dimension of a block of a Hecke algebra of type A, in terms of the weight of the block. This includes certain blocks of group algebras of symmetric groups.


title: (Never) Mind your p's and q's: Von Neumann versus Jordan on the Foundations of Quantum Theory

abstract: In two papers entitled "On a new foundation [Neue Begr\"undung] of quantum mechanics," Pascual Jordan (1927b,g) presented his version of what came to be known as the Dirac-Jordan statistical transformation theory. As an alternative that avoids the mathematical difficulties facing the approach of Jordan and Paul A. M. Dirac (1927), John von Neumann (1927a) developed the modern Hilbert space formalism of quantum mechanics. In this paper, we focus on Jordan and von Neumann. Central to the formalisms of both are expressions for conditional probabilities of finding some value for one quantity given the value of another. Beyond that Jordan and von Neumann had very different views about the appropriate formulation of problems in quantum mechanics. For Jordan, unable to let go of the analogy to classical mechanics, the solution of such problems required the identication of sets of canonically conjugate variables, i.e., p's and q's. For von Neumann, not constrained by the analogy to classical mechanics, it required only the identication of a maximal set of commuting operators with simultaneous eigenstates. He had no need for p's and q's. Jordan and von Neumann also stated the characteristic new rules for probabilities in quantum mechanics somewhat differently. Jordan (1927b) was the first to state those rules in full generality. Von Neumann (1927a) rephrased them and, in a subsequent paper (von Neumann, 1927b), sought to derive them from more basic considerations. In this paper we reconstruct the central arguments of these 1927 papers by Jordan and von Neumann and of a paper on Jordan's approach by Hilbert, von Neumann, and Nordheim (1928). We highlight those elements in these papers that bring out the gradual loosening of the ties between the new quantum formalism and classical mechanics.


title: An adaptive, high-order phase-space remapping for the two-dimensional Vlasov-Poisson equations

abstract: The numerical solution of high dimensional Vlasov equation is usually performed by particle-in-cell (PIC) methods. However, due to the well-known numerical noise, it is challenging to use PIC methods to get a precise description of the distribution function in phase space. To control the numerical error, we introduce an adaptive phase-space remapping which regularizes the particle distribution by periodically reconstructing the distribution function on a hierarchy of phase-space grids with high-order interpolations. The positivity of the distribution function can be preserved by using a local redistribution technique. The method has been successfully applied to a set of classical plasma problems in one dimension. In this paper, we present the algorithm for the two dimensional Vlasov-Poisson equations. An efficient Poisson solver with infinite domain boundary conditions is used. The parallel scalability of the algorithm on massively parallel computers will be discussed.


title: Sensing remote nuclear spins

abstract: Sensing single nuclear spins is a central challenge in magnetic resonance based imaging techniques. Although different methods and especially diamond defect based sensing and imaging techniques in principle have shown sufficient sensitivity, signals from single nuclear spins are usually too weak to be distinguished from background noise. Here, we present the detection and identification of remote single C-13 nuclear spins embedded in nuclear spin baths surrounding a single electron spins of a nitrogen-vacancy centre in diamond. With dynamical decoupling control of the centre electron spin, the weak magnetic field ~10 nT from a single nuclear spin located ~3 nm from the centre with hyperfine coupling as weak as ~500 Hz is amplified and detected. The quantum nature of the coupling is confirmed and precise position and the vector components of the nuclear field are determined. Given the distance over which nuclear magnetic fields can be detected the technique marks a firm step towards imaging, detecting and controlling nuclear spin species external to the diamond sensor.


title: Application of Gray codes to the study of the theory of symbolic dynamics of unimodal maps

abstract: In this paper we provide a closed mathematical formulation of our previous results in the field of symbolic dynamics of unimodal maps. This being the case, we discuss the classical theory of applied symbolic dynamics for unimodal maps and its reinterpretation using Gray codes. This connection was previously emphasized but no explicit mathematical proof was provided. The work described in this paper not only contributes to the integration of the different interpretations of symbolic dynamics of unimodal maps, it also points out some inaccuracies that exist in previous works.


title: A Sharp Bound for the Circumference in $t$-tough graphs with $t>1$

abstract: It is proved that if $G$ is a $t$-tough graph of order $n$ and minimum degree $\delta$ with $t>1$ then either $G$ has a cycle of length at least $\min\{n,2\delta+5\}$ or $G$ is the Petersen graph.


title: Detection of additive outliers in Poisson INteger-valued AutoRegressive time series

abstract: Outlying observations are commonly encountered in the analysis of time series. In this paper the problem of detecting additive outliers in integer-valued time series is considered. We show how Gibbs sampling can be used to detect outlying observations in INAR(1) processes. The methodology proposed is illustrated using examples as well as an observed data set.


title: Extremal holomorphic maps and the symmetrised bidisc

abstract: We introduce the class of $n$-extremal holomorphic maps, a class that generalises both finite Blaschke products and complex geodesics, and apply the notion to the finite interpolation problem for analytic functions from the open unit disc into the symmetrised bidisc $\Gamma$. We show that a well-known necessary condition for the solvability of such an interpolation problem is not sufficient whenever the number of interpolation nodes is 3 or greater. We introduce a sequence $\mathcal{C}_\nu, \nu \geq 0,$ of necessary conditions for solvability, prove that they are of strictly increasing strength and show that $\mathcal{C}_{n-3}$ is insufficient for the solvability of an $n$-point problem for $n\geq 3$. We propose the conjecture that condition $\mathcal{C}_{n-2}$ is necessary and sufficient for the solvability of an $n$-point interpolation problem for $\Gamma$ and we explore the implications of this conjecture. We introduce a classification of rational $\Gamma$-inner functions, that is, analytic functions from the disc into $\Gamma$ whose radial limits at almost all points on the unit circle lie in the distinguished boundary of $\Gamma$. The classes are related to $n$-extremality and the conditions $\mathcal{C}_\nu$; we prove numerous strict inclusions between the classes.


title: Anomalous spin-momentum locked two-dimensional states in the vicinity of a topological phase transition

abstract: We perform spin-resolved and spin-integrated angle-resolved photoemission spectroscopy measurements on a series of compositions in the BiTl(S1-xSex)2 system, focusing on x-values in the vicinity of the critical point for the topological phase transition (the band inversion composition). We observe quasi two dimensional (2D) states on the outer boundary of the bulk electronic bands in the trivial side (non-inverted regime) of the transition. Systematic spin-sensitive measurements reveal that the observed 2D states are spin-momentum locked, whose spin texture resembles the helical spin texture on the surface of a topological insulator. These anomalous states are observed to be only prominent near the critical point, thus are possibly related to strong precursor states of topological phase transition near the relaxed surface.


title: Large rare fluctuations in systems with delayed dissipation

abstract: We study the probability distribution and the escape rate in systems with delayed dissipation that comes from the coupling to a thermal bath. To logarithmic accuracy in the fluctuation intensity, the problem is reduced to a variational problem. It describes the most probable fluctuational paths, which are given by acausal equations due to the delay. In thermal equilibrium, the most probable path passing through a remote state has time reversal symmetry, even though one cannot uniquely define a path that starts from a state with given system coordinate and momentum. The corrections to the distribution and the escape activation energy for small delay and small noise correlation time are obtained in the explicit form.


title: Solid weak BCC-algebras

abstract: We characterize weak BCC-algebras in which the identity $(xy)z=(xz)y$ is satisfied only in the case when elements $x,y$ belong to the same branch.


title: Harnessing Folksonomies for Resource Classification

abstract: In our daily lives, organizing resources into a set of categories is a common task. Categorization becomes more useful as the collection of resources increases. Large collections of books, movies, and web pages, for instance, are cataloged in libraries, organized in databases and classified in directories, respectively. However, the usual largeness of these collections requires a vast endeavor and an outrageous expense to organize manually. Recent research is moving towards developing automated classifiers that reduce the increasing costs and effort of the task. Little work has been done analyzing the appropriateness of and exploring how to harness the annotations provided by users on social tagging systems as a data source. Users on these systems save resources as bookmarks in a social environment by attaching annotations in the form of tags. It has been shown that these tags facilitate retrieval of resources not only for the annotators themselves but also for the whole community. Likewise, these tags provide meaningful metadata that refers to the content of the resources. In this thesis, we deal with the utilization of these user-provided tags in search of the most accurate classification of resources as compared to expert-driven categorizations. To the best of our knowledge, this is the first research work performing actual classification experiments utilizing social tags. By exploring the characteristics and nature of these systems and the underlying folksonomies, this thesis sheds new light on the way of getting the most out of social tags for the sake of automated resource classification tasks. Therefore, we believe that the contributions in this work are of utmost interest for future researchers in the field, as well as for the scientific community in order to better understand these systems and further utilize the knowledge garnered from social tags.


title: Formal Groups, Witt vectors and Free Probability

abstract: We establish a link between free probability theory and Witt vectors, via the theory of formal groups. We derive an exponential isomorphism which expresses Voiculescu's free multiplicative convolution $\boxtimes$ as a function of the free additive convolution $\boxplus$. Subsequently we continue our previous discussion of the relation between complex cobordism and free probability. We show that the generic $n$th free cumulant corresponds to the cobordism class of the $(n-1)$-dimensional complex projective space. This permits us to relate several probability distributions from random matrix theory to known genera, and to build a dictionary. Finally, we discuss aspects of free probability and the asymptotic representation theory of the symmetric group from a conformal field theoretic perspective and show that every distribution with mean zero is embeddable into the Universal Grassmannian of Sato-Segal-Wilson.


title: Towards Ghost-Free Gravity and Standard Model

abstract: This paper presents a new higher derivative gravity which in spontaneous breaking electroweak symmetry state does not have ghost in gravity sector. We show that Newton constant of the gravity and dark energy density they depend on the fundamental TeV scale and the coupling constant at the quadratic curvature term. We consider the supersymmetric extension of this model.


title: Perturbation Theory Trispectrum in the Time Renormalisation Approach

abstract: An accurate theoretical description of structure formation at least in the mildly non-linear regime is essential for comparison with data from next generation galaxy surveys. In a recent approach one follows the time evolution of correlators directly and finds a hierarchy of evolution equations with increasing order (Pietroni 2008). So far, in this so called time renormalisation group method the trispectrum was neglected in order to obtain a closed set of equations. In this work we study the influence of the trispectrum on the evolution of the power spectrum. In order to keep the numerical cost at a manageable level we use the tree-level trispectrum from Eulerian perturbation theory. In comparison to numerical simulations we find improvement in the mildly non-linear regime up to k = 0.25 h/Mpc. Beyond k = 0.25 h/Mpc the perturbative description of the trispectrum fails and the method performs worse than without the trispectrum included. Our results reinforce the conceptual advantage of the time renormalisation group method with respect to perturbation theory.


title: Averages along polynomial sequences in discrete nilpotent groups: singular Radon transforms

abstract: We consider a class of operators defined by taking averages along polynomial sequences in discrete nilpotent groups. In this paper we prove $L^2$ boundedness of discrete singular Radon transforms along general polynomial sequences in discrete nilpotent groups of step 2.


title: The Perfect Local $ Tb$ Theorem and Twisted Martingale Transforms

abstract: A local Tb Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator T. One needs only boundedness of the operator T on systems of locally pseudo-accretive functions \{b_Q\}, indexed by cubes. We give a new proof of this Theorem in the setting of perfect (dyadic) models of Calder\'on-Zygmund operators, imposing integrability conditions on the b_Q functions that are the weakest possible. The proof is a simple direct argument, based upon a new inequality for transforms of so-called twisted martingale differences.


title: An upper bound on Euclidean embeddings of rigid graphs with 8 vertices

abstract: A graph is called (generically) rigid in R^d if, for any choice of sufficiently generic edge lengths, it can be embedded in R^d in a finite number of distinct ways, modulo rigid transformations. Here, we deal with the problem of determining the maximum number of planar Euclidean embeddings of minimally rigid graphs with 8 vertices, because this is the smallest unknown case in the plane.


title: Quantum coherence and sensitivity of avian magnetoreception

abstract: Migratory birds and other species have the ability to navigate by sensing the geomagnetic field. Recent experiments indicate that the essential process in the navigation takes place in bird's eye and uses chemical reaction involving molecular ions with unpaired electron spins (radical pair). Sensing is achieved via geomagnetic-dependent dynamics of the spins of the unpaired electrons. Here we utilize the results of two behavioral experiments conducted on European Robins to argue that the average life-time of the radical pair is of the order of a microsecond and therefore agrees with experimental estimations of this parameter for cryptochrome --- a pigment believed to form the radical pairs. We also found a reasonable parameter regime where sensitivity of the avian compass is enhanced by environmental noise, showing that long coherence time is not required for navigation and may even spoil it.


title: Generalising unit-refutation completeness and SLUR via nested input resolution

abstract: We introduce two hierarchies of clause-sets, SLUR_k and UC_k, based on the classes SLUR (Single Lookahead Unit Refutation), introduced in 1995, and UC (Unit refutation Complete), introduced in 1994. The class SLUR, introduced in [Annexstein et al, 1995], is the class of clause-sets for which unit-clause-propagation (denoted by r_1) detects unsatisfiability, or where otherwise iterative assignment, avoiding obviously false assignments by look-ahead, always yields a satisfying assignment. It is natural to consider how to form a hierarchy based on SLUR. Such investigations were started in [Cepek et al, 2012] and [Balyo et al, 2012]. We present what we consider the "limit hierarchy" SLUR_k, based on generalising r_1 by r_k, that is, using generalised unit-clause-propagation introduced in [Kullmann, 1999, 2004]. The class UC, studied in [Del Val, 1994], is the class of Unit refutation Complete clause-sets, that is, those clause-sets for which unsatisfiability is decidable by r_1 under any falsifying assignment. For unsatisfiable clause-sets F, the minimum k such that r_k determines unsatisfiability of F is exactly the "hardness" of F, as introduced in [Ku 99, 04]. For satisfiable F we use now an extension mentioned in [Ansotegui et al, 2008]: The hardness is the minimum k such that after application of any falsifying partial assignments, r_k determines unsatisfiability. The class UC_k is given by the clause-sets which have hardness <= k. We observe that UC_1 is exactly UC. UC_k has a proof-theoretic character, due to the relations between hardness and tree-resolution, while SLUR_k has an algorithmic character. The correspondence between r_k and k-times nested input resolution (or tree resolution using clause-space k+1) means that r_k has a dual nature: both algorithmic and proof theoretic. This corresponds to a basic result of this paper, namely SLUR_k = UC_k.