title: Framework for Application Mapping over Packet-Switched Network of FPGAs: Case Studies

abstract: The algorithm-to-hardware High-level synthesis (HLS) tools today are purported to produce hardware comparable in quality to handcrafted designs, particularly with user directive driven or domains specific HLS. However, HLS tools are not readily equipped for when an application/algorithm needs to scale. We present a (work-in-progress) semi-automated framework to map applications over a packet-switched network of modules (single FPGA) and then to seamlessly partition such a network over multiple FPGAs over quasi-serial links. We illustrate the framework through three application case studies: LDPC Decoding, Particle Filter based Object Tracking, and Matrix Vector Multiplication over GF(2). Starting with high-level representations of each case application, we first express them in an intermediate message passing formulation, a model of communicating processing elements. Once the processing elements are identified, these are either handcrafted or realized using HLS. The rest of the flow is automated where the processing elements are plugged on to a configurable network-on-chip (CONNECT) topology of choice, followed by partitioning the 'on-chip' links to work seamlessly across chips/FPGAs.


title: Phase diagram of strongly attractive $p$-orbital fermions on optical lattices

abstract: We examine a system of doubly degenerate $p$-orbital polarized fermions on a two-dimensional square lattice with a strong on-site interaction. We consider the system density at the half filling limit and tackle the strong attractive interaction using a perturbation theory. We treat the four-site square plaquette interaction term generated from the directional tunneling dependence of $p$-orbitals using the fourth order in perturbation theory. We map the strong coupling particle Hamiltonian into an effective spin-Hamiltonian and then use a variational mean field approach and a linear spin-wave theory to study the phase diagram. Further, we discuss the experimental signatures of these phases within the context of current cold-atom experimental techniques.


title: Variational problems of nonlinear elasticity theory in certain classes of mappings with finite distortion

abstract: We study the problem of minimizing the functional $$ I(\varphi)=\int\limits_{\Omega} W(x,D\varphi)\,dx $$ on a new class of mappings. We relax summability conditions for admissible deformations to $\varphi\in W^1_n(\Omega)$ and growth conditions on the integrand $W(x,F)$. To compensate for that, we impose the finite distortion condition and the condition $\frac{|D\varphi(x)|^n}{J(x,\varphi)} \leq M(x) \in L_{s}(\Omega)$, $s>n-1$, on the characteristic of distortion. On assuming that the integrand $W(x,F)$ is polyconvex and coercive, we obtain an~existence theorem for the problem of minimizing the functional $I(\varphi)$ on a new family of admissible deformations. KEYWORDS: functional minimization problem, nonlinear elasticity, mapping with finite distortion, polyconvexity.


title: Representation ring of Levi subgroups versus cohomology ring of flag varieties

abstract: Recall the classical result that the cup product structure constants for the singular cohomology with integral coefficients of the Grassmannian of r-planes coincide with the Littlewood-Richardson tensor product structure constants for GL(r). Specifically, the result asserts that there is an explicit ring homomorphism \phi: \Rep _{\poly}(GL(r)) to H^*(Gr(r, n)), where Gr(r, n) denotes the Grassmannian of r-planes in C^n and \Rep_{\poly} (GL(r)) denotes the polynomial representation ring of GL(r). This work seeks to achieve one possible generalization of this classical result for GL(r) and the Grassmannian Gr(r,n) to the Levi subgroups of any reductive group G and the corresponding flag varieties.


title: On Deciding Local Theory Extensions via E-matching

abstract: Satisfiability Modulo Theories (SMT) solvers incorporate decision procedures for theories of data types that commonly occur in software. This makes them important tools for automating verification problems. A limitation frequently encountered is that verification problems are often not fully expressible in the theories supported natively by the solvers. Many solvers allow the specification of application-specific theories as quantified axioms, but their handling is incomplete outside of narrow special cases. In this work, we show how SMT solvers can be used to obtain complete decision procedures for local theory extensions, an important class of theories that are decidable using finite instantiation of axioms. We present an algorithm that uses E-matching to generate instances incrementally during the search, significantly reducing the number of generated instances compared to eager instantiation strategies. We have used two SMT solvers to implement this algorithm and conducted an extensive experimental evaluation on benchmarks derived from verification conditions for heap-manipulating programs. We believe that our results are of interest to both the users of SMT solvers as well as their developers.


title: Bosonic seesaw mechanism in a classically conformal extension of the Standard Model

abstract: We suggest the so-called bosonic seesaw mechanism in the context of a classically conformal $U(1)_{B-L}$ extension of the Standard Model with two Higgs doublet fields. The $U(1)_{B-L}$ symmetry is radiatively broken via the Coleman-Weinberg mechanism, which also generates the mass terms for the two Higgs doublets through quartic Higgs couplings. Their masses are all positive but, nevertheless, the electroweak symmetry breaking is realized by the bosonic seesaw mechanism. Analyzing the renormalization group evolutions for all model couplings, we find that a large hierarchy among the quartic Higgs couplings, which is crucial for the bosonic seesaw mechanism to work, is dramatically reduced toward high energies. Therefore, the bosonic seesaw is naturally realized with only a mild hierarchy, if some fundamental theory, which provides the origin of the classically conformal invariance, completes our model at some high energy, for example, the Planck scale. We identify the regions of model parameters which satisfy the perturbativity of the running couplings and the electroweak vacuum stability as well as the naturalness of the electroweak scale.


title: Tight Lower Bounds for the Workflow Satisfiability Problem Based on the Strong Exponential Time Hypothesis

abstract: The Workflow Satisfiability Problem (WSP) asks whether there exists an assignment of authorized users to the steps in a workflow specification, subject to certain constraints on the assignment. The problem is NP-hard even when restricted to just not equals constraints. Since the number of steps $k$ is relatively small in practice, Wang and Li (2010) introduced a parametrisation of WSP by $k$. Wang and Li (2010) showed that, in general, the WSP is W[1]-hard, i.e., it is unlikely that there exists a fixed-parameter tractable (FPT) algorithm for solving the WSP. Crampton et al. (2013) and Cohen et al. (2014) designed FPT algorithms of running time $O^*(2^{k})$ and $O^*(2^{k\log_2 k})$ for the WSP with so-called regular and user-independent constraints, respectively. In this note, we show that there are no algorithms of running time $O^*(2^{ck})$ and $O^*(2^{ck\log_2 k})$ for the two restrictions of WSP, respectively, with any $c<1$, unless the Strong Exponential Time Hypothesis fails.


title: Coarse-Grain Performance Estimator for Heterogeneous Parallel Computing Architectures like Zynq All-Programmable SoC

abstract: Heterogeneous computing is emerging as a mandatory requirement for power-efficient system design. With this aim, modern heterogeneous platforms like Zynq All-Programmable SoC, that integrates ARM-based SMP and programmable logic, have been designed. However, those platforms introduce large design cycles consisting on hardware/software partitioning, decisions on granularity and number of hardware accelerators, hardware/software integration, bitstream generation, etc. This paper presents a performance parallel heterogeneous estimation for systems where hardware/software co-design and run-time heterogeneous task scheduling are key. The results show that the programmer can quickly decide, based only on her/his OmpSs (OpenMP + extensions) application, which is the co-design that achieves nearly optimal heterogeneous parallel performance, based on the methodology presented and considering only synthesis estimation results. The methodology presented reduces the programmer co-design decision from hours to minutes and shows high potential on hardware/software heterogeneous parallel performance estimation on the Zynq All-Programmable SoC.


title: Wavelength Self-Calibration and Sky Subtraction for Fabry-Perot Interferometers: Applications to OSIRIS

abstract: We describe techniques concerning wavelength calibration and sky subtraction to maximise the scientific utility of data from tunable filter instruments. While we specifically address data from the Optical System for Imaging and low Resolution Integrated Spectroscopy instrument (OSIRIS) on the 10.4~m Gran Telescopio Canarias telescope, our discussion is generalisable to data from other tunable filter instruments. A key aspect of our methodology is a coordinate transformation to polar coordinates, which simplifies matters when the tunable filter data is circularly symmetric around the optical centre. First, we present a method for rectifying inaccuracies in the wavelength calibration using OH sky emission rings. Using this technique, we improve the absolute wavelength calibration from an accuracy of 5 Angstroms to 1 Angstrom, equivalent to ~7% of our instrumental resolution, for 95% of our data. Then, we discuss a new way to estimate the background sky emission by median filtering in polar coordinates. This method suppresses contributions to the sky background from the outer envelopes of distant galaxies, maximising the fluxes of sources measured in the corresponding sky-subtracted images. We demonstrate for data tuned to a central wavelength of 7615~$\rm\AA$ that galaxy fluxes in the new sky-subtracted image are ~37% higher, versus a sky-subtracted image from existing methods for OSIRIS tunable filter data.


title: Designing Hardware/Software Systems for Embedded High-Performance Computing

abstract: In this work, we propose an architecture and methodology to design hardware/software systems for high-performance embedded computing on FPGA. The hardware side is based on a many-core architecture whose design is generated automatically given a set of architectural parameters. Both the architecture and the methodology were evaluated running dense matrix multiplication and sparse matrix-vector multiplication on a ZYNQ-7020 FPGA platform. The results show that using a system-level design of the system avoids complex hardware design and still provides good performance results.


title: The Effect of Vertical Temperature Gradient on the Propagation of Three-dimensional Waves in a Protoplanetary Disk

abstract: Excitation and propagation of waves in a thermally stratified disk with an arbitrary vertical temperature profile are studied. Previous analytical studies of three-dimensional waves had been focused on either isothermal or polytropic vertical disk structures. However, at the location in a protoplanetary disk where the dominant heating source is stellar irradiation, the temperature gradient may become positive in the vertical direction. We extend the analysis to study the effects of the vertical temperature structure on the waves that are excited at the Lindblad resonances. For a hotter disk atmosphere, the $f$-mode contributes less to the torque and remains confined near the midplane as it propagates away from the resonances. On the other hand, the excitation of the $g$-modes is stronger. As they propagate, they channel to the top of disk atmosphere and their group velocities decrease. The differences compared to previous studies may have implications in understanding the wave dynamics in a realistic disk structure.


title: High thermoelectric performance can be achieved in black phosphorus

