title: Observability of pulsar beam bending by the Sgr~A* black hole

abstract: According to some models, there may be a significant population of radio pulsars in the Galactic center. In principle, a beam from one of these pulsars could pass close to the supermassive black hole (SMBH) at the center, be deflected, and be detected by Earth telescopes. Such a configuration would be an unprecedented probe of the properties of spacetime in the moderate- to strong-field regime of the SMBH. We present here background on the problem, and approximations for the probability of detection of such beams. We conclude that detection is marginally probable with current telescopes, but that telescopes that will be operating in the near future, with an appropriate multiyear observational program, will have a good chance of detecting a beam deflected by the SMBH.


title: An Implicit Cover Problem in Wild Population Study

abstract: In an implicit combinatorial optimization problem, the constraints are not enumerated explicitly but rather stated implicitly through equations, other constraints or auxiliary algorithms. An important subclass of such problems is the implicit set cover (or, equivalently, hitting set) problem in which the sets are not given explicitly but rather defined implicitly For example, the well-known minimum feedback arc set problem is such a problem. In this paper, we consider such a cover problem that arises in the study of wild populations in biology in which the sets are defined implicitly via the Mendelian constraints and prove approximability results for this problem.


title: Dynamical properties of a trapped dipolar Fermi gas at finite temperature

abstract: We investigate the dynamical properties of a trapped finite-temperature normal Fermi gas with dipole-dipole interaction. For the free expansion dynamics, we show that the expanded gas always becomes stretched along the direction of the dipole moment. In addition, we present the temperature and interaction dependences of the asymptotical aspect ratio. We further study the collapse dynamics of the system by suddenly increasing the dipolar interaction strength. We show that, in contrast to the anisotropic collapse of a dipolar Bose-Einstein condensate, a dipolar Fermi gas always collapses isotropically when the system becomes globally unstable. We also explore the interaction and temperature dependences for the frequencies of the low-lying collective excitations.


title: Edge States and Stacking Effects in Nanographene Systems

abstract: Bilayer graphene nanoribbon with zigzag edge is investigated with the tight binding model. Two stacking structures, alpha and beta, are considered. The band splitting is seen in the alpha structure, while the splitting in the wave number direction is found in the beta structure. The local density of states in the beta structure tend to avoid sites where inter-layer hopping interactions are present.


title: Winding up superfluid in a torus via Bose Einstein condensation

abstract: We simulate Bose-Einstein condensation (BEC) in a ring employing stochastic Gross-Pitaevskii equation and show that cooling through the critical temperature can generate spontaneous quantized circulation around the ring of the newborn condensate. Dispersion of the resulting winding numbers follows scaling law predicted by the Kibble-Zurek mechanism (KZM). Density growth also exhibits scaling behavior consistent with KZM. This paves a way towards experimental verification of KZM scalings, and experimental determination of critical exponents for the BEC transition.

categories: cond-mat.other cond-mat.quant-gas hep-ph quant-ph


title: Phase Transition of Generalized Ferromagnetic Potts Model - Effect of Invisible States -

abstract: We investigate the nature of the phase transition of the ferromagnetic Potts model with invisible states. The ferromagnetic Potts model with invisible states can be regarded as straightforward extension of the standard ferromagnetic Potts model. The invisible states contribute the entropy, however they do not affect the internal energy. They also do not change the symmetry which breaks at the transition temperature. The invisible states stimulate a first-order phase transition. We confirm that the first-order phase transition with spontaneous $q$-fold symmetry breaking for $q=2,3$, and 4 takes place even on two-dimensional lattice by Monte Carlo simulation. We also find that the transition temperature decreases and the latent heat increases as the number of invisible states increases.


title: Localized and itinerant dichotomy of electrons in Ba(Fe,Co)2As2

abstract: Variant approaches, either based on the Fermi surface nesting or started from the proximity to a Mott-insulator, were proposed to elucidate the physics in iron pnictides, but no consensus has been reached. A fundamental problem concerns the nature of their 3d electrons. Here we report the magnetoresistivity (\rho_xx) and the Hall resistivity (\rho_xy) of Ba(Fe1-xCox)2As2 (x=0 and 0.05) in a magnetic field of up to 55T. The magnetic transition is extremely robust against magnetic field, giving strong evidence that the magnetic ordering is formed by local moments. The magnetic state is featured with a huge magnetoresistance and a distinguished Hall resistivity, \rho_xy(H), which shows a pronounced parabolic field dependence, while the paramagnetic state shows little magnetoresistance and follows a simple linear magnetic field dependence on the Hall resistivity. Analyses of our data, based on a two-carrier model, demonstrate that the electron carriers in the magnetic state rapidly increase upon applying a magnetic field, partially compensating the loss of electron carriers at T_M. We argue that the 3d-electrons in Ba(Fe1-xCox)2As2 are divided into those who are close to forming localized moments controlling the magnetic transition and the others giving rise to complex transport properties through their interaction with the former.


title: Interface solitons in thermal nonlinear media

abstract: We demonstrate the existence of fundamental and dipole interface solitons in one-dimensional thermal nonlinear media with a step in linear refractive index. Fundamental interface solitons are found to be always stable and the stability of dipole interface solitons depends on the difference in linear refractive index. The mass center of interface solitons always locates in the side with higher index. Two intensity peaks of dipole interface solitons are unequal except some specific conditions, which is different from their counterparts in uniform thermal media.


title: Minimum multicuts and Steiner forests for Okamura-Seymour graphs

abstract: We study the problem of finding minimum multicuts for an undirected planar graph, where all the terminal vertices are on the boundary of the outer face. This is known as an Okamura-Seymour instance. We show that for such an instance, the minimum multicut problem can be reduced to the minimum-cost Steiner forest problem on a suitably defined dual graph. The minimum-cost Steiner forest problem has a 2-approximation algorithm. Hence, the minimum multicut problem has a 2-approximation algorithm for an Okamura-Seymour instance.


title: Harmonic Analysis in One-Parameter Metabelian Nilmanifolds

abstract: Let $G$ be a connected, simply connected one-parameter metabelian nilpotent Lie group, that means, the corresponding Lie algebra has a one-codimensional abelian subalgebra. In this article we show that $G$ contains a discrete cocompact subgroup. Given a discrete cocompact subgroup $\Gamma$ of $G$, we define the quasi-regular representation $\tau = {\rm ind}_\Gamma^G 1$ of $G$. The basic problem considered in this paper concerns the decomposition of $\tau$ into irreducibles. We give an orbital description of the spectrum, the multiplicity function and we construct an explicit intertwining operator between $\tau$ and its desintegration without considering multiplicities. Finally, unlike the Moore inductive algorithm for multiplicities on nilmanifolds, we carry out here a direct computation to get the multiplicity formula.


title: Searches on star graphs and equivalent oracle problems

abstract: We examine a search on a graph among a number of different kinds of objects (vertices), one of which we want to find. In a standard graph search, all of the vertices are the same, except for one, the marked vertex, and that is the one we wish to find. We examine the case in which the unmarked vertices can be of different types, so the background against which the search is done is not uniform. We find that the search can still be successful, but the probability of success is lower than in the uniform background case, and that probability decreases with the number of types of unmarked vertices. We also show how the graph searches can be rephrased as equivalent oracle problems.


title: Baryonic symmetries in AdS_4/CFT_3: an overview

abstract: Global symmetries play an important role in classifying the spectrum of a gauge theory. In the context of the AdS/CFT duality, global baryon-like symmetries are specially interesting. In the gravity side, they correspond to vector fields in AdS arising from KK reduction of the SUGRA p-form potentials. We concentrate on the AdS_4/CFT_3 case, which presents very interesting characteristic features. Following arXiv:1004.2045, we review aspects of such symmetries, clarifying along the way some arguments in that reference. As a byproduct, and in a slightly unrelated context, we also study Z-minimization, focusing in the HVZ theory.


title: A Note on the Compaction of long Training Sequences for Universal Classification -a Non-Probabilistic Approach

abstract: One of the central problems in the classification of individual test sequences (e.g. genetic analysis), is that of checking for the similarity of sample test sequences as compared with a set of much longer training sequences. This is done by a set of classifiers for test sequences of length N, where each of the classifiers is trained by the training sequences so as to minimize the classification error rate when fed with each of the training sequences. It should be noted that the storage of long training sequences is considered to be a serious bottleneck in the next generation sequencing for Genome analysis Some popular classification algorithms adopt a probabilistic approach, by assuming that the sequences are realizations of some variable-length Markov process or a hidden Markov process (HMM), thus enabling the imbeding of the training data onto a variable-length Suffix-tree, the size of which is usually linear in $N$, the length of the test sequence. Despite of the fact that it is not assumed here that the sequences are realizations of probabilistic processes (an assumption that does not seem to be fully justified when dealing with biological data), it is demonstrated that "feature-based" classifiers, where particular substrings (called "features" or markers) are sought in a set of "big data" training sequences may be based on a universal compaction of the training data that is contained in a set of $t$ (long) individual training sequences, onto a suffix-tree with no more than O(N) leaves, regardless of how long the training sequence is, at only a vanishing increase in the classification error rate.


title: Analysis of the Y(4274) with QCD sum rules

abstract: In this article, we assume that there exists a pseudoscalar $D_s{\bar D}_{s0}(2317)$ molecular state and study its mass with the molecule-type interpolating current in details using the QCD sum rules. The numerical result disfavors identifying the charmonium-like state Y(4274) as the $D_s{\bar D}_{s0}(2317)$ molecule.


title: Interacting Theory of Chiral Bosons and Gauge Fields on Noncommutative Extended Minkowski Spacetime

abstract: Several interacting models of chiral bosons and gauge fields are investigated on the noncommutative extended Minkowski spacetime which was recently proposed from a new point of view of disposing noncommutativity. The models include the bosonized chiral Schwinger model, the generalized chiral Schwinger model (GCSM) and its gauge invariant formulation. We establish the Lagrangian theories of the models, and then derive the Hamilton's equations in accordance with the Dirac's method and solve the equations of motion, and further analyze the self-duality of the Lagrangian theories in terms of the parent action approach.


