title: Tangents and rectifiability of Ahlfors regular Lipschitz differentiability spaces

abstract: We study Lipschitz differentiability spaces, a class of metric measure spaces introduced by Cheeger. We show that if an Ahlfors regular Lipschitz differentiability space has charts of maximal dimension, then, at almost every point, all its tangents are uniformly rectifiable. In particular, at almost every point, such a space admits a tangent that is isometric to a finite-dimensional Banach space. In contrast, we also show that if an Ahlfors regular Lipschitz differentiability space has charts of non-maximal dimension, then these charts are strongly unrectifiable in the sense of Ambrosio-Kirchheim.


title: Quantitative recurrence results for random walks

abstract: First, we prove a \emph{local almost sure central limit theorem} for lattice random walks in the plane. The corresponding version for random walks in the line was considered by the author in \cite{5}. This gives us a quantitative version of P\'olya's Recurrence Theorem \cite{6}. Second, we prove a \emph{local almost sure central limit theorem} for (not necessarly lattice) random walks in the line or in the plane, which will also give us quantitative recurrence results. Finally, we prove an \emph{almost sure central limit theorem} for multidimensional (not necessarly lattice) random walks. This is achieved by exploiting a technique developed by the author in \cite{5}.


title: A Komatu-Loewner Equation for Multiple Slits

abstract: We give a generalization of the Komatu-Loewner equation to multiple slits. Therefore, we consider an $n$-connected circular slit disk $\Omega$ as our initial domain minus $m\in \mathbb{N}$ disjoint, simple and continuous curves that grow from the outer boundary $\partial \mathbb{D}$ of $\Omega$ into the interior. Consequently we get a decreasing family $(\Omega_t)_{t\in[0,T]}$ of domains with $\Omega_0=\Omega$. We will prove that the corresponding Riemann mapping functions $g_t$ from $\Omega_t$ onto a circular slit disk, which are normalized by $g_t(0)=0$ and $g_t'(0)>0$, satisfy a Loewner equation known as the Komatu-Loewner equation.


title: Combinatorics of Linked Systems of Quartet Trees

abstract: We apply classical quartet techniques to the problem of phylogenetic decisiveness and find a value $k$ such that all collections of at least $k$ quartets are decisive. Moreover, we prove that this bound is optimal and give a lower-bound on the probability that a collection of quartets is decisive.


title: Some remarks about non-minimally coupled scalar field models

abstract: Several results related to flat Friedmann-Lema\^{\i}tre-Robertson-Walker models in the conformal (Einstein) frame of scalar-tensor gravity theories are extended. Scalar fields with arbitrary (positive) potentials and arbitrary coupling functions are considered. Mild assumptions under such functions (differentiable class, number of singular points, asymptotes, etc) are introduced in a straightforward manner in order to characterize the asymptotic structure on a phase space. We pay special attention to the possible scaling solutions. Numerical evidence confirming our results is presented.


title: Asymptotic structure and singularities in constrained directed graphs

abstract: We study the asymptotics of large directed graphs, constrained to have certain densities of edges and/or outward $p$-stars. Our models are close cousins of exponential random graph models (ERGMs), in which edges and certain other subgraph densities are controlled by parameters. The idea of directly constraining edge and other subgraph densities comes from Radin and Sadun. Such modeling circumvents a phenomenon first made precise by Chatterjee and Diaconis: that in ERGMs it is often impossible to independently constrain edge and other subgraph densities. In all our models, we find that large graphs have either uniform or bipodal structure. When edge density (resp. $p$-star density) is fixed and $p$-star density (resp. edge density) is controlled by a parameter, we find phase transitions corresponding to a change from uniform to bipodal structure. When both edge and $p$-star density are fixed, we find only bipodal structures and no phase transition.


title: On radiative corrections to polarization observables in electron-proton scattering

abstract: We consider radiative corrections to polarization observables in elastic electron-proton scattering, in particular, for the polarization transfer measurements of the proton form factor ratio $\mu G_E/G_M$. The corrections are of two types: two-photon exchange (TPE) and bremsstrahlung (BS); in the present work we pay special attention to the latter. Assuming small missing energy or missing mass cut-off, the correction can be represented in a model-independent form, with both electron and proton radiation taken into account. Numerical calculations show that the contribution of the proton radiation is not negligible. Overall, at high $Q^2$ and energies the total correction to $\mu G_E/G_M$ grows, but is dominated by TPE. At low energies both TPE and BS may be significant; the latter amounts to ~ 0.01 for some reasonable cut-off choices.


title: Concentration Inequalities and Moment Bounds for Sample Covariance Operators

abstract: Let $X,X_1,\dots, X_n,\dots$ be i.i.d. centered Gaussian random variables in a separable Banach space $E$ with covariance operator $\Sigma:$ $$ \Sigma:E^{\ast}\mapsto E,\ \ \Sigma u = {\mathbb E}\langle X,u\rangle, u\in E^{\ast}. $$ The sample covariance operator $\hat \Sigma:E^{\ast}\mapsto E$ is defined as $$ \hat \Sigma u := n^{-1}\sum_{j=1}^n \langle X_j,u\rangle X_j, u\in E^{\ast}. $$ The goal of the paper is to obtain concentration inequalities and expectation bounds for the operator norm $\|\hat \Sigma-\Sigma\|$ of the deviation of the sample covariance operator from the true covariance operator. In particular, it is shown that $$ {\mathbb E}\|\hat \Sigma-\Sigma\|\asymp \|\Sigma\|\biggl(\sqrt{\frac{{\bf r}(\Sigma)}{n}}\bigvee \frac{{\bf r}(\Sigma)}{n}\biggr), $$ where $$ {\bf r}(\Sigma):=\frac{\Bigl({\mathbb E}\|X\|\Bigr)^2}{\|\Sigma\|}. $$ Moreover, under the assumption that ${\bf r}(\Sigma)\lesssim n,$ it is proved that, for all $t\geq 1,$ with probability at least $1-e^{-t}$ \begin{align*} \Bigl|\|\hat\Sigma - \Sigma\|-{\mathbb E}\|\hat\Sigma - \Sigma\|\Bigr| \lesssim \|\Sigma\|\biggl(\sqrt{\frac{t}{n}}\bigvee \frac{t}{n}\biggr). \end{align*}


title: KK-theory of circle actions with the Rokhlin property

abstract: We investigate the structure of circle actions with the Rokhlin property, particularly in relation to equivariant $KK$-theory. Our main results are $\mathbb{T}$-equivariant versions of celebrated results of Kirchberg: any Rokhlin action on a separable, nuclear C*-algebra is $KK^\mathbb{T}$-equivalent to a Rokhlin action on a Kirchberg algebra; any Rokhlin action on an exact separable C*-algebra embeds equivariantly into $\mathcal{O}_2$ (with its unique Rokhlin action); and two circle actions with the Rokhlin property on a Kirchberg algebra are conjugate if and only if they are $KK^\mathbb{T}$-equivalent. In the presence of the UCT, $KK^\mathbb{T}$-equivalence for Rokhlin actions reduces to isomorphism of a $K$-theoretical invariant, namely of a canonical pure extension naturally associated to any Rokhlin action, and we provide a complete description of the extensions that arise from actions on nuclear C*-algebras. In contrast with the non-equivariant setting, an isomorphism between the $K^\mathbb{T}$-theories of Rokhlin actions on Kirchberg algebras does not necessarily lift to a $KK^\mathbb{T}$-equivalence.


title: JIMWLK evolution: from color charges to rapidity correlations

abstract: We study multi-particle production with rapidity correlations in high-energy p+A collisions. In the context of the Color Glass Condensate, the evolution for such correlations is governed by a generalization of the JIMWLK equation which evolves the strong nuclear fields both in the amplitude and in the complex conjugate one. We give the equivalent Langevin formulation, whose main ingredient is the color charge density linked to a projectile parton (a Wilson line).


title: Degree profile of $m$-ary search trees: A vehicle for data structure compression

abstract: We revisit the random $m$-ary search tree and study a finer profile of its node outdegrees with the purpose of exploring possibilities of data structure compression. The analysis is done via P\'olya urns. The analysis shows that the number of nodes of each individual node outdegree has a phase transition: Up to $m=26$, the number of nodes of outdegree $k$, for $k=0,1, \ldots, m$, is asymptotically normal; that behavior changes at $m = 27$. Based on the analysis, we propose a compact $m$-ary tree that offers significant space saving.


title: Biot-Savart helicity versus physical helicity: A topological description of ideal flows

abstract: For an isentropic (thus compressible) flow, fluid trajectories are considered as orbits of a family of one parameter, smooth, orientation preserving and nonsingular diffeomorphisms on a compact and smooth-boundary domain in the Euclidian 3-space which necessarily preserve a finite measure, later interpreted as the fluid mass. Under such diffeomorphisms the Biot-Savart helicity of the pushforward of a divergence-free and tangent to the boundary vector field is proved to be conserved and since these circumstances present an isentropic flow, the conservation of the "Biot-Savart helicity" is established for such flows. On the other hand, the well known helicity conservation in ideal flows which here we call it "physical helicity" is found to be an independent constant with respect to the Biot-Savart helicity. The difference between these two helicities reflects some topological features of the domain as well as the velocity and vorticity fields which is discussed and is shown for simply connected domains the two helicities coincide. The energy variation of the vorticity field is shown to be formally the same as for the incompressible flow obtained before. For fluid domains consisting of several disjoint solid tori, at each time, the harmonic knot subspace of smooth vector fields on the fluid domain is found to have two independent base sets with a special type of orthogonality between these two bases by which a topological description of the vortex and velocity fields depending on the helicity difference is achieved since this difference is shown to depend only on the harmonic knot parts of velocity, vorticity and its Biot-Savart vector field. For an ideal MHD flow three independent constant helicities are reviewed while the helicity of magnetic potential is generalized for non-simply connected domains by inserting a special harmonic knot field in the dynamics of the magnetic potential.


title: Normal forms, inner products and Maslov indices of general multimode squeezings

abstract: In this paper we present a pure algebraic construction of the normal factorization of multimode squeezed states and calculate their inner products. This procedure allows one to orthonormalize bases generated by squeezed states. We calculate several correct representations of the normalizing constant for the normal factorization, discuss an analogue of the Maslov index for squeezed states, and show that the Jordan decomposition is a useful mathematical tool for problems with degenerate Hamiltonians. As an application of this theory we consider a non-trivial class of squeezing problems which are solvable in any dimension.