abstract: Few-layer black phosphorus has recently emerged as a promising candidate for novel electronic and optoelectronic device. Here we demonstrate by first-principles calculations and Boltzmann theory that, black phosphorus could also have potential thermoelectric applications and a fair ZT value of 1.1 can be achieved at elevated temperature. Moreover, such value can be further increased to 5.4 by substituting P atom with Sb atom, giving nominal formula of P0.75Sb0.25. Our theoretical work suggests that high thermoelectric performance can be achieved without using complicated crystal structure or seeking for low-dimensional systems.


title: Fixed point problems in Banach spaces

abstract: We prove strong convergence theorems of some iterative algorithms in a real uniformly smooth Banach space. The results presented extend, generalize and improve the corresponding results recently announced by many authors.


title: On Practical SMT-Based Type Error Localization

abstract: Compilers for statically typed functional programming languages are notorious for generating confusing type error messages. When the compiler detects a type error, it typically reports the program location where the type checking failed as the source of the error. Since other error sources are not even considered, the actual root cause is often missed. A more adequate approach is to consider all possible error sources and report the most useful one subject to some usefulness criterion. In our previous work, we showed that this approach can be formulated as an optimization problem related to satisfiability modulo theories (SMT). This formulation cleanly separates the heuristic nature of usefulness criteria from the underlying search problem. Unfortunately, algorithms that search for an optimal error source cannot directly use principal types which are crucial for dealing with the exponential-time complexity of the decision problem of polymorphic type checking. In this paper, we present a new algorithm that efficiently finds an optimal error source in a given ill-typed program. Our algorithm uses an improved SMT encoding to cope with the high complexity of polymorphic typing by iteratively expanding the typing constraints from which principal types are derived. The algorithm preserves the clean separation between the heuristics and the actual search. We have implemented our algorithm for OCaml. In our experimental evaluation, we found that the algorithm reduces the running times for optimal type error localization from minutes to seconds and scales better than previous localization algorithms.


title: Young's experiment scheme modification for a possible observation of "soliton" interference model

abstract: We consider the "soliton" interference model that complements the usual wave and corpuscular models of two-slit interference. The scheme of the experiment to verify such "soliton" interference model has been suggested.


title: Towards an $H$-theorem for granular gases

abstract: The $H$-theorem, originally derived at the level of Boltzmann non-linear kinetic equation for a dilute gas undergoing elastic collisions, strongly constrains the velocity distribution of the gas to evolve irreversibly towards equilibrium. As such, the theorem could not be generalized to account for dissipative systems: the conservative nature of collisions is an essential ingredient in the standard derivation. For a dissipative gas of grains, we construct here a simple functional $\mathcal H$ related to the original $H$, that can be qualified as a Lyapunov functional. It is positive, and results backed by three independent simulation approaches (a deterministic spectral method, the stochastic Direct Simulation Monte Carlo technique, and Molecular Dynamics) indicate that it is also non-increasing. Both driven and unforced cases are investigated.


abstract: Under appropriate spectral assumptions we prove two existence results for positive solutions of Lichnerowicz-type equations on complete manifolds. We also give a priori bounds and a comparison result that immediately yields uniqueness for certain classes of solutions. No curvature assumptions are involved in our analysis.


title: A Modified Quadratic Lorenz attractor

abstract: This study introduces a modified quadratic Lorenz attractor. The properties of this new chaotic system are analysed and discussed in detail, by determining the equilibria points, the eigenvalues of the Jacobian, and the Lyapunov exponents. The numerical simulations, the time series analysis, and the projections to the $xy$-plane, $xz$-plane, and $yz$-plane are conducted to highlight the chaotic behaviour. The multiplicative form of the new system is also presented and the simulations are conducted using multiplicative Runge-Kutta methods.


title: A model-independent analysis of final-state interactions in \bar B_{d/s}^0 --> J/psi pi pi

abstract: Exploiting $B$-meson decays for Standard Model tests and beyond requires a precise understanding of the strong final-state interactions that can be provided model-independently by means of dispersion theory. This formalism allows one to deduce the universal pion-pion final-state interactions from the accurately known $\pi\pi$ phase shifts and, in the scalar sector, a coupled-channel treatment with the kaon-antikaon system. In this work an analysis of the decays $\bar B_d^0 \to J/\psi \pi^+\pi^-$ and $\bar B_s^0 \to J/\psi \pi^+\pi^-$ is presented. We find very good agreement with the data up to 1.05 GeV with a number of parameters reduced significantly compared to a phenomenological analysis. In addition, the phases of the amplitudes are correct by construction, a crucial feature when it comes to studies of $CP$ violation in heavy-meson decays.


title: Control of Pitch-Flap Instabilities in Helicopter Rotors using Delayed Feedback

abstract: The problem of vibration suppression in helicopter rotors is the main topic of this paper. We revisit a strategy for the stabilization of such systems based on delayed feedback. By means of an improved analysis, made possible by recently developed mathematical tools, we present insights on how the delay can be used as stabilization tool for this problem. The results are supported with numerical simulations. For simplicity, only the case of hovering flight is considered.


title: RC3E: Provision and Management of Reconfigurable Hardware Accelerators in a Cloud Environment

abstract: Heterogeneous systems consisting of general-purpose processors and different types of hardware accelerators are becoming more and more common in HPC systems. Especially FPGAs provide a promising opportunity to improve both performance and energy efficiency of such systems. Adding FPGAs to clouds or data centers allows easy access to such reconfigurable resources. In this paper we present our cloud service models and cloud hypervisor called RC3E, which integrates virtualized FPGA-based hardware accelerators into a cloud environment. With our hardware and software framework, multiple (virtual) user designs can be executed on a single physical FPGA device. We demonstrate the performance of our approach by implementing up to four virtual user cores on a single device and present future perspectives for FPGAs in cloud-based data environments.


title: Implications of the first AMS-02 antiproton data for dark matter

abstract: The implications of the first AMS-02 $\bar p/p$ data for the propagation of cosmic rays and the properties of dark matter (DM) are discussed. Using various diffusive re-acceleration (DR) propagation models, one can derive very conservative upper limits on the DM annihilation cross sections. The limits turned out to be compatible with that from the Ferm-LAT gamma-ray data on the dwarf spheroidal satellite galaxies. The flattening of the $\bar p/p$ spectrum above $\sim 100$~GeV in the current data still leaves some room for TeV scale DM particles. More antiproton data at high kinetic energies are needed to constrain the properties of the DM particles.


title: Encrypted statistical machine learning: new privacy preserving methods

abstract: We present two new statistical machine learning methods designed to learn on fully homomorphic encrypted (FHE) data. The introduction of FHE schemes following Gentry (2009) opens up the prospect of privacy preserving statistical machine learning analysis and modelling of encrypted data without compromising security constraints. We propose tailored algorithms for applying extremely random forests, involving a new cryptographic stochastic fraction estimator, and na\"{i}ve Bayes, involving a semi-parametric model for the class decision boundary, and show how they can be used to learn and predict from encrypted data. We demonstrate that these techniques perform competitively on a variety of classification data sets and provide detailed information about the computational practicalities of these and other FHE methods.


title: On the Existence of Generalized Parking Spaces for Complex Reflection Groups

abstract: Let $W$ be an irreducible finite complex reflection group acting on a complex vector space $V$. For a positive integer $k$, we consider a class function $\varphi_k$ given by $\varphi_k(w) = k^{\dim V^w}$ for $w \in W$, where $V^w$ is the fixed-point subspace of $w$. If $W$ is the symmetric group of $n$ letters and $k=n+1$, then $\varphi_{n+1}$ is the permutation character on (classical) parking functions. In this paper, we give a complete answer to the question when $\varphi_k$ (resp. its $q$-analogue) is the character of a representation (resp. the graded character of a graded representation) of $W$. As a key to the proof in the symmetric group case, we find the greatest common divisors of specialized Schur functions. And we propose a unimodality conjecture of the coefficients of certain quotients of principally specialized Schur functions.


title: The maximum time of 2-neighbour bootstrap percolation in grid graphs and some parameterized results

abstract: In 2-neighborhood bootstrap percolation on a graph $G$, an infection spreads according to the following deterministic rule: infected vertices of $G$ remain infected forever and in consecutive rounds healthy vertices with at least two already infected neighbors become infected. Percolation occurs if eventually every vertex is infected. The maximum time $t(G)$ is the maximum number of rounds needed to eventually infect the entire vertex set. In 2013, it was proved by Benevides et al \cite{eurocomb13} that $t(G)$ is NP-hard for planar graphs and that deciding whether $t(G)\geq k$ is polynomial time solvable for $k\leq 2$, but is NP-complete for $k\geq 4$. They left two open problems about the complexity for $k=3$ and for planar bipartite graphs. In 2014, we solved the first problem\cite{wg2014}. In this paper, we solve the second one by proving that $t(G)$ is NP-complete even in grid graphs with maximum degree 3. We also prove that $t(G)$ is polynomial time solvable for solid grid graphs with maximum degree 3. Moreover, we prove that the percolation time problem is W[1]-hard on the treewidth of the graph, but it is fixed parameter tractable with parameters treewidth$+k$ and maxdegree$+k$.


title: Metallic behaviour in SOI quantum wells with strong intervalley scattering

abstract: The fundamental properties of valleys are recently attracting growing attention due to electrons in new and topical materials possessing this degree-of-freedom and recent proposals for val-leytronics devices. In silicon MOSFETs, the interest has a longer history since the valley degree of freedom had been identified as a key parameter in the observation of the controversial "metallic behaviour" in two dimensions. However, while it has been recently demonstrated that lifting valley degeneracy can destroy the metallic behaviour, little is known about the role of intervalley scattering. Here, we show that the metallic behaviour can be observed in the presence of strong interval-ley scattering in silicon on insulator (SOI) quantum wells. Analysis of the conductivity in terms of quantum corrections reveals that interactions are much stronger in SOI than in conventional MOSFETs, leading to the metallic behaviour despite the strong intervalley scattering. The prospect of manipulating the valley degree of freedom in materials like AlAs, 1 silicon 2--4 graphene,


title: Quasilocal energy in modified gravity