title: Dynamics near QCD critical point by dynamic renormalization group

abstract: We work out the basic analysis of dynamics near QCD critical point (CP) by dynamic renormalization group (RG). In addition to the RG analysis by coarse graining, we construct the nonlinear Langevin equation as a basic equation for the critical dynamics. Our construction is based on the generalized Langevin theory and the relativistic hydrodynamics. Applying the dynamic RG to the constructed equation, we derive the RG equation for the transport coefficients and analyze their critical behaviors. We find that the resulting RG equation turns out to be the same as that for the liquid-gas CP except for an insignificant constant. Therefore, the bulk viscosity and the thermal conductivity strongly diverge at the QCD CP. We also show that the thermal and viscous diffusion modes exhibit critical slowing down with the dynamic critical exponents $z_{\rm thermal}\sim 3$ and $z_{\rm viscous}\sim 2$, respectively. In contrast, the sound propagating mode shows critical speeding up with the negative exponent $z_{\rm sound}\sim -0.8$.


title: I - Conservation of Gravitational Energy-Momentum and Inner Diffeomorphism Group Gauge Invariance

abstract: Viewing gravitational energy momentum $p_G^\mu$ as equal by observation, but different in essence from inertial energy-momentum $p_I^\mu$ requires two different symmetries to account for their independent conservations - spacetime and inner translation invariance. Gauging the latter a generalization of non-Abelian gauge theories of compact Lie groups is developed resulting in the gauge theory of the non-compact group of volume-preserving diffeomorphisms of an inner Minkowski space ${\bf M}^{\sl 4}$. As usual the gauging requires the introduction of a covariant derivative, a gauge field and a field strength operator. An invariant and minimal gauge field Lagrangian is derived. The classical field dynamics and the conservation laws for the new gauge theory are developed. Finally, the theory's Hamiltonian in the axial gauge is expressed by two times six unconstrained independent canonical variables obeying the usual Poisson brackets and the positivity of the Hamiltonian is related to a condition on the support of the gauge fields.


title: Evaporation of Jupiter like planets orbiting extreme horizontal branch stars

abstract: We study the evaporation of planets orbiting close to hot (extreme) horizontal branch (EHB) stars. These planets survived the common envelope phase inside the envelope of the reg giant star progenitor. We find that Jupiter-like planets orbiting within 10Ro from an EHB star suffers a non-negligible mass-loss during their 10^8 yr evolution on the horizontal branch. The evaporated gas is ionized and becomes a source of Balmer lines. Such planets might be detected by the periodic variation of the Doppler shift of the Balmer lines.


title: A mechanical model for Fourier's law of heat conduction

abstract: Nonequilibrium statistical mechanics close to equilibrium is a physically satisfactory theory centered on the linear response formula of Green-Kubo. This formula results from a formal first order perturbation calculation without rigorous justification. A rigorous derivation of Fourier's law for heat conduction from the laws of mechanics remains thus a major unsolved problem. In this note we present a deterministic mechanical model of a heat-conducting chain with nontrivial interactions, where kinetic energy fluctuations at the nodes of the chain are removed. In this model the derivation of Fourier's law can proceed rigorously.


title: Integrating Holographic Vector Dominance to Hidden Local Symmetry for the Nucleon Form Factor

abstract: We derive a two-parameter formula for the electromagnetic form factors of the nucleon described as an instanton by "integrating out" all KK modes other than the lowest mesons from the infinite-tower of vector mesons in holographic QCD while preserving hidden local symmetry for the resultant vector fields. With only two parameters, the proton Sachs form factors can be fit surprisingly well to the available experimental data for momentum transfers $Q^2\lsim 0.5$ GeV$^2$ with $\chi^2$/dof $\lsim 2$. We interpret this agreement as indicating the importance of an infinite tower in the soliton structure of the nucleon. The prediction of the Sakai-Sugimoto holographic dual model is checked against the fit values to assess its accuracy in describing the proton structure. We find that the structure of the "core" of roughly 1/3 in the proton size indicated in experiments and commonly associated with an intrinsic quark-gluon structure in QCD is "hidden" in the infinite tower in the holographic model.


title: On the Possibility of "Dry" Friction in Superfluid He-4

abstract: We propose a possible microscopic explanation of the exhaustion of \rho_s of helium-II on the wall at T>T_{c} = 0.5 - 1 K and predict a possibility of the existence in He-II of the "dry" friction at T < T_{c}. Both of the effects connect with that the energy of the 2D-rotons is 2K less then the energy of 3D-rotons, so the wall is a potential well for the last ones.


title: Parameter Estimation for Fractional Ornstein-Uhlenbeck Processes: Non-ergodic Case

abstract: We consider the parameter estimation problem for the non-ergodic fractional Ornstein-Uhlenbeck process defined as $dX_t=\theta X_tdt+dB_t,\ t\geq0$, with a parameter $\theta>0$, where $B$ is a fractional Brownian motion of Hurst index $H\in(1/2,1)$. We study the consistency and the asymptotic distributions of the least squares estimator $\hat{\theta}_t$ of $\theta$ based on the observation $\{X_s,\ s\in[0,t]\}$ as $t\rightarrow\infty$.


title: A Diaz--Metcalf type inequality for positive linear maps and its applications

abstract: We present a Diaz--Metcalf type operator inequality as a reverse Cauchy-Schwarz inequality and then apply it to get the operator versions of P\'{o}lya-Szeg\"{o}'s, Greub-Rheinboldt's, Kantorovich's, Shisha-Mond's, Schweitzer's, Cassels' and Klamkin-McLenaghan's inequalities via a unified approach. We also give some operator Gr\"uss type inequalities and an operator Ozeki-Izumino-Mori-Seo type inequality. Several applications are concluded as well.


title: Coincidence and Common Fixed Point Results for Contraction Type Maps in Partially Ordered Metric Spaces

abstract: We present coincidence and common fixed point results of selfmappings satisfying a contraction type in partially ordered metric spaces. As an application, we give an existence theorem for a common solution of integral equations.


title: Quantum mechanics on spaces of nonconstant curvature: the oscillator problem and superintegrability

abstract: The full spectrum and eigenfunctions of the quantum version of a nonlinear oscillator defined on an N-dimensional space with nonconstant curvature are rigorously found. Since the underlying curved space generates a position-dependent kinetic energy, three different quantization prescriptions are worked out by imposing that the maximal superintegrability of the system has to be preserved after quantization. The relationships among these three Schroedinger problems are described in detail through appropriate similarity transformations. These three approaches are used to illustrate different features of the quantization problem on N-dimensional curved spaces or, alternatively, of position-dependent mass quantum Hamiltonians. This quantum oscillator is, to the best of our knowledge, the first example of a maximally superintegrable quantum system on an N-dimensional space with nonconstant curvature.


title: A Formalization of Polytime Functions

abstract: We present a deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to the original characterization by Cobham that required a bound to be proved manually. Compared to the paper proof by Bellantoni and Cook, we have been careful in making our proof fully contructive so that we obtain more precise bounding polynomials and more efficient translations between the two characterizations. Another difference is that we consider functions on bitstrings instead of functions on positive integers. This latter change is motivated by the application of our formalization in the context of formal security proofs in cryptography. Based on our core formalization, we have started developing a library of polytime functions that can be reused to build more complex ones.


title: Efficient regularized isotonic regression with application to gene--gene interaction search

abstract: Isotonic regression is a nonparametric approach for fitting monotonic models to data that has been widely studied from both theoretical and practical perspectives. However, this approach encounters computational and statistical overfitting issues in higher dimensions. To address both concerns, we present an algorithm, which we term Isotonic Recursive Partitioning (IRP), for isotonic regression based on recursively partitioning the covariate space through solution of progressively smaller "best cut" subproblems. This creates a regularized sequence of isotonic models of increasing model complexity that converges to the global isotonic regression solution. The models along the sequence are often more accurate than the unregularized isotonic regression model because of the complexity control they offer. We quantify this complexity control through estimation of degrees of freedom along the path. Success of the regularized models in prediction and IRPs favorable computational properties are demonstrated through a series of simulated and real data experiments. We discuss application of IRP to the problem of searching for gene--gene interactions and epistasis, and demonstrate it on data from genome-wide association studies of three common diseases.


title: An overview of Ciao and its design philosophy

abstract: We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and separate compilation throughout. The environment also includes a powerful auto-documenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature.


title: Further solutions of fractional reaction-diffusion equations in terms of the H-function

abstract: This paper is a continuation of our earlier paper in which we have derived the solution of an unified fractional reaction-diffusion equation associated with the Caputo derivative as the time-derivative and the Riesz-Feller fractional derivative as the space-derivative. In this paper, we consider an unified reaction-diffusion equation with Riemann-Liouville fractional derivative as the time-derivative and Riesz-Feller derivative as the space-derivative. The solution is derived by the application of the Laplace and Fourier transforms in a compact and closed form in terms of the H-function. The results derived are of general character and include the results investigated earlier by Kilbas et al. (2006a), Saxena et al. (2006c), and Mathai et al. (2010). The main result is given in the form of a theorem. A number of interesting special cases of the theorem are also given as corollaries.


title: Information filtering via preferential diffusion

abstract: Recommender systems have shown great potential to address information overload problem, namely to help users in finding interesting and relevant objects within a huge information space. Some physical dynamics, including heat conduction process and mass or energy diffusion on networks, have recently found applications in personalized recommendation. Most of the previous studies focus overwhelmingly on recommendation accuracy as the only important factor, while overlook the significance of diversity and novelty which indeed provide the vitality of the system. In this paper, we propose a recommendation algorithm based on the preferential diffusion process on user-object bipartite network. Numerical analyses on two benchmark datasets, MovieLens and Netflix, indicate that our method outperforms the state-of-the-art methods. Specifically, it can not only provide more accurate recommendations, but also generate more diverse and novel recommendations by accurately recommending unpopular objects.


