title: Transport Equations for Subdiffusion with Nonlinear Particle Interaction

abstract: We show how the nonlinear interaction effects `volume filling' and `adhesion' can be incorporated into the fractional subdiffusive transport of cells and individual organisms. To this end, we use microscopic random walk models with anomalous trapping and systematically derive generic non-Markovian and nonlinear governing equations for the mean concentrations of the subdiffusive cells or organisms. We uncover an interesting interaction between the nonlinearities and the non-Markovian nature of the transport. In the subdiffusive case, this interaction manifests itself in a nontrivial combination of nonlinear terms with fractional derivatives. In the long time limit, however, these equations simplify to a form without fractional operators. This provides an easy method for the study of aggregation phenomena. In particular, this enables us to show that volume filling can prevent "anomalous aggregation," which occurs in subdiffusive systems with a spatially varying anomalous exponent.


title: A characterization of Gorenstein toric Fano $n$-folds with index $n$ and Fujita's conjecture

abstract: We give a characterization of Gorenstein toric Fano varieties of dimension $n$ with index $n$ among toric varieties. As an application, we give a strong version of Fujita's freeness conjecture and also give a simple proof of Fujita's very ampleness conjecture on Gorenstein toric varieties.


title: Proximal Iteratively Reweighted Algorithm with Multiple Splitting for Nonconvex Sparsity Optimization

abstract: This paper proposes the Proximal Iteratively REweighted (PIRE) algorithm for solving a general problem, which involves a large body of nonconvex sparse and structured sparse related problems. Comparing with previous iterative solvers for nonconvex sparse problem, PIRE is much more general and efficient. The computational cost of PIRE in each iteration is usually as low as the state-of-the-art convex solvers. We further propose the PIRE algorithm with Parallel Splitting (PIRE-PS) and PIRE algorithm with Alternative Updating (PIRE-AU) to handle the multi-variable problems. In theory, we prove that our proposed methods converge and any limit solution is a stationary point. Extensive experiments on both synthesis and real data sets demonstrate that our methods achieve comparative learning performance, but are much more efficient, by comparing with previous nonconvex solvers.


title: Self-consistent linear response for the spin-orbit interaction related properties

abstract: In many cases, the relativistic spin-orbit (SO) interaction is regarded to be small and can be treated using perturbation theory. The major obstacle on this route comes from the fact that the SO interaction can also polarize the electron system and produce additional contributions to the perturbation theory, arising from the electron-electron interactions. In electronic structure calculations, it may even lead to necessity to abandon the perturbation theory and return to the self-consistently solution of Kohn-Sham-like equations with the effective potential $\hat{v}$, incorporating the effects of the electron-electron interactions and the SO coupling, even though the latter is small. In this work, we present the theory of self-consistent linear response (SCLR), which allows us to get rid of numerical self-consistency and formulate it analytically in the first order of the SO coupling. This strategy is applied to the Hartree-Fock solution of the effective Hubbard model, derived from electronic structure calculations in the Wannier basis. By using $\hat{v}$, obtained from SCLR, one can successfully reproduce results of ordinary calculations for the orbital magnetization and other properties in the first order of the SO coupling. Particularly, SCLR appears to be extremely useful for calculations of antisymmetric Dzyaloshinskii-Moriya (DM) interactions based on the magnetic force theorem. Furthermore, due to the powerful 2n+1 theorem, the SCLR theory allows us to calculate the magnetic anisotropy energy up to the third order of the SO coupling. The fruitfulness of this approach is illustrated on a number of example, including the spin canting in YTiO$_3$ and LaMnO$_3$, formation of spiral magnetic order in BiFeO$_3$, and the magnetic inversion symmetry breaking in BiMnO$_3$, which gives rise to both ferroelectric activity and DM interactions, responsible for the ferromagnetism.


title: Iron and neutron-capture element abundance variations in the globular cluster M2 (NGC 7089)

abstract: We present CN and CH indices and CaII triplet metallicities for 34 giant stars and chemical abundances for 33 elements in 14 giants in the globular cluster M2. Assuming the program stars are cluster members, our analysis reveals (i) an extreme variation in CN and CH line strengths, (ii) a metallicity dispersion with a dominant peak at [Fe/H] = -1.7 and smaller peaks at -1.5 and -1.0, (iii) star-to-star abundance variations and correlations for the light elements O, Na, Al and Si and (iv) a large (and possibly bimodal) distribution in the abundances of all elements produced mainly via the s-process in solar system material. Following Roederer et al. (2011), we define two groups of stars, "r+s" and "r-only", and subtract the average abundances of the latter from the former group to obtain a "s-process residual". This s-process residual is remarkably similar to that found in M22 and in M4 despite the range in metallicity covered by these three systems. With recent studies identifying a double subgiant branch in M2 and a dispersion in Sr and Ba abundances, our spectroscopic analysis confirms that this globular cluster has experienced a complex formation history with similarities to M22, NGC 1851 and omega Centauri.


title: Field-angle-dependent low-energy excitations around a vortex in the superconducting topological insulator CuxBi2Se3

abstract: We study the quasiparticle excitations around a single vortex in the superconducting topological insulator Cu$_{x}$Bi$_{2}$Se$_{3}$, focusing on a superconducting state with point nodes. Inspired by the recent Knight shift measurements, we propose two ways to detect the positions of point nodes, using an explicit formula of the density of states with Kramer-Pesch approximation in the quasiclassical treatment. The zero-energy local density of states around a vortex parallel to the $c$-axis has a twofold shape and splits along the nodal direction with increasing energy; these behaviors can be detected by the scanning tunneling microscopy. An angular dependence of the density of states with a rotating magnetic field on the $a$-$b$ plane has deep minima when the magnetic field is parallel to the directions of point nodes, which can be detected by angular-resolved heat capacity and thermal conductivity measurements. All the theoretical predictions are detectable via standard experimental techniques in magnetic fields.


title: On the log quantile difference of the temporal aggregation of a stable moving average process

abstract: A formula is derived for the log quantile difference of the temporal aggregation of some types of stable moving average processes, MA(q). The shape of the log quantile difference as a function of the aggregation level is examined and shown to be dependent on the parameters of the moving average process but not the quantile levels. The classes of invertible, stable MA(1) and MA(2) processes are examined in more detail.


title: Conditional Density Estimation with Dimensionality Reduction via Squared-Loss Conditional Entropy Minimization

abstract: Regression aims at estimating the conditional mean of output given input. However, regression is not informative enough if the conditional density is multimodal, heteroscedastic, and asymmetric. In such a case, estimating the conditional density itself is preferable, but conditional density estimation (CDE) is challenging in high-dimensional space. A naive approach to coping with high-dimensionality is to first perform dimensionality reduction (DR) and then execute CDE. However, such a two-step process does not perform well in practice because the error incurred in the first DR step can be magnified in the second CDE step. In this paper, we propose a novel single-shot procedure that performs CDE and DR simultaneously in an integrated way. Our key idea is to formulate DR as the problem of minimizing a squared-loss variant of conditional entropy, and this is solved via CDE. Thus, an additional CDE step is not needed after DR. We demonstrate the usefulness of the proposed method through extensive experiments on various datasets including humanoid robot transition and computer art.


title: The $R_\infty$ property for crystallographic group of Sol

abstract: There are 9 kinds of crystallographic groups $\Pi$ of Sol. For any automorphism $\varphi$ on $\Pi$, we study the Reidemeister number $R(\varphi)$. Using the averaging formula for the Reidemeister numbers, we prove that most of the crystallographic groups of Sol have the $R_\infty$ property.


title: DualTable: A Hybrid Storage Model for Update Optimization in Hive

abstract: Hive is the most mature and prevalent data warehouse tool providing SQL-like interface in the Hadoop ecosystem. It is successfully used in many Internet companies and shows its value for big data processing in traditional industries. However, enterprise big data processing systems as in Smart Grid applications usually require complicated business logics and involve many data manipulation operations like updates and deletes. Hive cannot offer sufficient support for these while preserving high query performance. Hive using the Hadoop Distributed File System (HDFS) for storage cannot implement data manipulation efficiently and Hive on HBase suffers from poor query performance even though it can support faster data manipulation.There is a project based on Hive issue Hive-5317 to support update operations, but it has not been finished in Hive's latest version. Since this ACID compliant extension adopts same data storage format on HDFS, the update performance problem is not solved. In this paper, we propose a hybrid storage model called DualTable, which combines the efficient streaming reads of HDFS and the random write capability of HBase. Hive on DualTable provides better data manipulation support and preserves query performance at the same time. Experiments on a TPC-H data set and on a real smart grid data set show that Hive on DualTable is up to 10 times faster than Hive when executing update and delete operations.


title: Quantization of the shift of argument subalgebras in type A

abstract: Given a simple Lie algebra $\mathfrak{g}$ and an element $\mu\in\mathfrak{g}^*$, the corresponding shift of argument subalgebra of $\text{S}(\mathfrak{g})$ is Poisson commutative. In the case where $\mu$ is regular, this subalgebra is known to admit a quantization, that is, it can be lifted to a commutative subalgebra of $\text{U}(\mathfrak{g})$. We show that if $\mathfrak{g}$ is of type $A$, then this property extends to arbitrary $\mu$, thus proving a conjecture of Feigin, Frenkel and Toledano Laredo. The proof relies on an explicit construction of generators of the center of the affine vertex algebra at the critical level.


title: Measurement of longitudinal spin asymmetries for weak boson production in polarized proton-proton collisions at RHIC

abstract: We report measurements of single- and double- spin asymmetries for $W^{\pm}$ and $Z/\gamma^*$ boson production in longitudinally polarized $p+p$ collisions at $\sqrt{s} = 510$ GeV by the STAR experiment at RHIC. The asymmetries for $W^{\pm}$ were measured as a function of the decay lepton pseudorapidity, which provides a theoretically clean probe of the proton's polarized quark distributions at the scale of the $W$ mass. The results are compared to theoretical predictions, constrained by recent polarized deep inelastic scattering measurements, and show a preference for a sizable, positive up antiquark polarization in the range $0.05<x<0.2$.


title: Improving Blind Source Separation Performance By Adaptive Array Geometries For Humanoid Robots