abstract: A new generalization of the Hawking-Hayward quasilocal energy to scalar-tensor gravity is proposed without assuming symmetries, asymptotic flatness, or special spacetime metrics. The procedure followed is simple but powerful and consists of writing the scalar-tensor field equations as effective Einstein equations and then applying the standard definition of quasilocal mass.


title: Generation of platicons and frequency combs in optical microresonators with normal GVD by modulated pump

abstract: We demonstrate that flat-topped dissipative solitonic pulses, platicons, and corresponding frequency combs can be excited in optical microresonators with normal group velocity dispersion using either amplitude modulation of the pump or bichromatic pump. Soft excitation may occur in particular frequency range if modulation depth is large enough and modulation frequency is close to the free spectral range of the microresonator.


title: The Most Exigent Eigenvalue: Guaranteeing Consensus under an Unknown Communication Topology and Time Delays

abstract: In the analysis of consensus problems for multi-agent systems affected by time delays, the delay margin for a given protocol is heavily dependent on the communication topology being used. This document aims to answer the question of what is the largest delay value under which convergence to consensus is still possible even if the communication topology is not known. To answer this question we revisit the concept of most exigent eigenvalue, applying it to two different consensus protocols for agents driven by second order dynamics. We show how the delay margin depends on the structure of the consensus protocol and the communication topology, and arrive to a boundary that guarantees consensus for any connected communication topology. The switching topologies case is also studied and It is shown that for one protocol the stability of the individual topologies is sufficient to guarantee consensus in the switching case, whereas for the other one it is not.


title: Superspace Unitary Operator in QED with Dirac and Complex Scalar Fields: Superfield Approach

abstract: We exploit the strength of the superspace (SUSP) unitary operator to obtain the results of the application of the horizontality condition (HC) within the framework of augmented version of superfield formalism that is applied to the interacting systems of Abelian 1-form gauge theories where the U(1) Abelian 1-form gauge field couples to the Dirac and complex scalar fields in the physical four (3 + 1)-dimensions of spacetime. These interacting theories are generalized onto a (4, 2)-dimensional supermanifold that is parametrized by the four (3 + 1)-dimensional (4D) spacetime variables and a pair of Grassmannian variables. To derive the (anti-)BRST symmetries for the matter fields, we impose the gauge invariant restrictions (GIRs) on the superfields defined on the (4, 2)-dimensional supermanifold. We discuss various outcomes that emerge out from our knowledge of the SUSP unitary operator and its hermitian conjugate. The latter operator is derived without imposing any operation of hermitian conjugation on the parameters and fields of our theory from outside. This is an interesting observation in our present investigation.


title: Shopper Analytics: a customer activity recognition system using a distributed RGB-D camera network

abstract: The aim of this paper is to present an integrated system consisted of a RGB-D camera and a software able to monitor shoppers in intelligent retail environments. We propose an innovative low cost smart system that can understand the shoppers' behavior and, in particular, their interactions with the products in the shelves, with the aim to develop an automatic RGB-D technique for video analysis. The system of cameras detects the presence of people and univocally identifies them. Through the depth frames, the system detects the interactions of the shoppers with the products on the shelf and determines if a product is picked up or if the product is taken and then put back and finally, if there is not contact with the products. The system is low cost and easy to install, and experimental results demonstrated that its performances are satisfactory also in real environments.


title: How Evolution Learns to Generalise: Principles of under-fitting, over-fitting and induction in the evolution of developmental organisation

abstract: One of the most intriguing questions in evolution is how organisms exhibit suitable phenotypic variation to rapidly adapt in novel selective environments which is crucial for evolvability. Recent work showed that when selective environments vary in a systematic manner, it is possible that development can constrain the phenotypic space in regions that are evolutionarily more advantageous. Yet, the underlying mechanism that enables the spontaneous emergence of such adaptive developmental constraints is poorly understood. How can natural selection, given its myopic and conservative nature, favour developmental organisations that facilitate adaptive evolution in future previously unseen environments? Such capacity suggests a form of \textit{foresight} facilitated by the ability of evolution to accumulate and exploit information not only about the particular phenotypes selected in the past, but regularities in the environment that are also relevant to future environments. Here we argue that the ability of evolution to discover such regularities is analogous to the ability of learning systems to generalise from past experience. Conversely, the canalisation of evolved developmental processes to past selective environments and failure of natural selection to enhance evolvability in future selective environments is directly analogous to the problem of over-fitting and failure to generalise in machine learning. We show that this analogy arises from an underlying mechanistic equivalence by showing that conditions corresponding to those that alleviate over-fitting in machine learning enhance the evolution of generalised developmental organisations under natural selection. This equivalence provides access to a well-developed theoretical framework that enables us to characterise the conditions where natural selection will find general rather than particular solutions to environmental conditions.


title: Practical application of KAM theory to galactic dynamics: I. Motivation and methodology

abstract: Our understanding of the mechanisms governing the structure and secular evolution galaxies assume nearly integrable Hamiltonians with regular orbits; our perturbation theories are founded on the averaging theorem for isolated resonances. On the other hand, it is well-known that dynamical systems with many degrees of freedom are irregular in all but special cases. The best developed framework for studying the breakdown of regularity and the onset is the Kolmogorov-Arnold-Moser (KAM) theory. Here, we use a numerical version of the KAM procedure to construct regular orbits (tori) and locate irregular orbits (broken tori). Irregular orbits are most often classified in astronomical dynamics by their exponential divergence using Lyapunov exponents. Although their computation is numerically challenging, the procedure is straightforward and they are often used to estimate the measure of regularity. The numerical KAM approach has several advantages: 1) it provides the morphology of perturbed orbits; 2) its constructive nature allows the tori to be used as basis for studying secular evolution; 3) for broken tori, clues to the cause of the irregularity may be found by studying the largest, diverging Fourier terms; and 4) it is more likely to detect weak chaos and orbits close to bifurcation. Conversely, it is not a general technique and works most cleanly for small perturbations. We develop a perturbation theory that includes chaos by retaining an arbitrary number of interacting terms rather than eliminating all but one using the averaging theorem. The companion papers show that models with significant stochasticity seem to be the rule, not the exception.


title: Disconnected contributions to the spin of the nucleon

abstract: The spin decomposition of the proton is a long-standing topic of much interest in hadronic physics. Lattice QCD has had much success in calculating the connected contributions to the quark spin. However, complete calculations, which necessarily involve gluonic and strange-quark contributions, still present some challenges. These "disconnected" contributions typically involve small signals hidden against large statistical backgrounds and rely on computationally intensive stochastic techniques. In this work we demonstrate how a Feynman-Hellmann approach may be used to calculate such quantities, by measuring shifts in the proton energy arising from artificial modifications to the QCD action. We find a statistically significant non-zero result for the disconnected quark spin contribution to the proton of about -5% at a pion mass of 470 MeV.


title: Why do non-gauge invariant terms appear in the vacuum polarization tensor?

abstract: It is will known that quantum field theory at the formal level is gauge invariant. However a calculation of the vacuum polarization tensor will include non-gauge invariant terms. These terms must be removed from the calculation in order to get a physically correct result. One common way to do this today is the technique of "dimensional regularization". It has recently been noted [2] that at one time a supersymmetric-like solution to the problem was explored - that is, the right combination of fields would cause the offending terms to cancel out. I will examine some of this early work and pose the question - why do the non-gauge invariant terms appear in the first place? I will show that this is due to an improper mathematical step in the formulation of the pertubative expansion. I will then show that when this step is corrected the result is gauge invariant. However a supersymmetric-like solution is still required to cancel out a divergent term.


title: Integrability of the Brouwer degree for irregular arguments

abstract: We prove that the Brouwer degree $\mathrm{deg}(u,U,\cdot)$ for a function $u\in C^{0,\alpha}( U;\mathbb{R}^n)$ is in $L^p(\mathbb{R}^n)$ if $1\leq p<\frac{n\alpha}d$, where $U\subset \mathbb{R}^n$ is open and bounded and $d$ is the box dimension of $\partial U$. This is supplemented by a theorem showing that $u_j\to u$ in $C^{0,\alpha}(U;\mathbb{R}^n)$ implies $\mathrm{deg}(u_j,U,\cdot)\to \mathrm{deg}(u,U,\cdot)$ in $L^p(\mathbb{R}^n)$ for the parameter regime $1\leq p<\frac{n\alpha}d$, while there exist convergent sequences $u_j\to u$ in $C^{0,\alpha}(U;\mathbb{R}^n)$ such that $\|\mathrm{deg}(u_j,U,\cdot)\|_{L^p}\to \infty$ for the opposite regime $p>\frac{n\alpha}d$.


title: Cosmology Beyond Einstein

abstract: The accelerating expansion of the Universe poses a major challenge to our understanding of fundamental physics. One promising avenue is to modify general relativity and obtain a new description of the gravitational force. Because gravitation dominates the other forces mostly on large scales, cosmological probes provide an ideal testing ground for theories of gravity. In this thesis, we describe two complementary approaches to the problem of testing gravity using cosmology. In the first part, we discuss the cosmological solutions of massive gravity and its generalisation to a bimetric theory. These theories describe a graviton with a small mass, and can potentially explain the late-time acceleration in a technically-natural way. We describe these self-accelerating solutions and investigate the cosmological perturbations in depth, beginning with an investigation of their linear stability, followed by the construction of a method for solving these perturbations in the quasistatic limit. This allows the predictions of stable bimetric models to be compared to observations of structure formation. Next, we discuss prospects for theories in which matter "doubly couples" to both metrics, and examine the cosmological expansion history in both massive gravity and bigravity with a specific double coupling which is ghost-free at low energies. In the second and final part, we study the consequences of Lorentz violation during inflation. We consider Einstein-aether theory, in which a vector field spontaneously breaks Lorentz symmetry and couples nonminimally to the metric, and allow the vector to couple in a general way to a scalar field. Specialising to inflation, we discuss the slow-roll solutions in background and at the perturbative level. The system exhibits a severe instability which places constraints on such a vector-scalar coupling to be at least five orders of magnitude stronger [...]


title: Nilpotent evolution algebras over arbitrary fields