title: Convergence Analysis of the Summation of the Euler Series by Pad\'e Approximants and the Delta Transformation

abstract: Sequence transformations are valuable numerical tools that have been used with considerable success for the acceleration of convergence and the summation of diverging series. However, our understanding of their theoretical properties is far from satisfactory. The Euler series $\mathcal{E}(z) \sim \sum_{n=0}^{\infty} (-1)^n n! z^n$ is a very important model for the ubiquitous factorially divergent perturbation expansions in physics. In this article, we analyze the summation of the Euler series by Pad\'e approximants and the delta transformation [E. J. Weniger, Comput. Phys. Rep. Vol.10, 189 (1989), Eq. (8.4-4)] which is a powerful nonlinear Levin-type transformation that works very well in the case of strictly alternating convergent or divergent series. Our analysis is based on a new factorial series representation of the truncation error of the Euler series [R. Borghi, Appl. Num. Math. Vol.60, 1242 (2010)]. We derive explicit expressions for the transformation errors of Pad\'e approximants and of the delta transformation. A subsequent asymptotic analysis proves \emph{rigorously} the convergence of both Pad\'e and delta. Our asymptotic estimates clearly show the superiority of the delta transformation over Pad\'e. This is in agreement with previous numerical results.


title: Estimation of Overspread Scattering Functions

abstract: In many radar scenarios, the radar target or the medium is assumed to possess randomly varying parts. The properties of a target are described by a random process known as the spreading function. Its second order statistics under the WSSUS assumption are given by the scattering function. Recent developments in operator sampling theory suggest novel channel sounding procedures that allow for the determination of the spreading function given complete statistical knowledge of the operator echo from a single sounding by a weighted pulse train. We construct and analyze a novel estimator for the scattering function based on these findings. Our results apply whenever the scattering function is supported on a compact subset of the time-frequency plane. We do not make any restrictions either on the geometry of this support set, or on its area. Our estimator can be seen as a generalization of an averaged periodogram estimator for the case of a non-rectangular geometry of the support set of the scattering function.


title: A Canonical Semi-Deterministic Transducer

abstract: We prove the existence of a canonical form for semi-deterministic transducers with incomparable sets of output strings. Based on this, we develop an algorithm which learns semi-deterministic transducers given access to translation queries. We also prove that there is no learning algorithm for semi-deterministic transducers that uses only domain knowledge.


title: Three-dimensional coherent X-ray diffraction imaging of a whole, frozen-hydrated cell

abstract: A structural understanding of whole cells in three dimensions at high spatial resolution remains a significant challenge and, in the case of X-rays, has been limited by radiation damage. By alleviating this limitation, cryogenic coherent diffraction imaging (cryo-CDI) could bridge the important resolution gap between optical and electron microscopy in bio-imaging. Here, we report for the first time 3D cryo-CDI of a whole, frozen-hydrated cell - in this case a Neospora caninum tachyzoite - using 8 keV X-rays. Our 3D reconstruction reveals the surface and internal morphology of the cell, including its complex, polarized sub-cellular architecture with a 3D resolution of ~75-100 nm, which is presently limited by the coherent X-ray flux and detector size. Given the imminent improvement in the coherent X-ray flux at the facilities worldwide, our work forecasts the possibility of routine 3D imaging of frozen-hydrated cells with spatial resolutions in the tens of nanometres.


title: Ill-posedness results in critical spaces for some equations arising in hydrodynamics

abstract: Many questions related to well-posedness/ill-posedness in critical spaces for hydrodynamic equations have been open for many years. In this article we give a new approach to studying norm inflation (in some critical spaces) for a wide class of equations arising in hydrodynamics. As an application, we prove strong ill-posedness of the $n$-dimensional Euler equations in the class $C^1\cap L^2 (\Omega)$ and also in $C^k \cap L^2(\Omega)$ where $\Omega$ can be the whole space, a smooth bounded domain, or the torus. We also apply our method to the Oldroyd B, surface quasi-geostrophic, and Boussinesq systems.


title: Epitaxial Growth of Large Area Single-Crystalline Few-Layer MoS2 with Room Temperature Mobility of 192 cm2V-1s-1

abstract: We report on the vapor-solid growth of single crystalline few-layer MoS2 films on (0001)-oriented sapphire with excellent structural and electrical properties over centimeter length scale. High-resolution X-ray diffraction scans indicated that the films had good out-of-plane ordering and epitaxial registry. A carrier density of ~2 x 1011 cm-2 and a room temperature mobility of 192 cm2/Vs were extracted from space-charge limited transport regime in the films. The electron mobility was found to exhibit in-plane anisotropy with a ratio of ~ 1.8. Theoretical estimates of the temperature-dependent electron mobility including optical phonon, acoustic deformation potential and remote ionized impurity scattering were found to satisfactorily match the measured data. The synthesis approach reported here demonstrates the feasibility of device quality few-layer MoS2 films with excellent uniformity and high quality.


title: A Quantitative Doignon-Bell-Scarf Theorem

abstract: The famous Doignon-Bell-Scarf Theorem is a Helly-type result about the existence of integer solutions on systems of linear inequalities. The purpose of this paper is to present the following quantitative generalization: Given an integer $k$, we prove that there exists a constant $c(n,k)$, depending only on the dimension $n$ and $k$, such that if a polyhedron ${x: Ax \leq b}$ contains exactly k integer solutions, then there exists a subset of the rows, of cardinality no more than $c(n,k)$, defining a polyhedron that contains exactly the same $k$ integer points. In this case $c(n,0) = 2^n$ is the original case of Doignon-Bell-Scarf for infeasible systems of inequalities. We work on both upper and lower bounds for the constant $c(n,k)$ and discuss some consequences, including a Clarkson-style algorithm to find the $l$-th best solution of an integer program with respect to the ordering induced by the objective function.


title: Dendrites and conformal symmetry

abstract: Progress toward characterization of structural and biophysical properties of neural dendrites together with recent findings emphasizing their role in neural computation, has propelled growing interest in refining existing theoretical models of electrical propagation in dendrites while advocating novel analytic tools. In this paper we focus on the cable equation describing electric propagation in dendrites with different geometry. When the geometry is cylindrical we show that the cable equation is invariant under the Schr\"odinger group and by using the dendrite parameters, a representation of the Schr\"odinger algebra is provided. Furthermore, when the geometry profile is parabolic we show that the cable equation is equivalent to the Schr\"odinger equation for the 1-dimensional free particle, which is invariant under the Schr\"odinger group. Moreover, we show that there is a family of dendrite geometries for which the cable equation is equivalent to the Schr\"odinger equation for the 1-dimensional conformal quantum mechanics.


title: Study of light detection and sensitivity for a ton-scale liquid xenon dark matter detector

abstract: Ton-scale liquid xenon detectors operated in two-phase mode are proposed and being constructed recently to explore the favored parameter space for the Weakly Interacting Massive Particles (WIMPs) dark matter. To achieve a better light collection eff ciency while limiting the number of electronics channels compared to the previous generation detectors, large-size photomultiplier tubes (PMTs) such as the 3-inch-diameter R11410 from Hamamatsu are suggested to replace the 1-inch-square R8520 PMTs. In a two-phase xenon dark matter detector, two PMT arrays on the top and bottom are usually used. In this study, we compare the performance of two different ton-scale liquid xenon detector conf gurations with the same number of either R11410 (conf g.1) or R8520 (conf g.2) for the top PMT array, while both using R11410 PMTs for the bottom array.


title: Abelian Duality at Higher Genus

abstract: In three dimensions, a free, periodic scalar field is related by duality to an abelian gauge field. Here I explore aspects of this duality when both theories are quantized on a Riemann surface of genus g. At higher genus, duality involves an identification of winding with momentum on the Jacobian variety of the Riemann surface. I also consider duality for monopole and loop operators on the surface and exhibit the operator algebra, a refinement of the Wilson-'t Hooft algebra.


title: Truthful Learning Mechanisms for Multi-Slot Sponsored Search Auctions with Externalities