abstract: In this paper, the concept of an adaptation algorithm is proposed, which can be used to blindly adapt the microphone array geometry of a humanoid robot such that the performance of the underlying signal separation algorithm is improved. As a decisive feature, an online performance measure for blind source separation is introduced which allows a robust and reliable estimation of the instantaneous separation performance based on currently observable data. Experimental results from a simulated environment confirm the efficacy of the concept.


title: Short Baseline Neutrino Oscillation Experiments

abstract: Series of short baseline neutrino oscillation experiments provided unexpected results, and now they are called short baseline anomalies, and all indicates an existence of sterile neutrinos with a mass scale around 1~eV. The signals of short baseline anomalies are reported from 4 different classes of experiments. However, at this moment, there is no convincing theoretical model to explain such sterile neutrinos, and a single experiment to confirm 1~eV sterile neutrinos may be challenging. In this short note, we describe classes of short baseline neutrino oscillation experiments and their goals.


title: Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation

abstract: Argumentation is one of the most popular approaches of defining a~non-monotonic formalism and several argumentation based semantics were proposed for defeasible logic programs. Recently, a new approach based on notions of conflict resolutions was proposed, however with declarative semantics only. This paper gives a more procedural counterpart by developing skeptical and credulous argument games for complete semantics and soundness and completeness theorems for both games are provided. After that, distribution of defeasible logic program into several contexts is investigated and both argument games are adapted for multi-context system.


title: Polynomial maps on vector spaces over a finite field

abstract: Let $l$ be a finite field of cardinality $q$ and let $n$ be in $\mathbb{Z}_{\geq 1}$. Let $f_1,\ldots,f_n \in l[x_1,\ldots,x_n]$ not all constant and consider the evaluation map $f=(f_1,\ldots,f_n) \colon l^n \to l^n$. Set $\mathrm{deg}(f)=\max_i \mathrm{deg}(f_i)$. Assume that $l^n \setminus f(l^n)$ is not empty. We will prove \begin{align*} |l^n\setminus f(l^n)| \geq \frac{n(q-1)}{\mathrm{deg}(f)}. \end{align*} This improves previous known bounds.


title: Experimental Heat-Bath Cooling of Spins

abstract: Algorithmic cooling (AC) is a method to purify quantum systems, such as ensembles of nuclear spins, or cold atoms in an optical lattice. When applied to spins, AC produces ensembles of highly polarized spins, which enhance the signal strength in nuclear magnetic resonance (NMR). According to this cooling approach, spin-half nuclei in a constant magnetic field are considered as bits, or more precisely, quantum bits, in a known probability distribution. Algorithmic steps on these bits are then translated into specially designed NMR pulse sequences using common NMR quantum computation tools. The $algorithmic$ cooling of spins is achieved by alternately combining reversible, entropy-preserving manipulations (borrowed from data compression algorithms) with $selective$ $reset$, the transfer of entropy from selected spins to the environment. In theory, applying algorithmic cooling to sufficiently large spin systems may produce polarizations far beyond the limits due to conservation of Shannon entropy. Here, only selective reset steps are performed, hence we prefer to call this process "heat-bath" cooling, rather than algorithmic cooling. We experimentally implement here two consecutive steps of selective reset that transfer entropy from two selected spins to the environment. We performed such cooling experiments with commercially-available labeled molecules, on standard liquid-state NMR spectrometers. Our experiments yielded polarizations that $bypass$ $Shannon's$ $entropy$-$conservation$ $bound$, so that the entire spin-system was cooled. This paper was initially submitted in 2005, first to Science and then to PNAS, and includes additional results from subsequent years (e.g. for resubmission in 2007). The Postscriptum includes more details.


title: Subalgebras of the Z/2-equivariant Steenrod algebra

abstract: The aim of this paper is to study sub-algebras of the $\mathbb{Z}/2$-equivariant Steenrod algebra (for cohomology with coefficients in the constant Mackey functor $\mathbb{F}_2$) which come from quotient Hopf algebroids of the $\mathbb{Z}/2$-equivariant dual Steenrod algebra. In particular, we study the equivariant counterpart of profile functions, exhibit the equivariant analogues of the classical $\mathcal{A}(n)$ and $\mathcal{E}(n)$ and show that the Steenrod algebra is free as a module over these.


title: Measurement of hadronic cross sections at BABAR with ISR and implications for the muon (g-2)

abstract: The ISR method has been largely exploited by the BABAR experiment, for measuring numerous channels of the cross section e+e- into hadrons. For the pi+pi-(gamma) and K+K-(gamma) channels, BABAR has pioneered the method based on the ratio between the hadronic mass spectra and the mu+mu-(gamma) one. This method allows to cancel many systematic uncertainties in the ratio, hence the precise measured cross sections. Many multihadronic channels have also been studied using the ISR method, and cross sections have been published. These experimental results have also been exploited for phenomenological studies, like the determination of the hadronic contribution to the anomalous magnetic moment of the muon (g-2)_mu.


title: Geometric chained inequalities for higher-dimensional systems

abstract: For systems of an arbitrary dimension, a theory of geometric chained Bell inequalities is presented. The approach is based on chained inequalities derived by Pykacz and Santos. For maximally entangled states the inequalities lead to a complete $0=1$ contradiction with quantum predictions. Local realism suggests that the probability for the two observes to have identical results is $1$ (that is a perfect correlation is predicted), whereas quantum formalism gives an opposite prediction: the local results always differ. This is so for any dimension. We also show that with the inequalities, one can have a version of Bell's theorem which involves only correlations arbitrarily close to perfect ones.


title: Mega parsec relativistic jets launched from an accreting supermassive blackhole in an extreme spiral galaxy

abstract: Radio galaxy phenomenon is directly connected to mass accreting, spinning supermassive black holes found in the active galactic nuclei (AGN). It is still unclear how the collimated jets of relativistic plasma on hundreds to thousands of kpc scale form, and why nearly always they are launched from the nuclei of bulge dominated elliptical galaxies and not flat spirals. Here we present the discovery of giant radio source J2345-0449 (z=0.0755), a clear and extremely rare counter example where relativistic jets are ejected from a luminous and massive spiral galaxy on scale of ~1.6 Mpc, the largest known so far. Extreme physical properties observed for this bulgeless spiral host, such as its high optical and infra-red luminosity, large dynamical mass, rapid disk rotation, and episodic jet activity are possibly the results of its unusual formation history, which has also assembled, via gas accretion from a disk, its central black hole of mass >2 x 10^8 M_sun. The very high mid-IR luminosity of the galaxy suggests that it is actively forming stars and still building a massive disk. We argue that the launch of these powerful jets is facilitated by an advection dominated, magnetized accretion flow at low Eddington rate onto this unusually massive (for a bulgeless disk galaxy) and possibly fast-spinning central black hole. Therefore, J2345-0449 is an extremely rare, unusual galactic system whose properties challenge the standard paradigms for black hole growth and formation of relativistic jets in disk galaxies. Thus, it provides fundamental insight into accretion disk -- relativistic jet coupling processes.


title: Analysis of d-Hop Dominating Set Problem for Directed Graph with Indegree Bounded by One

abstract: Efficient communication between nodes in ad-hoc networks can be established through repeated cluster formations with designated \textit{cluster-heads}. In this context minimum d-hop dominating set problem was introduced for cluster formation in ad-hoc networks and is proved to be NP-complete. Hence, an exact solution to this problem for certain subclass of graphs (representing an ad-hoc network) can be beneficial. In this short paper we perform computational complexity analysis of minimum d-hop dominating set problem for directed graphs with in-degree bounded by $1$. The optimum solution of the problem can be found polynomially by exploiting certain properties of the graph under consideration. For a digraph $G_{D}=(V_D,E_D)$ an $\mathcal{O}(|V_D|^2)$ solution is provided to the problem.


title: Resource Cost Results for Entanglement Distillation and State Merging under Source Uncertainties

abstract: We introduce one-way LOCC protocols for quantum state merging for compound sources, which have asymptotically optimal entanglement as well as classical communication resource costs. For the arbitrarily varying quantum source (AVQS) model, we determine the one-way entanglement distillation capacity, where we utilize the robustification and elimination techniques, well-known from classical as well as quantum channel coding under assumption of arbitrarily varying noise. Investigating quantum state merging for AVQS, we demonstrate by example, that the usual robustification procedure leads to suboptimal resource costs in this case.


title: Cyclic branched covers of alternating knots and $L$-spaces

abstract: For any alternating knot, it is known that the double branched cover of the $3$-sphere branched over the knot is an $L$-space. We show that the three-fold cyclic branched cover is also an $L$-space for any genus one alternating knot.


title: A Model of BPS Black Holes in a Discrete Space

abstract: We examine a model of BPS black holes lying on a discrete extra space. The geometry is obtained from the discretization of the harmonic equation. We study the scattering amplitudes of two types of scalar fields, which correspond to fields in a bulk and on a brane. We conclude that the two types of scattering can be distinguished in the region of large transfer momentum.


title: On the spine-layer scenario for the very high-energy emission of NGC 1275

abstract: We discuss the $\gamma$-ray emission of the radiogalaxy NGC 1275 (the central galaxy of the Perseus Cluster), detected by Fermi-LAT and MAGIC, in the framework of the "spine-layer" scenario, in which the jet is assumed to be characterized by a velocity structure, with a fast spine surrounded by a slower layer. The existence of such a structure in the parsec scale jet of NGC 1275 has been recently proved through VLBI observations. We discuss the constraints that the observed spectral energy distribution imposes to the parameters and we present three alternative models, corresponding to three different choices of the angles between the jet and the line of sight ($\theta_{\rm v}=6^{\circ}, 18^{\circ}$ and 25$^{\circ}$). While for the the case with $\theta_{\rm v}=6^{\circ}$ we obtain an excellent fit, we consider this solution unlikely, since such small angles seems to be excluded by radio observations of the large-scale jet. For $\theta_{\rm v}=25^{\circ}$ the required large intrinsic luminosity of the soft (IR--optical) component of the spine determines a large optical depth for $\gamma$-rays through the pair production scattering $\gamma \gamma\rightarrow e^+ e^-$, implying a narrow cut--off at $\sim50$~GeV. We conclude that intermediate angles are required. In this case the low frequency and the high--energy emissions are produced by two separate regions and, in principle, a full variety of correlations is expected. The correlation observed between the optical and the $\gamma$-ray flux, close to linearity, is likely linked to variations of the emissivity of the spine.