abstract: The paper is devoted to the study of annihilator extensions of evolution algebras and suggests an approach to classify finite-dimensional nilpotent evolution algebras. Subsequently nilpotent evolution algebras of dimension up to four are classfied.


title: $q$-Bessel Functions and Rogers-Ramanujan Type Identities

abstract: We evaluate $q$-Bessel functions at an infinite sequence of points and introduce a generalization of the Ramanujan function and give an extension of the $m$-version of the Rogers-Ramanujan identities. We also prove several generating functions for Stieltjes-Wigert polynomials with argument depending on the degree. In addition we give several Rogers-Ramanujan type identities.


title: Fractional Weierstrass function by application of Jumarie fractional trigonometric functions and its analysis

abstract: The classical example of no-where differentiable but everywhere continuous function is Weierstrass function. In this paper we define the fractional order Weierstrass function in terms of Jumarie fractional trigonometric functions. The Holder exponent and Box dimension of this function are calculated here. It is established that the Holder exponent and Box dimension of this fractional order Weierstrass function are the same as in the original Weierstrass function, independent of incorporating the fractional trigonometric function. This is new development in generalizing the classical Weierstrass function by usage of fractional trigonometric function and obtain its character and also of fractional derivative of fractional Weierstrass function by Jumarie fractional derivative, and establishing that roughness index are invariant to this generalization.


title: A new approach to the existence of invariant measures for Markovian semigroups

abstract: We give a new, two-step approach to prove existence of finite invariant measures for a given Markovian semigroup. First, we identify a convenient auxiliary measure and then we prove conditions equivalent to the existence of an invariant finite measure which is absolutely continuous with respect to it. As applications, we give a short proof for the result of Lasota and Szarek on invariant measures and we obtain a unifying generalization of different versions for Harris ergodic theorem which provides an answer to an open question of Tweedie. We show that for a nonlinear SPDE on a Gelfand triple, the strict coercivity condition is sufficient to guarantee the existence of a unique invariant probability measure for the associated semigroup, once it satisfies a Harnack type inequality. A corollary of the main result shows that any uniformly bounded semigroup on $L^p$ possesses an invariant measures and we give some applications to sectorial perturbations of Dirichlet forms.


title: Matrix Factorizations Based on Induced Norms

abstract: We decompose a matrix Y into a sum of bilinear terms in a stepwise manner, by considering Y as a mapping from a finite dimensional Banach space into another finite dimensional Banach space. We provide transition formulas, and represent them in a duality diagram, thus generalizing the well known duality diagram in the french school of data analysis. As an application, we introduce a family of Euclidean multidimensional scaling models.


title: Anonymity in Predicting the Future

abstract: Consider an arbitrary set $S$ and an arbitrary function $f : \mathbb{R} \to S$. We think of the domain of $f$ as representing time, and for each $x \in \mathbb{R}$, we think of $f(x)$ as the state of some system at time $x$. Imagine that, at each time $x$, there is an agent who can see $f \upharpoonright (-\infty, x)$ and is trying to guess $f(x)$--in other words, the agent is trying to guess the present state of the system from its past history. In a 2008 paper, Christopher Hardin and Alan Taylor use the axiom of choice to construct a strategy that the agents can use to guarantee that, for every function $f$, all but countably many of them will guess correctly. In a 2013 monograph they introduce the idea of anonymous guessing strategies, in which the agents can see the past but don't know where they are located in time. In this paper we consider a number of variations on anonymity. For instance, what if, in addition to not knowing where they are located in time, agents also do not know the rate at which time is progressing? What if they have no sense of how much time elapses between any two events? We show that in some cases agents can still guess successfully, while in others they perform very poorly.


title: Stability conditions for one-dimensional optical solitons in cubic-quintic-septimal media

abstract: Conditions for stable propagation of one-dimensional bright spatial solitons in media exhibiting optical nonlinearities up to the seventh-order are investigated. The results show well-defined stability regions even when all the nonlinear terms are focusing. Conditions for onset of the supercritical collapse of the optical beam are identified too. A variational approximation is used to predict dependence of the soliton propagation constant on the norm, and respective stability regions are identified using the Vakhitov-Kolokolov criterion. Analytical results obtained by means of the variational approximation are corroborated by numerical simulations of the cubic-quintic-septimal nonlinear Schroedinger equation.


title: Doubly Robust Goodness-of-Fit Test of Coarse Structural Nested Mean Models with Application to Initiating combination antiretroviral treatment in HIV-Positive Patients

abstract: Coarse Structural Nested Mean Models (SNMMs) provide useful tools to estimate treatment effects from longitudinal observational data with time-dependent confounders. Coarse SNMMs lead to a large class of estimators,within which an optimal estimator can be derived under the conditions of well-specified models for the treatment effect, for treatment initiation, and for nuisance regression outcomes (Lok & Griner, 2015). The key assumption lies in a well-specified model for the treatment effect; however, there is no existing guidance to specify the treatment effect model, and model misspecification leads to biased estimators, preventing valid inference. To test whether the treatment effect model matches the data well, we derive a goodness-of-fit (GOF) test procedure based on overidentification restrictions tests (Sargan, 1958; Hansen, 1982). We show that our GOF statistic is doubly-robust in the sense that with a correct treatment effect model, if either the treatment initiation model or the nuisance regression outcome model is correctly specified, the GOF statistic has a Chi-squared limiting distribution with degrees of freedom equal to the number of overidentification restrictions. We demonstrate the empirical relevance of our methods using simulation designs based on an actual dataset. In addition, we apply the GOF test procedure to study how the initiation time of highly active antiretroviral treatment (HAART) after infection predicts the one-year treatment effect in HIV-positive patients with acute and early infection.


title: Measurements of fiducial cross-sections for $t\bar{t}$ production with one or two additional $b$-jets in $pp$ collisions at $\sqrt{s}$ = 8 TeV using the ATLAS detector

abstract: Fiducial cross-sections for $t\bar{t}$ production with one or two additional $b$-jets are reported, using an integrated luminosity of 20.3 fb$^{-1}$ of proton--proton collisions at a centre-of-mass energy of 8 TeV at the Large Hadron Collider, collected with the ATLAS detector. The cross-section times branching ratio for $t\bar{t}$ events with at least one additional $b$-jet is measured to be 950 $\pm$ 70 (stat.) $^{+240}_{-190}$ (syst.) fb in the lepton-plus-jets channel and 50 $\pm$ 10 (stat.) $^{+15}_{-10}$ (syst.) fb in the $e \mu$ channel. The cross-section times branching ratio for events with at least two additional $b$-jets is measured to be 19.3 $\pm$ 3.5 (stat.) $\pm$ 5.7 (syst.) fb in the dilepton channel ($e \mu$,\,$\mu\mu$, and \,$ee$) using a method based on tight selection criteria, and 13.5 $\pm$ 3.3 (stat.) $\pm$ 3.6 (syst.) fb using a looser selection that allows the background normalisation to be extracted from data. The latter method also measures a value of 1.30 $\pm$ 0.33 (stat.) $\pm$ 0.28 (syst.)\% for the ratio of $t\bar{t}$ production with two additional $b$-jets to $t\bar{t}$ production with any two additional jets. All measurements are in good agreement with recent theory predictions.


title: $\Phi$-Carleson measures and multipliers between Bergman-Orlicz spaces of the unit ball of $\mathbb {C}^n$

abstract: We define the notion of $\Phi$-Carleson measures where $\Phi$ is either a concave growth function or a convex growth function and provide an equivalent definition. We then characterize $\Phi$-Carleson measures for Bergman-Orlicz spaces, and apply them to characterize multipliers between Bergman-Orlicz spaces.


title: Long-term stability of Cu surface nanotips

abstract: Sharp nanoscale tips on metal surfaces of electrodes enhance locally applied electric fields. Strongly enhanced electric fields trigger electron field emission and atom evaporation from the apexes of the nanotips. Combined together, these processes may explain electric discharges in form of small local arcs observed near metal surfaces in the presence of electric fields even in ultra high vacuum conditions. In the present work we investigate the stability of nanoscale tips by means of computer simulations of surface diffusion processes on copper (Cu), the main material of high voltage electronics. We study the stability and life-time of thin Cu surface nanotips at different temperatures in terms of diffusion processes. For this purpose, we have developed a surface Kinetic Monte Carlo (KMC) model where the jump processes are described by tabulated precalculated energy barriers. We show that tall surface features with high aspect ratios can be fairly stable at room temperature. However, the stability was found to depend strongly on the temperature: 13 nm nanotips with the major axes in the <110> crystallographic directions were found to flatten down to half of the original height in less than 100 ns at temperatures close to the melting point, whereas no significant change in the height of these nanotips was observed after 10 $\mu$s at room temperature. Moreover, the nanotips built up along the <110> crystallographic directions were found significantly more stable than those oriented in the <100> or <111> crystallographic directions. The proposed KMC model has been found well suited for simulating atomic surfaces processes and was validated against Molecular Dynamics (MD) simulation results via the comparison of the flattening times obtained by both methods. We also note that the KMC simulations were two orders of magnitude computationally faster than the corresponding MD calculations.


title: Discrete Green functions of the SDFEM on Shishkin triangular meshes

abstract: We propose estimates of the discrete Green function for the streamline diffusion finite element method (SDFEM) on Shishkin triangular meshes.


title: On a Microscopic Representation of Space-Time III

abstract: Using the Dirac (Clifford) algebra $\gamma^{\mu}$ as initial stage of our discussion, we summarize and extend previous work with respect to the isomorphic 15dimensional Lie algebra su$*$(4) as complex embedding of sl(2,$\mathbb{H}$), the relation to the compact group SU(4) as well as associated subgroups and group chains. The main subject, however, is to relate these technical procedures to the geometrical (and physical) background which we see in projective and especially in line geometry of $\mathbb{R}^{3}$. This line geometrical description, however, leads to applications and identifications of line complexes and the discussion of technicalities versus identifications of classical line geometrical concepts, Dirac's 'square root of $p^{2}$', the discussion of dynamics and the association of physical concepts like electromagnetism and relativity. We outline a generalizable framework and concept, and we close with a short summary and outlook.


title: Localization and spin transport in honeycomb structures with spin-orbit coupling