title: Phenomenological Model for Growth of Volumes Digital Data

abstract: Currently, experts from IT industry are closely monitoring the soaring total volume of digital data. Moreover the problem is not purely technical, it directly affects human civilization as a whole. The growth rate of the all increasing and is already very large. Began is actively appear apocalyptic scenarios of development IT technology, and humanity as a whole. In this paper we propose a constructive alternative to these emotional ideas. Invited to consider the digital industry as a complete system that is developing in close connection with human civilization. Moreover, system self-organizing and essentially nonlinear in its behavior. To study this system is applied system-cybernetic approach. The mathematical model is developed, shows that in the future rate of production of digital data is stabilize at 13.2 ZB per year.


title: Extension theorems for linear operators on $L_\infty$ and application to price systems

abstract: In an $L_\infty$-framework, we present a few extension theorems for linear operators. We focus the attention on majorant preserving and sandwich preserving types of extensions. These results are then applied to the study of price systems derived by a reasonable restriction of the class of equivalent martingale measures applicable. First we consider equivalent martingale measures with bounds on densities and the corresponding prices bounded by linear minorant and majorant. Then we consider prices bounded by bid-ask dynamics. Finally we study price systems consistent with no-good-deal pricing measures for given bounds on the Sharpe ratio. Within this study we introduce the definition of dynamic no-good-deal pricing measure.


title: Solar Activity Indices in 21, 22 and 23 Cycles

abstract: The monthly average values of the main solar activity indices such as Wolf numbers (W), 10,7 cm radio flux (F10,7), 0,1-0,8 nm background, total solar irradiance and Mg II UV-index (280 nm core to wing ratio) were studied for 23 activity cycle. The correlation coefficients of linear regression for main solar activity indices versus F10,7 were analyzed for every year of 23 activity cycle. All the correlation coefficients for 23 activity cycle have the minimum values in 2001. We also analyzed the connection between monthly average values of the most popular indices W and F10,7 for 21, 22 and 23 solar activity cycles. The values of every year linear regression correlation coefficients for W versus F10,7 show the cyclic variations with period closed to half path of so-called 11-year period of solar activity.


title: Lattice models for ballistic aggregation in one-dimension

abstract: We propose two lattice models in one dimension, with stochastically hopping particles which aggregate on contact. The hops are guided by "velocity rates" which themselves evolve according to the rules of ballistic aggregation as in a sticky gas in continuum. Our lattice models have both velocity and density fields and an appropriate real time evolution, such that they can be compared directly with event driven molecular dynamics (MD) results for the sticky gas. We demonstrate numerically that the long time and large distance behavior of the lattice models are identical to that of the MD, and some exact results known for the sticky gas. In particular, the exactly predicted form of the non-Gaussian tail of the velocity distribution function is clearly exhibited. This correspondence of the lattice models and the sticky gas in continuum is nontrivial, as the latter has a deterministic dynamics with local kinematic constraint, in contrast with the former; yet the spatial velocity profiles (with shocks) of the lattice models and the MD have striking match.


title: Self-similar solutions of the three dimensional Navier-Stokes equation

abstract: In this article we will present pure three dimensional analytic solutions for the Navier-Stokes and the continuity equations in Cartesian coordinates. The key idea is the three-dimensional generalization of the well-known self-similar Ansatz of Barenblatt. A geometrical interpretation of the Ansatz is given also. The results are the Kummer functions or strongly related. Our final formula is compared with other results obtained from group theoretical approaches.


title: On extended thermonuclear functions through pathway model

abstract: The major problem in the cosmological nucleosynthesis is the evaluation of the reaction rate. The present scenario is that the standard thermonuclear function in the Maxwell-Boltzmann form is evaluated by using various techniques. The Maxwell-Boltzmannian approach to nuclear reaction rate theory is extended to cover Tsallis statistics (Tsallis, 1988) and more general cases of distribution functions. The main purpose of this paper is to investigate in some more detail the extended reaction probability integral in the equilibrium thermodynamic argument and in the cut-off case. The extended reaction probability integrals will be evaluated in closed form for all convenient values of the parameter by means of residue calculus. A comparison of the standard reaction probability integrals with the extended reaction probability integrals is also done.


title: Quantum criticality in a Mott pn-junction in an armchair carbon nanotube

abstract: In an armchair carbon nanotube pn junction the p- and n- regions are separated by a region of a Mott insulator, which can backscatter electrons only in pairs. We predict a quantum-critical behavior in such a pn junction. Depending on the junction's built-in electric field E, its conductance G scales either to zero or to the ideal value G=4e^2/h as the temperature T is lowered. The two types of the G(T) dependence indicate the existence, at some special value of E, of an intermediate quantum critical point with a finite conductance G<4e^2/h. This makes the pn junction drastically different from a simple barrier in a Luttinger liquid.


title: Raman spectra of GexAsySe100-x-y glasses

abstract: Raman spectra of GexAsySe100-x-y (0 < x < 30; 10 < y < 40) glasses have been studied at room temperature. Three sets of samples were investigated; it was revealed that they are qualitatively differing by shape of their spectra. The structure model was proposed for glasses of each set. The selection of the glasses on the sets with the same structure type can be made using the formal parameter - the mean coordination number <m> (the mean number of covalent bonds per atom): i) 2.1 < <m> < 2.51 (polymeric structure); ii) 2.51 < <m> < 2.78 (molecular-cluster structure); iii) 2.78 < <m> < 3 (network structure).


title: Coherent backscattering under conditions of electromagnetically induced transparency

abstract: We consider the influence of a resonant control field on weak localization of light in ultracold atomic ensembles. Both steady-state and pulsed light excitation are considered. We show that the presence of a control field essentially changes the type of interference effects which occur under conditions of multiple scattering. For example, for some scattering polarization channels the presence of a control field can cause destructive interference through which the enhancement factor, normally considered to be greater than one, becomes less than one.

categories: quant-ph cond-mat.dis-nn physics.atom-ph physics.optics


title: Probabilistic analysis of the human transcriptome with side information

abstract: Understanding functional organization of genetic information is a major challenge in modern biology. Following the initial publication of the human genome sequence in 2001, advances in high-throughput measurement technologies and efficient sharing of research material through community databases have opened up new views to the study of living organisms and the structure of life. In this thesis, novel computational strategies have been developed to investigate a key functional layer of genetic information, the human transcriptome, which regulates the function of living cells through protein synthesis. The key contributions of the thesis are general exploratory tools for high-throughput data analysis that have provided new insights to cell-biological networks, cancer mechanisms and other aspects of genome function. A central challenge in functional genomics is that high-dimensional genomic observations are associated with high levels of complex and largely unknown sources of variation. By combining statistical evidence across multiple measurement sources and the wealth of background information in genomic data repositories it has been possible to solve some the uncertainties associated with individual observations and to identify functional mechanisms that could not be detected based on individual measurement sources. Statistical learning and probabilistic models provide a natural framework for such modeling tasks. Open source implementations of the key methodological contributions have been released to facilitate further adoption of the developed methods by the research community.

categories: stat.ML cs.CE q-bio.GN q-bio.MN q-bio.QM stat.AP stat.ME