title: Roles of chiral three-nucleon forces in nucleon-nucleus scattering

abstract: We investigate the roles of chiral three-nucleon force (3NF) in nucleon-nucleus elastic scattering, using the standard framework based on the Brueckner-Hartree-Fock method for nuclear matter and the $g$-matrix folding model for the nucleon-nucleus scattering. In nuclear matter, chiral 3NF at NNLO level (mainly the 2$\pi$-exchange diagram) makes the single particle potential less attractive for the singlet-even channel and more absorptive for the triplet channels. The single-particle potential calculated from chiral two-nucleon force (2NF) at N$^{3}$LO level is found to be close to that from Bonn-B 2NF. The Melbourne $g$-matrix interaction is a practical effective interaction constructed by localizing the $g$-matrices calculated from Bonn-B 2NF. We then introduce the chiral-3NF effects to the local Melbourne $g$-matrix interaction. For nucleon-nucleus elastic scattering on various targets at 65 MeV, chiral 3NF makes the folding potential less attractive and more absorptive. The novel property for the imaginary part is originated in the enhancement of tensor correlations due to chiral 3NF. The two effects are small for differential cross sections and vector analyzing powers at the forward and middle angles where the experimental data are available. If backward measurements are done, the data will reveal the effects of chiral 3NF.


title: Langevin Equation on Fractal Curves

abstract: We analyse a random motion of a particle on a fractal curve, using Langevin approach. This involves defining a new velocity in terms of mass of the fractal curve, as defined in recent work. The geometry of the fractal curve, hence plays an important role in this analysis. A Langevin equation with a particular noise model is thus proposed and solved using techniques of the newly developed $F^\alpha$-Calculus .


title: Reply to Reply and Further Analysis of paper "New probing techniques of radiative shocks" (C. Stehle et al, Opt.Comm. 285, 64 (2012))

abstract: We show in this paper that the "reply to comment" by Chantal Stehl\'e et al was not satisfactorily and is contradictory to their latest results. The analysis of the published results of their last campaign reveals an average shock velocity below 20 km/s which should not be compatible with the existence of a radiative precursor. Furthermore, XUV probing is sensitive to density more than to temperature and is not suited to probe a radiative precursor, which is a pure temperature wave. These results also suggest exploding back layers of the pusher and some jet originating from a crater at the back of the pusher.


title: Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding

abstract: Quantum zero-knowledge proofs and quantum proofs of knowledge are inherently difficult to analyze because their security analysis uses rewinding. Certain cases of quantum rewinding are handled by the results by Watrous (SIAM J Comput, 2009) and Unruh (Eurocrypt 2012), yet in general the problem remains elusive. We show that this is not only due to a lack of proof techniques: relative to an oracle, we show that classically secure proofs and proofs of knowledge are insecure in the quantum setting. More specifically, sigma-protocols, the Fiat-Shamir construction, and Fischlin's proof system are quantum insecure under assumptions that are sufficient for classical security. Additionally, we show that for similar reasons, computationally binding commitments provide almost no security guarantees in a quantum setting. To show these results, we develop the "pick-one trick", a general technique that allows an adversary to find one value satisfying a given predicate, but not two.


title: Electronic and optical properties of graphene antidot lattices: Comparison of Dirac and tight-binding models

abstract: The electronic properties of graphene may be changed from semimetallic to semiconducting by introducing perforations (antidots) in a periodic pattern. The properties of such graphene antidot lattices (GALs) have previously been studied using atomistic models, which are very time consuming for large structures. We present a continuum model that uses the Dirac equation (DE) to describe the electronic and optical properties of GALs. The advantages of the Dirac model are that the calculation time does not depend on the size of the structures and that the results are scalable. In addition, an approximation of the band gap using the DE is presented. The Dirac model is compared with nearest-neighbour tight-binding (TB) in order to assess its accuracy. Extended zigzag regions give rise to localized edge states, whereas armchair edges do not. We find that the Dirac model is in quantitative agreement with TB for GALs without edge states, but deviates for antidots with large zigzag regions.


title: On the stability of the index of unbounded nonlocal operators in Sobolev spaces

abstract: Unbounded operators corresponding to nonlocal elliptic problems on a bounded region $G\subset\mathbb R^2$ are considered. The domain of these operators consists of functions from the Sobolev space $W_2^m(G)$ being generalized solutions of the corresponding $2m$-order elliptic equation with right-hand side from $L_2(G)$ and satisfying homogeneous nonlocal boundary conditions. It is known that such unbounded operators have the Fredholm property. It is proved in the paper that low-order terms in the differential equation do not affect the index of the operator. Conditions under which nonlocal perturbations on the boundary do not change the index are also formulated.


title: Perturbation theory of observable linear systems

abstract: The present work is motivated by the asymptotic control theory for a system of linear oscillators: the problem is to design a common bounded scalar control for damping all oscillators in asymptotically minimal time. The motion of the system is described in terms of a canonical system similar to that of the Pontryagin maximum principle. We consider the evolution equation for adjoint variables as a perturbed observable linear system. Due to the perturbation, the unobservable part of the state trajectory cannot be recovered exactly. We estimate the recovering error via the $L_1$-norm of perturbation. This allows us to prove that the control makes the system approach the equilibrium state with a strictly positive speed.


title: Multiple Phase Transitions in Extended Hard Core Lattice Gas Models in Two Dimensions

abstract: We study the $k$-NN hard core lattice gas model in which the first $k$ next nearest neighbor sites of a particle are excluded from occupation by other particles on a two dimensional square lattice. This model is the lattice version of the hard disc system with increasing $k$ corresponding to decreasing lattice spacing. While the hard disc system is known to undergo a two step freezing process with increasing density, the lattice model has been known to show only one transition. Here, based on Monte Carlo simulations and high density expansions of the free energy and density, we argue that for $k=4,10,11,14...$, the lattice model undergoes multiple transitions with increasing density. Using Monte Carlo simulations, we confirm the same for $k=4,\ldots, 11$. This, in turn, resolves an existing puzzle as to why the 4-NN model has a continuous transition against the expectation of a first order transition.


title: On the Fredholm and unique solvability of nonlocal elliptic problems in multidimensional domains

abstract: We consider elliptic equations of order $2m$ in a bounded domain $Q\subset\mathbb R^n$ with nonlocal boundary-value conditions connecting the values of a solution and its derivatives on $(n-1)$-dimensional smooth manifolds $\Gamma_i$ with the values on manifolds $\omega_{i}(\Gamma_i)$, where $\bigcup_i\overline{\Gamma_i}=\partial Q$ is a boundary of $Q$ and $\omega_i$ are $C^\infty$ diffeomorphisms. By proving a priori estimates for solutions and constructing a right regularizer, we show the Fredholm solvability in weighted space. For nonlocal elliptic problems with a parameter, we prove the unique solvability.


title: Skyrmion and helical states in thin layers of magnets and liquid crystals

abstract: Novel types of barrel-shaped chiral skyrmions can exist as isolated topological defects or as bound states in magnetic nanolayers with intrinsic and surface/interface induced chirality. The equilibrium parameters of chiral modulations calculated as functions of applied fields, layer thicknesses, and values of surface and volume uniaxial anisotropies allow to find optimal parameters for skyrmionic states in magnetic nanolayers. Our findings also show that in cholesteric cells with homeotropic anchoring smooth skyrmionic textures can be induced as an intriguing alternative to common disclination penetrated patterns.


title: Electrical charging of ash in Icelandic volcanic plumes

abstract: The existence of volcanic lightning and alteration of the atmospheric potential gradient in the vicinity of near-vent volcanic plumes provides strong evidence for the charging of volcanic ash. More subtle electrical effects are also visible in balloon soundings of distal volcanic plumes. Near the vent, some proposed charging mechanisms are fractoemission, triboelectrification, and the so-called "dirty thunderstorm" mechanism, which is where ash and convective clouds interact electrically to enhance charging. Distant from the vent, a self-charging mechanism, probably triboelectrification, has been suggested to explain the sustained low levels of charge observed on a distal plume. Recent research by Houghton et al. (2013) linked the self-charging of volcanic ash to the properties of the particle size distribution, observing that a highly polydisperse ash distribution would charge more effectively than a monodisperse one. Natural radioactivity in some volcanic ash could also contribute to self-charging of volcanic plumes. Here we present laboratory measurements of particle size distributions, triboelectrification and radioactivity in ash samples from the Gr\'{i}msv\"{o}tn and Eyjafjallaj\"{o}kull volcanic eruptions in 2011 and 2010 respectively, and discuss the implications of our findings.


title: Helmholtz Fermi Surface Harmonics: an efficient approach for treating anisotropic problems involving Fermi surface integrals

abstract: We present a new efficient numerical approach for representing anisotropic physical quantities and/or matrix elements defined on the Fermi surface of metallic materials. The method introduces a set of numerically calculated generalized orthonormal functions which are the solutions of the Helmholtz equation defined on the Fermi surface. Noteworthy, many properties of our proposed basis set are also shared by the Fermi Surface Harmonics (FSH) introduced by Philip B. Allen [Physical Review B 13, 1416 (1976)], proposed to be constructed as polynomials of the cartesian components of the electronic velocity. The main motivation of both approaches is identical, to handle anisotropic problems efficiently. However, in our approach the basis set is defined as the eigenfunctions of a differential operator and several desirable properties are introduced by construction. The method demonstrates very robust in handling problems with any crystal structure or topology of the Fermi surface, and the periodicity of the reciprocal space is treated as a boundary condition for our Helmholtz equation. We illustrate the method by analysing the free-electron-like Lithium (Li), Sodium (Na), Copper (Cu), Lead(Pb), Tungsten (W) and Magnesium diboride (MgB2).


title: Surface tensor estimation from linear sections