abstract: Transfer-matrix methods are used for a tight-binding description of electron transport in graphene-like geometries, in the presence of spin-orbit couplings. Application of finite-size scaling and phenomenological renormalization techniques shows that, for strong enough spin-orbit interactions and increasing on-site disorder, this system undergoes a metal-insulator transition characterized by the exponents $\nu=2.71(8)$, $\eta=0.174(2)$. We show how one can extract information regarding spin polarization decay with distance from an injection edge, from the evolution of wave-function amplitudes in the transfer-matrix approach. For (relatively weak) spin-orbit coupling intensity $\mu$, we obtain that the characteristic length $\Lambda_s$ for spin-polarization decay behaves as $\Lambda_s \propto \mu^{-2}$.


title: The maximum time of 2-neighbor bootstrap percolation: complexity results

abstract: In 2-neighborhood bootstrap percolation on a graph G, an infection spreads according to the following deterministic rule: infected vertices of G remain infected forever and in consecutive rounds healthy vertices with at least 2 already infected neighbors become infected. Percolation occurs if eventually every vertex is infected. The maximum time t(G) is the maximum number of rounds needed to eventually infect the entire vertex set. In 2013, it was proved \cite{eurocomb13} that deciding whether $t(G)\geq k$ is polynomial time solvable for k=2, but is NP-Complete for k=4 and, if the problem is restricted to bipartite graphs, it is NP-Complete for k=7. In this paper, we solve the open questions. We obtain an $O(mn^5)$-time algorithm to decide whether $t(G)\geq 3$. For bipartite graphs, we obtain an $O(mn^3)$-time algorithm to decide whether $t(G)\geq 3$, an $O(m^2n^9)$-time algorithm to decide whether $t(G)\geq 4$ and we prove that $t(G)\geq 5$ is NP-Complete.


title: Vortical Motions of Baryonic Gas in the Cosmic Web: Growth History and Scaling Relation

abstract: The vortical motions of the baryonic gas residing in large scale structures are investigated by cosmological hydrodynamic simulations. Proceeding in the formation of the cosmic web, the vortical motions of baryonic matter are pumped up by baroclinity in two stages, i.e., the formation of sheets, and filaments. The mean curl velocity are about $< 1$, 1-10, 10-150, 5-50 km/s in voids, sheets, filaments and knots at $z=0$, respectively. The scaling of the vortical velocity of gas can be well described by the She-Leveque hierarchical turbulence model in the range of $l<0.65(1.50) h^{-1}$ Mpc in simulation of box size 25(100) $h^{-1}$ Mpc. The fractal Hausdorff dimension of vortical motions, $d$, revealed by velocity structure functions, is $\sim 2.1-2.3$($\sim 1.8-2.1$). It is slightly larger than the fractal dimension of mass distribution in filaments, $\textit{D}^f \sim 1.9-2.2$, and smaller than the fractal dimension of sheets, $\textit{D}^s \sim 2.4-2.7$. The vortical kinetic energy of baryonic gas is mainly transported by filaments. Both the scaling of mass distribution and vortical velocity increments show distinctive transition at the turning scale of $\sim 0.65(1.50) h^{-1}$ Mpc, which may be closely related to the characteristic radius of density filaments.


title: Thermal entanglement and teleportation in a dipolar interacting system

abstract: Quantum teleportation, which depends on entangled states, is a fascinating subject and an important branch of quantum information processing. The present work reports the use of a dipolar spin thermal system as a quantum channel to perform quantum teleportation. Non-locality, tested by violation of Bell's inequality and thermal entanglement, measured by negativity, unquestionably show that even entangled states that do not violate Bell's inequality can be useful for teleportation.


title: A rigid Leibniz algebra with non-trivial HL^2

abstract: In this article, we generalize Richardson's example of a rigid Lie algebra with non-trivial $H^2$ to the Leibniz setting. Namely, we consider the hemisemidirect product ${\mathfrak h}$ of a semidirect product Lie algebra $M_k\rtimes{\mathfrak g}$ of a simple Lie algebra ${\mathfrak g}$ with some non-trivial irreducible ${\mathfrak g}$-module $M_k$ with a non-trivial irreducible ${\mathfrak g}$-module $I_l$. Then for ${\mathfrak g}={\mathfrak s}{\mathfrak l}_2({\mathbb C})$, we take $M_k$ (resp. $I_l$) to be the standard irreducible ${\mathfrak s}{\mathfrak l}_2({\mathbb C})$-module of dimension $k+1$ (resp. $l+1$). Assume $\frac{k}{2}>5$ is an odd integer and $l>2$ is odd, then we show that the Leibniz algebra ${\mathfrak h}$ is geometrically rigid and has non-trivial $HL^2$ with adjoint coefficients. We close the article with an appendix where we record further results on the question whether $H^2({\mathfrak g},{\mathfrak g})=0$ implies $HL^2({\mathfrak g},{\mathfrak g})=0$.


title: Sex differences in social focus across the lifecycle in humans

abstract: Age and gender are two important factors that play crucial roles in the way organisms allocate their social effort. In this study, we analyse a large mobile phone dataset to explore the way lifehistory influences human sociality and the way social networks are structured. Our results indicate that these aspects of human behaviour are strongly related to the age and gender such that younger individuals have more contacts and, among them, males more than females. However, the rate of decrease in the number of contacts with age differs between males and females, such that there is a reversal in the number of contacts around the late 30s. We suggest that this pattern can be attributed to the difference in reproductive investments that are made by the two sexes. We analyse the inequality in social investment patterns and suggest that the age and gender-related differences that we find reflect the constraints imposed by reproduction in a context where time (a form of social capital) is limited.


title: Dissipative Charged Fluid in a Magnetic Field

abstract: We study the collective excitations in a dissipative charged fluid at zero chemical potential when an external magnetic field is present. While in the absence of magnetic field, four collective excitations appear in the fluid, we find five hydrodynamic modes in presence of magnetic field. This implies that the magnetic field splits the degeneracy between the transverse shear modes. Using linear response theory, we then compute the retarded response functions. In particular, it turns out that the correlation between charge and the energy fluctuations will no longer vanish, even at zero chemical potential. By use of the response functions, we also derive the relevant Kubo formulas for the transport coefficients.


title: Dynamo waves in Friedmann and Misner cosmologies

abstract: It is shown that Misner metric can be obtained as solution of dynamo waves equations and Friedmann hyperbolic metrics are obtained when the dynamo waves are absent. In the case of dynamo waves ICM fields are computed and galactic dynamos are obtained.


title: Radial graphs of constant curvature and prescribed boundary

abstract: In this paper we are concerned with the problem of finding hypersurfaces of constant curvature and prescribed boundary in the Euclidean space, using the theory of fully nonlinear elliptic equations. We prove that if the given data admits a suitable radial graph as a subsolution, then we can find a radial graph with constant curvature and that realizes the prescribed boundary. As an application we prove that if $\Omega\subset\mathbb{S}^n$ is a mean convex domain whose closure is contained in an open hemisphere of $\mathbb{S}^n$ then, for $0<R<n(n-1),$ there exists a radial graph of constant scalar curvature $R$ and boundary $\partial\Omega.$


title: Local polar invariants for plane singular foliations

abstract: In this survey paper, we take the viewpoint of polar invariants to the local and global study of non-dicritical holomorphic foliations in dimension two and their invariant curves. It appears a characterization of second type foliations and generalized curve foliations as well as a description of the GSV-index in terms of polar curves. We also interpret the proofs concerning the Poincar\'e problem with polar invariants.


title: Global approximation theorems for general gamma type operators

abstract: In this paper, we obtained some global approximation results for general Gamma type operators.


title: Moments and Legendre-Fourier Series for Measures Supported on Curves

abstract: Some important problems (e.g., in optimal transport and optimal control) have a relaxed (or weak) formulation in a space of appropriate measures whichis much easier to solve. However, an optimal solution $\mu$ of the latter solves the former if and only if the measure $\mu$ is supported on a "trajectory" $\{(t,x(t))\colon t\in [0,T]\}$ for some measurable function $x(t)$. We provide necessary and sufficient conditions on moments $(\gamma\_{ij})$ of a measure $d\mu(x,t)$ on $[0,1]^2$ to ensure that $\mu$ is supported on a trajectory $\{(t,x(t))\colon t\in [0,1]\}$. Those conditions are stated in terms of Legendre-Fourier coefficients ${\mathbf f}\_j=({\mathbf f}\_j(i))$ associated with some functions $f\_j\colon [0,1]\to {\mathbb R}$, $j=1,\ldots$, where each ${\mathbf f}\_j$ is obtained from the moments $\gamma\_{ji}$, $i=0,1,\ldots$, of $\mu$.


title: Taxicab Correspondence Analysis of Sparse Contingency Tables

abstract: Visualization and interpretation of contingency tables by correspondence analysis (CA), as developed by Benzecri, has a rich structure based on Euclidean geometry. However, it is a well established fact that, often CA is very sensitive to sparse contingency tables, where we caracterize sparsity as the existence of relatively high-valued counts, rare observations discussed by Rao (1995), and zero-block structure emphasized by Novak and Bar-Hen (2005) and Greenacre (2013). In this paper, we aim to emphasize the important roles played by L1 and L2 geometries. This will be done by comparing the maps obtained by CA with the maps obtained by taxicab correspondence analysis (TCA), where TCA is a robust L1 variant of correspondence analysis. If the projections of view of both maps are quite different, we refer to this phenomenon as parallax. In astronomy, parallax means the apparent change in the position of an object as seen from two different points. In our case the two different points correspond to the two different geometries, Euclidean and Taxicab. The existence of a parallax highlights the important, but hidden, role of the underlying geometry in the interpretation of the maps obtained in multivariate data analysis. We emphasize the following fact: Only by comparing CA and TCA graphical displays, we are able to reveal the phenomenon of parallax. Examples are provided.


title: Semiparametric estimation of spectral density function for irregular spatial data