abstract: Sponsored search auctions constitute one of the most successful applications of microeconomic mechanisms. In mechanism design, auctions are usually designed to incentivize advertisers to bid their truthful valuations and to assure both the advertisers and the auctioneer a non-negative utility. Nonetheless, in sponsored search auctions, the click-through-rates (CTRs) of the advertisers are often unknown to the auctioneer and thus standard truthful mechanisms cannot be directly applied and must be paired with an effective learning algorithm for the estimation of the CTRs. This introduces the critical problem of designing a learning mechanism able to estimate the CTRs at the same time as implementing a truthful mechanism with a revenue loss as small as possible compared to an optimal mechanism designed with the true CTRs. Previous work showed that, when dominant-strategy truthfulness is adopted, in single-slot auctions the problem can be solved using suitable exploration-exploitation mechanisms able to achieve a per-step regret (over the auctioneer's revenue) of order $O(T^{-1/3})$ (where T is the number of times the auction is repeated). It is also known that, when truthfulness in expectation is adopted, a per-step regret (over the social welfare) of order $O(T^{-1/2})$ can be obtained. In this paper we extend the results known in the literature to the case of multi-slot auctions. In this case, a model of the user is needed to characterize how the advertisers' valuations change over the slots. We adopt the cascade model that is the most famous model in the literature for sponsored search auctions. We prove a number of novel upper bounds and lower bounds both on the auctioneer's revenue loss and social welfare w.r.t. to the VCG auction and we report numerical simulations investigating the accuracy of the bounds in predicting the dependency of the regret on the auction parameters.


title: What is liquid? Lyapunov instability reveals symmetry-breaking irreversibilities hidden within Hamilton's many-body equations of motion

abstract: Typical Hamiltonian liquids display exponential "Lyapunov instability", also called "sensitive dependence on initial conditions". Although Hamilton's equations are thoroughly time-reversible, the forward and backward Lyapunov instabilities can differ, qualitatively. In numerical work, the expected forward/backward pairing of Lyapunov exponents is also occasionally violated. To illustrate, we consider many-body inelastic collisions in two space dimensions. Two mirror-image colliding crystallites can either bounce, or not, giving rise to a single liquid drop, or to several smaller droplets, depending upon the initial kinetic energy and the interparticle forces. The difference between the forward and backward evolutionary instabilities of these problems can be correlated with dissipation and with the Second Law of Thermodynamics. Accordingly, these asymmetric stabilities of Hamilton's equations can provide an "Arrow of Time". We illustrate these facts for two small crystallites colliding so as to make a warm liquid. We use a specially-symmetrized form of Levesque and Verlet's bit-reversible Leapfrog integrator. We analyze trajectories over millions of collisions with several equally-spaced time reversals.


title: Convergence, unanimity and disagreement in majority dynamics on unimodular graphs and random graphs

abstract: In majority dynamics, agents located at the vertices of an undirected simple graph update their binary opinions synchronously by adopting those of the majority of their neighbors. On infinite unimodular transitive graphs (e.g., Cayley graphs), when initial opinions are chosen from a distribution that is invariant with respect to the graph automorphism group, we show that the opinion of each agent almost surely either converges, or else eventually oscillates with period two; this is known to hold for finite graphs, but not for all infinite graphs. On Erd\H{o}s-R\'enyi random graphs with degrees $\Omega(\sqrt{n})$, we show that when initial opinions are chosen i.i.d. then agents all converge to the initial majority opinion, with constant probability. Conversely, on random 4-regular finite graphs, we show that with high probability different agents converge to different opinions.


title: Global limit theorems on the convergence of multidimensional random walks to stable processes

abstract: Symmetric heavily tailed random walks on $Z^d, d\geq 1,$ are considered. Under appropriate regularity conditions on the tails of the jump distributions, global (i.e., uniform in $x,t, |x|+t\to\infty,$) asymptotic behavior of the transition probability $p(t,0,x)$ is obtained. The examples indicate that the regularity conditions are essential.


title: Super-Yang-Mills theories on S4 x R

abstract: We construct super-Yang-Mills theories on S4 x R, S4 x S1 and S4 x interval with the field content of maximal SYM, coupled to boundary degrees in the last case. These theories provide building blocks of the `5d uplifts' of gauge theories on S4, obtained by compactifying the 6d (2,0) theory. We pay special attention to the N=2* theory on S4. We also explain how to construct maximal SYM on S5 x R, and clarify when SYM theories can be put on S^n x R.


title: The Zen of Graduate-level Programming

abstract: The ubiquity of technology in our daily lives and the economic stability of the technology sector in recent years, especially in areas with a computer science footing, has led to an increase in computer science enrollment in many parts of the world. To keep up with this trend, the undergraduate computer science curriculum has undergone many revisions, analysis, and discussion. Unfortunately, the graduate level curriculum is lagging far behind in computer science education literature and research. To remedy this, we present the blueprint and execution of a graduate level course in programming, designed specifically to cater to the needs of graduate students with a diverse background both in CS and other fields. To this end, the course is divided into two halves. In the first half, students are introduced to different programming concepts, such as multi-paradigm programming, data structures, concurrency, and security to bring them up to speed and provide a level playing field. In the second half, all of these concepts are employed as building blocks to solve real-world problems from data mining, natural language processing, computer vision, and other fields. In addition, the paper also discusses in detail the evaluation instruments employed for the course. Moreover, we also share anecdotal information around student feedback, course design, and grading that may be useful for others who wish to replicate our curriculum or sketch a similar course.


title: Researches on the Twin Prime Problem

abstract: Twin prime number problem is mainly the structure of the twin prime numbers and whether there are infinitely many prime twins group. In this paper, by constructing a special cluster number set(see formula(2.3)in the paper), proves that the number of set number of the first n columns set the intersection of the minimum number of q is decision of the prime twins (q, q+2), and the minimum number of series is divergent(see Theorem 2).The main rezults are Theorem 2,Theorem 3 and Theorem 4.Prime twins so thoroughly proved there must be infinitely many groups of twin prime conjecture.


title: A hybridized discontinuous Galerkin method with reduced stabilization

abstract: In this paper, we propose a hybridized discontinuous Galerkin(HDG) method with reduced stabilization for the Poisson equation. The reduce stabilization proposed here enables us to use piecewise polynomials of degree $k$ and $k-1$ for the approximations of element and inter-element unknowns, respectively, unlike the standard HDG methods. We provide the error estimates in the energy and $L^2$ norms under the chunkiness condition. In the case of $k=1$, it can be shown that the proposed method is closely related to the Crouzeix-Raviart nonconforming finite element method. Numerical results are presented to verify the validity of the proposed method.


title: Unified and Distributed QoS-Driven Cell Association Algorithms in Heterogeneous Networks

abstract: This paper addresses the cell association problem in the downlink of a multi-tier heterogeneous network (HetNet), where base stations (BSs) have finite number of resource blocks (RBs) available to distribute among their associated users. Two problems are defined and treated in this paper: sum utility of long term rate maximization with long term rate quality of service (QoS) constraints, and global outage probability minimization with outage QoS constraints. The first problem is well-suited for low mobility environments, while the second problem provides a framework to deal with environments with fast fading. The defined optimization problems in this paper are solved in two phases: cell association phase followed by the optional RB distribution phase. We show that the cell association phase of both problems have the same structure. Based on this similarity, we propose a unified distributed algorithm with low levels of message passing to for the cell association phase. This distributed algorithm is derived by relaxing the association constraints and using Lagrange dual decomposition method. In the RB distribution phase, the remaining RBs after the cell association phase are distributed among the users. Simulation results show the superiority of our distributed cell association scheme compared to schemes that are based on maximum signal to interference plus noise ratio (SINR).


title: Mid-IR fiber optic light source around 6 micron through parametric wavelength translation

abstract: We report numerically designed highly nonlinear all glass chalcogenide microstructured optical fiber for efficient generation of light around 6 micron through degenerate four wave mixing by considering continuous wave CO laser of 5 to 10 Watts power emitting at 5.6 micron as the pump. By tuning the pump wavelength, pump power, fiber dispersion and nonlinear properties, narrow and broad band mid-IR all-fiber light source could be realized. Parametric amplification of more than 20 decibel is achievable for the narrow band source at 6.46 micron with a maximum power conversion efficiency of 33 percent while amplification of 22 decibel is achievable for a B-band source over the wavelength range of 5 to 6.3 micron with a conversion efficiency of 40 percent.


title: A Measure of Arbitrariness in Abductive Explanations

abstract: We study the framework of abductive logic programming extended with integrity constraints. For this framework, we introduce a new measure of the simplicity of an explanation based on its degree of \emph{arbitrariness}: the more arbitrary the explanation, the less appealing it is, with explanations having no arbitrariness - they are called constrained - being the preferred ones. In the paper, we study basic properties of constrained explanations. For the case when programs in abductive theories are stratified we establish results providing a detailed picture of the complexity of the problem to decide whether constrained explanations exist. (To appear in Theory and Practice of Logic Programming (TPLP).)


title: Phonon amplification in two coupled cavities containing one mechanical resonator

abstract: We study a general theory of phonon lasing [I. S. Grudinin et al., Phys. Rev. Lett. 104, 083901 (2010)] in coupled optomechancial systems. We derive the dynamical equation of the phonon lasing using supermodes formed by two cavity modes. A general threshold condition for phonon lasing is obtained. We also show the differences between phonon lasing and photon lasing, generated by photonic supermodes and two-level atomic systems, respectively. We find that the phonon lasing can be realized in certain parameter regime near the threshold. The phase diagram and second-order correlation function of the phonon lasing are also studied to show some interesting phenomena that cannot be observed in the common photon lasing with the two-level systems.


title: Anomaly-Sensitive Dictionary Learning for Unsupervised Diagnostics of Solid Media

abstract: This paper proposes a strategy for the detection and triangulation of structural anomalies in solid media. The method revolves around the construction of sparse representations of the medium's dynamic response, obtained by learning instructive dictionaries which form a suitable basis for the response data. The resulting sparse coding problem is recast as a modified dictionary learning task with additional spatial sparsity constraints enforced on the atoms of the learned dictionaries, which provides them with a prescribed spatial topology that is designed to unveil anomalous regions in the physical domain. The proposed methodology is model agnostic, i.e., it forsakes the need for a physical model and requires virtually no a priori knowledge of the structure's material properties, as all the inferences are exclusively informed by the data through the layers of information that are available in the intrinsic salient structure of the material's dynamic response. This characteristic makes the approach powerful for anomaly identification in systems with unknown or heterogeneous property distribution, for which a model is unsuitable or unreliable. The method is validated using both synthetically


title: Controllable Spin-Charge Transport in Strained Graphene Nanoribbon Devices

abstract: We theoretically investigate the spin-charge transport in two-terminal device of graphene nanoribbons in the presence of an uniform uniaxial strain, spin-orbit coupling, exchange field and smooth staggered potential. We show that the direction of applied strain can efficiently tune strain-strength induced oscillation of band-gap of armchair graphene nanoribbon (AGNR). It is also found that electronic conductance in both AGNR and zigzag graphene nanoribbons (ZGNRs) oscillates with Rashba spin-orbit coupling akin to the Datta-Das field effect transistor. Two distinct strain response regimes of electronic conductance as function of spin-orbit couplings (SOC) magnitude are found. In the regime of small strain, conductance of ZGNR presents stronger strain dependence along the longitudinal direction of strain. Whereas for high values of strain shows larger effect for the transversal direction. Furthermore, the local density of states (LDOS) shows that depending on the smoothness of the staggered potential, the edge state of AGNR can either emerge or be suppressed. These emerging states can be determined experimentally by performing spatially scanning tunneling microscope or by scanning tunneling spectroscopy. Our findings open up new paradigms of manipulation and control of strained graphene based nanostructure for application on novel topological quantum devices.


title: In-plane Chiral Tunneling and Out-of-plane Valley-polarized Quantum Tunneling in Twisted Graphene Trilayer

abstract: Here we show that twisted graphene trilayer made by misoriented stacking a graphene monolayer on top of a Bernal graphene bilayer can exhibit rich and tailored electronic properties. For the case that the graphene monolayer and bilayer are strongly coupled, both the massless Dirac fermions and massive chiral fermions coexist in the twisted trilayer, leading to unique in-plane chiral tunneling. For a weak coupling between the two graphene systems, the distinct chiralities and pseudospin textures of quasiparticles in monolayer and bilayer enable vertical valley-polarized quantum tunneling between them. Intriguingly, the polarity of the valley polarization can be inverted by controlling the rotational angles between the two systems. Our results indicate that layered van der Waals structures assembled from individual atomic planes can create materials that harbor unusual properties and new functionalities depending on how the crystalline layers are stacked.


title: Magnetic-field effects on $p$-wave phase transition in Gauss-Bonnet gravity

abstract: In the probe limit, we study the holographic $p$-wave phase transition in the Gauss-Bonnet gravity via numerical and analytical methods. Concretely, we study the influences of the external magnetic field on the Maxwell complex vector model in the five-dimensional Gauss-Bonnet-AdS black hole and soliton backgrounds, respectively. For the two backgrounds, the results show that the magnetic field enhances the superconductor phase transition in the case of the lowest Landau level, while the increasing Gauss-Bonnet parameter always hinders the vector condensate. Moreover, the Maxwell complex vector model is a generalization of the SU(2) Yang-Mills model all the time. In addition, the analytical results backup the numerical results. Furthermore, this model might provide a holographic realization for the QCD vacuum instability.


title: What is the apparent angle of a Kelvin ship wave pattern?

abstract: While the half-angle which encloses a Kelvin ship wave pattern is commonly accepted to be 19.47 degrees, recent observations and calculations for sufficiently fast-moving ships suggest that the apparent wake angle decreases with ship speed. One explanation for this decrease in angle relies on the assumption that a ship cannot generate wavelengths much greater than its hull length. An alternative interpretation is that the wave pattern that is observed in practice is defined by the location of the highest peaks; for wakes created by sufficiently fast-moving objects, these highest peaks no longer lie on the outermost divergent waves, resulting in a smaller apparent angle. In this paper, we focus on the problems of free surface flow past a single submerged point source and past a submerged source doublet. In the linear version of these problems, we measure the apparent wake angle formed by the highest peaks, and observe the following three regimes: a small Froude number pattern, in which the divergent waves are not visible; standard wave patterns for which the maximum peaks occur on the outermost divergent waves; and a third regime in which the highest peaks form a V-shape with an angle much less than the Kelvin angle. For nonlinear flows, we demonstrate that nonlinearity has the effect of increasing the apparent wake angle so that some highly nonlinear solutions have apparent wake angles that are greater than Kelvin's angle. For large Froude numbers, the effect on apparent wake angle can be more dramatic, with the possibility of strong nonlinearity shifting the wave pattern from the third regime to the second. We expect our nonlinear results will translate to other more complicated flow configurations, such as flow due to a steadily moving closed body such as a submarine.


title: Using Tabled Logic Programming to Solve the Petrobras Planning Problem

abstract: Tabling has been used for some time to improve efficiency of Prolog programs by memorizing answered queries. The same idea can be naturally used to memorize visited states during search for planning. In this paper we present a planner developed in the Picat language to solve the Petrobras planning problem. Picat is a novel Prolog-like language that provides pattern matching, deterministic and non-deterministic rules, and tabling as its core modelling and solving features. We demonstrate these capabilities using the Petrobras problem, where the goal is to plan transport of cargo items from ports to platforms using vessels with limited capacity. Monte Carlo Tree Search has been so far the best technique to tackle this problem and we will show that by using tabling we can achieve much better runtime efficiency and better plan quality.


title: Maximal Entanglement - A New Measure of Entanglement

abstract: Maximal correlation is a measure of correlation for bipartite distributions. This measure has two intriguing features: (1) it is monotone under local stochastic maps; (2) it gives the same number when computed on i.i.d. copies of a pair of random variables. This measure of correlation has recently been generalized for bipartite quantum states, for which the same properties have been proved. In this paper, based on maximal correlation, we define a new measure of entanglement which we call maximal entanglement. We show that this measure of entanglement is faithful (is zero on separable states and positive on entangled states), is monotone under local quantum operations, and gives the same number when computed on tensor powers of a bipartite state.


title: A Slight Improvement to the Colored B\'ar\'any's Theorem

abstract: Suppose $d+1$ absolutely continuous probability measures $m_0, \ldots, m_d$ on $\mathbb{R}^d$ are given. In this paper, we prove that there exists a point of $\mathbb{R}^d$ that belongs to the convex hull of $d+1$ points $v_0, \ldots, v_d$ with probability at least $\frac{2d}{(d+1)!(d+1)}$, where each point $v_i$ is sampled independently according to probability measure $m_i$.


title: Bi-Connected Gauss-Bonnet Gravity

abstract: We consider a bi-connection model in the presence of four-dimensional Gauss-Bonnet term adding to the Einstein-Hilbert action. This generalization solves the dynamics issue which exists in pure Einstein-Hilbert formalism of bi-connection model. As an example we study the Weyl inspired bi-connection model and show there is a self-accelerating solution in this model. To compare it with previous results we try to find appropriate generalization of the Weyl geometrical bi-connection model to reach at de Rham-Gabadadze-Tolley massive gravity. In this formalism mixing terms between the potential and kinetic terms appear automatically.


title: On the fixed points of a Hamiltonian diffeomorphism in presence of fundamental group

abstract: Let M be a weakly monotone symplectic manifold, and H be a time-dependent Hamiltonian; we assume that the periodic orbits of the corresponding time-dependent Hamiltonian vector field are non-degenerate. We construct a refined version of the Floer chain complex associated to these data and any regular covering of M, and derive from it new lower bounds for the number of periodic orbits. We prove in particular that if the fundamental group of M is finite and solvable or simple, then the number of periodic orbits is not less than the minimal number of generators of the fundamental group. For a general closed symplectic manifold with infinite fundamental group, we show the existence of 1-periodic orbit of Conley-Zehnder index 1-n for any non-degenerate 1-periodic Hamiltonian system.


title: Dreamtime Astronomy: development of a new Indigenous program at Sydney Observatory

abstract: The Australian National Curriculum promotes Indigenous culture in school education programs. To foster a broader appreciation of cultural astronomy, to utilise the unique astronomical heritage of the site, and to develop an educational program within the framework of the National Curriculum, Sydney Observatory launched Dreamtime Astronomy, a program incorporating Australian Indigenous culture, astronomy, and Sydney's astronomical history and heritage. This paper reviews the development and implementation of this program and discusses modifications following an evaluation by schools.


title: Density functional investigation of spin polarization in bulk and thin films of nitrogen intercalated Cu3N

abstract: It has been reported theoretically that the intercalation of nitrogen in the voids of the rather open cubic structure of bulk Cu3N build up a magnetic structure. In an extended effort to study this system, we have investigated spin polarization in bulk and thin films of nitrogen intercalated Cu3N (Cu3N2) structure by means of first-principles calculations based on Kohn-Sham density functional theory and ultrasoft pseudopotentials technique. Contrary to the previous study, the results show that after an accurate structural relaxation of the system, magnetism in the bulk structure vanishes. This effect is due to the migration of the intercalated nitrogen atom from the body center of the cell to the nearness of one of the cell faces. Similar study for the thin films of 5, 7, 9 and 11 monolayers thickness was performed and it was found that initial relaxation of structures with 7 and 11 monolayers show a net magnetic moment of 2.6 {\mu}B. By a more extended survey of the energy surfaces, the film with 7 monolayers loses its magnetic moment similar to the bulk structure but the film with 11 monolayers maintains its magnetic moment. It is possibly a new quantum size effect that keeps the intercalated nitrogen atom of the middlemost cell at the body center site. Electron density map of this film clearly confirms the spin polarization upon the intercalated atom.


title: Coherence oscillations between weakly coupled Bose-Hubbard dimers

abstract: We study theoretically the dynamics of two weakly-coupled Bose-Josephson junctions, prepared with the same particle number $N$ and Josephson excitation number $\nu$ but with different reduced one-particle purity $\gamma$. A novel entropy oscillation mode is predicted, in which one-particle coherence is transferred between the Bose-Hubbard dimers with no particle or energy transfer. We explain this purity oscillation using a semiclassical picture.


title: Anti-norms on finite von Neumann algebras

abstract: As the reversed version of usual symmetric norms, we introduce the notion of symmetric anti-norms $\|\cdot\|_!$ defined on the positive operators affiliated with a finite von Neumann algebra with a finite normal trace. Related to symmetric anti-norms, we develop majorization theory and superadditivity inequalities of the form $\|\psi(A+B)\|_!\ge\|\psi(A)\|_!+\|\psi(B)\|_!$ for a wide class of functions $\psi$.


title: Preserving Information from the Beginning to the End of time in a Robertson-Walker Spacetime

abstract: Preserving information stored in a physical system subjected to noise can be modeled in a communication-theoretic paradigm, in which storage and retrieval correspond to an input encoding and output decoding, respectively. The encoding and decoding are then constructed in such a way as to protect against the action of a given noisy quantum channel. This paper considers the situation in which the noise is not due to technological imperfections, but rather to the physical laws governing the evolution of the universe. In particular, we consider the dynamics of quantum systems under a 1+1 Robertson-Walker spacetime and find that the noise imparted to them is equivalent to the well known amplitude damping channel. Since one might be interested in preserving both classical and quantum information in such a scenario, we study trade-off coding strategies and determine a region of achievable rates for the preservation of both kinds of information. For applications beyond the physical setting studied here, we also determine a trade-off between achievable rates of classical and quantum information preservation when entanglement assistance is available.


title: Termination-dependent Surface In-gap States in a Mixed-valent Topological Insulator: SmB$_6$

abstract: We have investigated the surface states of a potential mixed-valent topological insulator SmB$_6$ based on the first principles density functional theory slab band structure analysis. We have found that metallic surface states are formed in the bulk band gap region, providing evidence for the topological insulating nature of SmB$_6$. The obtained surface in-gap states are quite different from those in existing reports in that they are formed differently depending on the Sm or B$_6$ surface termination, and are composed of mainly Sm $4f$ state indicating the essentiality of including $f$ electrons in describing the surface states. We have obtained the spin chiral structures of the Fermi surfaces, which are also in accordance with the topological insulating nature of SmB$_6$.


title: Mending the Big-Data Missing Information

abstract: Consider a high-dimensional data set, in which for every data-point there is incomplete information. Each object in the data set represents a real entity, which is described by a point in high-dimensional space. We model the lack of information for a given object as an affine subspace in $\mathbb{R}^d$ whose dimension $k$ is the number of missing features. Our goal in this study is to find clusters of objects where the main problem is to cope with partial information and high dimension. Assuming the data set is separable, namely, its emergence from clusters that can be modeled as a set of disjoint ball in $\mathbb{R}^d$, we suggest a simple data clustering algorithm. Our suggested algorithm use the affine subspaces minimum distance and calculates pair-wise projection of the data achieving poly-logarithmic time complexity. We use probabilistic considerations to prove the algorithm's correctness. These probabilistic results are of independent interest, and can serve to better understand the geometry of high dimensional objects.


title: A mathematical theory of super-resolution by using a system of sub-wavelength Helmholtz resonators

abstract: A rigorous mathematical theory is developed to explain the super-resolution phenomenon observed in the experiment by F.Lemoult, M.Fink and G.Lerosey (Acoustic resonators for far-field control of sound on a subwavelength scale, Phys. Rev. Lett., 107 (2011)). A key ingredient is the calculation of the resonances and the Green function in the half space with the presence of a system of Helmholtz resonators in the quasi-stationary regime. By using boundary integral equations and generalized Rouche's theorem, the existence and the leading asymptotic of the resonances are rigorously derived. The integral equation formulation also yields the leading order terms in the asymptotics of the Green function. The methodology developed in the paper provides an elegant and systematic way for calculating resonant frequencies for Helmholtz resonators in assorted space settings as well as in various frequency regimes. By using the asymptotics of the Green function, the analysis of the imaging functional of the time-reversal wave fields becomes possible, which clearly demonstrates the super-resolution property. The result provides the first mathematical theory of super-resolution in the context of a deterministic medium and sheds light to the mechanism of super-resolution and super-focusing for waves in deterministic complex media.


title: Hadronic $b^\prime$ search at the LHC with top and W taggers

abstract: We study the sensitivity of a down type quark $b^{\prime}$ via process $pp\rightarrow b^{\prime}\bar{b^{\prime}} \rightarrow tW^-\bar{t}W^+$ using jet substructure methods at the LHC with the collision energy $\sqrt{s}=14$ TeV. We consider the case that the $b^\prime$ is heavy (say from 800 GeV to 1500 GeV) and concentrate on the feasibility of the full hadronic mode. Both top tagger (the HEP top tagger) and W tagger (the CMS W-tagging) are used to reconstruct all objects in the final states. In order to suppress huge SM background events and take into account various cases with different number of boosted objects, we propose a comprehensive reconstruction procedure so as to extract the most crucial observables of the signal events. When $b^\prime$ mass is 1 TeV, it is found that with a 200 fb$^{-1}$ dataset, the LHC may be able to detect the $b^\prime$ with a significance up to $10$ or better. With a 3000 $fb^{-1}$ dataset, the LHC may be able to probe the $b^\prime$ with a mass around up to 2 TeV, only by using the hadronic mode.


title: Cosmological Constraints on Ghost Dark Energy in the Brans-Dicke Theory by Using MCMC Approach

abstract: By using a Markov Chain Monte Carlo simulation, we investigate cosmological constraints on the ghost dark energy (GDE) model in the framework of the Brans-Dicke (BD) theory. A combination of the latest observational data of the cosmic microwave background radiation data from seven-year WMAP, the baryon acoustic oscillation data form the SDSS, the supernovae type Ia data from the Union2 and the X-ray gas mass fraction data from the Chandra X-ray observations of the largest relaxed galaxy clusters are used to perform constraints on GDE in the BD cosmology. In this paper, we consider both flat and non-flat universes together with interaction between dark matter and dark energy. The main cosmological parameters are obtained as: $\Omega_{\rm b}h^2= 0.0223^{+0.0016}_{-0.0013}$, $\Omega_{\rm c}h^2=0.1149^{+0.0088}_{-0.0104}$ and $\Omega_{\rm k}=0.0005^{+0.0025}_{-0.0073}$. In addition, the Brans-Dicke parameter $\omega$ is estimated as $1/\omega\simeq 0.002$.


title: Quantum Resource Theory for Charge-Parity-Time Inversion

abstract: We develop a complete resource theory of charge-parity-time (CPT) inversion symmetry for both massive and massless relativistic particles of arbitrary spin. We show that a unitary representation of CPT can be consistently constructed for all spins and develop the resource theory associated with CPT super-selection, thereby identifying and quantifying the resources required to lift the super-selection rule.


title: A $35 Firewall for the Developing World

abstract: A number of recent efforts aim to bridge the global digital divide, particularly with respect to Internet access. We take this endeavor one step further and argue that Internet access and web security go hand in glove in the developing world. To remedy the situation, we explore whether low-cost platforms, such as Raspberry Pi (\$35) and Cubieboard (\$59), can be used to implement security mechanisms. Using a firewall as a motivating security application we benchmark its performance on these platforms to test our thesis. Our results show that these platforms can indeed serve as enablers of security functions for small sized deployments in the developing world, while only consuming less than $2.5 worth of electricity per device per annum. In addition, we argue that the use of these platforms also addresses maintenance challenges such as update roll-out and distribution. Furthermore, a number of additional network functions, such as caching and WAN acceleration can also be implemented atop this simple infrastructure. Finally, we posit that this deployment can be used for in-network monitoring to facilitate ICT4D research.


title: Sufficient Bigness Criterion for Differences of Two Nef Classes

abstract: We prove the qualitative part of Demailly's conjecture on transcendental Morse inequalities for differences of two nef classes satisfying a numerical relative positivity condition on an arbitrary compact K\"ahler (and even more general) manifold. The result improves on an earlier one by J. Xiao whose constant $4n$ featuring in the hypothesis is now replaced by the optimal and natural $n$. Our method follows arguments by Chiose as subsequently used by Xiao up to the point where we introduce a new way of handling the estimates in a certain Monge-Amp\`ere equation. This result is needed to extend to the K\"ahler case and to transcendental classes the Boucksom-Demailly-Paun-Peternell cone duality theorem if one is to follow these authors' method and was conjectured by them.


title: Born--Jordan Quantization and the Equivalence of Matrix and Wave Mechanics

abstract: The aim of the famous Born and Jordan 1925 paper was to put Heisenberg's matrix mechanics on a firm mathematical basis. Born and Jordan showed that if one wants to ensure energy conservation in Heisenberg's theory it is necessary and sufficient to quantize observables following a certain ordering rule. One apparently unnoticed consequence of this fact is that Schr\"odinger's wave mechanics cannot be equivalent to Heisenberg's more physically motivated matrix mechanics unless its observables are quantized using this rule, and not the more symmetric prescription proposed by Weyl in 1926, which has become the standard procedure in quantum mechanics. This observation confirms the superiority of Born-Jordan quantization, as already suggested by Kauffmann. We also show how to explicitly determine the Born--Jordan quantization of arbitrary classical variables, and discuss the conceptual advantages in using this quantization scheme. We finally suggest that it might be possible to determine the correct quantization scheme by using the results of weak measurement experiments.

categories: quant-ph math-ph math.MP physics.atom-ph


title: The calibration of DD neutron indium activation diagnostic for Shenguang-III facility

abstract: The indium activation diagnostic was calibrated on an accelerator neutron source in order to diagnose deuterium-deuterium (DD) neutron yields of implosion experiments on Shenguang-III facility. The scattered neutron background of the accelerator room was measured by placing a polypropylene shield in front of indium sample, in order to correct the calibrated factor of this activation diagnostic. The proper size of this shield was given by Monte Carlo simulation software. The affect from some other activated nuclei on the calibration was verified by judging whether the measured curve obeys exponential decay and contrasting the half life of the activated sample. The calibration results showed that the linear range reached up to 100 cps net count rate in the full energy peak of interest, the scattered neutron background of accelerator room was about 9% of the total neutrons and the possible interferences mixed scarcely in the sample. Subtracting the portion induced by neutron background, the calibrated factor of our sample was 4.52*10^-7 counts/n with uncertainty of 4.3%.


title: Specific heat of K071Na0.29Fe2As2 at very low temperatures

abstract: A commercially available calorimeter has been used to investigate the specific heat of a high-quality \kn\ single crystal. The addenda heat capacity of the calorimeter is determined in the temperature range $0.02 \, \mathrm{K} \leq T \leq 0.54 \, \mathrm{K}$. The data of the \kn\ crystal imply the presence of a large $T^2$ contribution to the specific heat which gives evidence of $d$-wave order parameter symmetry in the superconducting state. To improve the measurements, a novel design for a calorimeter with a paramagnetic temperature sensor is presented. It promises a temperature resolution of $\Delta T \approx 0.1 \, \mathrm{\mu K}$ and an addenda heat capacity less than $200 \, \mathrm{pJ/K}$ at $ T < 100 \, \mathrm{mK}$.


title: Global stability of the rarefaction wave of the Vlasov-Poisson-Boltzmann system

abstract: This paper is devoted to the study of the nonlinear stability of the rarefaction waves of the Vlasov-Poisson-Boltzmann system with slab symmetry in the case where the electron background density satisfies an analogue of the Boltzmann relation. We allows that the electric potential may take distinct constant states at both far-fields. The rarefaction wave whose strength is not necessarily small is constructed through the quasineutral Euler equations coming from the zero-order fluid dynamic approximation of the kinetic system. We prove that the local Maxwellian with macroscopic quantities determined by the quasineutral rarefaction wave is time-asymptotically stable under small perturbations for the corresponding Cauchy problem on the Vlasov-Poisson-Boltzmann system. The main analytical tool is the combination of techniques we developed in [10] for the viscous compressible fluid with the self-consistent electric field and the reciprocal energy method based on the macro-micro decomposition of the Boltzmann equation around a local Maxwellian. Both the time decay property of the rarefaction waves and the structure of the Poisson equation play a key role in the analysis.


title: Performance Provisioning and Energy Efficiency in Cloud and Distributed Computing Systems

abstract: In recent years, the issue of energy consumption in high performance computing (HPC) systems has attracted a great deal of attention. In response to this, many energy-aware algorithms have been developed in different layers of HPC systems, including the hardware layer, service layer and system layer. These algorithms are of two types: first, algorithms which directly try to improve the energy by tweaking frequency operation or scheduling algorithms; and second, algorithms which focus on improving the performance of the system, with the assumption that efficient running of a system may indirectly save more energy. In this thesis, we develop algorithms in both layers. First, we introduce three algorithms to directly improve the energy of scheduled tasks at the hardware level by using Dynamic Voltage Frequency Scaling (DVFS). Second, we propose two algorithms for modelling and resource provisioning of MapReduce applications (a well-known parametric distributed framework currently used by Google, Yahoo, Facebook and LinkedIn) based on its configuration parameters. Certainly, estimating the performance (e.g., execution time or CPU clock ticks) of a MapReduce application can be later used for smart scheduling of such applications in clouds or clusters. To evaluate the algorithms, we have conducted extensive simulation and real experiments on a 5-node physical cluster with up to 25 virtual nodes, using both synthetic and real world applications. Also, the proposed new algorithms are compared with existing algorithms by experimentation, and the experimental results reveal new information on the performance of these algorithms, as well as on the properties of MapReduce and DVFS. In the end, three open problems are revealed by the experimental observations, and their importance is explained.


title: Spatial Coupling of Generator Matrix: A General Approach to Design of Good Codes at a Target BER

abstract: For any given short code (referred to as the basic code), block Markov superposition transmission (BMST) provides a simple way to obtain predictable extra coding gain by spatial coupling the generator matrix of the basic code. This paper presents a systematic design methodology for BMST systems to approach the channel capacity at any given target bit-error-rate (BER) of interest. To simplify the design, we choose the basic code as the Cartesian product of a short block code. The encoding memory is then inferred from the genie-aided lower bound according to the performance gap of the short block code to the corresponding Shannon limit at the target BER. In addition to the sliding-window decoding algorithm, we propose to perform one more phase decoding to remove residual (rare) errors. A new technique that assumes a noisy genie is proposed to upper bound the performance. Under some mild assumptions, these genie-aided bounds can be used to predict the performance of the proposed two-phase decoding algorithm in the extremely low BER region. Using the Cartesian product of a repetition code as the basic code, we construct a BMST system with an encoding memory 30 whose performance at the BER of $10^{-15}$ can be predicted within one dB away from the Shannon limit over the binary-input additive white Gaussian noise channel (BI-AWGNC).


title: Comment on "Fully covariant radiation force on a polarizable particle"

abstract: Recently Pieplow and Henkel (PH) (NJP \textbf{15} (2013) 023027) presented a new fully covariant theory of the Casimir friction force acting on small neutral particle moving parallel to flat surface. We compare results of this theory with results which follow from a fully relativistic theory of friction in plate-plate configurations in the limit when one plate is considered as sufficiently rarefied. We show that there is the agreement between these theories.


title: Quadri-allele frequency spectrum in a coalescent topology for mutations in non-constant population size

abstract: The sample frequency spectrum of a segregating site is the probability distribution of a sample of alleles from a genetic locus, conditional on observing the sample to have more than one clearly different phenotypes. We present a model for analyzing quadri-allele frequency spectrum, where the ancestral population diverged into three populations at a certain divergence time and the resulting mutations on the branches of the coalescent tree gave rise to three different derived alleles, which could be observed in the present generation along with the ancestral allele. The model has been analyzed for non-constant population size, assuming we had a certain number of extant lineages at the divergence time and no migration occurs between the populations.


title: Countable tightness in the spaces of regular probability measures

abstract: We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known that such a result is a consequence of Martin's axiom MA$(\omega_1)$. Our theorem has several consequences; in particular, it generalizes a theorem due to Bourgain and Todor\v{c}evi\'c on measures on Rosenthal compacta.


title: Regularized $M$-estimators of scatter matrix

abstract: In this paper, a general class of regularized $M$-estimators of scatter matrix are proposed which are suitable also for low or insufficient sample support (small $n$ and large $p$) problems. The considered class constitutes a natural generalization of $M$-estimators of scatter matrix (Maronna, 1976) and are defined as a solution to a penalized $M$-estimation cost function that depend on a pair $(\alpha,\beta)$ of regularization parameters. We derive general conditions for uniqueness of the solution using concept of geodesic convexity. Since these conditions do not include Tyler's $M$-estimator, necessary and sufficient conditions for uniqueness of the penalized Tyler's cost function are established separately. For the regularized Tyler's $M$-estimator, we also derive a simple, closed form and data dependent solution for choosing the regularization parameter based on shape matrix matching in the mean squared sense. An iterative algorithm that converges to the solution of the regularized $M$-estimating equation is also provided. Finally, some simulations studies illustrate the improved accuracy of the proposed regularized $M$-estimators of scatter compared to their non-regularized counterparts in low sample support problems. An example of radar detection using normalized matched filter (NMF) illustrate that an adaptive NMF detector based on regularized $M$-estimators are able to maintain accurately the preset CFAR level and at at the same time provide similar probability of detection as the (theoretical) NMF detector.


title: Nuclear parton distributions and the Drell-Yan process

abstract: We study the nuclear parton distribution functions on the basis of our recently developed semi-microscopic model, which takes into account a number of nuclear effects including nuclear shadowing, Fermi motion and nuclear binding, nuclear meson-exchange currents, and off-shell corrections to bound nucleon distributions. We discuss in detail the dependencies of nuclear effects on the type of parton distribution (nuclear sea vs valence), as well as on the parton flavor (isospin). We apply the resulting nuclear parton distributions to calculate ratios of cross sections for proton-induced Drell-Yan production off different nuclear targets. We obtain a good agreement on the magnitude, target and projectile $x$, and the dimuon mass dependence of proton-nucleus Drell-Yan process data from the E772 and E866 experiments at Fermilab. We also provide nuclear corrections for the Drell-Yan data from the E605 experiment.


title: Tighter Bounds for Makespan Minimization on Unrelated Machines

abstract: We consider the problem of scheduling $n$ jobs to minimize the makespan on $m$ unrelated machines, where job $j$ requires time $p_{ij}$ if processed on machine $i$. A classic algorithm of Lenstra et al. yields the best known approximation ratio of $2$ for the problem. Improving this bound has been a prominent open problem for over two decades. In this paper we obtain a tighter bound for a wide subclass of instances which can be identified efficiently. Specifically, we define the feasibility factor of a given instance as the minimum fraction of machines on which each job can be processed. We show that there is a polynomial-time algorithm that, given values $L$ and $T$, and an instance having a sufficiently large feasibility factor $h \in (0,1]$, either proves that no schedule of mean machine completion time $L$ and makespan $T$ exists, or else finds a schedule of makespan at most $T + L/h < 2T$. For the restricted version of the problem, where for each job $j$ and machine $i$, $p_{ij} \in \{p_j, \infty\}$, we show that a simpler algorithm yields a better bound, thus improving for highly feasible instances the best known ratio of $33/17 + \epsilon$, for any fixed $\epsilon >0$, due to Svensson.


title: Silting modules

abstract: We introduce the new concept of silting modules. These modules generalise tilting modules over an arbitrary ring, as well as support $\tau$-tilting modules over a finite dimensional algebra recently introduced by Adachi, Iyama and Reiten. We show that silting modules generate torsion classes that provide left approximations, and that every partial silting module admits an analogue of the Bongartz complement. Furthermore, we prove that silting modules are in bijection with 2-term silting complexes and with certain t-structures and co-t-structures in the derived module category. We also see how some of these bijections hold for silting complexes of arbitrary finite length.


title: Disassembly model for the production of astrophysical strangelets

abstract: Determination of the baryon number (or mass) distribution of the strangelets, that may fragment out of the warm and excited strange quark matter (SQM) ejected in the merger of strange stars (SSs) in compact binary stellar systems of the Galaxy, is attempted by using a statistical disassembly model (SMM). Finite mass of strange quarks is taken into account in the analysis. Strangelet charge and the resulting Coulomb correction are included to get a plausible mass distribution of galactic strangelets at their source.


title: Parametrization of translational surfaces

abstract: The algebraic translational surface is a typical modeling surface in computer aided design and architecture industry. In this paper, we give a necessary and sufficient condition for that algebraic surface having a standard parametric representation and our proof is constructive. If the given algebraic surface is translational, then we can compute a standard parametric representation for the surface.


title: Adiabatic potentials using multiple radio frequencies

abstract: Adiabatic radio frequency (RF) potentials are powerful tools for creating advanced trapping geometries for ultra-cold atoms. While the basic theory of RF trapping is well understood, studies of more complicated setups involving multiple resonant frequencies in the limit where their effects cannot be treated independently are rare. Here we present an approach based on Floquet theory and show that it offers significant corrections to existing models when two RF frequencies are near degenerate. Furthermore it has no restrictions on the dimension, the number of frequencies or the orientation of the RF fields. We show that the added degrees of freedom can, for example, be used to create a potential that allows for easy creation of ring vortex solitons.


title: Qualitative analysis of trapped Dirac fermions in graphene

abstract: We study the confinement of Dirac fermions in graphene and in carbon nanotubes by an external magnetic field, mechanical deformations or inhomogeneities in the substrate. By applying variational principles to the square of the Dirac operator, we obtain sufficient and necessary conditions for confinement of the quasi-particles. The rigorous theoretical results are illustrated on the realistic examples of the three classes of traps.

categories: cond-mat.mes-hall hep-th math-ph math.MP quant-ph


title: Very deep images of the innermost regions of the beta Pictoris debris disc at Lp

abstract: Very few debris discs have been imaged in scattered light at wavelengths beyond 3 microns because the thermal emission from both the sky and the telescope is generally too strong with respect to the faint emission of a debris disc. We present here the first analysis of a high angular resolution image of the disc of beta Pictoris at 3.8 microns. Our primary objective is to probe the innermost parts of the beta Pictoris debris disc and describe its morphology. We performed extensive forward modelling to correct for the biases induced by angular differential imaging on extended objects and derive the physical parameters of the disc. This work relies on a new analysis of seven archival datasets of beta Pictoris observed with VLT/NaCo in the Lp band, associated with disc forward modelling to correct for the biases induced by that technique. The disc is detected above a 5 sigma level between 0.4" and 3.8". The two extensions have a similar brightness within error bars. We confirm an asymmetry previously observed at larger distances from the star and at shorter wavelengths: the isophotes are more widely spaced on the north-west side (above the disc apparent midplane) than on the south-east side. This is interpreted as a small inclination of the disc combined with anisotropic scattering. Our best-fit model has an inclination of 86 degrees with an anisotropic Henyey- Greenstein coefficient of 0.36. This interpretation is supported by a new asymmetry detected in the disc: the disc is significantly bowed towards the north-west within 3" (above the apparent midplane). We also detect a possible new asymmetry within 1", but at this stage we cannot discern between a real feature and an underlying speckle.


title: Umbilic Singularities and Lines of Curvature on Ellipsoids of ${\mathbb R}^4$

abstract: The topological structure of the lines of principal curvature, the umbilic and partially umbilic singularities of all tridimensional ellipsoids of ${\mathbb R}^4$ is described.


title: Combinatorial Search With Picat

abstract: Picat, a new member of the logic programming family, follows a different doctrine than Prolog in offering the core logic programming concepts: arrays and maps as built-in data types; implicit pattern matching with explicit unification and explicit non-determinism; functions for deterministic computations; and loops for convenient scripting and modeling purposes. Picat provides facilities for solving combinatorial search problems, including a common interface with CP, SAT, and MIP solvers, tabling for dynamic programming, and a module for planning. Picat's planner module, which is implemented by the use of tabling, has produced surprising and encouraging results. Thanks to term-sharing and resource-bounded tabled search, Picat overwhelmingly outperforms the cutting-edge ASP and PDDL planners on the planning benchmarks used in recent ASP competitions.


title: A Review of Image Mosaicing Techniques

abstract: Image Mosaicing is a method of constructing multiple images of the same scene into a larger image. The output of the image mosaic will be the union of two input images. Image-mosaicing algorithms are used to get mosaiced image. Image Mosaicing processed is basically divided in to 5 phases. Which includes; Feature point extraction, Image registration, Homography computation, Warping and Blending if Image. Various corner detection algorithm is being used for Feature extraction. This corner produces an efficient and informative output mosaiced image. Image mosaicing is widely used in creating 3D images, medical imaging, computer vision, data from satellites, and military automatic target recognition.


title: z-Finite distributions on p-adic groups

abstract: For a real reductive group G, the center $\mathfrak{z}(\mathcal{U}(\mathfrak{g}))$ of the universal enveloping algebra of the Lie algebra $\mathfrak{g}$ of G acts on the space of distributions on G. This action proved to be very useful (see e.g. [HC63, HC65, Sha74, Bar03]). Over non-Archimedean local fields, one can replace this action by the action of the Bernstein center z of G, i.e. the center of the category of smooth representations. However, this action is not well studied. In this paper we provide some tools to work with this action and prove the following results. 1) The wave-front set of any z-finite distribution on G over any point $g\in G$ lies inside the nilpotent cone of $T_g^*G \cong \mathfrak{g}$. 2) Let $H_1,H_2 \subset G$ be symmetric subgroups. Consider the space J of $H_1\times H_2$-invariant distributions on G. We prove that the z-finite distributions in J form a dense subspace. In fact we prove this result in wider generality, where the groups $H_i$ are spherical groups of certain type and the invariance condition is replaced by equivariance. Further we apply those results to density and regularity of spherical characters. The first result can be viewed as a version of Howe's expansion of characters. The second result can be viewed as a spherical space analog of a classical theorem on density of characters of admissible representations. It can also be viewed as a spectral version of Bernstein's localization principle. In the Archimedean case, the first result is well-known and the second remains open.


title: Multifractal analysis for weak Gibbs measures: from large deviations to irregular sets

abstract: In this article we prove estimates for the topological pressure of the set of points whose Birkhoff time averages are far from the space averages corresponding to the unique equilibrium state that has a weak Gibbs property. In particular, if $f$ has an expanding repeller and $\phi$ is an H\"older continuous potential we prove that the topological pressure of the set of points whose accumulation values of Birkhoff averages belong to some interval $I\subset \mathbb R$ can be expressed in terms of the topological pressure of the whole system and the large deviations rate function. As a byproduct we deduce that most irregular sets for maps with the specification property have topological pressure strictly smaller than the whole system. Some extensions to a non-uniformly hyperbolic setting, level-2 irregular sets and hyperbolic flows are also given.


title: On Non-occurrence of Chaos in Non-autonomous Planar Flows

abstract: By folding nonautonomous differential systems in the plane to scalar differential equations, a sufficient condition for the non-occurrence of chaotic behavior is obtained.


title: Innermost stable circular orbit near dirty black holes in magnetic field and ultra-high energy particle collisions

abstract: We consider the behavior of the innermost stable circular orbit (ISCO) in the magnetic field near "dirty" (surrounded by matter) axially-symmetric black holes. The cases of near-extremal, extremal and nonextremal black holes are analyzed. For nonrotating black holes, in the strong magnetic field ISCO approaches the horizon (when backreaction of the field on geometry is neglected). Rotation destroys this phenomenon. The angular momentum and radius of ISCO look model-independent in the main approximation. We also study the collisions between two particles that results in the ultra-high energy $E_{c.m.}$ in the centre of mass frame. Two scenarios are considered - when one particle moves on the near-horizon ISCO or when collision occurs on the horizon, one particle having the energy and angular momentum typical of ISCO. If the magnetic field is strong enough and a black hole is slow rotating, $E_{c.m.}$ can become arbitrarily large. Kinematics of high-energy collision is discussed. As an example, we consider the magnetized Schwarzschild black hole for an arbitrary strength of the field (the Ernst solution). It is shown that backreaction of the magnetic field on the geometry can bound the growth of $E_{c.m.}$.


title: Tori in $S^3$ minimizing locally the conformal volume

abstract: We prove that the conformal immersions of complex two tori into $S^3$ which locally minimize their conformal volume in their conformal class all satisfy some elliptic PDE. We prove that they are either minimal tori, CMC flat tori, elliptic conformally constrained minimal tori or critical point of the area under some fixed conformally congruent area. On the way to establish this result we prove that tori which are critical points of the area for perturbations within a given conformal class and which are degenerate points of the conformal class mapping - i.e. isothermic - are either minimal surfaces or flat CMC tori. These results are all proved in the general framework of weak immersions.


title: Isogenies of Jacobians

abstract: We prove by means of the study of the infinitesimal variation of Hodge structure and a generalization of the classical Babbage-Enriques-Petri theorem that the Jacobian variety of a generic element of a $k$ codimensional subvariety of $\mathcal M_g$ is not isogenous to a distinct Jacobian if $g>3k+4$. We extend this result to $k=1, g\ge 5$ by using degeneration methods.


title: Twice $Q$-polynomial distance-regular graphs of diameter 4

abstract: It is known that a distance-regular graph with valency $k$ at least three admits at most two Q-polynomial structures. % In this note we show that all distance-regular graphs with diameter four and valency at least three admitting two $Q$-polynomial structures are either dual bipartite or almost dual imprimitive. By the work of Dickie \cite{Dickie} this implies that any distance-regular graph with diameter $d$ at least four and valency at least three admitting two $Q$-polynomial structures is, provided it is not a Hadamard graph, either the cube $H(d,2)$ with $d$ even, the half cube ${1}/{2} H(2d+1,2)$, the folded cube $\tilde{H}(2d+1,2)$, or the dual polar graph on $[^2A_{2d-1}(q)]$ with $q\ge 2$ a prime power.


title: Finiteness conditions for graph algebras over tropical semirings

abstract: Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lov{\'a}sz and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rings (max-plus algebras) over the real numbers. We show that rank-finiteness of join matrices implies that these graph parameters can be computed in polynomial time on graph classes of bounded clique-width. In the case of graph parameters with values in arbitrary commutative semirings, this remains true for graph classes of bounded linear clique-width. B. Godlin, T. Kotek and J.A. Makowsky (2008) showed that definability of a graph parameter in Monadic Second Order Logic implies rank finiteness. We also show that there are uncountably many integer valued graph parameters with connection matrices or join matrices of fixed finite rank. This shows that rank finiteness is a much weaker assumption than any definability assumption.


title: Quantifying evolutionary dynamics of the basic genome of E. coli

abstract: The ~4-Mbp basic genome shared by 32 independent isolates of E. coli representing considerable population diversity has been approximated by whole-genome multiple-alignment and computational filtering designed to remove mobile elements and highly variable regions. Single nucleotide polymorphisms (SNPs) in the 496 basic-genome pairs are identified and clonally inherited stretches are distinguished from those acquired by horizontal transfer (HT) by sharp discontinuities in SNP density. The six least diverged genome-pairs each have only one or two HT stretches, each occupying 42-115-kbp of basic genome and containing at least one gene cluster known to confer selective advantage. At higher divergences, the typical mosaic pattern of interspersed clonal and HT stretches across the entire basic genome are observed, including likely fragmented integrations across a restriction barrier. A simple model suggests that individual HT events are of the order of 10-kbp and are the chief contributor to genome divergence, bringing in almost 12 times more SNPs than point mutations. As a result of continuing horizontal transfer of such large segments, 400 out of the 496 strain-pairs beyond genomic divergence of share virtually no genomic material with their common ancestor. We conclude that the active and continuing horizontal transfer of moderately large genomic fragments is likely to be mediated primarily by a co evolving population of phages that distribute random genome fragments throughout the population by generalized transduction, allowing efficient adaptation to environmental changes.

categories: q-bio.PE physics.bio-ph q-bio.GN q-bio.QM


title: Low-frequency anomalies in dynamic localization

abstract: Quantum mechanical spreading of a particle hopping on tight binding lattices can be suppressed by the application of an external ac force, leading to periodic wave packet reconstruction. Such a phenomenon, referred to as dynamic localization (DL), occurs for certain magic values of the ratio $\Gamma=F_0/ \omega$ between the amplitude $F_0$ and frequency $\omega$ of the ac force. It is generally believed that in the low-frequency limit ($\omega \rightarrow 0$) DL can be achieved for an infinitesimally small value of the force $F_0$, i.e. at finite values of $\Gamma$. Such a normal behavior is found in homogeneous lattices as well as in inhomogeneous lattices of Glauber-Fock type. Here we introduce a tight-binding lattice model with inhomogeneous hopping rates, referred to as pseudo Glauber-Fock lattice, which shows DL but fails to reproduce the normal low-frequency behavior of homogeneous and Glauber-Fock lattices. In pseudo Glauber-Fock lattices, DL can be exactly realized, however at the DL condition the force amplitude $F_0$ remains finite as $\omega \rightarrow 0$. Such an anomalous behavior is explained in terms of a $\mathcal{PT}$ symmetry breaking transition of an associated two-level non-Hermitian Hamiltonian that effectively describes the dynamics of the Hermitian lattice model.


title: The Komatsu Spergel Wandelt estimator for oscillations in the cosmic microwave background bispectrum

abstract: Oscillating shapes of the primordial bispectrum are present in many inflationary models. The Planck experiment has recently published measurements of oscillating shapes, which were however limited to the efficient frequency range of the used analysis method. Here we study the KSW estimator for oscillations in the CMB bispectrum, that allows to examine arbitrary oscillation frequencies for separable oscillating bispectrum shapes. We study the precision with which amplitude, phase and frequency can be determined with our estimator. An examination of the 3-point function in real space gives further insight into the estimator.


title: Tuning perpendicular magnetic anisotropy in the MgO/CoFeB/Ta thin films

abstract: Understanding the magnetic anisotropy at ferromagnetic metal/oxide interface is a fundamental and intriguing subject. Here we propose an approach to manipulate the strength of perpendicular magnetic anisotropy (PMA) by varying MgO thickness in the MgO/CoFeB/Ta thin films. We identify that the PMA at the MgO/CoFeB interface is tuned by the crystalline structure of bulk MgO layer and decreases dramatically due to the onset of crystalline MgO forming with the increase of MgO thickness. Our work opens an avenue to manipulate the magnetic anisotropy by the modification of the ferromagnetic metal/oxide interface.


title: Characterisation of gradient flows on finite state Markov chains

abstract: In his 2011 work, Maas has shown that the law of any time-reversible continuous-time Markov chain with finite state space evolves like a gradient flow of the relative entropy with respect to its stationary distribution. In this work we show the converse to the above by showing that if the relative law of a Markov chain with finite state space evolves like a gradient flow of the relative entropy functional, it must be time-reversible. When we allow general functionals in place of the relative entropy, we show that the law of a Markov chain evolves as gradient flow if and only if the generator of the Markov chain is real diagonalisable. Finally, we discuss what aspects of the functional are uniquely determined by the Markov chain.


title: Graph Spectral Properties of Deterministic Finite Automata

abstract: We prove that a minimal automaton has a minimal adjacency matrix rank and a minimal adjacency matrix nullity using equitable partition (from graph spectra theory) and Nerode partition (from automata theory). This result naturally introduces the notion of matrix rank into a regular language L, the minimal adjacency matrix rank of a deterministic automaton that recognises L. We then define and focus on rank-one languages: the class of languages for which the rank of minimal automaton is one. We also define the expanded canonical automaton of a rank-one language.


title: About some varieties of Leibnitz algebras

abstract: The paper presents two new results concerning the varieties of Leibnitz algebras. In the case of prime characteristic p of the base field constructed example not nilpotent variety of Leibnitz algebras satisfying an Engel condition order p. In the case of zero characteristic obtained new results concerning the space of multilinear elements variety of left nilpotent of the class not more than 3 Leibnitz algebras.


title: How to Securely Compute the Modulo-Two Sum of Binary Sources

abstract: In secure multiparty computation, mutually distrusting users in a network want to collaborate to compute functions of data which is distributed among the users. The users should not learn any additional information about the data of others than what they may infer from their own data and the functions they are computing. Previous works have mostly considered the worst case context (i.e., without assuming any distribution for the data); Lee and Abbe (2014) is a notable exception. Here, we study the average case (i.e., we work with a distribution on the data) where correctness and privacy is only desired asymptotically. For concreteness and simplicity, we consider a secure version of the function computation problem of K\"orner and Marton (1979) where two users observe a doubly symmetric binary source with parameter p and the third user wants to compute the XOR. We show that the amount of communication and randomness resources required depends on the level of correctness desired. When zero-error and perfect privacy are required, the results of Data et al. (2014) show that it can be achieved if and only if a total rate of 1 bit is communicated between every pair of users and private randomness at the rate of 1 is used up. In contrast, we show here that, if we only want the probability of error to vanish asymptotically in block length, it can be achieved by a lower rate (binary entropy of p) for all the links and for private randomness; this also guarantees perfect privacy. We also show that no smaller rates are possible even if privacy is only required asymptotically.


title: General approach to the understanding the electronic structure of graphene on metals

abstract: This manuscript presents the general approach to the understanding of the connection between bonding mechanism and electronic structure of graphene on metals. To demonstrate its validity, two limiting cases of the "weakly" and "strongly" bonded graphene on Al(111) and Ni(111) are considered, where the Dirac cone is preserved or fully destroyed, respectively. Furthermore, the electronic structure, i. e. doping level, hybridization effects, as well as a gap formation at the Dirac point of the intermediate system, graphene/Cu(111), is fully understood in the framework of the proposed approach. This work summarises the long-term debates regarding connection of the bonding strength and the valence band modification in the graphene/metal systems and paves a way for the effective control of the electronic states of graphene in the vicinity of the Fermi level.


title: Breakdown of the generalized Gibbs ensemble for current-generating quenches

abstract: We establish a relation between two hallmarks of integrable systems: the relaxation towards the generalized Gibbs ensemble (GGE) and the dissipationless charge transport. We show that the former one is possible only if the so called Mazur bound on the charge stiffness is saturated by local conserved quantities. As an example we show how a non--GGE steady state with a current can be generated in the one-dimensional model of interacting spinless fermions with a flux quench. Moreover an extended GGE involving the quasi-local conserved quantities can be formulated for this case.


title: On a Hierarchy of Reflection Principles in Peano Arithmetic

abstract: We study reflection principles of Peano Arithmetic PA which are based on both proof and provability. Any such reflection principle in PA is equivalent to either $\Box P\!\rightarrow\! P$ ($\Box P$ stands for `$P$ is provable') or $\Box^k u\!\!:\!\!P\!\rightarrow\! P$ for some $k\geq 0$ ($t:P$ states `$t$ is a proof of $P$'). Reflection principles constitute a non-collapsing hierarchy with respect to their deductive strength $$u\!\!:\!\!P\!\rightarrow\! P\ \ \prec\ \ \Box u\!\!:\!\!P\!\rightarrow\! P\ \ \prec\ \ \Box^2 u\!\!:\!\!P\!\rightarrow\! P \ \ \prec\ \ldots\ \prec\ \ \Box P\!\rightarrow\! P.$$