abstract: From Crofton's formula for Minkowski tensors we derive stereological estimators of translation invariant surface tensors of convex bodies in the n-dimensional Euclidean space. The estimators are based on one-dimensional linear sections. In a design based setting we suggest three types of estimators. These are based on isotropic uniform random lines, vertical sections, and non-isotropic random lines, respectively. Further, we derive estimators of the specific surface tensors associated with a stationary process of convex particles in the model based setting.


title: Cosmic-Lab: Chemical and kinematical properties of Blue Straggler stars in Galactic Globular Clusters

abstract: Blue straggler stars (BSSs) are brighter and bluer than the main-sequence (MS) turnoff and more massive than MS stars.Two scenarios for their formation have been proposed: collision-induced stellar mergers (COL-BSSs),or mass-transfer in binary systems (MT-BSSs).Depleted surface abundances of C and O are expected for MT-BSSs,whereas no chemical anomalies are predicted for COL-BSSs. Both MT and COL-BSSs should rotate fast,but braking mechanisms may intervene with efficiencies and time-scales unknown,thus preventing a clear prediction of the expected rotational velocities. In this context,an extensive survey is ongoing by using FLAMES@VLT, with the aim to obtain abundance patterns and rotational velocities for representative samples of BSSs in Galactic GCs.A sub-population of CO-depleted BSSs has been identified in 47 Tuc,with only one fast rotating star detected (Ferraro et al.2006). For this PhD Thesis work I analyzed FLAMES spectra of more than 130 BSSs in 4 GCs:M4,NGC 6397,M30 and {\omega}Centauri.This is the largest BSS sample spectroscopically investigated so far.Hints of CO-depletion have been observed in only 4-5 cases (in M30 and {\omega}Centauri),suggesting either that the majority of BSSs have a collisional origin, or that CO- depletion is a transient phenomenon.Unfortunately,no conclusions in terms of formation mechanism could be drawn in a large number of cases,because of the effects of radiative levitation.Remarkably,this is the first time that evidence of radiative levitation is found in BSSs hotter than 8200 K.Finally,we also discovered the largest fractions of fast rotating BSSs ever observed in any GCs:40% in M4 and 30% in {\omega}Centauri. While not solving the problem of BSS formation,these results provide invaluable information about the BSS physical properties,which is crucial to build realistic models of their evolution.


title: Establishing some order amongst exact approximations of MCMCs

abstract: Exact approximations of Markov chain Monte Carlo (MCMC) algorithms are a general emerging class of sampling algorithms. One of the main ideas behind exact approximations consists of replacing intractable quantities required to run standard MCMC algorithms, such as the target probability density in a Metropolis-Hastings algorithm, with estimators. Perhaps surprisingly, such approximations lead to powerful algorithms which are exact in the sense that they are guaranteed to have correct limiting distributions. In this paper we discover a general framework which allows one to compare, or order, performance measures of two implementations of such algorithms. In particular, we establish an order with respect to the mean acceptance probability, the first autocorrelation coefficient, the asymptotic variance and the right spectral gap. The key notion to guarantee the ordering is that of the convex order between estimators used to implement the algorithms. We believe that our convex order condition is close to optimal, and this is supported by a counter-example which shows that a weaker variance order is not sufficient. The convex order plays a central role by allowing us to construct a martingale coupling which enables the comparison of performance measures of Markov chain with differing invariant distributions, contrary to existing results. We detail applications of our result by identifying extremal distributions within given classes of approximations, by showing that averaging replicas improves performance in a monotonic fashion and that stratification is guaranteed to improve performance for the standard implementation of the Approximate Bayesian Computation (ABC) MCMC method.


title: Inverse fixed energy scattering problem for the two-dimensional nonlinear Schroedinger operator

abstract: This work studies the direct and inverse fixed energy scattering problem for two-dimensional Schroedinger equation with rather general nonlinear index of refraction. In particular, using the Born approximation we prove that all singularities of the unknown compactly supported potential from $L^2$-space can be obtained uniquely by the scattering data with fixed positive energy. The proof is based on the new estimates for the Faddeev-Green's function in $L^\infty$-space.


title: Strong invariance and noise-comparison principles for some parabolic stochastic PDEs

abstract: We consider a system of interacting diffusions on the integer lattice. By letting the mesh size go to zero and by using a suitable scaling, we show that the system converges (in a strong sense) to a solution of the stochastic heat equation on the real line. As a consequence, we obtain comparison inequalities for product moments of the stochastic heat equation with different nonlinearities.


title: Quantum Error Correction with magnetic molecules

abstract: Quantum algorithms often assume independent spin qubits to produce trivial $|\uparrow\rangle=|0\rangle$, $|\downarrow\rangle=|1\rangle$ mappings. This can be unrealistic in many solid-state implementations with sizeable magnetic interactions. Here we show that the lower part of the spectrum of a molecule containing three exchange-coupled metal ions with $S=1/2$ and $I=1/2$ is equivalent to nine electron-nuclear qubits. We derive the relation between spin states and qubit states in reasonable parameter ranges for the rare earth $^{159}$Tb$^{3+}$ and for the transition metal Cu$^{2+}$, and study the possibility to implement Shor's Quantum Error Correction code on such a molecule. We also discuss recently developed molecular systems that could be adequate from an experimental point of view.


title: On the geography and botany of knot Floer homology

abstract: This note explores two questions: (1) Which bigraded groups arise as the knot Floer homology of a knot in the three-sphere? (2) Given a knot, how many distinct knots share its Floer homology? Regarding the first, we show there exist bigraded groups satisfying all previously known constraints of knot Floer homology which do not arise as the invariant of a knot. This leads to a new constraint for knots admitting lens space surgeries, as well as a proof that the rank of knot Floer homology detects the trefoil knot. For the second, we show that any non-trivial band sum of two unknots gives rise to an infinite family of distinct knots with isomorphic knot Floer homology. We also prove that the fibered knot with identity monodromy is strongly detected by its knot Floer homology, implying that Floer homology solves the word problem for mapping class groups of surfaces with non-empty boundary. Finally, we survey some conjectures and questions and, based on the results described above, formulate some new ones.


title: Crossed crystal scheme for fs-pulsed entangled photon generation in ppKTP

abstract: We demonstrate a novel scheme for femto-second pulsed spontaneous parametric down-conversion in periodically poled KTP crystals. Our scheme is based on a crossed crystal configuration with collinear quasi-phase-matching. The non-degenerate photon pairs are split in a fiber-based wavelength division multiplexer. The source is easier to align than common pulsed sources based on bulk BBO crystals and exhibits high-quality polarization entanglement as well as non-classical interference capabilities. Hence, we expect this source to be a well-suited candidate for multi-photon state generation e.g. for linear optical quantum computation and quantum communication networks.


title: Dissipative Euler flows with Onsager-critical spatial regularity

abstract: For any $\epsilon >0$ we show the existence of continuous periodic weak solutions $v$ of the Euler equations which do not conserve the kinetic energy and belong to the space $L^1_t (C_x^{\frac{1}{3}-\epsilon})$, namely $x\mapsto v (x,t)$ is $(\frac{1}{3}-\epsilon)$-H\"older continuous in space at a.e. time $t$ and the integral $\int [v(\cdot, t)]_{\frac{1}{3}-\epsilon} dt$ is finite. A well-known open conjecture of L. Onsager claims that such solutions exist even in the class $L^\infty_t (C_x^{\frac{1}{3}-\epsilon})$.


title: Water retention of rigid soils from a two-factor model for clay

abstract: Water retention is one of the key soil characteristics. Available models of soil water retention relate to the curve-fitting type. The objective of this work is to suggest a physical model of water retention (drying branch) for soils with a rigid matrix. "Physical" means the prediction based on the a priori measured or estimated soil parameters with a clear physical meaning. We rely on the two-factor model of clay that takes into account the factors of capillarity and shrinkage. The key points of the model to be proposed are some weak pseudo shrinkage that the rigid soils demonstrate according to their experimental water retention curves, and some specific properties of the rigid grain matrix. The three input parameters for prediction of soil water retention with the rigid grain matrix include inter-grain porosity, as well as maximum and minimum grain sizes. The comparison between measured and predicted sand water retention curves for four different sands is promising.


title: New representations of Pad\'e and Pad\'e-type approximants

abstract: Pad\'e approximants are rational functions whose series expansion match a given series as far as possible. These approximants are usually written under a rational form. In this paper, we will show how to write them also under two different barycentric forms, and under a partial fraction form, depending on free parameters. According to the choice of these parameters, Pad\'e-type approximants can be obtained under a barycentric or a partial fraction form.


title: Parity symmetry and parity breaking in the quantum Rabi model with addition of Ising interaction

abstract: We explore the possibility to generate new parity symmetry in the quantum Rabi model after a bias is introduced. In contrast to a mathematical treatment in a previous publication [J. Phys. A 46, 265302 (2013)], we consider a physically realistic method by involving an additional spin into the quantum Rabi model to couple with the original spin by an Ising interaction. The rule can be found that the parity symmetry is broken by introducing a bias and then restored by adding new degrees of freedom. Experimental feasibility of realizing the models under discussion is investigated.


title: Casimir effect from a scattering approach

abstract: The Casimir force is a spectacular consequence of the existence of vacuum fluctuations and thus deserves a place in courses on quantum theory. We argue that the scattering approach within a one-dimensional field theory is well suited to discuss the Casimir effect. It avoids in a transparent way divergences appearing in the evaluation of the vacuum energy. Furthermore, the scattering approach connects in a natural manner to the standard discussion of one-dimensional scattering problems in a quantum theory course. Finally, it allows to introduce students to the methods employed in the current research literature to determine the Casimir force in real-world systems.


title: Computability of the packing measure of totally disconnected self-similar sets

abstract: We present an algorithm to compute the exact value of the packing measure of self-similar sets satisfying the so called SSC and prove its convergence to the value of the packing measure. We also test the algorithm with examples that show both, the accuracy of the algorithm for the most regular cases and the possibility of using the additional information provided by it to obtain formulas for the packing measure of certain self-similar sets. For example, we are able to obtain a formula for the packing measure of any Sierpinski gasket with contractio factor in the interval $(0,1/3]$ (Theorem 2).


title: Dimension free $L^p$ estimates for Riesz transforms via an $H^{\infty}$ joint functional calculus