abstract: Estimation of the covariance structure of spatial processes is of fundamental importance in spatial statistics. In the literature, several non-parametric and semi-parametric methods have been developed to estimate the covariance structure based on the spectral representation of covariance functions. However,they either ignore the high frequency properties of the spectral density, which are essential to determine the performance of interpolation procedures such as Kriging, or lack of theoretical justification. We propose a new semi-parametric method to estimate spectral densities of isotropic spatial processes with irregular observations. The spectral density function at low frequencies is estimated using smoothing spline, while a parametric model is used for the spectral density at high frequencies, and the parameters are estimated by a method-of-moment approach based on empirical variograms at small lags. We derive the asymptotic bounds for bias and variance of the proposed estimator. The simulation study shows that our method outperforms the existing non-parametric estimator by several performance criteria.


title: Enhancing the stability of the synchronization of multivariable coupled oscillators

abstract: Synchronization processes in populations of identical networked oscillators are in the focus of intense studies in physical, biological, technological and social systems. Here we analyze the stability of the synchronization of a network of oscillators coupled through different variables. Under the assumption of an equal topology of connections for all variables, the master stability function formalism allows assessing and quantifying the stability properties of the synchronization manifold when the coupling is transferred from one variable to another. We report on the existence of an optimal coupling transference that maximizes the stability of the synchronous state in a network of R\"ossler-like oscillators. Finally, we design an experimental implementation (using nonlinear electronic circuits) which grounds the robustness of the theoretical predictions against parameter mismatches, as well as against intrinsic noise of the system.


title: Approximation properties of Chlodowsky variant of (p,q) Bernstein-Stancu-Schurer operators

abstract: In the present paper, we introduce the Chlodowsky variant of (p,q) Bernstein-Stancu-Schurer operators which is a generalization of (p,q) Bernstein-Stancu-Schurer operators. We have also discussed its approximation properties and rate of convergence.


title: The complexity of the Clar number problem and an FPT algorithm

abstract: The Clar number of a (hydro)carbon molecule, introduced by Clar [E. Clar, \emph{The aromatic sextet}, (1972).], is the maximum number of mutually disjoint resonant hexagons in the molecule. Calculating the Clar number can be formulated as an optimization problem on 2-connected planar graphs. Namely, it is the maximum number of mutually disjoint even faces a perfect matching can simultaneously alternate on. It was proved by Abeledo and Atkinson [H. G. Abeledo and G. W. Atkinson, \emph{Unimodularity of the clar number problem}, Linear algebra and its applications \textbf{420} (2007), no. 2, 441--448] that the Clar number can be computed in polynomial time if the plane graph has even faces only. We prove that calculating the Clar number in general 2-connected plane graphs is NP-hard. We also prove NP-hardness of the maximum independent set problem for 2-connected plane graphs with odd faces only, which may be of independent interest. Finally, we give an FPT algorithm that determines the Clar number of a given 2-connected plane graph. The parameter of the algorithm is the length of the shortest odd join in the planar dual graph. For fullerenes this is not yet a polynomial algorithm, but for certain carbon nanotubes it gives an efficient algorithm.


title: Reconstruction for the Signature of a Rough Path

abstract: Recently it was proved that the group of rough paths modulo tree-like equivalence is isomorphic to the corresponding signature group through the signature map S (a generalized notion of taking iterated path integrals). However, the proof of this uniqueness result does not contain any information on how to "see" the trajectory of a (tree-reduced) rough path from its signature, and a constructive understanding on the uniqueness result (in particular on the inverse of S) has become an interesting and important question. The aim of the present paper is to reconstruct a rough path from its signature in an explicit and universal way.


title: Statistical approximation properties of Stancu type $q$-Baskakov-Kantorovich operators

abstract: In the present paper, we consider Stancu type generalization of Baskakov-Kantorovich operators based on the q-integers and obtain statistical and weighted statistical approximation properties of these operators. Rates of statistical convergence by means of the modulus of continuity and the Lipschitz type function are also established for said operators. Finally, we construct a bivariate generalization of the operator and also obtain the statistical approximation properties.


title: On the Hamiltonian Number of a Planar Graph

abstract: The Hamiltonian number of a connected graph is the minimum of the lengths of the closed, spanning walks in the graph. In 1968, Grinberg published a necessary condition for the existence of a Hamiltonian cycle in a planar graph, formulated in terms of the lengths of its face cycles. We show how Grinberg's theorem can be adapted to provide a lower bound on the Hamiltonian number of a planar graph.


title: Nuclear forces and their impact on neutron-rich nuclei and neutron-rich matter

abstract: We review the impact of nuclear forces on matter at neutron-rich extremes. Recent results have shown that neutron-rich nuclei become increasingly sensitive to three-nucleon forces, which are at the forefront of theoretical developments based on effective field theories of quantum chromodynamics. This includes the formation of shell structure, the spectroscopy of exotic nuclei, and the location of the neutron dripline. Nuclear forces also constrain the properties of neutron-rich matter, including the neutron skin, the symmetry energy, and the structure of neutron stars. We first review our understanding of three-nucleon forces and show how chiral effective field theory makes unique predictions for many-body forces. Then, we survey results with three-nucleon forces in neutron-rich oxygen and calcium isotopes and neutron-rich matter, which have been explored with a range of many-body methods. Three-nucleon forces therefore provide an exciting link between theoretical, experimental and observational nuclear physics frontiers.


title: Dephasing due to nuclear spins in large-amplitude electric dipole spin resonance

abstract: We have analyzed effects of the hyperfine interaction on electric dipole spin resonance when the amplitude of the quantum-dot motion becomes comparable or larger than the quantum dot's size. Away from the well known small-drive regime, the important role played by transverse nuclear fluctuations leads to a gaussian decay with characteristic dependence on drive strength and detuning. A characterization of spin-flip gate fidelity, in the presence of such additional drive-dependent dephasing, shows that vanishingly small errors can still be achieved at sufficiently large amplitudes. Based on our theory, we analyze recent electric-dipole spin resonance experiments relying on spin-orbit interactions or the slanting field of a micromagnet. We find that such experiments are already in a regime with significant effects of transverse nuclear fluctuations and the form of decay of the Rabi oscillations can be reproduced well by our theory.


title: Comment on Carlo Rovelli's "An argument against the realistic interpretation of the wave function"

abstract: Rovelli's argument against the realistic interpretation of quantum states and in favor of an ontology of quantum events is refuted.


title: Probing equilibrium glass flow up to exapoise viscosities

abstract: Glasses are out-of-equilibrium systems aging under the crystallization threat. During ordinary glass formation, the atomic diffusion slows down rendering its experimental investigation impractically long, to the extent that a timescale divergence is taken for granted by many. We circumvent here these limitations, taking advantage of a wide family of glasses rapidly obtained by physical vapor deposition directly into the solid state, endowed with different "ages" rivaling those reached by standard cooling and waiting for millennia. Isothermally probing the mechanical response of each of these glasses, we infer a correspondence with viscosity along the equilibrium line, up to exapoise values. We find a dependence of the elastic modulus on the glass age, which, traced back to temperature steepness index of the viscosity, tears down one of the cornerstones of several glass transition theories: the dynamical divergence. Critically, our results suggest that the conventional wisdom picture of a glass ceasing to flow at finite temperature could be wrong.


title: Approximation properties of modified Sz\'{a}sz-Mirakyan operators in polynomial weighted space

abstract: We introduce certain modified Sz\'{a}sz-Mirakyan operators in polynomial weighted spaces of functions of one variable. We studied approximation properties of these operators.


title: Topological Microstructure Analysis Using Persistence Landscapes

abstract: Phase separation mechanisms can produce a variety of complicated and intricate microstructures, which often can be difficult to characterize in a quantitative way. In recent years, a number of novel topological metrics for microstructures have been proposed, which measure essential connectivity information and are based on techniques from algebraic topology. Such metrics are inherently computable using computational homology, provided the microstructures are discretized using a thresholding process. However, while in many cases the thresholding is straightforward, noise and measurement errors can lead to misleading metric values. In such situations, persistence landscapes have been proposed as a natural topology metric. Common to all of these approaches is the enormous data reduction, which passes from complicated patterns to discrete information. It is therefore natural to wonder what type of information is actually retained by the topology. In the present paper, we demonstrate that averaged persistence landscapes can be used to recover central system information in the Cahn-Hilliard theory of phase separation. More precisely, we show that topological information of evolving microstructures alone suffices to accurately detect both concentration information and the actual decomposition stage of a data snapshot. Considering that persistent homology only measures discrete connectivity information, regardless of the size of the topological features, these results indicate that the system parameters in a phase separation process affect the topology considerably more than anticipated. We believe that the methods discussed in this paper could provide a valuable tool for relating experimental data to model simulations.

categories: math.NA math-ph math.AP math.AT math.DS math.MP


title: Contradiction-tolerant process algebra with propositional signals

abstract: In a previous paper, an ACP-style process algebra was proposed in which propositions are used as the visible part of the state of processes and as state conditions under which processes may proceed. This process algebra, called ACPps, is built on classical propositional logic. In this paper, we present a version of ACPps built on a paraconsistent propositional logic which is essentially the same as CLuNs. There are many systems that would have to deal with self-contradictory states if no special measures were taken. For a number of these systems, it is conceivable that accepting self-contradictory states and dealing with them in a way based on a paraconsistent logic is an alternative to taking special measures. The presented version of ACPps can be suited for the description and analysis of systems that deal with self-contradictory states in a way based on the above-mentioned paraconsistent logic.


title: Bell inequalities with retarded settings

abstract: We consider retarded settings in the context of a Bell-type experiment. The retarded setting is defined as the value the setting would have taken were it not for some external intervention (for example, by a human). We derive retarded Bell inequalities that explicitly take into account the retarded settings. These inequalities are not violated by Quantum Theory (or any other theory) when the retarded settings are equal to the actual settings. We construct a simple model that reproduces Quantum Theory when the retarded and actual settings are equal, but violates it when they are not. We discuss using humans to choose the settings in this type of experiment and the implications of a violation of Quantum Theory (in agreement with the retarded Bell inequalities) in this context.


title: Compressive Sensing via Low-Rank Gaussian Mixture Models