title: Towards extending the Chern-Simons couplings at order $O(\alpha'^2)$

abstract: Using the compatibility of the anomalous Chern-Simons couplings on D$_p$-branes with the linear T-duality and with the antisymmetric B-field gauge transformations, some couplings have been recently found for $C^{(p-3)}$ at order $O(\alpha'^2)$. We examine these couplings with the S-matrix element of one RR and two antisymmetric B-field vertex operators. We find that the S-matrix element reproduces these couplings as well as some other couplings. Each of them is invariant under the linear T-duality and the B-field gauge transformations.


title: A Fast Algorithm for the Discrete Core/Periphery Bipartitioning Problem

abstract: Various methods have been proposed in the literature to determine an optimal partitioning of the set of actors in a network into core and periphery subsets. However, these methods either work only for relatively small input sizes, or do not guarantee an optimal answer. In this paper, we propose a new algorithm to solve this problem. This algorithm is efficient and exact, allowing the optimal partitioning for networks of several thousand actors to be computed in under a second. We also show that the optimal core can be characterized as a set containing the actors with the highest degrees in the original network.


title: Probabilistic Cross-Identification of Cosmic Events

abstract: We discuss a novel approach to identifying cosmic events in separate and independent observations. In our focus are the true events, such as supernova explosions, that happen once, hence, whose measurements are not repeatable. Their classification and analysis have to make the best use of all the available data. Bayesian hypothesis testing is used to associate streams of events in space and time. Probabilities are assigned to the matches by studying their rates of occurrence. A case study of Type Ia supernovae illustrates how to use lightcurves in the cross-identification process. Constraints from realistic lightcurves happen to be well-approximated by Gaussians in time, which makes the matching process very efficient. Model-dependent associations are computationally more demanding but can further boost our confidence.


title: Nonlinear Dependence of the Phase Screen Structure Function on the Atmospheric Layer Thickness

abstract: The phase structure function accumulated by two parallel rays after transmission through a layer of turbulent air is best known by a proportionality to the 5/3rd power of the lateral distance in the aperture, derived from an isotropic Kolmogorov spectrum of the refractive index. For a von-Karman spectrum of the refractive index, a dependence involving a modified Bessel function of the ratio of the distance over the outer scale is also known. A further standard proposition is a proportionality to the path length through the atmospheric layer. The manuscript modifies this factor through a refined calculation of an integral representation of the structure function. The correction establishes a sub-linearity as the lateral distance grows in proportion to the layer thickness; it is more important for large than for small outer scales.


title: KLOE-2 experiment at DA$\Phi$NE upgraded in luminosity

abstract: Prospective presentation is given for the experimental program of the KLOE-2 Collaboration, to be performed using the DA$\Phi$NE $e^+e^-$ collider upgraded in luminosity. Data with the total luminosity of 25 fb$^{-1}$ are aimed to be collected in 3 years. Major modifications of the accelerator and the spectrometer are described. The KLOE-2 physics program contains: CKM unitarity and lepton universality tests, $\gamma\gamma$ physics, search for quantum decoherence and testing CPT conservation, low-energy QCD, rare kaon decays, physics of $\eta$ and $\eta^\prime$, structure of low-mass scalars, contribution of vacuum polarization to $(g-2)_{\mu}$, possible search for WIMP dark matter. In this paper only selected physics subjects are reported.


title: Linear quasigroups. I

abstract: The article is devoted to linear quasigroups and some of their generalizations. In the first part main definitions and notions of the theory of quasigroups are given. In the second part some elementary properties of linear quasigroups and their generalizations are presented. Finally in the third part endomorphisms and endotopies of linear quasigroups and their generalizations are investigated.


title: Tunable Superconducting Properties of a-NbSi Thin Films and Application to Detection in Astrophysics

abstract: We report on the superconducting properties of amorphous NbxSi1-x thin films. The normal-state resistance and critical temperatures can be separately adjusted to suit the desired application. Notably, the relatively low electron-phonon coupling of these films makes them good candidates for an "all electron bolometer" for Cosmological Microwave Background radiation detection. Moreover, this device can be made to suit both high and low impedance readouts.


title: Linear quasigroups. II

abstract: The article is a continuation of the author's work "Linear quasigroups. I" and devoted to linear quasigroups and some of their generalizations. In the second part identities and linearity of quasigroups are investigated, in particular, the approach of finding quasigroup identities from some variety of loops is presented. Besides that we give short chronology of development the theory of quasigroups and loops and some historical aspects.


title: Maximal Denumerant of a Numerical Semigroup With Embedding Dimension Less Than Four

abstract: Given a numerical semigroup $S = < a_1, a_2,..., a_t>$ and $s\in S$, we consider the factorization $s = c_1 a_1 + c_2 a_2 +... + c_t a_t$ where $c_i\ge0$. Such a factorization is {\em maximal} if $c_1+c_2+...+c_t$ is a maximum over all such factorizations of $s$. We show that the number of maximal factorizations, varying over the elements in $S$, is always bounded. Thus, we define $\dx(S)$ to be the maximum number of maximal factorizations of elements in $S$. We study maximal factorizations in depth when $S$ has embedding dimension less than four, and establish formulas for $\dx(S)$ in this case.


title: Transfer Functions for Pairs of Wandering Subspaces

abstract: To a pair of subspaces wandering with respect to a row isometry we associate a transfer function which in general is multi-Toeplitz and in interesting special cases is multi-analytic. Then we describe in an expository way how characteristic functions from operator theory as well as transfer functions from noncommutative Markov chains fit into this scheme.


title: Alpha_s with GAPP

abstract: Details are provided how GAPP evaluates the strong coupling constant from Z and tau decays and the corresponding uncertainties.


title: On The Mobile Behavior of Solid $^4$He at High Temperatures

abstract: We report studies of solid helium contained inside a torsional oscillator, at temperatures between 1.07K and 1.87K. We grew single crystals inside the oscillator using commercially pure $^4$He and $^3$He-$^4$He mixtures containing 100 ppm $^3$He. Crystals were grown at constant temperature and pressure on the melting curve. At the end of the growth, the crystals were disordered, following which they partially decoupled from the oscillator. The fraction of the decoupled He mass was temperature and velocity dependent. Around 1K, the decoupled mass fraction for crystals grown from the mixture reached a limiting value of around 35%. In the case of crystals grown using commercially pure $^4$He at temperatures below 1.3K, this fraction was much smaller. This difference could possibly be associated with the roughening transition at the solid-liquid interface.


title: Stress induced dislocation roughening -- phase transition in 1d at finite temperature

abstract: We present an example of a generically forbidden phase transition in 1d at finite temperature -- stress induced and thermally assisted roughening of a superclimbing dislocation in a Peierls potential. We also argue that such roughening is behind the strong suppression of the superflow through solid \he4 in a narrow temperature range recently observed by Ray and Hallock (Phys.Rev. Lett. {\bf 105}, 145301 (2010)).


title: A new bound for parsimonious edge-colouring of graphs with maximum degree three

abstract: In a graph $G$ of maximum degree 3, let $\gamma(G)$ denote the largest fraction of edges that can be 3 edge-coloured. Rizzi \cite{Riz09} showed that $\gamma(G) \geq 1-\frac{2\strut}{\strut 3 g_{odd}(G)}$ where $g_{odd}(G)$ is the odd girth of $G$, when $G$ is triangle-free. In \cite{FouVan10a} we extended that result to graph with maximum degree 3. We show here that $\gamma(G) \geq 1-\frac{2 \strut}{\strut 3 g_{odd}(G)+2}$, which leads to $\gamma(G) \geq 15/17$ when considering graphs with odd girth at least 5, distinct from the Petersen graph.


title: Entanglement renormalization for quantum fields

abstract: It is shown how to construct renormalization group flows of quantum field theories in real space, as opposed to the usual Wilsonian approach in momentum space. This is achieved by generalizing the multiscale entanglement renormalization ansatz to continuum theories. The variational class of wavefunctions arising from this RG flow are translation invariant and exhibit an entropy-area law. We illustrate the construction for a free non-relativistic boson model, and argue that the full power of the construction should emerge in the case of interacting theories.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: Arbitrage hedging strategy and one more explanation of the volatility smile

abstract: We present an explicit hedging strategy, which enables to prove arbitrageness of market incorporating at least two assets depending on the same random factor. The implied Black-Scholes volatility, computed taking into account the form of the graph of the option price, related to our strategy, demonstrates the "skewness" inherent to the observational data.


title: Nanoscale Electromechanics of Paraelectric Materials with Mobile Charges: Size effects and Nonlinearity of Electromechanical Response of SrTiO3 Films

abstract: Nanoscale enables a broad range of electromechanical coupling mechanisms that are forbidden or negligible in the materials. We conduct a theoretical study of the electromechanical response of thin paraelectric films with mobile vacancies (or ions) paradigmatic for capacitor-type measurements in X-ray scattering, piezoresponse force microscopy (PFM), and electrochemical strain microscopy (ESM). Using quantum paraelectric SrTiO3 film as a model material with well known electromechanical, electronic and electrochemical properties, we evaluate the contributions of electrostriction, Maxwell stress, flexoelectric effect, deformation potential and compositional Vegard strains caused by mobile vacancies (or ions) and electrons to the electromechanical response. The local electromechanical response manifests strong size effects, the scale of which is determined by the ratio of the SrTiO3 film thickness and PFM/ESM tip size to the carriers screening radius. Due to the strong dielectric nonlinearity effect inherent in quantum paraelectrics, the dependence of the SrTiO3 film electromechanical response on applied voltage demonstrates a pronounced crossover from the linear to the quadratic law and then to the sub-linear law with a factor of 2/3 under the voltage increase. The temperature dependence of the electromechanical response as determined by the interplay between the dielectric susceptibility and the screening radius is non-monotonic and has a pronounced maxima, the position and width of which can be tuned by film thickness. This study provides a comparative framework for analysis of electromechanical coupling in the non-piezoelectric nanosystems.


title: Permutation Complexity and the Letter Doubling Map

abstract: Given a countable set X (usually taken to be N or Z), an infinite permutation $\pi$ of X is a linear ordering $<_\pi$ of X. This paper investigates the combinatorial complexity of infinite permutations on N associated with the image of uniformly recurrent aperiodic binary words under the letter doubling map. An upper bound for the complexity is found for general words, and a formula for the complexity is established for the Sturmian words and the Thue-Morse word.


title: Two-photon imaging and analysis of neural network dynamics

abstract: The glow of a starry night sky, the smell of a freshly brewed cup of coffee or the sound of ocean waves breaking on the beach are representations of the physical world that have been created by the dynamic interactions of thousands of neurons in our brains. How the brain mediates perceptions, creates thoughts, stores memories and initiates actions remains one of the most profound puzzles in biology, if not all of science. A key to a mechanistic understanding of how the nervous system works is the ability to analyze the dynamics of neuronal networks in the living organism in the context of sensory stimulation and behaviour. Dynamic brain properties have been fairly well characterized on the microscopic level of individual neurons and on the macroscopic level of whole brain areas largely with the help of various electrophysiological techniques. However, our understanding of the mesoscopic level comprising local populations of hundreds to thousands of neurons (so called 'microcircuits') remains comparably poor. In large parts, this has been due to the technical difficulties involved in recording from large networks of neurons with single-cell spatial resolution and near- millisecond temporal resolution in the brain of living animals. In recent years, two-photon microscopy has emerged as a technique which meets many of these requirements and thus has become the method of choice for the interrogation of local neural circuits. Here, we review the state-of-research in the field of two-photon imaging of neuronal populations, covering the topics of microscope technology, suitable fluorescent indicator dyes, staining techniques, and in particular analysis techniques for extracting relevant information from the fluorescence data. We expect that functional analysis of neural networks using two-photon imaging will help to decipher fundamental operational principles of neural microcircuits.


title: Characterizing Topological Assumptions of Distributed Algorithms in Dynamic Networks

abstract: Besides the complexity in time or in number of messages, a common approach for analyzing distributed algorithms is to look at the assumptions they make on the underlying network. We investigate this question from the perspective of network dynamics. In particular, we ask how a given property on the evolution of the network can be rigorously proven as necessary or sufficient for a given algorithm. The main contribution of this paper is to propose the combination of two existing tools in this direction: local computations by means of graph relabelings, and evolving graphs. Such a combination makes it possible to express fine-grained properties on the network dynamics, then examine what impact those properties have on the execution at a precise, intertwined, level. We illustrate the use of this framework through the analysis of three simple algorithms, then discuss general implications of this work, which include (i) the possibility to compare distributed algorithms on the basis of their topological requirements, (ii) a formal hierarchy of dynamic networks based on these requirements, and (iii) the potential for mechanization induced by our framework, which we believe opens a door towards automated analysis and decision support in dynamic networks.


title: Cosmology with Mirror Dark Matter

abstract: Mirror matter is a stable self-collisional dark matter candidate. If parity is a conserved unbroken symmetry of nature, there could exist a parallel hidden (mirror) sector of the Universe composed of particles with the same masses and obeying the same physical laws as our (visible) sector, except for the opposite handedness of weak interactions. The two sectors interact predominantly via gravity, therefore mirror matter is naturally "dark". Here I review the cosmological signatures of mirror dark matter, concerning thermodynamics of the early Universe, Big Bang nucleosynthesis, primordial structure formation and evolution, cosmic microwave background and large scale structure power spectra. Besides gravity, the effects on primordial nucleosynthesis of the kinetic mixing between photons and mirror photons are considered. Summarizing the present status of research and comparing theoretical results with observations/experiments, it emerges that mirror matter is not just a viable, but a promising dark matter candidate.


title: QCD confinement and chiral crossovers, two critical points

abstract: We study the QCD phase diagram, in particular we study the critical points of the two main QCD phase transitions, confinement and chiral symmetry breaking. Confinement drives chiral symmetry breaking, and, due to the finite quark mass, at small density both transitions are a crossover, while they are a first or second order phase transition in large density. We study the QCD phase diagram with a quark potential model including both confinement and chiral symmetry. We present the confinement of quark fields into a flux tube, obtained in SU(3) quenched lattice QCD, to illustrate the importance of the confining quark-antiquark potential. Our finite temperature con-fining potential is extracted from the Lattice QCD data of the Bielefeld group. Our formalism, the Coulomb gauge hamiltonian of QCD, is presently the only one able to microscopically include both a quark-antiquark confining potential and a vacuum condensate of quark-antiquark pairs. This model is able to address all the excited hadrons, and chiral symmetry breaking, at the same token. Our order parameters are the Polyakov loop and the quark mass gap. We address how the quark masses affect the critical point location in the phase diagram.


title: Multiorbital Spin Susceptibility in a Magnetically Ordered State - Orbital versus Excitonic Spin Density Wave Scenario

abstract: We present a general theory of multiorbital spin waves in magnetically ordered metallic systems. Motivated by the itinerant magnetism of iron-based superconductors, we compare the magnetic excitations for two different scenarios: when the magnetic order either sets in on the on-site orbital level; or when it appears as an electron-hole pairing between different bands of electron and hole character. As an example we treat the two-orbital model for iron-based superconductors. For small magnetic moments the spin excitations look similar in both scenarios. Going to larger interactions and larger magnetic moments, the difference between both scenarios becomes striking. While in the excitonic scenario the spin waves form a closed structure over the entire Brillouin zone and the particle-hole continuum is gapped, the spin excitations in the orbital scenario can be treated as spin waves only in a close vicinity to the ordering momenta. The origin of this is a gapless electronic structure with Dirac cones which is a source of large damping. We analyze our results in connection with recent neutron scattering measurements and show that certain features of the orbital scenario with multiple order parameters can be observed experimentally.


title: Poincare' series for maximal De Concini-Procesi models of root arrangements

abstract: In this paper we focus on maximal complex De Concini-Procesi models associated to root arrangements of types A, B, C, D and we compute inductive formulas for their Poincare' series.


title: Polaron-molecule transitions in a two-dimensional Fermi gas

abstract: We address the problem of a single "spin-down" impurity atom interacting attractively with a spin-up Fermi gas in two dimensions (2D). We consider the case where the mass of the impurity is greater than or equal to the mass of a spin-up fermion. Using a variational approach, we resolve the questions raised by previous studies and we show that there is, in fact, a transition between polaron and molecule (dimer) ground states in 2D. For the molecule state, we use a variational wave function with a single particle-hole excitation on the Fermi sea and we find that its energy matches that of the exact solution in the limit of infinite impurity mass. Thus, we expect the variational approach to provide a reliable tool for investigating 2D systems.


title: Full Rate Collaborative Diversity Scheme for Multiple Access Fading Channels

abstract: User cooperation is a well-known approach to achieve diversity without multiple antennas, however at the cost of inevitable loss of rate mostly due to the need of additional channels for relaying. A new collaborative diversity scheme is proposed here for multiple access fading channels to attain full rate with near maximum diversity. This is achieved by allowing two users and their corresponding relays to transmit/forward data on the same channel by exploiting unique spatial-signatures of their fading channels. The base-station jointly detects the co-channel users' data using maximum-likelihood search algorithm over small set of possible data combinations. Full data rate with significant diversity gain near to two-antenna Alamouti scheme is shown.


title: The precise tail behavior of the total progeny of a killed branching random walk

abstract: Consider a branching random walk on the real line with a killing barrier at zero: starting from a nonnegative point, particles reproduce and move independently, but are killed when they touch the negative half-line. The population of the killed branching random walk dies out almost surely in both critical and subcritical cases, where by subcritical case we mean that the rightmost particle of the branching random walk without killing has a negative speed, and by critical case, when this speed is zero. We investigate the total progeny of the killed branching random walk and give their precise tail distribution both in the critical and subcritical cases, which solves an open problem of Aldous [Power laws and killed branching random walks, http://www.stat.berkeley.edu/~aldous/Research/OP/brw.html].


title: Construction and stability of a blow up solution for a nonlinear heat equation with a gradient term

abstract: We consider a nonlinear heat equation with a gradient term. We construct a blow-up solution for this equation with a prescribed blow-up profile. For that, we translate the question in selfsimilar variables and reduce the problem to a finite dimensional one. We then solve the finite dimensional problem using index theory. The interpretation of the finite dimensional parameters allows us to derive the stability of the constructed solution with respect to initial data.


title: Pseudo-random graphs and bit probe schemes with one-sided error

abstract: We study probabilistic bit-probe schemes for the membership problem. Given a set A of at most n elements from the universe of size m we organize such a structure that queries of type "Is x in A?" can be answered very quickly. H.Buhrman, P.B.Miltersen, J.Radhakrishnan, and S.Venkatesh proposed a bit-probe scheme based on expanders. Their scheme needs space of $O(n\log m)$ bits, and requires to read only one randomly chosen bit from the memory to answer a query. The answer is correct with high probability with two-sided errors. In this paper we show that for the same problem there exists a bit-probe scheme with one-sided error that needs space of $O(n\log^2 m+\poly(\log m))$ bits. The difference with the model of Buhrman, Miltersen, Radhakrishnan, and Venkatesh is that we consider a bit-probe scheme with an auxiliary word. This means that in our scheme the memory is split into two parts of different size: the main storage of $O(n\log^2 m)$ bits and a short word of $\log^{O(1)}m$ bits that is pre-computed once for the stored set A and `cached'. To answer a query "Is x in A?" we allow to read the whole cached word and only one bit from the main storage. For some reasonable values of parameters our space bound is better than what can be achieved by any scheme without cached data.


title: The Curious Case of Abell 2256

abstract: Abell 2256 is a rich, nearby (z=0.0594) galaxy cluster that has significant evidence of merger activity. We present new radio and X-ray observations of this system. The low-frequency radio images trace the diffuse synchrotron emission of the Mpc-scale radio halo and relics as well as a number of recently discovered, more compact, steep spectrum sources. The spectral index across the relics steepens from the north-west toward the south-east. Analysis of the spectral index gradients between low and and high-frequencies shows spectral differences away from the north-west relic edge such that the low-frequency index is significantly flatter than the high frequency spectral index near the cluster core. This trend would be consistent with an outgoing merger shock as the origin of the relic emission. New X-ray data from XMM-Newton reveal interesting structures in the intracluster medium pressure, entropy and temperature maps. The pressure maps show an overall low pressure core co-incident with the radio halo emission, while the temperature maps reveal multiple regions of cool emission within the central regions of Abell 2256. The two cold fronts in Abell 2256 both appear to have motion in similar directions.


title: Hierarchical Heavy Hitters with the Space Saving Algorithm

abstract: The Hierarchical Heavy Hitters problem extends the notion of frequent items to data arranged in a hierarchy. This problem has applications to network traffic monitoring, anomaly detection, and DDoS detection. We present a new streaming approximation algorithm for computing Hierarchical Heavy Hitters that has several advantages over previous algorithms. It improves on the worst-case time and space bounds of earlier algorithms, is conceptually simple and substantially easier to implement, offers improved accuracy guarantees, is easily adopted to a distributed or parallel setting, and can be efficiently implemented in commodity hardware such as ternary content addressable memory (TCAMs). We present experimental results showing that for parameters of primary practical interest, our two-dimensional algorithm is superior to existing algorithms in terms of speed and accuracy, and competitive in terms of space, while our one-dimensional algorithm is also superior in terms of speed and accuracy for a more limited range of parameters.


title: Markov chain Monte Carlo for exact inference for diffusions

abstract: We develop exact Markov chain Monte Carlo methods for discretely-sampled, directly and indirectly observed diffusions. The qualification "exact" refers to the fact that the invariant and limiting distribution of the Markov chains is the posterior distribution of the parameters free of any discretisation error. The class of processes to which our methods directly apply are those which can be simulated using the most general to date exact simulation algorithm. The article introduces various methods to boost the performance of the basic scheme, including reparametrisations and auxiliary Poisson sampling. We contrast both theoretically and empirically how this new approach compares to irreducible high frequency imputation, which is the state-of-the-art alternative for the class of processes we consider, and we uncover intriguing connections. All methods discussed in the article are tested on typical examples.


title: Inverse boundary value problems for the perturbed polyharmonic operator

abstract: We show that a first order perturbation $A(x)\cdot D+q(x)$ of the polyharmonic operator $(-\Delta)^m$, $m\ge 2$, can be determined uniquely from the set of the Cauchy data for the perturbed polyharmonic operator on a bounded domain in $R^n$, $n\ge 3$. Notice that the corresponding result does not hold in general when $m=1$.


title: Hypergraphs with many Kneser colorings (Extended Version)

abstract: For fixed positive integers $r, k$ and $\ell$ with $1 \leq \ell < r$ and an $r$-uniform hypergraph $H$, let $\kappa (H, k,\ell)$ denote the number of $k$-colorings of the set of hyperedges of $H$ for which any two hyperedges in the same color class intersect in at least $\ell$ elements. Consider the function $\KC(n,r,k,\ell)=\max_{H\in{\mathcal H}_{n}} \kappa (H, k,\ell) $, where the maximum runs over the family ${\mathcal H}_n$ of all $r$-uniform hypergraphs on $n$ vertices. In this paper, we determine the asymptotic behavior of the function $\KC(n,r,k,\ell)$ for every fixed $r$, $k$ and $\ell$ and describe the extremal hypergraphs. This variant of a problem of Erd\H{o}s and Rothschild, who considered edge colorings of graphs without a monochromatic triangle, is related to the Erd\H{o}s--Ko--Rado Theorem on intersecting systems of sets [Intersection Theorems for Systems of Finite Sets, Quarterly Journal of Mathematics, Oxford Series, Series 2, {\bf 12} (1961), 313--320].


title: Two-photon decay of $\pi^0$ from two-flavor lattice QCD

abstract: We study the correction to the radiative $\pi^0$ decay width due to finite light quark mass. Using lattice QCD with the overlap fermion formulation, we calculate the three-point function of the form $<PV_\mu V_\nu>$ in the (Euclidean) momentum space, which corresponds to the $\pi^0\rightarrow \gamma^*\gamma^*$ amplitude. To fit the lattice data, we use two different modifications of vector meson dominance (VMD) ansatz. One is a combined form of VMD with the next-to-leading order (NLO) chiral perturbation theory (ChPT), and the other is a resummed form of pion-loop diagrams. We extract one of the low energy constants in NLO ChPT, and estimate $\pi^0\rightarrow \gamma\gamma$ decay width including finite mass correction.


title: Cauchy-Born rule and spin density wave for the spin-polarized Thomas-Fermi-Dirac-von Weizsacker model

abstract: The electronic structure (electron charges and spins) of a perfect crystal under external magnetic field is analyzed using the spin-polarized Thomas-Fermi-Dirac-von Weizsacker model. An extension of the classical Cauchy-Born rule for crystal lattices is established for the electronic structure under sharp stability conditions on charge density wave and spin density wave. A Landau-Lifschitz type micromagnetic energy functional is derived.


title: Matters of Gravity, The Newsletter of the Topical Group on Gravitation of the American Physical Society, Volume 37, Winter 2011

abstract: GGR News: GGR Program at the APS meeting in Anaheim, CA by David Garfinkle We hear that..., by David Garfinkle 100 years ago, by David Garfinkle Research Briefs: Endpoint of the Gregory-Laflamme Instability, by Gary Horowitz Conference Reports: Chandrasekhar Symposium, by David Garfinkle


title: Pseudoperiodicity and the $3x+1$ Conjugacy Function

abstract: The 3x+1 function T is defined on the positive integers by $T(x) = \frac{3x+1}{2}$ for x odd and $T(x) = \frac{x}{2}$ for x even. The function T has a natural extension to the 2-adic integers, and there is a continuous function $\Phi$ which conjugates T to the 2-adic shift map $\sigma$. Bernstein and Lagarias conjectured that -1 and 1/3 are the only odd fixed points of $\Phi$. In this paper we investigate periodicity associated with $\Phi$, a property of the map which is a natural extention of solenoidality. We use it to show that there are nontrivial infinite families of 2-adics that are not fixed points of $\Phi$. In particular, we prove that three sequences of farPoints of 2-adic integers are finitely pseudoperiodic, providing more evidence supporting the $\Phi$ Fixed Point Conjecture.


title: Studies of the $\eta$ meson with WASA at COSY and KLOE-2 at DA$\Phi$NE

abstract: One of the basic motivations of the KLOE-2 and WASA-at-COSY experiments is the test of fundamental symmetries and the search for phenomena beyond the Standard Model in the hadronic and leptonic decays of ground-state mesons and in particular in decays of the $\eta$ meson. At COSY these mesons are produced in collisions of proton or deuteron beam with hydrogen or deuterium pellet target, and at DA$\Phi$NE $\eta$ mesons originate from radiative decays of $\phi$ meson or from the fusion of virtual gamma quanta exchanged between colliding electrons and positrons. This contribution includes brief description of experimental techniques used by KLOE-2 and WASA-at-COSY as well as some of physics aspects motivating investigations of production and decays of $\eta$ mesons.


title: Instant Replay: Investigating statistical Analysis in Sports

abstract: Technology has had an unquestionable impact on the way people watch sports. Along with this technological evolution has come a higher standard to ensure a good viewing experience for the casual sports fan. It can be argued that the pervasion of statistical analysis in sports serves to satiate the fan's desire for detailed sports statistics. The goal of statistical analysis in sports is a simple one: to eliminate subjective analysis. In this paper, we review previous work that attempts to analyze various aspects in sports by using ideas from Markov Chains, Bayesian Inference and Markov Chain Monte Carlo (MCMC) methods. The unifying goal of these works is to achieve an accurate representation of the player's ability, the sport, or the environmental effects on the player's performance. With the prevalence of cheap computation, it is possible that using techniques in Artificial Intelligence could improve the result of statistical analysis in sport. This is best illustrated when evaluating football using Neuro Dynamic Programming, a Control Theory paradigm heavily based on theory in Stochastic processes. The results from this method suggest that statistical analysis in sports may benefit from using ideas from the area of Control Theory or Machine Learning


title: Ground States of the Sherrington-Kirkpatrick Spin Glass with Levy Bonds

abstract: Ground states of Ising spin glasses on fully connected graphs are studied for a broadly distributed bond family. In particular, bonds $J$ distributed according to a Levy distribution P(J)\propto 1/|J|^{1+\alpha}, |J|>1, are investigated for a range of powers \alpha. The results are compared with those for the Sherrington-Kirkpatrick (SK) model, where bonds are Gaussian distributed. In particular, we determine the variation of the ground state energy densities with \alpha, their finite-size corrections, measure their fluctuations, and analyze the local field distribution. We find that the energies themselves at infinite system size attain universally the Parisi-energy of the SK as long as the second moment of P(J) exists (\alpha>2), and compare favorably with recent one-step replica symmetry breaking predictions well below \alpha=2. At and just below \alpha=2, the simulations deviate significantly from theoretical expectations. The finite-size investigation reveals that the corrections exponent \omega decays from the SK value \omega_{SK}=2/3 already well above \alpha=2, at which point it reaches a minimum. This result is justified with a speculative calculation of a random energy model with Levy bonds. The exponent \rho that describes the variations of the ground state energy fluctuations with system size decays monotonically from its SK value over the entire range of \alpha and apparently vanishes at \alpha=1.


title: Dehn functions and finiteness properties of subgroups of perturbed right-angled Artin groups

abstract: We introduce the class of perturbed right-angled Artin groups. These are constructed by gluing Bieri double groups into standard right-angled Artin groups. As a first application of this construction we obtain families of CAT(0) groups containing finitely presented subgroups which are not of type $\mathrm{FP}_3$, and have exponential, or polynomial Dehn functions of prescribed degree.


title: The solution of the quantum $A_1$ T-system for arbitrary boundary

abstract: We solve the quantum version of the $A_1$ $T$-system by use of quantum networks. The system is interpreted as a particular set of mutations of a suitable (infinite-rank) quantum cluster algebra, and Laurent positivity follows from our solution. As an application we re-derive the corresponding quantum network solution to the quantum $A_1$ $Q$-system and generalize it to the fully non-commutative case. We give the relation between the quantum $T$-system and the quantum lattice Liouville equation, which is the quantized $Y$-system.


title: Exponential ergodicity and regularity for equations with L\'evy noise

abstract: We prove exponential convergence to the invariant measure, in the total variation norm, for solutions of SDEs driven by $\alpha$-stable noises in finite and in infinite dimensions. Two approaches are used. The first one is based on Harris theorem, and the second on Doeblin's coupling argument. Irreducibility, Lyapunov function techniques, and uniform strong Feller property play an essential role in both approaches. We concentrate on two classes of Markov processes: solutions of finite-dimensional equations, introduced in [Priola 2010], with H\"older continuous drift and a general, non-degenerate, symmetric $\alpha$-stable noise, and infinite-dimensional parabolic systems, introduced in [Priola-Zabczyk 2009], with Lipschitz drift and cylindrical $\alpha$-stable noise. We show that if the nonlinearity is bounded, then the processes are exponential mixing. %under the total variation norm. This improves, in particular, an earlier result established in [Priola-Xu-Zabczyk 2010] using the weak convergence induced by the Kantorovich-Wasserstein metric.


title: Wavelet Ensemble Kalman Filters

abstract: We present a new type of the EnKF for data assimilation in spatial models that uses diagonal approximation of the state covariance in the wavelet space to achieve adaptive localization. The efficiency of the new method is demonstrated on an example.


title: The identities of additive binary arithmetics

abstract: Operations of arbitrary arity expressible via addition modulo 2^n and bitwise addition modulo 2 admit a simple description. The identities connecting these two additions have finite basis. Moreover, the universal algebra with these two operations is rationally equivalent to a nilpotent ring and, therefore, generates a Specht variety.


title: Hierarchy of space-time structures, Boltzmann equation, and functional mechanics

abstract: In this report we discuss the organization of different levels of nature and the corresponding space-time structures by the consideration of a particular problem of time irreversibility. The fundamental time irreversibility problem consists in the following: how to reconcile the time-reversible microscopic dynamics and the irreversible macroscopic one. The recently proposed functional formulation of mechanics is aimed to solve this problem. The basic concept of this formulation is not a material point and a trajectory, like in the traditional formulation of mechanics, but a probability density function. Even if we deal with a single particle (not with an ensemble of particles), we describe its state as a probability density function. We justify this approach using measurement theory. A particular problem in the framework of the irreversibility problem is the derivation of the Boltzmann kinetic equation from the equations of microscopic dynamics. We propose a procedure for obtaining the Boltzmann equation from the Liouville equation based on the BBGKY hierarchy, the recently proposed functional formulation of classical mechanics, and the distinguishing between two scales of space-time, i.e., macro- and microscale. The notion of a space-time structure is introduced. It takes into account not only the space-time itself (i.e., a pseudo-Riemannian manifold), but also a characteristic length and time. The space-time structures form a hierarchy in sense that the initial values for the processes on the microscopic space-time structure (interactions of the particles) are assigned from the processes on the macroscopic one (kinetic phenomena).


title: Periodicity of the spectrum of a finite union of intervals

abstract: A set $\Omega$, of Lebesgue measure 1, in the real line is called spectral if there is a set $\Lambda$ of real numbers such that the exponential functions $e_\lambda(x) = \exp(2\pi i \lambda x)$ form a complete orthonormal system on $L^2(\Omega)$. Such a set $\Lambda$ is called a spectrum of $\Omega$. In this note we present a simplified proof of the fact that any spectrum $\Lambda$ of a set $\Omega$ which is finite union of intervals must be periodic. The original proof is due to Bose and Madan.


title: Pion form factors

abstract: We consider the electromagnetic and transition pion form factors. Using dispersion relations we simultaneously describe both the hadronic, time-like region and the asymptotic region of large energy-momentum transfer. For the latter we propose a novel mechanism of Regge fermion exchange. We find that hadronic contributions dominate form factors at all currently available energies.


title: Support-Predicted Modified-CS for Recursive Robust Principal Components' Pursuit

abstract: This work proposes a causal and recursive algorithm for solving the "robust" principal components' analysis (PCA) problem. We primarily focus on robustness to correlated outliers. In recent work, we proposed a new way to look at this problem and showed how a key part of its solution strategy involves solving a noisy compressive sensing(CS) problem. However, if the support size of the outliers becomes too large, for a given dimension of the current PC space, then the number of "measurements" available for CS may become too small. In this work, we show how to address this issue by utilizing the correlation of the outliers to predict their support at the current time; and using this as "partial support knowledge" for solving Modified-CS instead of CS.


title: The Configuration Space of Conformal Connection-Dynamics

abstract: The configuration space of the reduced Hamiltonian formulation of quantum gravity has been shown, for non-Ricci flat metrics, to be a higher-dimensional analogue of the Teichm\"{u}ller space of conformal structures on a Riemann surface. In this article we show that the configuration space of conformal connection-dynamics is naturally a higher-dimensional Teichm\"{u}ller space, subject to the same condition. An immediate consequence of this result is that the Barbero-Immirzi parameter of loop quantum gravity naturally assumes a dilatonic character in all conformal canonical gravity theories.


title: Decision Making Agent Searching for Markov Models in Near-Deterministic World

abstract: Reinforcement learning has solid foundations, but becomes inefficient in partially observed (non-Markovian) environments. Thus, a learning agent -born with a representation and a policy- might wish to investigate to what extent the Markov property holds. We propose a learning architecture that utilizes combinatorial policy optimization to overcome non-Markovity and to develop efficient behaviors, which are easy to inherit, tests the Markov property of the behavioral states, and corrects against non-Markovity by running a deterministic factored Finite State Model, which can be learned. We illustrate the properties of architecture in the near deterministic Ms. Pac-Man game. We analyze the architecture from the point of view of evolutionary, individual, and social learning.


title: Exercices de style: a homotopy theory for set theory, I

abstract: We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and infinite equi-cardinality. In a subsequent paper \cite{GaHa1} we give a homotopy theoretic dictionary of set theoretic concepts, most notably Shelah's covering number $\cov(\lambda, \aleph_1,\aleph_1,2)$, recovered from this model category. We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic existing methods, and so is (almost all) the verification that the construction works.


title: Permanence of a general discrete-time two-species-interaction model with non-monotonic per capita growth rates

abstract: Combined with all density-dependent factors, the per capita growth rate of a species may be non-monotonic. One important consequence is that species may suffer from weak Allee effects or strong Allee effects. In this paper, we study the permanence of a discrete-time two-species-interaction model with non-monotonic per capita growth rates for the first time. By using the average Lyapunov functions and extending the ecological concept of the relative nonlinearity, we find a simple sufficient condition for guaranteeing the permanence of systems that can model complicated two-species interactions. The extended relative nonlinearity allows us to fully characterize the effects of nonlinearities in the per capita growth functions with non-monotonicity. These results are illustrated with specific two species competition and predator-prey models of generic forms with non-monotone per capita growth rates.


title: Hawking radiation, Unruh radiation and the equivalence principle

abstract: We compare the response function of an Unruh-DeWitt detector for different space-times and different vacua and show that there is a {\it detailed} violation of the equivalence principle. In particular comparing the response of an accelerating detector to a detector at rest in a Schwarzschild space-time we find that both detectors register thermal radiation, but for a given, equivalent acceleration the fixed detector in the Schwarzschild space-time measures a higher temperature. This allows one to locally distinguish the two cases. As one approaches the horizon the two temperatures have the same limit so that the equivalence principle is restored at the horizon.


title: Calculating the partition function of N=2 Gauge theories on $S^3$ and AdS/CFT correspondence

abstract: We test the AdS/CFT correspondence by computing the partition function of some $\mathcal{N}=2$ quiver Chern-Simons-matter theories on three-sphere. The M-theory backgrounds are of the Freund-Rubin type with the seven-dimensional internal space given as Sasaki-Einstein manifolds $Q^{1,1,1}$ or $V^{5,2}$. Localization technique reduces the exact path integral to a matrix model, and we study the large-N behavior of the partition function. For simplicity we consider only non-chiral models which have a real-valued partition function. The result is in full agreement with the prediction of the gravity duals, i.e. the free energy is proportional to $N^{3/2}$ and the coefficient matches correctly the volume of $Q^{1,1,1}$ and $V^{5,2}$.


title: Photon number discrimination without a photon counter and its application to reconstructing non-Gaussian states

abstract: The non-linearity of a conditional photon-counting measurement can be used to `de-Gaussify' a Gaussian state of light. Here we present and experimentally demonstrate a technique for photon number resolution using only homodyne detection. We then apply this technique to inform a conditional measurement; unambiguously reconstructing the statistics of the non-Gaussian one and two photon subtracted squeezed vacuum states. Although our photon number measurement relies on ensemble averages and cannot be used to prepare non-Gaussian states of light, its high efficiency, photon number resolving capabilities, and compatibility with the telecommunications band make it suitable for quantum information tasks relying on the outcomes of mean values.


title: Measure Estimates, Harnack Inequalities and Ricci Lower Bound

abstract: On a Riemannian metric-measure space, we establish an Alexandrov-Bakelman-Pucci type measure estimate connecting Bakry-\'Emery Ricci curvature lower bound, modified Laplacian and the measure of certain special sets. We apply this estimate to prove Harnack inequalities for the modified Laplacian operator and fully non-linear operators. These inequalities seem not available in the literature; And our proof, solely based on the ABP estimate, does not involve any Sobolev inequalities nor gradient estimate. We also propose a question regarding the characterization of Ricci lower bound by the Harnack inequality.


title: Counting (3+1) - Avoiding permutations

abstract: A poset is {\it $(\3+\1)$-free} if it contains no induced subposet isomorphic to the disjoint union of a 3-element chain and a 1-element chain. These posets are of interest because of their connection with interval orders and their appearance in the $(\3+\1)$-free Conjecture of Stanley and Stembridge. The dimension 2 posets $P$ are exactly the ones which have an associated permutation $\pi$ where $i\prec j$ in $P$ if and only if $i<j$ as integers and $i$ comes before $j$ in the one-line notation of $\pi$. So we say that a permutation $\pi$ is {\it $(\3+\1)$-free} or {\it $(\3+\1)$-avoiding} if its poset is $(\3+\1)$-free. This is equivalent to $\pi$ avoiding the permutations 2341 and 4123 in the language of pattern avoidance. We give a complete structural characterization of such permutations. This permits us to find their generating function.


title: Electronic Behavior of Superconducting SmFeAsO0.75

abstract: High-quality polycrystalline SmFeAsO0.75 was synthesized with a superconducting transition width less than 1 K, and the electronic behavior was systematically studied by transport and specific heat measurements. An obvious superconducting jump was witnessed, together with a very small normalized superconducting jump, which is much smaller than expected by the BCS theory. A strong temperature dependent Hall coefficient was found and attributed to the partial gapping of the Fermi surface up to the temperature of 160 K which was predicted and supported by the emergence of the pseudogap. The charge-carrier density as well as the effective mass were also obtained and discussed in detail.


title: Nuclear mass systematics and nucleon-removal thresholds; application to 17-Na

abstract: A survey of known threshold excitations of mirror systems suggests a means to estimate masses of nuclear systems that are uncertain or not known, as does a trend in the relative energies of isobaric ground states. Using both studies and known mirror-pair energy differences, we estimate the mass of the nucleus 17-Na and its energy relative to the p+16-Ne threshold. This model-free estimate of the latter is larger than that suggested by recent structure models.


title: Effects of the sintering atmosphere on the superconductivity of SmFeAsO1-xFx compounds

abstract: A series of SmFeAsO1-xFx samples were sintered in quartz tubes filled with air of different pressures. The effects of the sintering atmosphere on the superconductivity were systematically investigated. The SmFeAsO1-xFx system maintains a transition temperature (Tc) near 50 K until the concentration of oxygen in quartz tubes increases to a certain threshold, after which Tc decreases dramatically. Fluorine losses, whether due to vaporization, reactions with starting materials, and reactions with oxygen, proved to be detrimental to the superconductivity of this material. The deleterious effects of the oxygen in the sintering atmosphere were also discussed in detail.


title: Is Dark Energy a Cosmic Casimir Effect?

abstract: Unknown short-distance effects cancel the quartic divergence of the zero-point energies. If this renormalization took effect in the early universe after the last phase transition and applied only to modes whose wavelengths (over 2 pi) were shorter than the Hubble length 1/H at that time, then the zero-point energies of the modes of longer wavelengths can approximately account for the present value of the dark-energy density. The model makes two predictions.


title: Doping Effect and Flux Pinning Mechanism of Nano-SiC Additions in MgB2 Strands

abstract: Superconducting MgB2 strands with nanometer-scale SiC additions have been investigated systematically using transport and magnetic measurements. A comparative study of MgB2 strands with different nano-SiC addition levels has shown C-doping-enhanced critical current density Jc through enhancements in the upper critical field, Hc2, and decreased anisotropy. The critical current density and flux pinning force density obtained from magnetic measurements were found to greatly differ from the values obtained through transport measurements, particularly with regards to magnetic field dependence. The differences in magnetic and transport results are largely attributed to connectivity related effects. On the other hand, based on the scaling behavior of flux pinning force, there may be other effective pinning centers in MgB2 strands in addition to grain boundary pinning.


title: On a Problem of Erd\H{o}s, Herzog and Sch\"onheim

abstract: Let $p_1, p_2,..., p_n$ be distinct primes. In 1970, Erd\H os, Herzog and Sch\"{o}nheim proved that if $\cal D$ is a set of divisors of $N=p_1^{\alpha_1}...p_n^{\alpha_n}$, $\alpha_1\ge \alpha_2\ge...\ge \alpha_n$, no two members of the set being coprime and if no additional member may be included in $\cal D$ without contradicting this requirement then $ |{\cal D}|\ge \alpha_n \prod_{i=1}^{n-1} (\alpha_i +1)$. They asked to determine all sets $\cal D$ such that the equality holds. In this paper we solve this problem. We also pose several open problems for further research.


title: A new model for self-organized dynamics and its flocking behavior

abstract: We introduce a model for self-organized dynamics which, we argue, addresses several drawbacks of the celebrated Cucker-Smale (C-S) model. The proposed model does not only take into account the distance between agents, but instead, the influence between agents is scaled in term of their relative distance. Consequently, our model does not involve any explicit dependence on the number of agents; only their geometry in phase space is taken into account. The use of relative distances destroys the symmetry property of the original C-S model, which was the key for the various recent studies of C-S flocking behavior. To this end, we introduce here a new framework to analyze the phenomenon of flocking for a rather general class of dynamical systems, which covers systems with non-symmetric influence matrices. In particular, we analyze the flocking behavior of the proposed model as well as other strongly asymmetric models with "leaders". The methodology presented in this paper, based on the notion of active sets, carries over from the particle to kinetic and hydrodynamic descriptions. In particular, we discuss the hydrodynamic formulation of our proposed model, and prove its unconditional flocking for slowly decaying influence functions.


title: Anomalous decoherence effect in a quantum bath

abstract: Decoherence of quantum objects in noisy environments is important in quantum sciences and technologies. It is generally believed that different processes coupled to the same noise source should have similar decoherence behaviors and stronger noises would cause faster decoherence. Here we show that in a quantum bath, the case can be the opposite. In particular, we predict that the multi-transition of a nitrogen-vacancy center spin-1 in diamond can have longer coherence time than the single-transitions, even though the former suffers twice stronger noises from the nuclear spin bath than the latter. This anomalous decoherence effect is due to manipulation of the bath evolution via flips of the center spin.


title: The equal tangents problem

abstract: Given a plane oval, is it possible to go around it so that, at all times, the two tangent segments to the oval from the moving point have unequal lengths? In this note we construct an example of such an oval.


title: Existentially closed locally finite groups

abstract: We investigate this class of groups originally called ulf (universal locally finite groups) of cardinality $\lambda$. We prove that for every locally finite group $G$ there is a canonical existentially closed extention of the same cardinality, unique up to isomorphism and increasing with $G$. Also we get, e.g. existence of complete members (i.e. with no non-inner automorphisms) in many cardinals (provably in ZFC). We also get a parallel to stability theory in the sense of investigating definable types.


title: A variational representation of weak solutions for the pressureless Euler-Poisson equations

abstract: We derive an explicit formula for global weak solutions of the one dimensional system of pressure-less Euler-Poisson equations. Our variational formulation is an extension of the well-known formula for entropy solutions of the scalar inviscid Burgers' equation: since the characteristics of the Euler-Poisson equations are parabolas, the representation of their weak solution takes the form of a "quadratic" version of the celebrated Lax-Oleinik variational formula. Three cases are considered. (i) The variational formula recovers the "sticky particle" solution in the attractive case; (ii) It represents a repulsive solution which is different than the one obtained by the sticky particle construction; and (iii) the result is further extended to the multi-dimensional Euler-Poisson system with radial symmetry.


title: Restrictions of Steiner bundles and divisors on the Hilbert scheme of points in the plane

abstract: The Hilbert scheme of n points in the projective plane parameterizes degree n zero-dimensional subschemes of the projective plane. We examine the dual cones of effective divisors and moving curves on the Hilbert scheme. By studying interpolation, restriction, and stability properties of certain vector bundles on the plane we fully determine these cones for just over three fourths of all values of n. A general Steiner bundle on P^N is a vector bundle admitting a linear resolution of a particular form. We complete the classification of slopes of semistable Steiner bundles on P^N by showing every admissible slope is realized by a bundle which restricts to a semistable bundle on a rational curve. The proof involves a basic question about multiplication of polynomials on P^1 which is interesting in its own right.


title: High Reynolds number magnetohydrodynamic turbulence using a Lagrangian model

abstract: With the help of a model of magnetohydrodynamic (MHD) turbulence tested previously, we explore high Reynolds number regimes up to equivalent resolutions of 6000^3 grid points in the absence of forcing and with no imposed uniform magnetic field. For the given initial condition chosen here, with equal kinetic and magnetic energy, the flow ends up being dominated by the magnetic field, and the dynamics leads to an isotropic Iroshnikov-Kraichnan energy spectrum. However, the locally anisotropic magnetic field fluctuations perpendicular to the local mean field follow a Kolmogorov law. We find that the ratio of the eddy turnover time to the Alfven time increases with wavenumber, contrary to the so-called critical balance hypothesis. Residual energy and helicity spectra are also considered; the role played by the conservation of magnetic helicity is studied, and scaling laws are found for the magnetic helicity and residual helicity spectra. We put these results in the context of the dynamics of a globally isotropic MHD flow which is locally anisotropic because of the influence of the strong large-scale magnetic field, leading to a partial equilibration between kinetic and magnetic modes for the energy and the helicity.


title: Some Aspects of Low Energy Properties of Nucleons

abstract: We conclude that nucleon is a many body complex system whose low-energy behaviour is determined mainly by strong interaction. Non-perturbative approach to QCD, such as QCD sum rule and the QCD based effective theory, and the models such as a statistical model, have a complementary role in exposing different aspects of nucleonic properties.


title: Invariant manifolds around soliton manifolds for the nonlinear Klein-Gordon equation

abstract: We construct center-stable and center-unstable manifolds, as well as stable and unstable manifolds, for the nonlinear Klein-Gordon equation with a focusing energy sub-critical nonlinearity, associated with a family of solitary waves which is generated from any radial stationary solution by the action of all Lorentz transforms and spatial translations. The construction is based on the graph transform (or Hadamard) approach, which requires less spectral information on the linearized operator, and less decay of the nonlinearity, than the Lyapunov-Perron method employed previously in this context. The only assumption on the stationary solution is that the kernel of the linearized operator is spanned by its spatial derivatives, which is known to hold for the ground states. The main novelty of this paper lies with the fact that the graph transform method is carried out in the presence of modulation parameters corresponding to the symmetries.


title: A Spatial-Epistemic Logic for Reasoning about Security Protocols

abstract: Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge propagation, usually they do not provide a general language for expressing arbitrary properties involving local knowledge and knowledge transfer. Building on this observation, we introduce a framework for security protocol analysis based on dynamic spatial logic specifications. Our computational model is a variant of existing pi-calculi, while specifications are expressed in a dynamic spatial logic extended with an epistemic operator. We present the syntax and semantics of the model and logic, and discuss the expressiveness of the approach, showing it complete for passive attackers. We also prove that generic Dolev-Yao attackers may be mechanically determined for any deterministic finite protocol, and discuss how this result may be used to reason about security properties of open systems. We also present a model-checking algorithm for our logic, which has been implemented as an extension to the SLMC system.


title: On the Decidability of Non Interference over Unbounded Petri Nets

abstract: Non-interference, in transitive or intransitive form, is defined here over unbounded (Place/Transition) Petri nets. The definitions are adaptations of similar, well-accepted definitions introduced earlier in the framework of labelled transition systems. The interpretation of intransitive non-interference which we propose for Petri nets is as follows. A Petri net represents the composition of a controlled and a controller systems, possibly sharing places and transitions. Low transitions represent local actions of the controlled system, high transitions represent local decisions of the controller, and downgrading transitions represent synchronized actions of both components. Intransitive non-interference means the impossibility for the controlled system to follow any local strategy that would force or dodge synchronized actions depending upon the decisions taken by the controller after the last synchronized action. The fact that both language equivalence and bisimulation equivalence are undecidable for unbounded labelled Petri nets might be seen as an indication that non-interference properties based on these equivalences cannot be decided. We prove the opposite, providing results of decidability of non-interference over a representative class of infinite state systems.