abstract: By using an $H^{\infty}$ joint functional calculus for strongly commuting operators, we derive a scheme to deduce the $L^p$ boundedness of certain $d$-dimensional Riesz transforms from the $L^p$ boundedness of appropriate one-dimensional Riesz transforms. Moreover, the $L^p$ bounds we obtain are independent of the dimension. The scheme is applied to Riesz transforms connected with orthogonal expansions and discrete Riesz transforms on products of groups with polynomial growth.


title: Quantum Landau-Lifshitz-Bloch equation and its comparison with the classical case

abstract: The detailed derivation of the quantum Landau-Lifshitz-Bloch (qLLB) equation for simple spin-flip scattering mechanisms based on spin-phonon and spin-electron interactions is presented and the approximations are discussed. The qLLB equation is written in the form, suitable for comparison with its classical counterpart. The temperature dependence of the macroscopic relaxation rates is discussed for both mechanisms. It is demonstrated that the magnetization dynamics is slower in the quantum case than in the classical one.


title: Natural and Multi-Natural Inflation in Axion Landscape

abstract: We propose a landscape of many axions, where the axion potential receives various contributions from shift symmetry breaking effects. We show that the existence of the axion with a super-Planckian decay constant is very common in the axion landscape for a wide range of numbers of axions and shift symmetry breaking terms, because of the accidental alignment of axions. The effective inflation model is either natural or multi-natural inflation in the axion landscape, depending on the number of axions and the shift symmetry breaking terms. The tension between BICEP2 and Planck could be due to small modulations to the inflaton potential or steepening of the potential along the heavy axions after the tunneling. The total duration of the slow-roll inflation our universe experienced is not significantly larger than $60$ if the typical height of the axion potentials is of order $(10^{16-17}{\rm \,GeV})^4$.


title: Separation of timescales in a two-layered network

abstract: We investigate a computer network consisting of two layers occurring in, for example, application servers. The first layer incorporates the arrival of jobs at a network of multi-server nodes, which we model as a many-server Jackson network. At the second layer, active servers at these nodes act now as customers who are served by a common CPU. Our main result shows a separation of time scales in heavy traffic: the main source of randomness occurs at the (aggregate) CPU layer; the interactions between different types of nodes at the other layer is shown to converge to a fixed point at a faster time scale; this also yields a state-space collapse property. Apart from these fundamental insights, we also obtain an explicit approximation for the joint law of the number of jobs in the system, which is provably accurate for heavily loaded systems and performs numerically well for moderately loaded systems. The obtained results for the model under consideration can be applied to thread-pool dimensioning in application servers, while the technique seems applicable to other layered systems too.


title: Unconditionally secure bit commitment by causally independent encryptions

abstract: We propose a new classical bit commitment protocol using the relativistic constraint that signals cannot travel faster than the speed of light $c$. This protocol is unconditionally secure against both classical or quantum attacks. The sender (Alice) and the receiver (Bob) each controls two secure stations separated by a large distance $d$, and they communicate by exchanging classical information only. Alice commits by sending from her stations two causally independent encrypted messages to the neighboring Bob's stations, after that the protocol is out of her control and she plays no role in the unveiling phase. The commitment remains concealed for a period of $\Delta t=d/2c$. This protocol requires only limited communication resources and is readily implementable with current technologies.


title: The diverse formation histories of simulated disc galaxies