abstract: We develop a new compressive sensing (CS) inversion algorithm by utilizing the Gaussian mixture model (GMM). While the compressive sensing is performed globally on the entire image as implemented in our lensless camera, a low-rank GMM is imposed on the local image patches. This low-rank GMM is derived via eigenvalue thresholding of the GMM trained on the projection of the measurement data, thus learned {\em in situ}. The GMM and the projection of the measurement data are updated iteratively during the reconstruction. Our GMM algorithm degrades to the piecewise linear estimator (PLE) if each patch is represented by a single Gaussian model. Inspired by this, a low-rank PLE algorithm is also developed for CS inversion, constituting an additional contribution of this paper. Extensive results on both simulation data and real data captured by the lensless camera demonstrate the efficacy of the proposed algorithm. Furthermore, we compare the CS reconstruction results using our algorithm with the JPEG compression. Simulation results demonstrate that when limited bandwidth is available (a small number of measurements), our algorithm can achieve comparable results as JPEG.


title: Synergistic effect of graphite nanoplatelets and carbon black in multifunctional EPDM nanocomposites

abstract: In this paper we adopt a processing technology to develop elastomer plus nano-graphite hybrid composites with multifunctional properties. Beyond the improvements of the mechanical properties, the research findings demonstrate the synergistic effect of carbon black and graphite nanoplatelets to prepare rubber composite thermally conductive and to design a new class of shock absorbers. It was found that a critical GNPs/CB ratio was apt to reduce the strong interlayer forces among the GNPs sheets, which led to the efficiency on reinforcement in mechanical properties and improvements of the performance of the rubber composites.


title: Nonlinear Landau damping and modulation of electrostatic waves in a nonextensive electron-positron-pair plasma

abstract: The nonlinear theory of amplitude modulation of electrostatic wave envelopes in a collisionless electron-positron (EP) pair plasma is studied by using a set of Vlasov-Poisson equations in the context of Tsallis' $q$-nonextensive statistics. In particular, the previous linear theory of Langmuir oscillations in EP plasmas [Phys. Rev. E {\bf87}, 053112 (2013)] is rectified and modified. Applying the multiple scale technique (MST), it is shown that the evolution of electrostatic wave envelopes is governed by a nonlinear Schr{\"o}dinger (NLS) equation with a nonlocal nonlinear term $\propto {\cal{P}}\int|\phi(\xi',\tau)|^2d\xi'\phi/(\xi-\xi') $ [where ${\cal P}$ denotes the Cauchy principal value, $\phi$ is the small-amplitude electrostatic (complex) potential, and $\xi$ and $\tau$ are the stretched coordinates in MST] which appears due to the wave-particle resonance. It is found that a subregion $1/3<q\lesssim3/5$ of superextensivity $(q<1)$ exists where the carrier wave frequency can turn over with the group velocity going to zero and then to negative values. The effects of the nonlocal nonlinear term and the nonextensive parameter $q$ are examined on the modulational instability (MI) of wave envelopes as well as on the solitary wave solution of the NLS equation. It is found that the modulated wave packet is always unstable (nonlinear Landau damping) due to the nonlocal nonlinearity in the NLS equation. Furthermore, the effect of the nonlinear Landau damping is to slow down the amplitude of the wave envelope, and the corresponding decay rate can be faster the larger is the number of superthermal particles in pair plasmas.


title: Rapid Exact Signal Scanning with Deep Convolutional Neural Networks

abstract: A rigorous formulation of the dynamics of a signal processing scheme aimed at dense signal scanning without any loss in accuracy is introduced and analyzed. Related methods proposed in the recent past lack a satisfactory analysis of whether they actually fulfill any exactness constraints. This is improved through an exact characterization of the requirements for a sound sliding window approach. The tools developed in this paper are especially beneficial if Convolutional Neural Networks are employed, but can also be used as a more general framework to validate related approaches to signal scanning. The proposed theory helps to eliminate redundant computations and renders special case treatment unnecessary, resulting in a dramatic boost in efficiency particularly on massively parallel processors. This is demonstrated both theoretically in a computational complexity analysis and empirically on modern parallel processors.


title: Scaling Analysis of Random Walks with Persistence Lengths: Application to Self-Avoiding Walks

abstract: We develop an approach for performing scaling analysis of $N$-step Random Walks (RWs). The mean square end-to-end distance, $\langle\vec{R}_{N}^{2}\rangle$, is written in terms of inner persistence lengths (IPLs), which we define by the ensemble averages of dot products between the walker's position and displacement vectors, at the $j$-th step. For RW models statistically invariant under orthogonal transformations, we analytically introduce a relation between $\langle\vec{R}_{N}^{2}\rangle$ and the persistence length, $\lambda_{N}$, which is defined as the mean end-to-end vector projection in the first step direction. For Self-Avoiding Walks (SAWs) on 2D and 3D lattices we introduce a series expansion for $\lambda_{N}$, and by Monte Carlo simulations we find that $\lambda_{\infty}$ is equal to a constant; the scaling corrections for $\lambda_{N}$ can be second and higher order corrections to scaling for $\langle\vec{R}_{N}^{2}\rangle$. Building SAWs with typically one hundred steps, we estimate the exponents $\nu_{0}$ and $\Delta_{1}$ from the IPL behavior as function of $j$. The obtained results are in excellent agreement with those in the literature. This shows that only an ensemble of paths with the same length is sufficient for determining the scaling behavior of $\langle\vec{R}_{N}^{2}\rangle$, being that the whole information needed is contained in the inner part of the paths.


title: Integral representations for products of two parabolic cylinder functions with different arguments and orders

abstract: This paper derives new integral representations for products of two parabolic cylinder functions. In particular, expressions are obtained for D_{nu}(x)D_{mu}(y), with x>0 and y>0, that allow for different orders and arguments in the two parabolic cylinder functions. Also, two integral representations are obtained for D_{nu}(-x)D_{mu}(y) by employing the connection between the parabolic cylinder function and the Kummer confluent hypergeometric function. The integral representations are specialized for products of two complementary error functions and of two modified Bessel functions of the second kind of order 1/4, as well as for the product of a parabolic cylinder function and a modified Bessel function of the first kind of order 1/4.


title: Two-scale large deviations for chemical reaction kinetics through second quantization path integral

abstract: Motivated by the study of rare events for a typical genetic switching model in systems biology, in this paper we aim to establish the general two-scale large deviations for chemical reaction systems. We build a formal approach to explicitly obtain the large deviation rate functionals for the considered two-scale processes based upon the second-quantization path integral technique. We get three important types of large deviation results when the underlying two times scales are in three different regimes. This is realized by singular perturbation analysis to the rate functionals obtained by path integral. We find that the three regimes possess the same deterministic mean-field limit but completely different chemical Langevin approximations. The obtained results are natural extensions of the classical large volume limit for chemical reactions. We also discuss its implication on the single-molecule Michaelis-Menten kinetics. Our framework and results can be applied to understand general multi-scale systems including diffusion processes.


title: Explicit Formulas for Relaxed Disarrangement Densities Arising from Structured Deformations

abstract: Structured deformations provide a multiscale geometry that captures the contributions at the macrolevel of both smooth geometrical changes and non-smooth geometrical changes (disarrangements) at submacroscopic levels. For each (first-order) structured deformation $(g,G)$ of a continuous body, the tensor field $G$ is known to be a measure of deformations without disarrangements, and $M:=\nabla g-G$ is known to be a measure of deformations due to disarrangements. The tensor fields $G$ and $M$ together deliver not only standard notions of plastic deformation, but $M$ and its curl deliver the Burgers vector field associated with closed curves in the body and the dislocation density field used in describing geometrical changes in bodies with defects. Recently, Owen and Paroni [13] evaluated explicitly some relaxed energy densities arising in Choksi and Fonseca's energetics of structured deformations [4] and thereby showed: (1) $(trM)^{+}$, the positive part of $trM$, is a volume density of disarrangements due to submacroscopic separations, (2) $(trM)^{-}$, the negative part of $trM$, is a volume density of disarrangements due to submacroscopic switches and interpenetrations, and (3) $|trM|$, the absolute value of $trM$, is a volume density of all three of these non-tangential disarrangements: separations, switches, and interpenetrations. The main contribution of the present research is to show that a different approach to the energetics of structured deformations, that due to Ba\'ia, Matias, and Santos [1], confirms the roles of $(trM)^{+}$, $(trM)^{-}$, and $|trM|$ established by Owen and Paroni. In doing so, we give an alternative, shorter proof of Owen and Paroni's results, and we establish additional explicit formulas for other measures of disarrangements.


title: On a problem of Mazur from "The Scottish Book" concerning second partial derivatives

abstract: We comment on a Mazur problem from "Scottish Book" concerning second partial derivatives. It is proved that, if a function $f(x,y)$ of real variables defined on a rectangle has continuous derivative with respect to $y$ and for almost all $y$ the function $\,F_y(x):=f'_y(x,y)$ has finite variation, then almost everywhere on the rectangle there exists the partial derivative $f"_{yx}$. We construct a separately twice differentiable function, whose partial derivative $f'_x$ is discontinuous with respect to the second variable on a set of positive measure. This solves in the negative the Mazur problem.


title: Electrodynamics on Cosmological Scales

abstract: Maxwell's equations cannot describe a homogeneous and isotropic universe with a uniformly distributed net charge, because the electromagnetic field tensor in such a universe must be vanishing everywhere. For a closed universe with a nonzero net charge, Maxwell's equations always fail regardless of the spacetime symmetry and the charge distribution. The two paradoxes indicate that Maxwell's equations need be modified to be applicable to the universe as a whole. We consider two types of modified Maxwell equations, both can address the paradoxes. One is the Proca-type equation which contains a photon mass term. This type of electromagnetic field equations can naturally arise from spontaneous symmetry breaking and the Higgs mechanism in quantum field theory, where photons acquire a mass by eating massless Goldstone bosons. However, photons loose their mass when symmetry is restored, and the paradoxes reappear. The other type of modified Maxwell equations, which are more attractive in our opinions, contain a term with the electromagnetic potential vector coupled to the spacetime curvature tensor. This type of electromagnetic field equations do not introduce a new dimensional parameter and return to Maxwell's equations in a flat or Ricci-flat spacetime. We show that the curvature-coupled term can naturally arise from the ambiguity in extending Maxwell's equations from a flat spacetime to a curved spacetime through the minimal substitution rule. Some consequences of the modified Maxwell equations are investigated. The results show that for reasonable parameters the modification does not affect existing experiments and observations. However, the field equations with a curvature-coupled term can be testable in astrophysical environments where mass density is high or the gravity of electromagnetic radiation plays a dominant role in dynamics, e.g., interior of neutron stars and the early universe.