title: On Logic of Formal Provability and Explicit Proofs

abstract: In 1933, G\"odel considered two modal approaches to describing provability. One captured formal provability and resulted in the logic GL and Solovay's Completeness Theorem. The other was based on the modal logic S4 and led to Artemov's Logic of Proofs LP. In this paper, we study introduced by the author logic GLA, which is a fusion of GL and LP in the union of their languages. GLA is supplied with a Kripke-style semantics and the corresponding completeness theorem. Soundness and completeness of GLA with respect to the arithmetical provability semantics is established.


title: Intervals of Permutations with a Fixed Number of Descents are Shellable

abstract: The set of all permutations, ordered by pattern containment, is a poset. We present an order isomorphism from the poset of permutations with a fixed number of descents to a certain poset of words with subword order. We use this bijection to show that intervals of permutations with a fixed number of descents are shellable, and we present a formula for the M\"obius function of these intervals. We present an alternative proof for a result on the M\"obius function of intervals $[1,\pi]$ such that $\pi$ has exactly one descent. We prove that if $\pi$ has exactly one descent and avoids 456123 and 356124, then the intervals $[1,\pi]$ have no nontrivial disconnected subintervals; we conjecture that these intervals are shellable.


title: Molecular dynamics study of the stability of a carbon nanotube atop a catalytic nanoparticle