abstract: We analyze the formation histories of 19 galaxies from cosmological smoothed particle hydrodynamics zoom-in resimulations. We construct mock three-colour images and show that the models reproduce observed trends in the evolution of galaxy colours and morphologies. However, only a small fraction of galaxies contains bars. Many galaxies go through phases of central mass growth by in-situ star formation driven by gas-rich mergers or misaligned gas infall. These events lead to accretion of low-angular momentum gas to the centres and leave imprints on the distributions of z=0 stellar circularities, radii and metallicities as functions of age. Observations of the evolution of structural properties of samples of disc galaxies at z=2.5-0.0 infer continuous mass assembly at all radii. Our simulations can only explain this if there is a significant contribution from mergers or misaligned infall, as expected in a LambdaCDM universe. Quiescent merger histories lead to high kinematic disc fractions and inside-out growth, but show little central growth after the last `destructive' merger at z>1.5. For sufficiently strong feedback, as assumed in our models, a moderate amount of merging does not seem to be a problem for the z=0 disc galaxy population, but may rather be a requirement. The average profiles of simulated disc galaxies agree with observations at z>=1.5. At z<=1, there is too much growth in size and too little growth in central mass, possibly due to the under-abundance of bars. The discrepancies may partly be caused by differences between the star formation histories of the simulations and those assumed for observations.


title: Near-field thermodynamics and nanoscale energy harvesting

abstract: We study the thermodynamics of near-field thermal radiation between two identical polar media at different temperatures. As an application, we consider an idealized energy harvesting process from sources at near room temperature at the nanoscale. We compute the maximum work flux that can be extracted from the radiation in the near-field regime and compare it with the corresponding maximum work flux in the blackbody regime. This work flux is considerably higher in the near-field regime. For materials that support surface phonon polaritons, explicit expressions for the work flux and an upper bound for the efficiency as functions of the surface wave frequency are obtained.


title: Analytic properties of two-carousel systems

abstract: We present analytic results for warehouse systems involving pairs of carousels. Specifically, for various picking strategies, we show that the sojourn time of the picker satisfies an integral equation that is a contraction mapping. As a result, numerical approximations for performance measures such as the throughput of the system are extremely accurate and converge fast (e.g.\ within 5 iterations) to their real values. We present simulation results validating our results and examining more complicated strategies for pairs of carousels.


title: Power-aware applications for scientific cluster and distributed computing

abstract: The aggregate power use of computing hardware is an important cost factor in scientific cluster and distributed computing systems. The Worldwide LHC Computing Grid (WLCG) is a major example of such a distributed computing system, used primarily for high throughput computing (HTC) applications. It has a computing capacity and power consumption rivaling that of the largest supercomputers. The computing capacity required from this system is also expected to grow over the next decade. Optimizing the power utilization and cost of such systems is thus of great interest. A number of trends currently underway will provide new opportunities for power-aware optimizations. We discuss how power-aware software applications and scheduling might be used to reduce power consumption, both as autonomous entities and as part of a (globally) distributed system. As concrete examples of computing centers we provide information on the large HEP-focused Tier-1 at FNAL, and the Tigress High Performance Computing Center at Princeton University, which provides HPC resources in a university context.


title: Conformal Transformation, Near Horizon Symmetry, Virasoro Algebra and Entropy

abstract: There are certain black hole solutions in general relativity (GR) which are conformally related to the stationary solutions in GR. It is not obvious that the horizon entropy of these spacetimes is also one quarter of the area of horizon, like the stationary ones. Here I study this topic in the context of Virasoro algebra and Cardy formula. Using the fact that the conformal spacetime admits conformal Killing vector and the horizon is determined by the vanishing of the norm of it, the diffemorphisms are obtained which keep the near horizon structure invariant. The Noether charge and a bracket among them corresponding to these vectors are calculated in this region. Finally, they are evaluated for the Sultana-Dyer (SD) black hole, which is conformal to the Schwarzschild metric. It is found that the bracket is identical to the usual Virasoro algebra with the central extension. Identifying the zero mode eigenvalue and the central charge, the entropy of the SD horizon is obtained by using Cardy formula. Interestingly, this is again one quarter of the horizon area. Only difference in this case is that the area is modified by the conformal factor compared to that of the stationary one. The analysis gives a direct proof of the earlier assumption.


title: To Achieve Maximal Throughputs in CSMA Wireless Networks Through Offered_load Control

abstract: This paper studies how to achieve the maximal link throughputs in a CSMA wireless network through offered-load control. First, we propose an analytical model, contention-graph-combination (CGC), to describe the relationship between the offered-load and the output link throughputs of an unsaturated CSMA network. Based on CGC, we then formulate a linear optimization model to improve the aggregate link throughput through properly setting the occurrence probabilities of each sub-network, based on which we can obtain the optimal offered-load of each link. Simulation results bore out the accuracy of our CGC analysis and the maximal link throughputs can be closely achieved. Different from prior work in which CSMA protocol parameters are adaptively adjusted to achieve better performance, in this paper we propose to achieve maximal link throughputs by adjusting the rates of the traffic pumped into the source nodes of links, which runs in a software manner and is more practical to implement in real networks.


title: Dynamic and integrated mechanical movements of a rat brain associated with evoked potentials

abstract: By using a piezoelectric sensor, it was demonstrated that the visual evoked potential of a rat brain was accompanied by mechanical movements of the brain when it was excited. A phase of upward movement was found to be followed by a phase of downward movement. The largest upward movement was a rise in swelling pressure on the order of 100 micro gram, which was about 40 times larger than that of the bullfrog sympathetic ganglion. The waves of mechanical movements were more complicated than those of the evoked potentials. These findings are thought to be due to the fact that the evoked potentials are propagated from the immediate surroundings of the sensor, while the mechanical signals are produced from anywhere beneath the piezo sensor. The mechanisms of mechanical movements propagated in the brain by electrical stimulation are discussed.


title: Two weight inequality for vector-valued positive dyadic operators by parallel stopping cubes

abstract: We study the vector-valued positive dyadic operator \[T_\lambda(f\sigma):=\sum_{Q\in\mathcal{D}} \lambda_Q \int_Q f \mathrm{d}\sigma 1_Q,\] where the coefficients $\{\lambda_Q:C\to D\}_{Q\in\mathcal{D}}$ are positive operators from a Banach lattice $C$ to a Banach lattice $D$. We assume that the Banach lattices $C$ and $D^*$ each have the Hardy--Littlewood property. An example of a Banach lattice with the Hardy--Littlewood property is a Lebesgue space. In the two-weight case, we prove that the $L^p_C(\sigma)\to L^q_D(\omega)$ boundedness of the operator $T_\lambda( \cdot \sigma)$ is characterized by the direct and the dual $L^\infty$ testing conditions: \[ \lVert 1_Q T_\lambda(1_Q f \sigma)\rVert_{L^q_D(\omega)}\lesssim \lVert f\rVert_{L^\infty_C(Q,\sigma)} \sigma(Q)^{1/p},\] \[ \lVert1_Q T^*_{\lambda}(1_Q g \omega)\rVert_{L^{p'}_{C^*}(\sigma)}\lesssim \lVert g\rVert_{L^\infty_{D^*}(Q,\omega)} \omega(Q)^{1/q'}.\] Here $L^p_C(\sigma)$ and $L^q_D(\omega)$ denote the Lebesgue--Bochner spaces associated with exponents $1<p\leq q<\infty$, and locally finite Borel measures $\sigma$ and $\omega$. In the unweighted case, we show that the $L^p_C(\mu)\to L^p_D(\mu)$ boundedness of the operator $T_\lambda( \cdot \mu)$ is equivalent to the endpoint direct $L^\infty$ testing condition: \[ \lVert1_Q T_\lambda(1_Q f \mu)\rVert_{L^1_D(\mu)}\lesssim \lVert f\rVert_{L^\infty_C(Q,\mu)} \mu(Q).\] This condition is manifestly independent of the exponent $p$. By specializing this to particular cases, we recover some earlier results in a unified way.


title: On the definition of the stability region of multistep methods

abstract: The usual definition of the stability region of implicit multistep methods often implies that there are some isolated points of stability within the region of instability of the numerical method. These isolated stable points may appear when the leading coefficient of the characteristic polynomial of the method vanishes---they cannot be detected by the well-known root locus method, and their existence renders many results about stability regions problematic. It is suggested that the definition of the stability region should exclude such isolated points.


title: Homophily and the Speed of Social Mobilization: The Effect of Acquired and Ascribed Traits

abstract: Large-scale mobilization of individuals across social networks is becoming increasingly prevalent in society. However, little is known about what affects the speed of social mobilization. Here we use a framed field experiment to identify and measure properties of individuals and their relationships that predict mobilization speed. We ran a global social mobilization contest and recorded personal traits of the participants and those they recruited. We studied the effects of ascribed traits (gender, age) and acquired traits (geography, and information source) on the speed of mobilization. We found that homophily, a preference for interacting with other individuals with similar traits, had a mixed role in social mobilization. Homophily was present for acquired traits, in which mobilization speed was faster when the recuiter and recruit had the same trait compared to different traits. In contrast, we did not find support for homophily for the ascribed traits. Instead, those traits had other, non-homophily effects: Females mobilized other females faster than males mobilized other males. Younger recruiters mobilized others faster, and older recruits mobilized slower. Recruits also mobilized faster when they first heard about the contest directly from the contest organization, and decreased in speed when hearing from less personal source types (e.g. family vs. media). These findings show that social mobilization includes dynamics that are unlike other, more passive forms of social activity propagation. These findings suggest relevant factors for engineering social mobilization tasks for increased speed.


title: Hypersonic properties of monodisperse spherical mesoporous silica particles

abstract: We use the picosecond acoustic pump-probe technique to study the elastic properties of monodispersemesoporous silica spheres filled with nickel and deposited in the form of opal-like films on silica substrates. The picosecond pump-probe optical transmission signal shows harmonic oscillations corresponding to the lower energy radial Lamb mode in the vibrational spectrum of the spheres. These oscillations, with a frequency of several gigahertz last for several nanoseconds in the spheres with diameter 1050 nm, showing high homogeneity of the sphere parameters. By analysis of the oscillation spectrum of films with different sphere diameter and nickel content we obtain the elastic moduli of the mesoporous silica spheres.


title: Ohsawa-Takegoshi extension theorem for compact K\"ahler manifolds and applications

abstract: Our main goal in this article is to prove a new extension theorem for sections of the canonical bundle of a weakly pseudoconvex K\"ahler manifold with values in a line bundle endowed with a possibly singular metric. We also give some applications of our result.


title: Applying a Text-Based Affective Dialogue System in Psychological Research: Case Studies on the Effects of System Behavior, Interaction Context and Social Exclusion

abstract: This article presents two studies conducted with an affective dialogue system in which text-based system-user communication was used to model, generate, and present different affective and social interaction scenarios. We specifically investigated the influence of interaction context and roles assigned to the system and the participants, as well as the impact of pre-structured social interaction patterns that were modelled to mimic aspects of 'social exclusion' scenarios. The results of the first study demonstrate that both the social context of the interaction and the roles assigned to the system influence the system evaluation, interaction patterns, textual expressions of affective states, as well as emotional self-reports. The results observed for the second study show the system's ability to partially exclude a participant from a triadic conversation without triggering significantly different affective reactions or a more negative system evaluation. The experimental evidence provides insights on the perception, modelling and generation of affective and social cues in artificial systems that can be realized in different modalities, including the text modality, thus delivering valuable input for applying affective dialogue systems as tools for studying affect and social aspects in online communication.


title: On two dimensional mixed characteristic rings of finite Cohen Macaulay type

abstract: In this paper we give a bountiful number of examples of two dimensional mixed characteristic rings of finite Cohen Macaulay type. For a large sub-class of these examples we give a complete description of its indecomposable maximal Cohen-Macaulay modules and we also compute its AR-quiver.


title: The compressional beta effect: a source of zonal winds in planets?

abstract: Giant planets like Jupiter and Saturn feature strong zonal wind patterns on their surfaces. Although several different mechanisms that may drive these jets have been proposed over the last decades, the origin of the zonal winds is still unclear. Here, we explore the possibility that the interplay of planetary rotation with the compression and expansion of the convecting fluid can drive multiple deep zonal jets by a compressional Rhines-type mechanism, as originally proposed by Ingersoll and Pollard (1982). In a certain limit, this deep mechanism is shown to be mathematically analogous to the classical Rhines mechanism possibly operating at cloud level. Jets are predicted to occur on a compressional Rhines length $l_R = (2 \Omega \langle H_\rho^{-1} \rangle v_{jet}^{-1} )^{-1/2}$, where $\Omega$ is the angular velocity, $\langle H_\rho^{-1} \rangle$ is the mean inverse density scale height and $v_{jet}$ is the typical jet velocity. Two-dimensional numerical simulations using the anelastic approximation reveal that this mechanism robustly generates jets of the predicted width, and that it typically dominates the dynamics in systems deeper than $O(l_R)$. Potential vorticity staircases are observed to form spontaneously and are typically accompanied by unstably stratified buoyancy staircases. The mechanism only operates at large rotation rates, exceeding those typically reached in three-dimensional simulations of deep convection in spherical shells. Applied to Jupiter and Saturn, the compressional Rhines scaling reasonably fits the available observations. Interestingly, even weak vertical density variations such as those in the Earth core can give rise to a large number of jets, leading to fundamentally different flow structures than predicted by the Boussinesq models typically used in this context.


title: Energy-momentum relation for solitary waves of nonlinear Dirac equations

abstract: Solitary waves of nonlinear Dirac, Maxwell-Dirac and Klein-Gordon-Dirac equations are considered. We prove that the energy-momentum relation for solitary waves coincides with the Einstein energy-momentum relation for point particles.


title: Finite generation of Lie algebras associated to associative algebras

abstract: Let $F$ be a field of characteristic not $2$ . An associative $F$-algebra $R$ gives rise to the commutator Lie algebra $R^{(-)}=(R,[a,b]=ab-ba).$ If the algebra $R$ is equipped with an involution $*:R\rightarrow R$ then the space of the skew-symmetric elements $K=\{a \in R \mid a^{*}=-a \}$ is a Lie subalgebra of $R^{(-)}.$ In this paper we find sufficient conditions for the Lie algebras $[R,R]$ and $[K,K]$ to be finitely generated.


title: Multi-band implications of external-IC flares

abstract: Very fast variability on scales of minutes is regularly observed in Blazars. The assumption that these flares are emerging from the dominant emission zone of the very high energy (VHE) radiation within the jet challenges current acceleration and radiation models. In this work we use a spatially resolved and time dependent synchrotron-self-Compton (SSC) model that includes the full time dependence of Fermi-I acceleration. We use the (apparent) orphan $\gamma$-ray flare of \textit{Mrk501} during MJD 54952 and test various flare scenarios against the observed data. We find that a rapidly variable external radiation field can reproduce the high energy lightcurve best. However, the effect of the strong inverse Compton (IC) cooling on other bands and the X-ray observations are constraining the parameters to rather extreme ranges. Then again other scenarios would require parameters even more extreme or stronger physical constraints on the rise and decay of the source of the variability which might be in contradiction with constraints derived from the size of the black hole's ergosphere.


title: On the Sign Problem of the Fermionic Shadow Wave Function

abstract: We present a whole series of novel methods to alleviate the sign problem of the Fermionic Shadow Wave Function in the context of Variational Monte Carlo. The effectiveness of our new techniques is demonstrated on the example of liquid 3He. We found that although the variance is substantially reduced, the gain in efficiency is restricted by the increased computational cost. Yet, this development not only extends the scope of the Fermionic Shadow Wave Function, but also facilitates highly accurate Quantum Monte Carlo simulations previously thought not feasible.

categories: physics.comp-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Zero-Outage Cellular Downlink with Fixed-Rate D2D Underlay

abstract: Two of the emerging trends in wireless cellular systems are Device-to-Device (D2D) and Machine-to-Machine (M2M) communications. D2D enables efficient reuse of the licensed spectrum to support localized transmissions, while M2M connections are often characterized by fixed and low transmission rates. D2D connections can be instrumental in localized aggregation of uplink M2M traffic to a more capable cellular device, before being finally delivered to the Base Station (BS). In this paper we show that a fixed M2M rate is an enabler of efficient Machine-Type D2D underlay operation taking place simultaneously with another \emph{downlink} cellular transmission. In the considered scenario, a BS $B$ transmits to a user $U$, while there are $N_M$ Machine-Type Devices (MTDs) attached to $U$, all sending simultaneously to $U$ and each using the same rate $R_M$. While assuming that $B$ knows the channel $B-U$, but not the interfering channels from the MTDs to $U$, we prove that there is a positive downlink rate that can always be decoded by $U$, leading to zero-outage of the downlink signal. This is a rather surprising consequence of the features of the multiple access channel and the fixed rate $R_M$. We also consider the case of a simpler, single-user decoder at $U$ with successive interference cancellation. However, with single-user decoder, a positive zero-outage rate exists only when $N_M=1$ and is zero when $N_M>1$. This implies that joint decoding is instrumental in enabling fixed-rate underlay operation.


title: Detection of non-classical space-time correlations with a novel type of single-photon camera

abstract: During the last decades, multi-pixel detectors have been developed capable of registering single photons. The newly developed Hybrid Photon Detector camera has a remarkable property that it has not only spatial but also temporal resolution. In this work, we use this device for the detection of non-classical light from spontaneous parametric down-conversion and use two-photon correlations for the absolute calibration of its quantum efficiency.


title: Distance and proper motion measurement of water masers in Shapless 269 IRS 2w

abstract: We present astrometric analysis of archival data of water masers in the star-forming region Sharpless 269 (S269) IRS 2w, observed with the VLBI Exploration of Radio Astrometry. An annual parallax of one of the bright maser features in this region was previously reported to be 0.189+/-0.008 milliarcsecond (mas) using part of the same archival data as we used. However, we found that this maser feature is not the best to represent the annual parallax to S269 IRS 2w because the morphology is remarkably elongated in the east-west direction. For this study we have selected another maser feature showing simpler morphology. This makes the new annual parallax estimate more credible. Our newly obtained annual parallax is 0.247+/-0.034 mas, corresponding to 4.05+0.65-0.49 kpc. This value is well consistent with the 3.7-3.8 kpc obtained using the kinematic distance estimates and photometric distance modulus. We considered two hypotheses for the water maser spatial distribution, a bipolar outflow and an expanding ring, in a kinematic model fitting analysis with a radially expanding flow. At this stage, any conclusions about the systemic proper motion could not be drawn from the kinematic analysis. Alternatively, we evaluated the mean proper motion to be (0.39+/-0.92, -1.27+/-0.90) mas/yr eastward and northward, respectively, from the obtained proper motions of the detected water maser features. The newly obtained annual parallax and mean proper motion give the peculiar motion of S269 IRS 2w to be (Us, Vs, Ws) of (8+/-6, -21+/-17, 1+/-18) km/s.


title: Reference image selection for difference imaging analysis

abstract: Difference image analysis (DIA) is an effective technique for obtaining photometry in crowded fields, relative to a chosen reference image. As yet, however, optimal reference image selection is an unsolved problem. We examine how this selection depends on the combination of seeing, background and detector pixel size. Our tests use a combination of simulated data and quality indicators from DIA of well-sampled optical data and under-sampled near-infrared data from the OGLE and VVV surveys, respectively. We search for a figure-of-merit (FoM) which could be used to select reference images for each survey. While we do not find a universally applicable FoM, survey-specific measures indicate that the effect of spatial under-sampling may require a change in strategy from the standard DIA approach, even though seeing remains the primary criterion. We find that background is not an important criterion for reference selection, at least for the dynamic range in the images we test. For our analysis of VVV data in particular, we find that spatial under-sampling is best handled by reversing the standard DIA procedure and convolving target images to a better-sampled (poor seeing) reference image.


title: Interval-Valued Intuitionistic Fuzzy Matrices

abstract: In this paper, the interval-valued intuitionistic fuzzy matrix (IVIFM) is introduced. The interval-valued intuitionistic fuzzy determinant is also defined. Some fundamental operations are also presented. The need of IVIFM is explain by an example.


title: The Rise of China in the International Trade Network: A Community Core Detection Approach

abstract: Theory of complex networks proved successful in the description of a variety of static networks ranging from biology to computer and social sciences and to economics and finance. Here we use network models to describe the evolution of a particular economic system, namely the International Trade Network (ITN). Previous studies often assume that globalization and regionalization in international trade are contradictory to each other. We re-examine the relationship between globalization and regionalization by viewing the international trade system as an interdependent complex network. We use the modularity optimization method to detect communities and community cores in the ITN during the years 1995-2011. We find rich dynamics over time both inter- and intra-communities. Most importantly, we have a multilevel description of the evolution where the global dynamics (i.e., communities disappear or reemerge) tend to be correlated with the regional dynamics (i.e., community core changes between community members). In particular, the Asia-Oceania community disappeared and reemerged over time along with a switch in leadership from Japan to China. Moreover, simulation results show that the global dynamics can be generated by a preferential attachment mechanism both inter- and intra-communities.


title: Precision lattice QCD computation of the $B^*B\pi$ coupling

abstract: The static $B^{*}B\pi$ coupling, $\hat{g}_\chi$, a low energy constant in the leading order heavy meson chiral Lagrangian, is determined using $N_\mathrm{f} = 2$ lattice QCD. We use CLS ensembles with lattice spacings and pion masses down to $a = 0.05\mathrm{fm}$ and $m_{\pi}=270\mathrm{MeV}$, and perform combined continuum and chiral extrapolations of our results which have a much better accuracy than previous numbers in the literature. As a by-product, we determine the coupling between the first radial excitations in the $B$ and $B^{*}$ channels ($\hat{g}_{22}$). Accounting for all uncertainties, which are dominated by the chiral extrapolation, we obtain $\hat{g}_\chi = 0.492(29)$, while $\hat{g}_{22}$ is somewhat smaller. The comparison to a precise quenched computation suggests that there is little influence by the sea quarks and $\hat{g}_\chi$ will not change much when a dynamical strange quark is included.


title: Populations of rotating stars III. SYCLIST, the new Geneva Population Synthesis code

abstract: (abridged) We present a new tool for building synthetic colour-magnitude diagrams of coeval stellar populations. We study, from a theoretical point of view, the impact of axial rotation of stars on various observed properties of single-aged stellar populations: magnitude at the turnoff, photometric properties of evolved stars, surface velocities, surface abundances, and the impact of rotation on the age determination of clusters by an isochrone fitting. Stellar models for different initial masses, metallicities, and zero-age main sequence (ZAMS) rotational velocities are used for building interpolated stellar tracks, isochrones, and synthetic clusters for various ages and metallicities. The synthetic populations account for the effects of the initial distribution of the rotational velocities on the ZAMS, the impact of the inclination angle and the effects of gravity and limb darkening, unresolved binaries and photometric errors. Interpolated tracks, isochrones, and synthetic clusters can be computed through a public web interface. For clusters with a metallicity in the range [0.002, 0.014] and an age between 30 Myr and 1 Gyr, the fraction of fast rotators on the main sequence (MS) band is the largest just below the turnoff. This is a natural consequence of the increase in the MS lifetime due to rotation. The fraction of fast rotators one magnitude below the turnoff also increases with the age of the cluster between 30 Myr and 1 Gyr. There is an increase in the fraction of enriched stars when the metallicity decreases. We show that the use of isochrones computed from rotating stellar models with an initial rotation that is representative of the average initial rotation of the stars in clusters provides a reasonable estimate of the age, even though stars in a real cluster did not start their evolution with an identical initial rotation.


title: Planetesimal formation in self-gravitating discs: the effects of particle self-gravity and back-reaction

abstract: We study particle dynamics in self-gravitating gaseous discs with a simple cooling law prescription via two-dimensional simulations in the shearing sheet approximation. It is well known that structures arising in the gaseous component of the disc due to a gravitational instability can have a significant effect on the evolution of dust particles. Previous results have shown that spiral density waves can be highly efficient at collecting dust particles, creating significant local over-densities of particles. The degree of such concentrations has been shown to be dependent on two parameters: the size of the dust particles and the rate of gas cooling. We expand on these findings, including the self-gravity of dust particles, to see how these particle over-densities evolve. We use the PENCIL CODE to solve the local shearing sheet equations for gas on a fixed grid together with the equations of motion for solids coupled to the gas through an aerodynamic drag force. We find that the enhancements in the surface density of particles in spiral density wave crests can reach levels high enough to allow the solid component of the disc to collapse under its own self-gravity. This produces many gravitationally bound collections of particles within the spiral structure. The total mass contained in bound structures appears nearly independent of the cooling time, suggesting that the formation of planetesimals through dust particle trapping by self-gravitating density waves may be possible at a larger range of radii within a disc than previously thought. So, density waves due to gravitational instabilities in the early stages of star formation may provide excellent sites for the rapid formation of many large, planetesimal-sized objects.


title: When symplectic topology meets Banach space geometry

abstract: In this paper we survey some recent works that take the first steps toward establishing bilateral connections between symplectic geometry and several other fields, namely, asymptotic geometric analysis, classical convex geometry, and the theory of normed spaces.


title: Probabilistic graphs using coupled random variables

abstract: Neural network design has utilized flexible nonlinear processes which can mimic biological systems, but has suffered from a lack of traceability in the resulting network. Graphical probabilistic models ground network design in probabilistic reasoning, but the restrictions reduce the expressive capability of each node making network designs complex. The ability to model coupled random variables using the calculus of nonextensive statistical mechanics provides a neural node design incorporating nonlinear coupling between input states while maintaining the rigor of probabilistic reasoning. A generalization of Bayes rule using the coupled product enables a single node to model correlation between hundreds of random variables. A coupled Markov random field is designed for the inferencing and classification of UCI's MLR 'Multiple Features Data Set' such that thousands of linear correlation parameters can be replaced with a single coupling parameter with just a (3%, 4%) percent reduction in (classification, inference) performance.


title: Locating Ax, where A is a subspace of B(H)

abstract: Let A be a linear space of operators on a Hilbert space H, x a vector in H, and Ax the subspace of H comprising all vectors of the form Tx with T in A. We discuss, within a Bishop-style constructive framework, conditions under which the projection [Ax] of H on the closure of Ax exists. We derive a general result that leads directly to both the open mapping theorem and our main theorem on the existence of [Ax].


title: Iterative observer for boundary estimation for elliptic equations

abstract: In this paper we propose the design of an iterative observer using space as a time-like variable and prove its convergence. The iterative observer algorithm solves boundary estimation problem for a steady-state elliptic equation system namely Cauchy problem for Laplace equation. The Laplace equation is formulated as a first order state space-like system in one of the space variables and an iterative observer is developed that sweeps over the whole domain to recover the unknown data on the boundary. State operator matrix is proved to generate strongly continuous semigroup under certain conditions and the system is shown to be observable. Convergence results of proposed algorithm are established using semigroup theory and concepts of observability for distributed parameter systems. The algorithm is implemented using finite difference discretization schemes and numerical implementation is detailed. Further, the simulation results are presented towards the end to show efficiency of the algorithm.


title: Bulk induced phase transition in driven diffusive systems

abstract: This Letter studies a weakly and asymmetrically coupled three-lane driven diffusive system. A non-monotonically changing density profile in the middle lane has been observed. When the extreme value of the density profile reaches $\rho=0.5$, a bulk induced phase transition occurs which exhibits a shock and a continuously and smoothly decreasing density profile which crosses $\rho=0.5$ upstream or downstream of the shock. The existence of double shocks has also been observed. A mean-field approach has been used to interpret the numerical results obtained by Monte Carlo simulations. The current minimization principle has excluded the occurrence of two or more bulk induced shocks in the general case of nonzero lane changing rates.


title: On a non-linear sigma model of knotted relaxed states far from thermodynamic equilibrium in plasma physics and beyond

abstract: We show that a Faddeev-Niemi non-linear sigma model describes in the long wavelength limit a wide class of steady-state, knotted physical systems far from thermodynamic equilibrium which are stable against perturbations of temperature and interact weakly with the external world. In these systems temperature gradients are negligible, inertial effects are negligible in comparison with diffusion effects, entropy is mainly produced through Joule and-or viscous heating, the macroscopic state is described by specifying a unit vector at each point, and the Gauss linking number of this unit vector is lower than a threshold. In fluids and plasmas, the model describes filamentary structures which adjust themselves in order to offer minimum resistance to the medium embedding them and to the electric currents (if any) flowing across them; in the latter case, Gauss linking number is related to magnetic helicity. Both n and the relative velocity of the filament with respect to the medium are approximately Double Beltrami vector fields. We derive a stability criterion for a double helix. Moreover, a similar discussion describes the recently discovered writing process of skyrmions in a magnetic film with the help of a beam of polarised electrons. We derive a lower bound on the value of beam current required to write a skyrmion.


title: Cluster networks and Bruhat-Tits buildings

abstract: Clustering procedure for the case where instead of a fixed metric one applies a family of metrics is considered. In this case instead of a classification tree one obtains a classification network (a directed acyclic graph with non directed cycles). Relation to Bruhat-Tits buildings is discussed. Dimension of a general cluster system is considered.


title: E-sail test payload of ESTCube-1 nanosatellite

abstract: The scientific mission of ESTCube-1, launched in May 2013, is to measure the Electric solar wind sail (E-sail) force in orbit. The experiment is planned to push forward the development of E-sail, a propulsion method recently invented at the Finnish Meteorological Institute. E-sail is based on extracting momentum from the solar wind plasma flow by using long thin electrically charged tethers. ESTCube-1 is equipped with one such tether, together with hardware capable of deploying and charging it. At the orbital altitude of ESTCube-1 (660--680~km) there is no solar wind present. Instead, ESTCube-1 shall observe the interaction between the charged tether and the ionospheric plasma. The ESTCube-1 payload uses a 10-meter, partly two-filament E-sail tether and a motorized reel on which it is stored. The tether shall be deployed from a spinning satellite with the help of centrifugal force. An additional mass is added at the tip of the tether to assist with the deployment. During E-sail experiment the tether shall be charged to 500~V potential. Both positive and negative voltages shall be experimented with. The voltage is provided by a dedicated high voltage source and delivered to the tether through a slip ring contact. When the negative voltage is applied to the tether, the satellite body is expected to attract electron flow capable of compensating for the ion flow, which runs to the tether from the surrounding plasma. With the positive voltage applied, onboard cold cathode electron guns are used to remove excess electrons to maintain the positive voltage of the tether. In this paper we present the design and structure of the tether payload of ESTCube-1.


title: Fast Synchronization of Random Automata

abstract: A synchronizing word for an automaton is a word that brings that automaton into one and the same state, regardless of the starting position. Cerny conjectured in 1964 that if a n-state deterministic automaton has a synchronizing word, then it has a synchronizing word of size at most (n-1)^2. Berlinkov recently made a breakthrough in the probabilistic analysis of synchronization by proving that with high probability, an automaton has a synchronizing word. In this article, we prove that with high probability an automaton admits a synchronizing word of length smaller than n^(1+\epsilon), and therefore that the Cerny conjecture holds with high probability.


title: Measurement theory for closed quantum systems

abstract: We introduce the concept of a "classical observable" as an operator with vanishingly small quantum fluctuations on a set of density matrices. It is shown how to construct them for a time evolved pure state. The study of classical observables provides a natural starting point to analyse the quantum measurement problem. In particular, it allows to identify Schr\"odinger cats and the associated projection operators intrinsically, without the need to invoke an environment. We discuss how our new approach relates to the open system analysis of the quantum measurement problem.


title: Magnetic Prandtl number dependence of kinetic to magnetic dissipation ratio

abstract: Using direct numerical simulations of three-dimensional hydromagnetic turbulence, either with helical or non-helical forcing, we show that the ratio of kinetic-to-magnetic energy dissipation always increases with the magnetic Prandtl number, i.e., the ratio of kinematic viscosity to magnetic diffusivity. This dependence can always be approximated by a power law, but the exponent is not the same in all cases. For non-helical turbulence, the exponent is around 1/3, while for helical turbulence it is between 0.6 and 2/3. In the statistically steady state, the rate of the energy conversion from kinetic into magnetic by the dynamo must be equal to the Joule dissipation rate. We emphasize that for both small-scale and large-scale dynamos, the efficiency of energy conversion depends sensitively on the magnetic Prandtl number, and thus on the microphysical dissipation process. To understand this behavior, we also study shell models of turbulence and one-dimensional passive and active scalar models. We conclude that the magnetic Prandtl number dependence is qualitatively best reproduced in the one-dimensional model as a result of dissipation via localized Alfven kinks.


title: Partially Punctual Metric Temporal Logic is Decidable

abstract: Metric Temporal Logic $\mathsf{MTL}[\until_I,\since_I]$ is one of the most studied real time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permitted set of modalities and the nature of time interval constraints $I$. Henzinger et al., in their seminal paper showed that the non-punctual fragment of $\mathsf{MTL}$ called $\mathsf{MITL}$ is decidable. In this paper, we sharpen this decidability result by showing that the partially punctual fragment of $\mathsf{MTL}$ (denoted $\mathsf{PMTL}$) is decidable over strictly monotonic finite point wise time. In this fragment, we allow either punctual future modalities, or punctual past modalities, but never both together. We give two satisfiability preserving reductions from $\mathsf{PMTL}$ to the decidable logic $\mathsf{MTL}[\until_I]$. The first reduction uses simple projections, while the second reduction uses a novel technique of temporal projections with oversampling. We study the trade-off between the two reductions: while the second reduction allows the introduction of extra action points in the underlying model, the equisatisfiable $\mathsf{MTL}[\until_I]$ formula obtained is exponentially succinct than the one obtained via the first reduction, where no oversampling of the underlying model is needed. We also show that $\mathsf{PMTL}$ is strictly more expressive than the fragments $\mathsf{MTL}[\until_I,\since]$ and $\mathsf{MTL}[\until,\since_I]$.


title: Mining online social networks with Python to study urban mobility

abstract: On-line social networks have grown quickly over the last few years and nowadays many people use them frequently. Furthermore the emergence of smartphones allows to access these networks any time from any physical location. Among the social networks, Twitter offers a particularly large set of data publicly available. Here we discuss the procedure to mine this data and store it in distributed databases using Python scripts. We also illustrate how geolocated tweets can be used to study the mobility of people in urban areas.


title: On the lattice programming gap of the group problems

abstract: We show that computing the lattice programming gap of the group problems is NP-hard when the dimension is a part of input. We also obtain lower and upper bounds for the gap in terms of the cost vector and the determinant of the lattice.


title: Computed-torque method for the control of a 2 DOF orthosis actuated through pneumatic artificial muscles: a specific case for the rehabilitation of the lower limb

abstract: In this paper we give a new control model based on the so called computed-torque method for the control of a 2 degrees of freedom orthosis for the rehabilitation of the lower limb, the AIRGAIT exoskeleton's leg orthosis. The actuation of the AIRGAIT is made through self-made pneumatic muscles. For this reason this work starts with the static and dynamic characterization of our pneumatic muscles. The followed approach is based on the analytical description of the system. For this, we describe the pneumatic muscles behaviour with an easy-invertible polynomial fit function in order to model its non-linear trend. We give a geometrical model of the mechanical system to compute the length between the attachments of the pneumatic muscles to the structure for every angles assumed by the two joints. We evaluate through Newton-Euler equation the couples at the joints for each values of the angles. At last we show some validation tests in order to characterize the functioning of the proposed control model on the actuation of the orthosis.


title: Spontaneous generation of local CP violation and inverse magnetic catalysis

abstract: In the chiral symmetric phase, the polarized instanton--anti-instanton molecule pairing induces a nontrivial repulsive interaction in the iso-scalar axial-vector channel. As a consequence, one unusual property is observed that in the chiral restoration phase, there is a first order phase transition for the spontaneous generation of local CP violation and chiral imbalance. Furthermore, it is found that external magnetic fields will lower the critical temperature for the local CP-odd phase transition and catalyze the chiral imbalance, which destroys the chiral condensate with pairing quarks between different chiralities. A reasonable strength of the repulsive interaction in the iso-scalar axial-vector channel can naturally explain the inverse magnetic catalysis around the critical temperature under external magnetic fields.


title: Maximally Entangled States

abstract: Every Maximally Entangled State (MES) of two d-dimensional particles is shown to be a product state of suitably chosen collective coordinates. The state may be viewed as defining a "point" in a "phase space" like d^2 array representing d^2 orthonormal Maximally Entangled States basis for the Hilbert space. A finite geometry view of MES is presented and its relation with the afore mentioned "phase space" is outlined: "straight lines" in the space depict product of single particle mutually unbiased basis (MUB) states, inverting thereby Schmidt's diagonalization scheme in giving a product single particle states as a d-terms sum of maximally entangled states. To assure self sufficiency the essential mathematical results are summarized in the appendices.