title: Who Contributes to the Knowledge Sharing Economy?

abstract: Information sharing dynamics of social networks rely on a small set of influencers to effectively reach a large audience. Our recent results and observations demonstrate that the shape and identity of this elite, especially those contributing \emph{original} content, is difficult to predict. Information acquisition is often cited as an example of a public good. However, this emerging and powerful theory has yet to provably offer qualitative insights on how specialization of users into active and passive participants occurs. This paper bridges, for the first time, the theory of public goods and the analysis of diffusion in social media. We introduce a non-linear model of \emph{perishable} public goods, leveraging new observations about sharing of media sources. The primary contribution of this work is to show that \emph{shelf time}, which characterizes the rate at which content get renewed, is a critical factor in audience participation. Our model proves a fundamental \emph{dichotomy} in information diffusion: While short-lived content has simple and predictable diffusion, long-lived content has complex specialization. This occurs even when all information seekers are \emph{ex ante} identical and could be a contributing factor to the difficulty of predicting social network participation and evolution.


title: On Simultaneous Approximation of Modified Baskakov Durrmeyer Operators

abstract: In this present manuscript, we discuss properties of modified Baskakov-Durrmeyer-Stancu (BDS) operators with parameter $\gamma>0$. We compute the moments of these modified operators. Also, establish point-wise convergence, Voronovskaja type asymptotic formula and an error estimation in terms of second order modification of continuity of the function for the operators $B_{n,\gamma}^{\alpha,\beta}(f,x)$.


title: Failure modes and conditions of a cohesive, spherical body due to YORP spin-up

abstract: This paper presents transition of the failure mode of a cohesive, spherical body due to YORP spin-up. On the assumption that the distribution of materials in the body is homogeneous, failed regions first appearing in the body at different spin rates are predicted by comparing the yield condition of an elastic stress in the body. It is found that as the spin rate increases, the locations of the failed regions move from the equatorial surface to the central region. To avoid such failure modes, the body should have higher cohesive strength. The results by this model are consistent with those by a plastic finite element model. Then, this model and a two-layered-cohesive model first proposed by Hirabayashi et al. are used to classify possible evolution and disruption of a spherical body. There are three possible pathways to disruption. First, because of a strong structure, failure of the central region is dominant and eventually leads to a breakup into multiple components. Second, a weak surface and a weak interior make the body oblate. Third, a strong internal core prevents the body from failing and only allows surface shedding. This implies that observed failure modes may highly depend on the internal structure of an asteroid, which could provide crucial information for giving constraints on the physical properties.


title: Coherent population trapping of a single nuclear spin under ambient conditions

abstract: Coherent control of quantum systems has far-reaching implications in quantum engineering. In this context, coherent population trapping (CPT) involving dark resonances has played a prominent role, leading to a wealth of major applications including laser cooling of atoms and molecules, optical magnetometry, light storage and highly precise atomic clocks. Extending CPT methods to individual solid-state quantum systems has been only achieved in cryogenic environments for electron spin impurities and superconducting circuits. Here, we demonstrate efficient CPT of a single nuclear spin in a room temperature solid. To this end, we make use of a three-level system with a $\Lambda$-configuration in the microwave domain, which consists of nuclear spin states addressed through their hyperfine coupling to the electron spin of a single nitrogen-vacancy defect in diamond. Dark state pumping requires a relaxation mechanism which, in atomic systems, is simply provided by spontaneous emission. In this work, the relaxation process is externally controlled through incoherent optical pumping and separated in time from consecutive coherent microwave excitations of the nuclear spin $\Lambda$-system. Such a pumping scheme with controlled relaxation allows us (i) to monitor the sequential accumulation of population into the dark state and (ii) to reach a new regime of CPT dynamics for which periodic arrays of dark resonances can be observed, owing to multiple constructive interferences. This work offers new prospects for quantum state preparation, information storage in hybrid quantum systems and metrology.


title: On the Critical Behavior of a Homopolymers Model

abstract: Taking $P^0$ to be the measure induced by simple, symmetric nearest neighbor continuous time random walk on ${\bf{Z^d}}$ starting at $0$ with jump rate $2d$ define, for $\beta\ge 0,\,t>0,$ the Gibbs probability measure $P_{\beta,t}$ by specifying its density with respect to $P^0$ as \begin{eqnarray} \frac{dP_{\beta,t}}{dP^0}=Z_{\beta,t}(0)^{-1}e^{\beta \int_0^t\delta_0(x_s)ds} \end{eqnarray} where $Z_{\beta,t}(0)\equiv E^0[e^{\beta \int_0^t\delta_0(x_s)ds}].$ This Gibbs probability measure provides a simple model for a homopolymer with an attractive potential at the origin. In a previous paper \cite{CM07}, we showed that for dimension $d\ge3$ there is a phase transition in the behavior of these paths from diffusive behavior for $\beta$ below a critical parameter to positive recurrent behavior for $\beta$ above this critical value. This corresponds to a transition from a diffusive or stretched out phase to a globular phase for the polymer. The critical value was determined by means of the spectral properties of the operator $\Delta+\beta\delta_0$ where $\Delta$ is the discrete Laplacian on ${\bf{Z^d}}.$ In this paper we give a description of the polymer at the critical value where the phase transition takes place. The behavior at the critical parameter is in some sense midway between the two phases and dimension dependent.


title: Nucleosome positioning: resources and tools online

abstract: Nucleosome positioning is an important process required for proper genome packing and its accessibility to execute the genetic program in a cell-specific, timely manner. In the recent years hundreds of papers have been devoted to the bioinformatics, physics and biology of nucleosome positioning. The purpose of this review is to cover a practical aspect of this field, namely to provide a guide to the multitude of nucleosome positioning resources available online. These include almost 300 experimental datasets of genome-wide nucleosome occupancy profiles determined in different cell types and more than 40 computational tools for the analysis of experimental nucleosome positioning data and prediction of intrinsic nucleosome formation probabilities from the DNA sequence. A manually curated, up to date list of these resources will be maintained at http://generegulation.info.

categories: q-bio.GN physics.bio-ph q-bio.BM stat.ML


title: Axion cosmology, lattice QCD and the dilute instanton gas

abstract: Axions are one of the most attractive dark matter candidates. The evolution of their number density in the early universe can be determined by calculating the topological susceptibility $\chi(T)$ of QCD as a function of the temperature. Lattice QCD provides an ab initio technique to carry out such a calculation. A full result needs two ingredients: physical quark masses and a controlled continuum extrapolation from non-vanishing to zero lattice spacings. We determine $\chi(T)$ in the quenched framework (infinitely large quark masses) and extrapolate its values to the continuum limit. The results are compared with the prediction of the dilute instanton gas approximation (DIGA). A nice agreement is found for the temperature dependence, whereas the overall normalization of the DIGA result still differs from the non-perturbative continuum extrapolated lattice results by a factor of order ten. We discuss the consequences of our findings for the prediction of the amount of axion dark matter.


title: Classification of the Extremely Low Frequency Magnetic Field Radiation Measurement from the Laptop Computers

abstract: The paper considers the level of the extremely low-frequency magnetic field, which is produced by laptop computers. The magnetic field, which is characterized by extremely low frequencies up to 300 Hz is measured due to its hazardous effects to the laptop user's health. The experiment consists of testing 13 different laptop computers in normal operation conditions. The measuring of the magnetic field is performed in the adjacent neighborhood of the laptop computers. The measured data are presented and then classified. The classification is performed by the K-Medians method in order to determine the critical positions of the laptop. At the end, the measured magnetic field values are compared with the critical values suggested by different safety standards. It is shown that some of the laptop computers emit a very strong magnetic field. Hence, they must be used with extreme caution.


title: Collision times of random walks and applications to the Brownian web

abstract: Convergence of directed forests, spanning on random subsets of lattices or on point processes, towards the Brownian web has made the subject of an abundant literature, a large part of which relies on a criterion proposed by Fontes, Isopi, Newman and Ravishankar (2004). One of their convergence condition, called (B2), states that the probability of the event that there exists three distinct paths for a time interval of length $t(>0)$, all starting within a segment of length $\varepsilon$, is of small order of $\varepsilon$. This condition is often verified by applying an FKG type correlation inequality together with a coalescing time tail estimate for two paths. For many models where paths have complex interactions, it is hard to establish FKG type inequalities. In this article, we show that for a non-crossing path model, with certain assumptions, a suitable upper bound on expected first collision time among three paths can be obtained directly using Lyapunov functions. This, in turn, provides an alternate verification of Condition (B2). We further show that in case of independent simple symmetric one dimensional random walks or in case of independent Brownian motions, the expected value can be computed explicitly. We apply this alternate method of verification of (B2) to several models in the basin of attraction of the Brownian web studied earlier in the literature ([S67], [H71], [FLT04]).


title: Desingularization of complex multiple zeta-functions

abstract: We introduce the method of desingularization of multi-variable multiple zeta-functions (of the generalized Euler-Zagier type), under the motivation of finding suitable rigorous meaning of the values of multiple zeta-functions at non-positive integer points. We reveal that multiple zeta-functions (which are known to be meromorphic in the whole space with infinitely many singular hyperplanes) turn to be entire on the whole space after taking the desingularization. The desingularized function is given by a suitable finite `linear' combination of multiple zeta-functions with some arguments shifted. It is shown that specific combinations of Bernoulli numbers attain the special values at their non-positive integers of the desingularized ones. We also discuss twisted multiple zeta-functions, which can be continued to entire functions, and their special values at non-positive integer points can be explicitly calculated.


title: Out of equilibrium thermal Casimir effect between Brownian conducting plates

abstract: We study the thermal fluctuation induced interactions between two surfaces containing Brownian charges which are held at different temperatures. Using a dynamical form of Debye-H\"uckel theory implemented within the stochastic equation for the density of mobile Brownian charges, we derive expressions for the average force between the two surfaces as well as its variance. The latter is found both for the normal, of finite mean, as well as the lateral force, of zero mean, between the surfaces.