abstract: The stability of a single-walled carbon nanotube placed on top of a catalytic nickel nanoparticle is investigated by means of molecular dynamics simulations. As a case study, we consider the $(12,0)$ nanotube consisting of 720 carbon atoms and the icosahedral Ni$_{309}$ cluster. An explicit set of constant-temperature simulations is performed in order to cover a broad temperature range from 400 to 1200 K, at which a successful growth of carbon nanotubes has been achieved experimentally by means of chemical vapor deposition. The stability of the system depending on parameters of the involved interatomic interactions is analyzed. It is demonstrated that different scenarios of the nanotube dynamics atop the nanoparticle are possible depending on the parameters of the Ni-C potential. When the interaction is weak the nanotube is stable and resembles its highly symmetric structure, while an increase of the interaction energy leads to the abrupt collapse of the nanotube in the initial stage of simulation. In order to validate the parameters of the Ni-C interaction utilized in the simulations, DFT calculations of the potential energy surface for carbon-nickel compounds are performed. The calculated dissociation energy of the Ni-C bond is in good agreement with the values, which correspond to the case of a stable and not deformed nanotube simulated within the MD approach.


title: $\alpha$-divergence derived as the generalized rate function in a power-law system

abstract: The generalized binomial distribution in Tsallis statistics (power-law system) is explicitly formulated from the precise $q$-Stirling's formula. The $\alpha $-divergence (or $q$-divergence) is uniquely derived from the generalized binomial distribution in the sense that when $\alpha\rightarrow-1$ (i.e., $q\rightarrow1$) it recovers KL divergence obtained from the standard binomial distribution. Based on these combinatorial considerations, it is shown that $\alpha$-divergence (or $q$-divergence) is appeared as the generalized rate function in the large deviation estimate in Tsallis statistics.


title: Mitigation of inter-channel nonlinear interference in WDM systems

abstract: We demonstrate mitigation of inter-channel nonlinear interference noise (NLIN) in WDM systems for several amplification schemes. Using a practical decision directed recursive least-squares algorithm, we take advantage of the temporal correlations of NLIN to achieve a notable improvement in system performance.


title: Towards an Efficient Prolog System by Code Introspection

abstract: To appear in Theory and Practice of Logic Programming (TPLP). Several Prolog interpreters are based on the Warren Abstract Machine (WAM), an elegant model to compile Prolog programs. In order to improve the performance several strategies have been proposed, such as: optimize the selection of clauses, specialize the unification, global analysis, native code generation and tabling. This paper proposes a different strategy to implement an efficient Prolog System, the creation of specialized emulators on the fly. The proposed strategy was implemented and evaluated at YAP Prolog System, and the experimental evaluation showed interesting results.