title: Quegel: A General-Purpose Query-Centric Framework for Querying Big Graphs

abstract: Pioneered by Google's Pregel, many distributed systems have been developed for large-scale graph analytics. These systems expose the user-friendly "think like a vertex" programming interface to users, and exhibit good horizontal scalability. However, these systems are designed for tasks where the majority of graph vertices participate in computation, but are not suitable for processing light-workload graph queries where only a small fraction of vertices need to be accessed. The programming paradigm adopted by these systems can seriously under-utilize the resources in a cluster for graph query processing. In this work, we develop a new open-source system, called Quegel, for querying big graphs, which treats queries as first-class citizens in the design of its computing model. Users only need to specify the Pregel-like algorithm for a generic query, and Quegel processes light-workload graph queries on demand using a novel superstep-sharing execution model to effectively utilize the cluster resources. Quegel further provides a convenient interface for constructing graph indexes, which significantly improve query performance but are not supported by existing graph-parallel systems. Our experiments verified that Quegel is highly efficient in answering various types of graph queries and is up to orders of magnitude faster than existing systems.


title: Gyrogroup actions: A generalization of group actions

abstract: This article explores the novel notion of gyrogroup actions, which is a natural generalization of the usual notion of group actions. As a first step toward the study of gyrogroup actions from the algebraic viewpoint, we prove three well-known theorems in group theory for gyrogroups: the orbit-stabilizer theorem, the orbit decomposition theorem, and the Burnside lemma (or the Cauchy-Frobenius lemma). We then prove that under a certain condition, a gyrogroup $G$ acts transitively on the set $G/H$ of left cosets of a subgyrogroup $H$ in $G$ in a natural way. From this we prove the structure theorem that every transitive action of a gyrogroup can be realized as a gyrogroup action by left gyroaddition. We also exhibit concrete examples of gyrogroup actions from the M\"obius and Einstein gyrogroups.


title: Progress on nuclear modifications of structure functions

abstract: We report progress on nuclear structure functions, especially on their nuclear modifications and a new tensor structure function for the deuteron. To understand nuclear structure functions is an important step toward describing nuclei and QCD matters from low to high densities and from low to high energies in terms of fundamental quark and gluon degrees of freedom beyond conventional hadron and nuclear physics. It is also practically important for understanding new phenomena in high-energy heavy-ion collisions at RHIC and LHC. Furthermore, since systematic errors of current neutrino-oscillation experiments are dominated by uncertainties of neutrino-nucleus interactions, such studies are valuable for finding new physics beyond current framework. Next, a new tensor-polarized structure function $b_1$ is discussed for the deuteron. There was a measurement by HERMES; however, its data are inconsistent with the conventional convolution estimate based on the standard deuteron model with D-state admixture. This fact suggests that a new hadronic phenomenon should exist in the tensor-polarized deuteron at high energies, and it will be experimentally investigated at JLab from the end of 2010's.


title: Observing two dark accelerators around the Galactic Centre with Fermi Large Area Telescope

abstract: We report the results from a detailed $\gamma-$ray investigation in the field of two "dark accelerators", HESS J1745-303 and HESS J1741-302, with $6.9$ years of data obtained by the Fermi Large Area Telescope. For HESS J1745-303, we found that its MeV-GeV emission is mainly originated from the "Region A" of the TeV feature. Its $\gamma-$ray spectrum can be modeled with a single power-law with a photon index of $\Gamma\sim2.5$ from few hundreds MeV to TeV. Moreover, an elongated feature, which extends from "Region A" toward northwest for $\sim1.3^{\circ}$, is discovered for the first time. The orientation of this feature is similar to that of a large scale atomic/molecular gas distribution. For HESS J1741-302, our analysis does not yield any MeV-GeV counterpart for this unidentified TeV source. On the other hand, we have detected a new point source, Fermi J1740.1-3013, serendipitously. Its spectrum is apparently curved which resembles that of a $\gamma-$ray pulsar. This makes it possibly associated with PSR B1737-20 or PSR J1739-3023.


title: An explicit construction of optimal order quasi-Monte Carlo rules for smooth integrands

abstract: In a recent paper by the authors, it is shown that there exists a quasi-Monte Carlo (QMC) rule which achieves the best possible rate of convergence for numerical integration in a reproducing kernel Hilbert space consisting of smooth functions. In this paper we provide an explicit construction of such an optimal order QMC rule. Our approach is to exploit both the decay and the sparsity of the Walsh coefficients of the reproducing kernel simultaneously. This can be done by applying digit interlacing composition due to Dick to digital nets with large minimum Hamming and Niederreiter-Rosenbloom-Tsfasman metrics due to Chen and Skriganov. To our best knowledge, our construction gives the first QMC rule which achieves the best possible convergence in this function space.


title: Elliptic Curve Multiset Hash

abstract: A homomorphic, or incremental, multiset hash function, associates a hash value to arbitrary collections of objects (with possible repetitions) in such a way that the hash of the union of two collections is easy to compute from the hashes of the two collections themselves: it is simply their sum under a suitable group operation. In particular, hash values of large collections can be computed incrementally and/or in parallel. Homomorphic hashing is thus a very useful primitive with applications ranging from database integrity verification to streaming set/multiset comparison and network coding. Unfortunately, constructions of homomorphic hash functions in the literature are hampered by two main drawbacks: they tend to be much longer than usual hash functions at the same security level (e.g. to achieve a collision resistance of 2^128, they are several thousand bits long, as opposed to 256 bits for usual hash functions), and they are also quite slow. In this paper, we introduce the Elliptic Curve Multiset Hash (ECMH), which combines a usual bit string-valued hash function like BLAKE2 with an efficient encoding into binary elliptic curves to overcome both difficulties. On the one hand, the size of ECMH digests is essentially optimal: 2m-bit hash values provide O(2^m) collision resistance. On the other hand, we demonstrate a highly-efficient software implementation of ECMH, which our thorough empirical evaluation shows to be capable of processing over 3 million set elements per second on a 4 GHz Intel Haswell machine at the 128-bit security level---many times faster than previous practical methods.


title: TiO2 based Nanostructured Memristor for RRAM and Neuromorphic Applications: A Simulation Approach

abstract: We report simulation of nanostructured memristor device using piecewise linear and nonlinear window functions for RRAM and neuromorphic applications. The linear drift model of memristor has been exploited for the simulation purpose with the linear and non-linear window function as the mathematical and scripting basis. The results evidences that the piecewise linear window function can aptly simulate the memristor characteristics pertaining to RRAM application. However, the nonlinear window function could exhibit the nonlinear phenomenon in simulation only at the lower magnitude of control parameter. This has motivated us to propose a new nonlinear window function for emulating the simulation model of the memristor. Interestingly, the proposed window function is scalable up to f(x)=1 and exhibits the nonlinear behavior at higher magnitude of control parameter. Moreover, the simulation results of proposed nonlinear window function are encouraging and reveals the smooth nonlinear change from LRS to HRS and vice versa and therefore useful for the neuromorphic applications.


title: Quantitative Model Checking of Linear-Time Properties Based on Generalized Possibility Measures

abstract: Model checking of linear-time properties based on possibility measures was studied in previous work (Y. Li and L. Li, Model checking of linear-time properties based on possibility measure, IEEE Transactions on Fuzzy Systems, 21(5)(2013), 842-854). However, the linear-time properties considered in the previous work was classical and qualitative, possibility information of the systems was not considered at all. We shall study quantitative model checking of fuzzy linear-time properties based on generalized possibility measures in the paper. Both the model of the system, as well as the properties the system needs to adhere to, are described using possibility information to identify the uncertainty in the model/properties. The systems are modeled by {\sl generalized possibilistic Kripke structures} (GPKS, in short), and the properties are described by fuzzy linear-time properties. Concretely, fuzzy linear-time properties about reachability, always reachability, constrain reachability, repeated reachability and persitence in GPKSs are introduced and studied. Fuzzy regular safety properties and fuzzy $\omega-$regular properties in GPKSs are introduced, the verification of fuzzy regular safety properties and fuzzy $\omega-$regular properties using fuzzy finite automata are thoroughly studied. It has been shown that the verification of fuzzy regular safety properties and fuzzy $\omega-$regular properties in a finite GPKS can be transformed into the verification of (always) reachability properties and repeated reachability (persistence) properties in the product GPKS introduced in this paper. Several examples are given to illustrate the methods presented in the paper.


title: The peak statistics on simsun permutations

abstract: In this paper, we study the relationship among left peaks, interior peaks and up-down runs of simsun permutations. Properties of the generating polynomials, including the recurrence relation, generating function and real-rootedness are studied. Moreover, we introduce and study simsun permutations of the second kind.


title: A quantum phase transition from $Z_2 \times Z_2$ to $Z_2$ topological order

abstract: Although the topological order is known as a quantum order in quantum many-body systems, it seems that there is not a one-to-one correspondence between topological phases and quantum phases. As a well-known example, it has been shown that all one-dimensional (1D) quantum phases are topologically trivial\cite{spt}. By such a fact, it seems a challenging task to understand when a quantum phase transition between different topological models necessarily reveals different topological classes of them. In this paper, we make an attempt to consider this problem by studying a phase transition between two different quantum phases which belong to a universal topological phase. We define a Hamiltonian which describes an interpolation between the toric code model with $Z_2$ topological order and the color code model with $Z_2 \times Z_2$ topological order on a hexagonal lattice. We show such a model is exactly mapped to many copies of 1D quantum Ising model in transverse field by rewriting the Hamiltonian in a new complete basis. Consequently, we show that the universal topological phase of the color code model and the toric code model reflects in the 1D nature of the phase transition. We also consider the expectation value of Wilson loops by a perturbative calculation and show that behavior of the Wilson loop captures the non-topological nature of the quantum phase transition. The result on the point of phase transition also show that the color code model is strongly robust against the toric code model.


title: Theory of electron spin resonance in bulk topological insulators Bi2Se3, Bi2Te3 and Sb2Te3

abstract: We report a theoretical study of electron spin resonance in bulk topological insulators, such as Bi2Se3, Bi2Te3 and Sb2Te3. Using the effective four-band model, we find the electron energy spectrum in a static magnetic field and determine the response to electric and magnetic dipole perturbations, represented by oscillating electric and magnetic fields perpendicular to the static field. We determine the associated selection rules and calculate the absorption spectra. This enables us to separate the effective orbital and spin degrees of freedom and to determine the effective g-factors for electrons and holes.


title: Study on transient beam loading compensation for China ADS proton linac injector II

abstract: Significant transient beam loading effects were observed during beam commissioning tests of prototype II of the injector for the Accelerator Driven Sub-critical (ADS) system, which took place at the Institute of Modern Physics, Chinese Academy of Sciences, between October and December 2014. During these tests experiments were performed with CW operation of the cavities with pulsed beam current, and the system was configured to make use of a prototype digital low level radio frequency (LLRF) controller. The system was originally operated in pulsed mode with a simple PID feedback control algorithm, which was not able to maintain the desired gradient regulation during pulsed 10 mA beam operations. A unique simple transient beam loading compensation method which made use of a combination of PI feedback and feedforward control algorithm was implemented in order to significantly reduce the beam induced transient effect in the cavity gradients. The superconducting cavity field variation was reduced to less than 1.7% after turning on this control algorithm. The design and experimental results of this system are presented in this paper.


title: The largest cycles consist by the quadratic residues and Fermat primes

abstract: This paper studies the largest cycles consisted by the quadratic residues modulo prime numbers. We give some formulae about the maximum length of the cycles. Especially, the formula for modulo Fermat primes is given.


title: Boiling crisis and non-equilibrium drying transition

abstract: Boiling crisis is the rapid formation of the quasi-continuous vapor film between the heater and the liquid when the heat supply exceeds a critical value. We propose a mechanism for the boiling crisis that is based on the spreading of the dry spot under a vapor bubble. The spreading is initiated by the vapor recoil force, a force coming from the liquid evaporation into the bubble. Since the evaporation intensity increases sharply near the triple contact line, the influence of the vapor recoil can be described as a change of the apparent contact angle. Therefore, for the most usual case of complete wetting of the heating surface by the liquid, the boiling crisis can be understood as a drying transition from complete to partial wetting. The state of nucleate boiling, which is boiling in its usual sense, is characterized by a very large rate of heat transfer from the heating surface to the bulk because the superheated liquid is carried away from the heating surface by the departing vapor bubbles. If the heating power is increased, the temperature of the heating surface increases with the heat flux. When the heat flux from the heater reaches a threshold value q CHF (the critical heat flux, CHF), the vapor bubbles suddenly form a film which covers the heating surface and insulates the latter from the bulk of the liquid. The temperature of the heating surface grows so rapidly that the heater can fuse unless its power is controlled. This phenomenon is known under the names of "boiling crisis," "burnout," or "Departure from Nucleate Boiling" (DNB) [1]. The final state of this transition is called film boiling. This problem has become very important since the 1940's, with the beginning of the industrial exploitation of heat exchangers with large heat fluxes (as with nuclear power stations). Since then a huge amount of research has been done for the various conditions of pool boiling (boiling without imposed external flow) and flow boiling (boiling of the flowing water) [2]. Numerous empirical correlations have been proposed, each describing the dependence of the CHF on the physical parameters of the liquid and of the heater more or less correctly for a particular geometry and particular conditions of boiling [2]. A strong dependence of the threshold on the details of the experimental setup coupled with difficulties in separating the consequences of DNB from its causes is at the origin of a large number of frequently controversial hypotheses [2]. The violence of boiling makes observations quite difficult. Good quality photographic experiments are presented in only a few articles (see e.g. [3] -- [6]). Despite an increasing interest in the physical aspect of the problem during recent years [7,8] and numerous empirical approaches, the underlying physics still remains obscure. In this Letter, we propose a model based on a non-equilibrium drying transition.


title: Archimedean zeta integrals on U(n,1)

abstract: For a dual pair of unitary groups with equal size, zeta integrals arising from Rallis inner product formula give the central values of certain automorphic L-functions. In this paper we explicitly calculate archimedean zeta integrals of this type for U(n,1), assuming that the corresponding archimedean component of the automorphic representation is a holomorphic discrete series.


title: Hardy's function $Z(t)$ - results and problems

abstract: This is primarily an overview article on some results and problems involving the classical Hardy function $$ Z(t) := \zeta(1/2+it){\bigl(\chi(1/2+it)\bigr)}^{-1/2}, \quad \zeta(s) = \chi(s)\zeta(1-s). $$ In particular, we discuss the first and third moment of $Z(t)$ (with and without shifts) and the distribution of its positive and negative values. A new result involving the distribution of its values is presented.


title: The Gaia-ESO Survey: membership and Initial Mass Function of the Gamma Velorum cluster

abstract: Understanding the properties of young open clusters, such as the Initial Mass Function (IMF), star formation history and dynamic evolution, is crucial to obtain reliable theoretical predictions of the mechanisms involved in the star formation process. We want to obtain a list, as complete as possible, of confirmed members of the young open cluster Gamma Velorum, with the aim of deriving general cluster properties such as the IMF. We used all available spectroscopic membership indicators within the Gaia-ESO public archive together with literature photometry and X-ray data and, for each method, we derived the most complete list of candidate cluster members. Then, we considered photometry, gravity and radial velocities as necessary conditions to select a subsample of candidates whose membership was confirmed by using the lithium and H$\alpha$ lines and X-rays as youth indicators. We found 242 confirmed and 4 possible cluster members for which we derived masses using very recent stellar evolutionary models. The cluster IMF in the mass range investigated in this study shows a slope of $\alpha=2.6\pm0.5$ for $0.5<M/M_\odot <1.3$ and $\alpha=1.1\pm0.4$ for $0.16<M/M_\odot <0.5$ and is consistent with a standard IMF. The similarity of the IMF of the young population around $\gamma^2 $Vel to that in other star forming regions and the field suggests it may have formed through very similar processes.


title: Validation of cross sections for Monte Carlo simulation of the photoelectric effect

abstract: Several total and partial photoionization cross section calculations, based on both theoretical and empirical approaches, are quantitatively evaluated with statistical analyses using a large collection of experimental data retrieved from the literature to identify the state of the art for modeling the photoelectric effect in Monte Carlo particle transport. Some of the examined cross section models are available in general purpose Monte Carlo systems, while others have been implemented and subjected to validation tests for the first time to estimate whether they could improve the accuracy of particle transport codes. The validation process identifies Scofield's 1973 non-relativistic calculations, tabulated in the Evaluated Photon Data Library(EPDL), as the one best reproducing experimental measurements of total cross sections. Specialized total cross section models, some of which derive from more recent calculations, do not provide significant improvements. Scofield's non-relativistic calculations are not surpassed regarding the compatibility with experiment of K and L shell photoionization cross sections either, although in a few test cases Ebel's parameterization produces more accurate results close to absorption edges. Modifications to Biggs and Lighthill's parameterization implemented in Geant4 significantly reduce the accuracy of total cross sections at low energies with respect to its original formulation. The scarcity of suitable experimental data hinders a similar extensive analysis for the simulation of the photoelectron angular distribution, which is limited to a qualitative appraisal.


title: Toy model for traffic flow splitting

abstract: We propose a simple dynamic model splitting users of the transport network by type of movement: personal transport and public transport. A distinctive feature proposed in the article is the existence of an evolutionary approach component in the justification of the method of splitting.


title: Influence of Lifshitz transitions and correlation effects on the scattering rates of the charge carriers in iron-based superconductors

abstract: Minimum model calculations on the co-action of hole vanishing Lifshitz transitions and correlation effects in ferropnictides are presented. The calculations predict non-Fermi-liquid behaviour and huge mass enhancements of the charge carriers at the Fermi level. The findings are compared with recent ARPES experiments and with measurements of transport and thermal properties of ferropnictides. The results from the calculation can be also applied to other unconventional superconductors and question the traditional view of quantum critical points.


title: Programmable Restoration Granularity in Constraint Programming

abstract: In most constraint programming systems, a limited number of search engines is offered while the programming of user-customized search algorithms requires low-level efforts, which complicates the deployment of such algorithms. To alleviate this limitation, concepts such as computation spaces have been developed. Computation spaces provide a coarse-grained restoration mechanism, because they store all information contained in a search tree node. Other granularities are possible, and in this paper we make the case for dynamically adapting the restoration granularity during search. In order to elucidate programmable restoration granularity, we present restoration as an aspect of a constraint programming system, using the model of aspect-oriented programming. A proof-of-concept implementation using Gecode shows promising results.


title: Cosmic Background Radiation and `ether-drift' experiments

abstract: `Ether-drift' experiments have played a crucial role for the origin of relativity. Though, a recent re-analysis shows that those original measurements where light was still propagating in gaseous systems, differently from the modern experiments in vacuum and in solid dielectrics, indicate a small universal anisotropy which is naturally interpreted in terms of a non-local thermal gradient. We argue that this could possibly be the effect, on weakly bound gaseous matter, of the temperature gradient due to the Earth's motion within the Cosmic Background Radiation (CBR). Therefore, a check with modern laser interferometers is needed to reproduce the conditions of those early measurements with today's much greater accuracy. We emphasize that an unambiguous confirmation of our interpretation would have far reaching consequences. For instance, it would also imply that all physical systems on the moving Earth are exposed to a tiny energy flow, an effect that, in principle, could induce forms of self-organization in matter.


title: The base change of the monodromy group for geometric Tannakian pairs

abstract: We prove that in any characteristic the formation of the monodromy group of a $\mathscr{D}$-module commutes with the extension of the ground field, extending a result of Gabber for separable extensions.


title: The Subtleties of the Wigner Function Formulation of the Chiral Magnetic Effect

abstract: We assess the applicability of the Wigner function formulation in its present form to the chiral Magnetic Effect and noted some issues regarding the conservation and the consistency of the electric current in the presence of an inhomogeneous and time dependent axial chemical potential. The problems are rooted in the ultraviolet divergence of the underlying field theory associated with the axial anomaly and can be fixed with the Pauli-Villars regularization of the Wigner function.


title: Interpolant Tree Automata and their Application in Horn Clause Verification

abstract: This paper investigates the combination of abstract interpretation over the domain of convex polyhedra with interpolant tree automata, in an abstraction-refinement scheme for Horn clause verification. These techniques have been previously applied separately, but are combined in a new way in this paper. The role of an interpolant tree automaton is to provide a generalisation of a spurious counterexample during refinement, capturing a possibly infinite set of spurious counterexample traces. In our approach these traces are then eliminated using a transformation of the Horn clauses. We compare this approach with two other methods; one of them uses interpolant tree automata in an algorithm for trace abstraction and refinement, while the other uses abstract interpretation over the domain of convex polyhedra without the generalisation step. Evaluation of the results of experiments on a number of Horn clause verification problems indicates that the combination of interpolant tree automaton with abstract interpretation gives some increase in the power of the verification tool, while sometimes incurring a performance overhead.


title: Non-causal computation

abstract: Computation models such as circuits describe sequences of computation steps that are carried out one after the other. In other words, algorithm design is traditionally subject to the restriction imposed by a fixed causal order. We address a novel computing paradigm beyond quantum computing, replacing this assumption by mere logical consistency: We study non-causal circuits, where a fixed time structure within a gate is locally assumed whilst the global causal structure between the gates is dropped. We present examples of logically consistent non- causal circuits outperforming all causal ones; they imply that suppressing loops entirely is more restrictive than just avoiding the contradictions they can give rise to. That fact is already known for correlations as well as for communication, and we here extend it to computation.


title: On multiplier processes under weak moment assumptions

abstract: We show that if $V \subset \R^n$ satisfies a certain symmetry condition (closely related to unconditionaity) and if $X$ is an isotropic random vector for which $\|\inr{X,t}\|_{L_p} \leq L \sqrt{p}$ for every $t \in S^{n-1}$ and $p \lesssim \log n$, then the corresponding empirical and multiplier processes indexed by $V$ behave as if $X$ were $L$-subgaussian.


title: Constructing Sub-exponentially Large Optical Priority Queues with Switches and Fiber Delay Lines

abstract: Optical switching has been considered as a natural choice to keep pace with growing fiber link capacity. One key research issue of all-optical switching is the design of optical queues by using optical crossbar switches and fiber delay lines (SDL). In this paper, we focus on the construction of an optical priority queue with a single $(M+2)\times (M+2)$ crossbar switch and $M$ fiber delay lines, and evaluate it in terms of the buffer size of the priority queue. Currently, the best known upper bound of the buffer size is $O(2^M)$, while existing methods can only construct a priority queue with buffer $O(M^3)$. In this paper, we make a great step towards closing the above huge gap. We propose a very efficient construction of priority queues with buffer $2^{\Theta(\sqrt{M})}$. We use 4-to-1 multiplexers with different buffer sizes, which can be constructed efficiently with SDL, as intermediate building blocks to simplify the design. The key idea in our construction is to route each packet entering the switch to some group of four 4-to-1 multiplexers according to its current priority, which is shown to be collision-free.


title: The collinearly-improved Balitsky-Kovchegov equation

abstract: The high-energy evolution in perturbative QCD suffers from a severe lack-of-convergence problem, due to higher order corrections enhanced by double and single transverse logarithms. We resum double logarithms to all orders within the non-linear Balitsky-Kovchegov equation, by taking into account successive soft gluon emissions strongly ordered in lifetime. We further resum single logarithms generated by the first non-singular part of the splitting functions and by the one-loop running of the coupling. The resummed BK equation admits stable solutions, which are used to successfully fit the HERA data at small $x$ for physically acceptable initial conditions and reasonable values of the fit parameters.


title: Measurement of the forward-backward asymmetry in low-mass bottom-quark pairs produced in proton-antiproton collisions

abstract: We report a measurement of the forward-backward asymmetry, $A_{FB}$, in $b\bar{b}$ pairs produced in proton-antiproton collisions and identified by muons from semileptonic $b$-hadron decays. The event sample was collected at a center-of-mass energy of $\sqrt{s}=1.96$ TeV with the CDF II detector and corresponds to 6.9 fb$^{-1}$ of integrated luminosity. We obtain an integrated asymmetry of $A_{FB}(b\bar{b})=(1.2 \pm 0.7)$\% at the particle level for $b$-quark pairs with invariant mass, $m_{b\bar{b}}$, down to $40$ GeV/$c^2$ and measure the dependence of $A_{FB}(b\bar{b})$ on $m_{b\bar{b}}$. The results are compatible with expectations from the standard model.


title: Online Community Detection by Using Nearest Hubs

abstract: Community and cluster detection is a popular field of social network analysis. Most algorithms focus on static graphs or series of snapshots. In this paper we present an algorithm, which detects communities in dynamic graphs. The method is based on shortest paths to high-connected nodes, so called hubs. Due to local message passing we can update the clustering results with low computational power. The presented algorithm is compared with other for some static social networks. The reached modularity is not as high as the Louvain method, but even higher then spectral clustering. For large-scale real-world datasets with given ground truth, we could reconstruct most of the given community structure. The advantage of the algorithm is the good performance in dynamic scenarios.


title: Wheeler-DeWitt equation and Lie symmetries in Bianchi scalar-field cosmology

abstract: Lie symmetries are discussed for the Wheeler-De Witt equation in Bianchi Class A cosmologies. In particular, we consider General Relativity, minimally coupled scalar field gravity and Hybrid Gravity as paradigmatic examples of the approach. Several invariant solutions are determined and classified according to the form of the scalar field potential. The approach gives rise to a suitable method to select classical solutions and it is based on the first principle of the existence of symmetries.


title: Maps on quantum states preserving Bregman and Jensen divergences

abstract: We describe the structure of the bijective transformations on the set of density operators which preserve the Bregman $f$-divergence for an arbitrary differentiable strictly convex function $f.$ Furthermore, we determine the preservers of the Jensen $f$-divergence in the case when the generating function $f$ belongs to a recently introduced function class called Matrix Entropy Class.


title: Moving frame and integrable system of the discrete centroaffine curves in R^3

abstract: Any two equivalent discrete curves must have the same invariants at the corresponding points under an affine transformation. In this paper, we construct the moving frame and invariants for the discrete centroaffine curves, which could be used to discriminate the same discrete curves from different graphics, and estimate whether a polygon flow is stable or periodically stable. In fact, using the similar method as the Frenet-Serret frame, a discrete curve can be uniquely identified by its centroaffine curvatures and torsions. In 1878, Darboux studied the problem of midpoint iteration of polygons[12]. Berlekamp et al studied this problem in detail[2]. Now, through the centroaffine curvatures and torsions, the iteration process can be clearly quantified. Exactly, we describe the whole iteration process by using centroaffine curvatures and torsions, and its periodicity could be directly exhibited. As an application, we would obtain some stable discrete space curves with changeless curvatures and torsions after multistep iteration. For the pentagram map of a polygon, the affinely regular polygons are stable. Furthermore, we find the convex hexagons with parallel and equi-length opposite sides are periodically stable, and some convex parallel and equi-length opposite sides octagons are also periodically stable. The proofs of these results are obtained using the structure equations of the discrete cnetroaffine curves and the integrable conditions of its flows.


title: Duo: a general program for calculating spectra of diatomic molecules

abstract: Duo is a general, user-friendly program for computing rotational, rovibrational and rovibronic spectra of diatomic molecules. Duo solves the Schr\"{o}dinger equation for the motion of the nuclei not only for the simple case of uncoupled, isolated electronic states (typical for the ground state of closed-shell diatomics) but also for the general case of an arbitrary number and type of couplings between electronic states (typical for open-shell diatomics and excited states). Possible couplings include spin-orbit, angular momenta, spin-rotational and spin-spin. Corrections due to non-adiabatic effects can be accounted for by introducing the relevant couplings using so-called Born-Oppenheimer breakdown curves. Duo requires user-specified potential energy curves and, if relevant, dipole moment, coupling and correction curves. From these it computes energy levels, line positions and line intensities. Several analytic forms plus interpolation and extrapolation options are available for representation of the curves. Duo can refine potential energy and coupling curves to best reproduce reference data such as experimental energy levels or line positions. Duo is provided as a Fortran 2003 program and has been tested under a variety of operating systems.


title: Physics of massive stars relevant for the modeling of Wolf-Rayet populations

abstract: Key physical ingredients governing the evolution of massive stars are mass losses, convection and mixing in radiative zones. These effects are important both in the frame of single and close binary evolution. The present paper addresses two points: 1) the differences between two families of rotating models, i.e. the family of models computed with and without an efficient transport of angular momentum in radiative zones; 2) The impact of the mass losses in single and in close binary models.


title: Meta-analysis of few small studies in orphan diseases

abstract: Meta-analyses in orphan diseases and small populations generally face particular problems including small numbers of studies, small study sizes, and heterogeneity of results. However, the heterogeneity is difficult to estimate if only very few studies are included. Motivated by a systematic review in immunosuppression following liver transplantation in children we investigate the properties of a range of commonly used frequentist and Bayesian procedures in extensive simulation studies. Furthermore, the consequences for interval estimation of the common treatment effect in random effects meta-analysis are assessed. The Bayesian credibility intervals using weakly informative priors for the between-trial heterogeneity exhibited coverage probabilities in excess of the nominal level for a range of scenarios considered. However, they tended to be shorter than those obtained by the Knapp-Hartung method, which were also conservative. In contrast, methods based on normal quantiles exhibited coverages well below the nominal levels in many scenarios. With very few studies, the performance of the Bayesian credibility intervals is of course sensitive to the specification of the prior for the between trial heterogeneity. In conclusion, the use of weakly informative priors as exemplified by half-normal priors (with scale 0.5 or 1.0) for log odds ratios is recommended for applications in rare diseases.


title: Deep morphological and spectral study of the SNR RCW 86 with Fermi-LAT

abstract: RCW 86 is a young supernova remnant (SNR) showing a shell-type structure at several wavelengths and is thought to be an efficient cosmic-ray (CR) accelerator. Earlier \textit{Fermi} Large Area Telescope results reported the detection of $\gamma$-ray emission coincident with the position of RCW 86 but its origin (leptonic or hadronic) remained unclear due to the poor statistics. Thanks to 6.5 years of data acquired by the \textit{Fermi}-LAT and the new event reconstruction Pass 8, we report the significant detection of spatially extended emission coming from RCW 86. The spectrum is described by a power-law function with a very hard photon index ($\Gamma = 1.42 \pm 0.1_{\rm stat} \pm 0.06_{\rm syst}$) in the 0.1--500 GeV range and an energy flux above 100 MeV of ($2.91$ $\pm$ $0.8_{\rm stat}$ $\pm$ $0.12_{\rm syst}$) $\times$ $10^{-11}$ erg cm$^{-2}$ s$^{-1}$. Gathering all the available multiwavelength (MWL) data, we perform a broadband modeling of the nonthermal emission of RCW 86 to constrain parameters of the nearby medium and bring new hints about the origin of the $\gamma$-ray emission. For the whole SNR, the modeling favors a leptonic scenario in the framework of a two-zone model with an average magnetic field of 10.2 $\pm$ 0.7 $\mu$G and a limit on the maximum energy injected into protons of 2 $\times$ 10$^{49}$ erg for a density of 1 cm$^{-3}$. In addition, parameter values are derived for the North-East (NE) and South-West (SW) regions of RCW 86, providing the first indication of a higher magnetic field in the SW region.


title: Molecular density functional theory of water including density-polarization coupling

abstract: We present a three-dimensional molecular density functional theory (MDFT) of water derived from first-principles that relies on the particle's density and multipolar polarization density and includes the density-polarization coupling. This brings two main benefits: ($i$) a scalar density and a vectorial multipolar polarization density fields are much more tractable and give more physical insight than the full position and orientation densities, and ($ii$) it includes the full density-polarization coupling of water, that is known to be non-vanishing but has never been taken into account. Furthermore, the theory requires only the partial charge distribution of a water molecule and three measurable bulk properties, namely the structure factor and the Fourier components of the longitudinal and transverse dielectric susceptibilities.


title: Discrete analogues of Macdonald-Mehta integrals

abstract: We consider discretisations of the Macdonald--Mehta integrals from the theory of finite reflection groups. For the classical groups, $\mathrm{A}_{r-1}$, $\mathrm{B}_r$ and $\mathrm{D}_r$, we provide closed-form evaluations in those cases for which the Weyl denominators featuring in the summands have exponents $1$ and $2$. Our proofs for the exponent-$1$ cases rely on identities for classical group characters, while most of the formulas for the exponent-$2$ cases are derived from a transformation formula for elliptic hypergeometric series for the root system $\mathrm{BC}_r$. As a byproduct of our results, we obtain closed-form product formulas for the (ordinary and signed) enumeration of orthogonal and symplectic tableaux contained in a box.


title: Finite sample properties of the mean occupancy counts and probabilities

abstract: For a probability distribution $P$ on an at most countable alphabet $\mathcal A$, this article gives finite sample bounds for the expected occupancy counts $\mathbb E K_{n,r}$ and probabilities $\mathbb E M_{n,r}$. Both upper and lower bounds are given in terms of the counting function $\nu$ of $P$. Special attention is given to the case where $\nu$ is bounded by a regularly varying function. In this case, it is shown that our general results lead to an optimal-rate control of the expected occupancy counts and probabilities with explicit constants. Our results are also put in perspective with Turing's formula and recent concentration bounds to deduce bounds in probability. At the end of the paper, we discuss an extension of the occupancy problem to arbitrary distributions in a metric space.


title: Asymptotic stability of linear fractional systems with constant coefficients and small time dependent perturbations

abstract: Our aim in this paper is to investigate the asymptotic behavior of solutions of the perturbed linear fractional differential system. We show that if the original linear autonomous system is asymptotically stable then under the action of small (either linear or nonlinear) nonautonomous perturbations the trivial solution of the perturbed system is also asymptotically stable.


title: Asymmetric Talbot-Lau interferometry for inertial sensing

abstract: We study in detail a peculiar configuration of the Talbot-Lau matter wave interferometer, characterised by unequal distances between the two diffraction gratings and the observation plane. We refer to this apparatus as the "asymmetric Talbot-Lau setup". Particular attention is given to its capabilities as an inertial sensor for particle and atomic beams, also in comparison with the classical moir\'e deflectometer. The present analysis is motivated by possible experimental applications in the context of antimatter wave interferometry, including the measurement of the gravitational acceleration of antimatter particles. To support our findings, we have performed numerical simulations of realistic particle beams with varying speed distributions.


title: Droplet spreading on rough surfaces: tackling the contact line boundary condition

abstract: The complicated dynamics of the contact line of a moving droplet on a solid substrate often hamper the efficient modeling of microfluidic systems. In particular, the selection of the effective boundary conditions, specifying the contact line motion, is a controversial issue since the microscopic physics that gives rise to this displacement is still unknown. Here, a sharp interface, continuum-level, novel modeling approach, accounting for liquid/solid micro-scale interactions assembled in a disjoining pressure term, is presented. By following a unified conception (the model applies both to the liquid/solid and the liquid/ambient interfaces), the friction forces at the contact line, as well as the dynamic contact angle are derived implicitly as a result of the disjoining pressure and viscous effects interplay in the vicinity of the substrate's intrinsic roughness. Previous hydrodynamic model limitations, of imposing the contact line boundary condition to an unknown number and reconfigurable contact lines, when modeling the spreading dynamics on textured substrates, are now overcome. The validity of our approach is tested against experimental data of a droplet impacting on a horizontal solid surface. The study of the early spreading stage on hierarchically structured and chemically patterned solid substrates reveal an inertial regime where the contact radius grows according to a universal power law, perfectly agreeing with recently published experimental findings.


title: Large-Area and Transferred High-Quality Three-Dimensional Topological Insulator Bi2-xSbxTe3-ySey Ultrathin Film by Catalyst-Free Physical Vapor Deposition

abstract: Uniform and large area synthesis of bulk insulating ultrathin films is an important subject toward applications of a surface of three dimensional topological insulators (3D-TIs) in various electronic devices. Here we report epitaxial growth of bulk insulating three dimensional topological insulator (3D-TI) Bi2-xSbxTe3-ySey (BSTS) ultrathin films, ranging from a few quintuple to several hundreds of layaers, on mica in a large-area (1 cm2) via catalyst free physical vapor deposition. These films can nondestructively be exfoliated using deionized water and transferred to various kinds of substrates as desired. The transferred BSTS thin films show good ambipolar characteristics as well as well defined quantum oscillations arising from the topological surface states. Carrier mobility of 2500-5100 cm2(Vs)-1 is comparable to the high quality bulk BSTS single crystal. Moreover, tunable electronic states from the massless to the massive Dirac fermion were observed with a decrease in the film thickness. Both the feasible large area synthesis and the reliable film transfer process can promise that BSTS ultrathin films will pave a route to many applications of 3D-TIs.


title: Extruding the vortex lattice: two reacting populations of dislocations

abstract: A controllable soft solid is realised in vortex matter in a type II superconductor. The two-dimensional unit cell area can be varied by a factor of $10^4$ in the solid phase, without a change of crystal symmetry offering easy exploration of extreme regimes compared to ordinary materials. The capacity to confine two-dimensional vortex matter to mesoscopic regions provides an arena for the largely unexplored metallurgy of plastic deformation at large density gradients. Our simulations reveal a novel plastic flow mechanism in this driven non-equilibrium system, utilising two distinct, but strongly interacting, populations of dislocations. One population facilitates the relaxation of density; a second aids the relaxation of shear stresses concentrated at the boundaries. The disparity of the bulk and shear moduli in vortex matter ensures the dislocation motion follows the overall continuum flow reflecting density variation.


title: On the structure of ${\mathscr A}$-free measures and applications

abstract: We establish a general structure theorem for the singular part of ${\mathscr A}$-free Radon measures, where ${\mathscr A}$ is a linear PDE operator. By applying the theorem to suitably chosen differential operators ${\mathscr A}$, we obtain a simple proof of Alberti's rank-one theorem and, for the first time, its extensions to functions of bounded deformation (BD). We also prove a structure theorem for the singular part of a finite family of normal currents. The latter result implies that the Rademacher theorem on the differentiability of Lipschitz functions can hold only for absolutely continuous measures and that every top-dimensional Ambrosio--Kirchheim metric current in $\mathbb R^d$ is a Federer-Fleming flat chain.


title: Goal-oriented a posteriori error control for nonstationary convection-dominated transport problems

abstract: The numerical approximation of convection-dominated problems continues to remain subject of strong interest. Families of stabilization techniques for finite element methods were developed in the past. Adaptive techniques based on a posteriori error estimates offer potential for further improvements. However, there is still a lack in robust a posteriori error estimates in natural norms of the discretizations. Here we combine the dual weighted residual method for goal-oriented error control with stabilized finite element approximations. By a duality argument an error representation is derived on that a space-time adaptive approach is built. It differs from former works on the dual weighted residual method. Numerical experiments illustrate that our schemes are capable to resolve layers and sharp fronts with high accuracy and to further reduce spurious oscillations of approximations.


title: Energy loss at NLO in a high-temperature Quark-Gluon Plasma

abstract: We present an extension of the Arnold-Moore-Yaffe kinetic equations for jet energy loss to NLO in the strong coupling constant. A novel aspect of the NLO analysis is a consistent description of wider-angle bremsstrahlung (semi-collinear emissions), which smoothly interpolates between 2<->2 scattering and collinear bremsstrahlung. We describe how many of the ingredients of the NLO transport equations (such as the drag coefficient) can be expressed in terms of Wilson line operators and can be computed using a Euclidean formalism or sum rules, both motivated by the analytic properties of amplitudes at light-like separations. We conclude with an outlook on the computation of the shear viscosity at NLO.


title: Hybrid metric-Palatini brane system

abstract: It is known that the metric and Palatini formalisms of gravity theories have their own interesting features but also suffer from some different drawbacks. Recently, a novel gravity theory called hybrid metric-Palatini gravity was put forward to cure or improve their individual deficiencies. The action of this gravity theory is a hybrid combination of the usual Einstein-Hilbert action and a $f(\mathcal{R})$ term constructed by the Palatini formalism. Interestingly, it seems that the existence of a light and long-range scalar field in this gravity may modify the cosmological and galactic dynamics without conflicting with the laboratory and Solar System tests. In this paper we focus on the tensor perturbation of thick branes in this novel gravity theory. We consider two models as examples, namely, the thick branes constructed by a background scalar field and by pure gravity. The thick branes in both models have no inner structure. However, the graviton zero mode in the first model has inner structure when the parameter in this model is larger than its critical value. We find that the effective four-dimensional gravity can be reproduced on the brane for both models. Moreover, the stability of both brane systems against the tensor perturbation can also be ensured.


title: Intrinsic Diophantine Approximation on General Polynomial Surfaces

abstract: We study the Hausdorff measure and dimension of the set of intrinsically simultaneously $\psi$-approximable points on a curve, surface, etc., given as a graph of integer valued polynomials. We obtain complete answers to these questions for algebraically "nice" manifolds. This generalizes earlier work done in the case of curves.


title: Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]

abstract: In previous work, an attempt was made to apply the schematic CERES method [8] to a formal proof with an arbitrary number of {\Pi} 2 cuts (a recursive proof encapsulating the infinitary pigeonhole principle) [5]. However the derived schematic refutation for the characteristic clause set of the proof could not be expressed in the formal language provided in [8]. Without this formalization a Herbrand system cannot be algorithmically extracted. In this work, we provide a restriction of the proof found in [5], the ECA-schema (Eventually Constant Assertion), or ordered infinitary pigeonhole principle, whose analysis can be completely carried out in the framework of [8], this is the first time the framework is used for proof analysis. From the refutation of the clause set and a substitution schema we construct a Herbrand system.


title: Robust Numerical Upscaling of Elliptic Multiscale Problems at High Contrast

abstract: We present a new approach to the numerical upscaling for elliptic problems with rough diffusion coefficient at high contrast. It is based on the localizable orthogonal decomposition of $H^1$ into the image and the kernel of some novel stable quasi-interpolation operators with local $L^2$-approximation properties, independent of the contrast. We identify a set of sufficient assumptions on these quasi-interpolation operators that guarantee in principle optimal convergence without pre-asymptotic effects for high-contrast coefficients. We then give an example of a suitable operator and establish the assumptions for a particular class of high-contrast coefficients. So far this is not possible without any pre-asymptotic effects, but the optimal convergence is independent of the contrast and the asymptotic range is largely improved over other discretisation schemes. The new framework is sufficiently flexible to allow also for other choices of quasi-interpolation operators and the potential for fully robust numerical upscaling at high contrast.


title: Extreme blazars as counterparts of IceCube astrophysical neutrinos

abstract: We explore the correlation of $\gamma$-ray emitting blazars with IceCube neutrinos by using three very recently completed, and independently built, catalogues and the latest neutrino lists. We introduce a new observable, namely the number of neutrino events with at least one $\gamma$-ray counterpart, $N_{\nu}$. In all three catalogues we consistently observe a positive fluctuation of $N_{\nu}$ with respect to the mean random expectation at a significance level of $0.4 - 1.3$ per cent. This applies only to extreme blazars, namely strong, very high energy $\gamma$-ray sources of the high energy peaked type, and implies a model-independent fraction of the current IceCube signal $\sim 10 - 20$ per cent. An investigation of the hybrid photon -- neutrino spectral energy distributions of the most likely candidates reveals a set of $\approx 5$ such sources, which could be linked to the corresponding IceCube neutrinos. Other types of blazars, when testable, give null correlation results. Although we could not perform a similar correlation study for Galactic sources, we have also identified two (further) strong Galactic $\gamma$-ray sources as most probable counterparts of IceCube neutrinos through their hybrid spectral energy distributions. We have reasons to believe that our blazar results are not constrained by the $\gamma$-ray samples but by the neutrino statistics, which means that the detection of more astrophysical neutrinos could turn this first hint into a discovery.


title: Robust Influence Maximization

abstract: In this paper, we address the important issue of uncertainty in the edge influence probability estimates for the well studied influence maximization problem --- the task of finding $k$ seed nodes in a social network to maximize the influence spread. We propose the problem of robust influence maximization, which maximizes the worst-case ratio between the influence spread of the chosen seed set and the optimal seed set, given the uncertainty of the parameter input. We design an algorithm that solves this problem with a solution-dependent bound. We further study uniform sampling and adaptive sampling methods to effectively reduce the uncertainty on parameters and improve the robustness of the influence maximization task. Our empirical results show that parameter uncertainty may greatly affect influence maximization performance and prior studies that learned influence probabilities could lead to poor performance in robust influence maximization due to relatively large uncertainty in parameter estimates, and information cascade based adaptive sampling method may be an effective way to improve the robustness of influence maximization.


title: Nuclear suppression in p-A collisions from induced radiation

abstract: The current status of coherent energy loss is reviewed, both in theory and in its phenomenological applications to p-A collisions.


title: Density Functional Theory Based on the Electron Distribution on the Energy Coordinate

abstract: We introduced a new electron density n({\epsilon}) by projecting the spatial electron density n(r) onto the energy coordinate {\epsilon} defined with the external potential \upsion (r) of interest. Then, a density functional theory (DFT) was formulated, where n({\epsilon}) serves as a fundamental variable for the electronic energy. It was demonstrated that the Kohn-Sham equation can also be adapted to the DFT that employs the density n({\epsilon}) as an argument to the exchange energy functional. An important attribute of the energy density is that it involves the spatially non-local population of the spin-adapted density n(r) at the bond dissociation. By taking advantage of this property we developed a prototype of the static correlation functional employing no empirical parameters, which realized a reasonable dissociation curve for H2 molecule.


title: Radiative neutrino mass generation from WIMP dark matter

abstract: The minimal seesaw extension of the Standard Model requires two electroweak singlet fermions in order to accommodate the neutrino oscillation parameters at tree level. Here we consider a next to minimal extension where light neutrino masses are generated radiatively by two electroweak fermions: one singlet and one triplet under SU(2). These should be odd under a parity symmetry and their mixing gives rise to a stable weakly interactive massive particle dark matter candidate. For mass in the GeV-TeV range, it reproduces the correct relic density, and provides an observable signal in nuclear recoil direct detection experiments. The fermion triplet component of the dark matter has gauge interactions, making it potentially detectable at present and near future collider experiments.


title: On Renyi Entropy Power Inequalities

abstract: This paper gives improved R\'{e}nyi entropy power inequalities (R-EPIs). Consider a sum $S_n = \sum_{k=1}^n X_k$ of $n$ independent continuous random vectors taking values on $\mathbb{R}^d$, and let $\alpha \in [1, \infty]$. An R-EPI provides a lower bound on the order-$\alpha$ R\'enyi entropy power of $S_n$ that, up to a multiplicative constant (which may depend in general on $n, \alpha, d$), is equal to the sum of the order-$\alpha$ R\'enyi entropy powers of the $n$ random vectors $\{X_k\}_{k=1}^n$. For $\alpha=1$, the R-EPI coincides with the well-known entropy power inequality by Shannon. The first improved R-EPI is obtained by tightening the recent R-EPI by Bobkov and Chistyakov which relies on the sharpened Young's inequality. A further improvement of the R-EPI also relies on convex optimization and results on rank-one modification of a real-valued diagonal matrix.


title: On a nonlinear Peetre's theorem in full Colombeau algebras

abstract: We adapt a nonlinear version of Peetre's theorem on local operators in order to investigate representatives of nonlinear generalized functions occurring in the theory of full Colombeau algebras.


title: Centrality-dependent forward $J/\psi$ production in high energy proton-nucleus collisions

abstract: Forward $J/\psi$ production and suppression in high energy proton-nucleus collisions can be an important probe of gluon saturation. In an earlier work we studied this process in the Color Glass Condensate framework and showed that using the Glauber approach to extrapolate the dipole cross section of a proton to a nucleus leads to results closer to experimental data than previous calculations in this framework. Here we investigate the centrality dependence of the nuclear suppression in this model and show a comparison of our results with recent LHC data.


title: Unbounded ladders induced by Gorenstein algebras

abstract: The derived category of a Gorenstein triangular matrix algebra $A$ admits an unbounded ladder, which is of period $3$ if $A = T_2(B)$. Also, a left recollement of triangulated categories with Serre functors sits in a ladder of period $1$; as an application, the singularity category of $A$ admits a ladder of period $1$.


title: Laser-induced topological transitions in phosphorene with inversion symmetry

abstract: Recent ab initio calculations and experiments reported insulating-semimetallic phase transitions in multilayer phosphorene under a perpendicular dc field, pressure or doping, as a possible route to realize topological phases. In this work, we show that even a monolayer phosphorene may undergo Lifshitz transitions toward semimetallic and topological insulating phases, provided it is rapidly driven by in-plane time-periodic laser fields. Based on a four-orbital tight-binding description, we give an inversion-symmetry-based prescription in order to apprehend the topology of the photon-renormalized band structure, up to the second order in the high-frequency limit. Apart from the initial band insulating behavior, two additional phases are thus identified. A semimetallic phase with massless Dirac electrons may be induced by linear polarized fields, whereas elliptic polarized fields are likely to drive the material into an anomalous quantum Hall phase.


title: Discovery of an Inner Disk Component around HD 141569 A

abstract: We report the discovery of a scattering component around the HD 141569 A circumstellar debris system, interior to the previously known inner ring. The discovered inner disk component, obtained in broadband optical light with HST/STIS coronagraphy, was imaged with an inner working angle of 0".25, and can be traced from 0".4 (~46 AU) to 1".0 (~116 AU) after deprojection using i=55deg. The inner disk component is seen to forward scatter in a manner similar to the previously known rings, has a pericenter offset of ~6 AU, and break points where the slope of the surface brightness changes. It also has a spiral arm trailing in the same sense as other spiral arms and arcs seen at larger stellocentric distances. The inner disk spatially overlaps with the previously reported warm gas disk seen in thermal emission. We detect no point sources within 2" (~232 AU), in particular in the gap between the inner disk component and the inner ring. Our upper limit of 9+/-3 M_J is augmented by a new dynamical limit on single planetary mass bodies in the gap between the inner disk component and the inner ring of 1 M_J, which is broadly consistent with previous estimates.


title: Reheating and Primordial Gravitational Waves in Generalized Galilean Genesis

abstract: Galilean genesis is an alternative to inflation, in which the universe starts expanding from Minkowski with the stable violation of the null energy condition. In this paper, we discuss how the early universe is reheated through the gravitational particle production at the trasition from the genesis phase to the subsequent phase where the kinetic energy of the scalar field is dominant. We then study the consequences of gravitational reheating after Galilean genesis on the spectrum of primordial gravitational waves. The resultant spectrum is strongly blue, and at high frequencies $\Omega_{\rm gw}\propto f^3$ in terms of the energy density per unit logarithmic frequency. Though this cannot be detected in existing detctors, the amplitude can be as large as $\Omega_{\rm gw}\sim 10^{-12}$ at $f\sim 100\,$MHz, providing a future test of the genesis scenario. The analysis is performed within the framework of generalized Galilean genesis based on the Horndeski theory, which enables us to derive generic formulas.


title: Secure Computation of Randomized Functions

abstract: Two user secure computation of randomized functions is considered, where only one user computes the output. Both the users are semi-honest; and computation is such that no user learns any additional information about the other user's input and output other than what cannot be inferred from its own input and output. First we consider a scenario, where privacy conditions are against both the users. In perfect security setting Kilian [STOC 2000] gave a characterization of securely computable randomized functions, and we provide rate-optimal protocols for such functions. We prove that the same characterization holds in asymptotic security setting as well and give a rate-optimal protocol. In another scenario, where privacy condition is only against the user who is not computing the function, we provide rate-optimal protocols. For perfect security in both the scenarios, our results are in terms of chromatic entropies of different graphs. In asymptotic security setting, we get single-letter expressions of rates in both the scenarios.


title: Velocity statistics for non-uniform configurations of point vortices

abstract: Within the point vortex model, we compute the probability distribution function of the velocity fluctuations induced by same-signed vortices scattered within a disk according to a fractal distribution of distances to origin $\sim r^{-\alpha}$. We show that the different random configurations of vortices induce velocity fluctuations that are broadly distributed, and follow a power-law tail distribution, $P(V)\sim V^{\alpha-2}$ with a scaling exponent determined by the $\alpha$ exponent of the spatial distribution. We also show that the range of the power-law scaling regime in the velocity distribution is set by the mean density of vortices and the exponent $\alpha$ of the vortex density distribution.


title: From survival to extinction of the contact process by the removal of a single edge

abstract: We give a construction of a tree in which the contact process with any positive infection rate survives but, if a certain privileged edge $e^*$ is removed, one obtains two subtrees in which the contact process with infection rate smaller than $1/4$ dies out.


title: Measurement of the $\phi \to \pi^0 e^+e^-$ transition form factor with the KLOE detector

abstract: A measurement of the vector to pseudoscalar conversion decay $\phi \to \pi^0 e^+e^-$ with the KLOE experiment is presented. A sample of $\sim 9500$ signal events was selected from a data set of 1.7 fb$^{-1}$ of $e^+e^-$ collisions at $\sqrt{s} \sim m_{\phi}$ collected at the DA$\Phi$NE $e^+e^-$ collider. These events were used to obtain the first measurement of the transition form factor $| F_{\phi \pi^0}(q^2) |$ and a new measurement of the branching ratio of the decay: $\rm{BR}\,(\phi \to \pi^0 e^+e^-) = (\,1.35 \pm 0.05^{\,\,+0.05}_{\,\,-0.10}\,) \times 10 ^{-5}$. The result improves significantly on previous measurements and is in agreement with theoretical predictions.


title: More about wormholes in generalized Galileon theories

abstract: We consider a class of generalized Galileon theories within General Relativity in space-times of more than two spatial dimensions. We show that these theories do not admit stable, static, spherically symmetric, asymptotically flat and traversable Lorentzian wormholes.


title: Constraining pion interactions at very high energies by cosmic ray data

abstract: We demonstrate that a substantial part of the present uncertainties in model predictions for the average maximum depth of cosmic ray-induced extensive air showers is related to very high energy pion-air collisions. Our analysis shows that the position of the maximum of the muon production profile in air showers is strongly sensitive to the properties of such interactions. Therefore, the measurements of the maximal muon production depth by cosmic ray experiments provide a unique opportunity to constrain the treatment of pion-air interactions at very high energies and to reduce thereby model-related uncertainties for the shower maximum depth.


title: On the Interface between Perturbative and Nonperturbative QCD

abstract: The QCD running coupling $\alpha_s(Q^2)$ sets the strength of the interactions of quarks and gluons as a function of the momentum transfer $Q$. The $Q^2$ dependence of the coupling is required to describe hadronic interactions at both large and short distances. In this article we adopt the light-front holographic approach to strongly-coupled QCD, a formalism which incorporates confinement, predicts the spectroscopy of hadrons composed of light quarks, and describes the low-$Q^2$ analytic behavior of the strong coupling $\alpha_s(Q^2)$. The high-$Q^2$ dependence of the coupling $\alpha_s(Q^2)$ is specified by perturbative QCD and its renormalization group equation. The matching of the high and low $Q^2$ regimes of $\alpha_s(Q^2)$ then determines the scale $Q_0$ which sets the interface between perturbative and nonperturbative hadron dynamics. The value of $Q_0$ can be used to set the factorization scale for DGLAP evolution of hadronic structure functions and the ERBL evolution of distribution amplitudes. We discuss the scheme-dependence of the value of $Q_0$ and the infrared fixed-point of the QCD coupling. Our analysis is carried out for the $\bar{MS}$, $g_1$, $MOM$ and $V$ renormalization schemes. Our results show that the discrepancies on the value of $\alpha_s$ at large distance seen in the literature can be explained by different choices of renormalization schemes. We also provide the formulae to compute $\alpha_s(Q^2)$ over the entire range of space-like momentum transfer for the different renormalization schemes discussed in this article.


title: Towards Resolving Unidentifiability in Inverse Reinforcement Learning

abstract: We consider a setting for Inverse Reinforcement Learning (IRL) where the learner is extended with the ability to actively select multiple environments, observing an agent's behavior on each environment. We first demonstrate that if the learner can experiment with any transition dynamics on some fixed set of states and actions, then there exists an algorithm that reconstructs the agent's reward function to the fullest extent theoretically possible, and that requires only a small (logarithmic) number of experiments. We contrast this result to what is known about IRL in single fixed environments, namely that the true reward function is fundamentally unidentifiable. We then extend this setting to the more realistic case where the learner may not select any transition dynamic, but rather is restricted to some fixed set of environments that it may try. We connect the problem of maximizing the information derived from experiments to submodular function maximization and demonstrate that a greedy algorithm is near optimal (up to logarithmic factors). Finally, we empirically validate our algorithm on an environment inspired by behavioral psychology.


title: Projective and polynomial superflows. I

abstract: Let $x\in\mathbb{R}^{n}$. For $\phi:\mathbb{R}^{n}\mapsto\mathbb{R}^{n}$ and $t\in\mathbb{R}$, we put $\phi^{t}=t^{-1}\phi(xt)$. A projective flow is a solution to the projective translation equation $\phi^{t+s}=\phi^{t}\circ\phi^{s}$, $t,s\in\mathbb{R}$. Previously we have developed an arithmetic, topologic and analytic theory of $2$-dimensional projective flows: rational, algebraic, unramified, abelian flows, commuting flows. The current paper is devoted to highly symmetric flows - superflows. Within flows with a given symmetry, superflows are unique and optimal. Our first result classifies all $2$-dimensional superflows. For any positive integer $d$, there exists the superflow $\phi_{\mathbb{D}_{2d+1}}$ whose group of symmetries is the dihedral group $\mathbb{D}_{2d+1}$. In the current paper we explore the superflow $\phi_{\mathbb{D}_{5}}$, which leads to investigation of abelian functions over curve of genus $6$. The $3$-dimensional theory of projective flows is more involved. We investigate two different $3$-dimensional superflows, whose group of symmetries are, respectively, the full tetrahedral group $\widehat{\mathbb{T}}$ (all symmetries of a tetrahedron), and the octahedral group $\mathbb{O}$ (orientation preserving symmetries of an octahedron), both isomorphic, though non-equivalent as representations. The generic orbits of the first flow are space curves of genus $1$, and the flow itself can be analytically described in terms of Jacobi elliptic functions. The generic orbits of the second flow are curves of genus $9$, and the flow itself can be described in terms of Weierstrass elliptic functions (via reduction of hyper-elliptic functions to elliptic). In the second part of this work we will classify all $3$-dimensional superflows (including the icosahedral superflow), and in the third we investigate superflows over $\mathbb{C}$.


title: The Intrinsic Shape of Sagittarius A* at 3.5-mm Wavelength

abstract: The radio emission from Sgr A$^\ast$ is thought to be powered by accretion onto a supermassive black hole of $\sim\! 4\times10^6~ \rm{M}_\odot$ at the Galactic Center. At millimeter wavelengths, Very Long Baseline Interferometry (VLBI) observations can directly resolve the bright innermost accretion region of Sgr A$^\ast$. Motivated by the addition of many sensitive, long baselines in the north-south direction, we developed a full VLBI capability at the Large Millimeter Telescope Alfonso Serrano (LMT). We successfully detected Sgr A$^\ast$ at 3.5~mm with an array consisting of 6 Very Long Baseline Array telescopes and the LMT. We model the source as an elliptical Gaussian brightness distribution and estimate the scattered size and orientation of the source from closure amplitude and self-calibration analysis, obtaining consistent results between methods and epochs. We then use the known scattering kernel to determine the intrinsic two dimensional source size at 3.5 mm: $(147\pm7~\mu\rm{as}) \times (120\pm12~\mu\rm{as})$, at position angle $88^\circ\pm7^\circ$ east of north. Finally, we detect non-zero closure phases on some baseline triangles, but we show that these are consistent with being introduced by refractive scattering in the interstellar medium and do not require intrinsic source asymmetry to explain.


title: Cyclicity in the harmonic Dirichlet space

abstract: The harmonic Dirichlet space $\cal{D} (\mathbb{T})$ is the Hilbert space of functions $f \in L^2(\mathbb{T})$ such that $$\|f\|_{\cal{D} (\mathbb{T})}^2 := \sum_{n\in\mathbb{Z}} (1+|n|)|\hat{f}(n)|^2 < \infty.$$ We give sufficient conditions for $f$ to be cyclic in $\cal{D} (\mathbb{T})$, in other words, for $\{\zeta ^nf(\zeta):\ n\geq 0\}$ to span a dense subspace of $\cal{D} (\mathbb{T})$.


title: Incommensurate phases of a bosonic two-leg ladder under a flux

abstract: A boson two--leg ladder in the presence of a synthetic magnetic flux is investigated by means of bosonization techniques and Density Matrix Renormalization Group (DMRG). We follow the quantum phase transition from the commensurate Meissner to the incommensurate vortex phase with increasing flux at different fillings. When the applied flux is $\rho \pi$ and close to it, where $\rho$ is the filling per rung, we find a second incommensuration in the vortex state that affects physical observables such as the momentum distribution, the rung-rung correlation function and the spin-spin and charge-charge static structure factors.


title: Real Rank Geometry of Ternary Forms

abstract: We study real ternary forms whose real rank equals the generic complex rank, and we characterize the semialgebraic set of sums of powers representations with that rank. Complete results are obtained for quadrics and cubics. For quintics we determine the real rank boundary: it is a hypersurface of degree 168. For quartics, sextics and septics we identify some of the components of the real rank boundary. The real varieties of sums of powers are stratified by discriminants that are derived from hyperdeterminants.


title: Module sectional category of products

abstract: Extending a result of F\'elix-Halperin-Lemaire on Lusternik-Schnirelmann category of products, we prove additivity of a rational approximation for Schwarz's sectional category with respect to products of fibrations.


title: Orthogonal Chirp Division Multiplexing

abstract: Chirp waveform plays a significant role in radar and communication systems for its ability of pulse compression and spread spectrum. This paper presents a principle of orthogonally multiplexing a bank of linear chirp waveforms within the same bandwidth. The amplitude and phase of the chirps are modulated for information communication. As Fourier trans-form is the basis for orthogonal frequency division multiplexing (OFDM), Fresnel transform underlies the proposed orthogonal chirp division multiplexing (OCDM). Digital implementa-tion of the OCDM system using discrete Fresnel transform is proposed. Based on the con-volution theorem of the Fresnel transform, the transmission of the OCDM signal is analyzed under the linear time-invariant or quasi-static channel with additive noise, which can gener-alize typical linear transmission channels. Based on the eigen-decomposition of Fresnel transform, efficient digital signal processing algorithm is proposed for compensating chan-nel dispersion by linear single- tap equalizers. The implementation details of the OCDM system is discussed with emphasis on its compatibility to the OFDM system. Finally, simula-tion are provided to validate the feasibility of the proposed OCDM under wireless channels. It is shown that the OCDM system is able to utilize the multipath diversity and outperforms the OFDM system under the multipath fading channels.


title: Uniqueness of dilaton Melvin-Schwarzschild solution

abstract: We show that the dilaton Melvin-Schwarzschild black hole is the only asymptotically dilaton Melvin static axisymmetric solution of Einstein-Maxwell dilaton equations of motion.


title: Throughput Analysis of Wireless Powered Cognitive Radio Networks with Compressive Sensing and Matrix Completion

abstract: In this paper, we consider a cognitive radio network in which energy constrained secondary users (SUs) can harvest energy from the randomly deployed power beacons (PBs). A new frame structure is proposed for the considered network. A wireless power transfer (WPT) model and a compressive spectrum sensing model are introduced. In the WPT model, a new WPT scheme is proposed, and the closed-form expressions for the power outage probability are derived. In compressive spectrum sensing model, two scenarios are considered: 1) Single SU, and 2) Multiple SUs. In the single SU scenario, in order to reduce the energy consumption at the SU, compressive sensing technique which enables sub-Nyquist sampling is utilized. In the multiple SUs scenario, cooperative spectrum sensing (CSS) is performed with adopting low-rank matrix completion technique to obtain the complete matrix at the fusion center. Throughput optimizations of the secondary network are formulated into two linear constrained problems, which aim to maximize the throughput of single SU and the CSS networks, respectively. Three methods are provided to obtain the maximal throughput of secondary network by optimizing the time slots allocation and the transmit power. Simulation results show that: 1) Multiple SUs scenario can achieve lower power outage probability than single SU scenario; and 2) The optimal throughput can be improved by implementing compressive spectrum sensing in the proposed frame structure design.


title: A Kernel Independence Test for Geographical Language Variation

abstract: Quantifying the degree of spatial dependence for linguistic variables is a key task for analyzing dialectal variation. However, existing approaches have important drawbacks. First, they are based on parametric models of dependence, which limits their power in cases where the underlying parametric assumptions are violated. Second, they are not applicable to all types of linguistic data: some approaches apply only to frequencies, others to boolean indicators of whether a linguistic variable is present. We present a new method for measuring geographical language variation, which solves both of these problems. Our approach builds on Reproducing Kernel Hilbert space (RKHS) representations for nonparametric statistics, and takes the form of a test statistic that is computed from pairs of individual geotagged observations without aggregation into predefined geographical bins. We compare this test with prior work using synthetic data as well as a diverse set of real datasets: a corpus of Dutch tweets, a Dutch syntactic atlas, and a dataset of letters to the editor in North American newspapers. Our proposed test is shown to support robust inferences across a broad range of scenarios and types of data.


title: Is swarm intelligence able to create mazes?

abstract: In this paper, the idea of applying Computational Intelligence in the process of creation board games, in particular mazes, is presented. For two different algorithms the proposed idea has been examined. The results of the experiments are shown and discussed to present advantages and disadvantages.


title: Character-Level Incremental Speech Recognition with Recurrent Neural Networks

abstract: In real-time speech recognition applications, the latency is an important issue. We have developed a character-level incremental speech recognition (ISR) system that responds quickly even during the speech, where the hypotheses are gradually improved while the speaking proceeds. The algorithm employs a speech-to-character unidirectional recurrent neural network (RNN), which is end-to-end trained with connectionist temporal classification (CTC), and an RNN-based character-level language model (LM). The output values of the CTC-trained RNN are character-level probabilities, which are processed by beam search decoding. The RNN LM augments the decoding by providing long-term dependency information. We propose tree-based online beam search with additional depth-pruning, which enables the system to process infinitely long input speech with low latency. This system not only responds quickly on speech but also can dictate out-of-vocabulary (OOV) words according to pronunciation. The proposed model achieves the word error rate (WER) of 8.90% on the Wall Street Journal (WSJ) Nov'92 20K evaluation set when trained on the WSJ SI-284 training set.


title: A generalized conservation law for main-chain polymer nematics

abstract: We explore the implications of the conservation law(s) and the corresponding "continuity equation(s)", resulting from the coupling between the positional and the orientational order in main-chain polymer nematics, by showing that the vectorial and tensorial forms of these equations are in general not equivalent and can not be reduced to one another, but neither are they disjoint alternatives. We analyze the relation between them and elucidate the fundamental role that the chain backfolding plays in the determination of their relative strength and importance. Finally, we show that the correct penalty potential in the effective free energy, implementing these conservation laws, should actually connect both the tensorial and the vectorial constraints. We show that the consequences of the polymer chains connectivity for their consistent mesoscopic description are thus not only highly non-trivial but that its proper implementation is absolutely crucial for a consistent coarse grained description of the main-chain polymer nematics.


title: Raman spectroscopy and electrical properties of InAs nanowires with local oxidation enabled by substrate micro-trenches and laser irradiation

abstract: The thermal gradient along indium-arsenide nanowires was engineered by a combination of fabricated micro- trenches in the supporting substrate and focused laser irradiation. This allowed local control of thermally activated oxidation reactions of the nanowire on the scale of the diffraction limit. The locality of the oxidation was detected by micro-Raman mapping, and the results were found consistent with numerical simulations of the temperature profile. Applying the technique to nanowires in electrical devices the locally oxidized nanowires remained conducting with a lower conductance as expected for an effectively thinner conducting core.


title: Propagation of acoustic waves in a von-K\'arm\'an vortex street like configuration of disclinations

abstract: We show that a simple model of 1D array of topological defects in a crystalline environment is able to guide acoustic waves, depending on the angle of the incident wave. We comment on a recently proposed geophysical mechanism explaining the mantle dynamics by the presence, in some crystalline materials there, of wedge disclinations.


title: Measurement of the Pressure induced by salt crystallization in confinement

abstract: Salt crystallization is a major cause of weathering of artworks, monuments and rocks. Damage will occur if crystals continue to grow in confinement, i.e. within the pore space of these materials generating mechanical stresses. We report on a novel method that allows to directly measure, at the microscale, the resulting pressure while visualizing the spontaneous nucleation and growth of alkali halide salts. The experiments reveal the crucial role of the wetting films between the growing crystal and the confining walls for the development of the pressure. The results suggest that the pressure originates from a charge repulsion between the similarly charged wall and the crystal separated by a ~1.5 nm salt solution film. Consequently, if the walls are made hydrophobic, no film and no crystallization pressure are detected. The magnitude of the pressure is system-specific and explains how a growing crystal exerts stresses at the scale of individual grains in porous materials.


title: Paths of zeros of analytic functions describing finite quantum systems

abstract: Quantum systems with positions and momenta in Z(d), are described by the d zeros of analytic functions on a torus. The d paths of these zeros on the torus, describe the time evolution of the system. A semi-analytic method for the calculation of these paths of the zeros, is discussed. Detailed analysis of the paths for periodic systems, is presented. A periodic system which has the displacement operator to a real power t, as time evolution operator, is studied. Several numerical examples, which elucidate these ideas, are presented.


title: Quantum metamaterials in the microwave and optical ranges

abstract: Quantum metamaterials generalize the concept of metamaterials (artificial optical media) to the case when their optical properties are determined by the interplay of quantum effects in the constituent 'artificial atoms' with the electromagnetic field modes in the system. The theoretical investigation of these structures demonstrated that a number of new effects (such as quantum birefringence, strongly nonclassical states of light, etc) are to be expected, prompting the efforts on their fabrication and experimental investigation. Here we provide a summary of the principal features of quantum metamaterials and review the current state of research in this quickly developing field, which bridges quantum optics, quantum condensed matter theory and quantum information processing.


title: Structures of $W(2,2)$ Lie conformal algebra

abstract: The purpose of this paper is to study $W(2,2)$ Lie conformal algebra, which has a free $\mathbb{C}[\partial]$-basis $\{L, M\}$ such that $[L_\lambda L]=(\partial+2\lambda)L$, $[L_\lambda M]=(\partial+2\lambda)M$, $[M_\lambda M]=0$. In this paper, we study conformal derivations, central extensions and conformal modules for this Lie conformal algebra. Also, we compute the cohomology of this Lie conformal algebra with coefficients in its modules. In particular, we determine its cohomology with trivial coefficients both for the basic and reduced complexes.


title: Extinction and spreading of a species under the joint influence of climate change and a weak Allee effect: a two-patch model

abstract: Many species see their range shifted poleward in response to global warming and need to keep pace in order to survive. To understand the effect of climate change on species ranges and its consequences on population dynamics, we consider a space-time heterogeneous reaction-diffusion equation in dimension 1, whose unknown~$u (t,x)$ stands for a population density. More precisely, the environment consists of two patches moving with a constant climate shift speed $c \geq 0$: in the invading patch $\{ t >0 , \, x \in \R \, | \ x < ct \}$ the growth rate is negative and, in the receding patch $\{ t >0 , \, x \in \R \, | \ x \geq ct \}$ it is of the classical monostable type. Our framework includes species subject to a weak Allee effect, meaning that there may be a positive correlation between population size and its per capita growth rate. We study the large-time behaviour of solutions in the moving frame and show that whether the population spreads or goes extinct depends not only on the speed $c$ but also, in some intermediate speed range, on the initial datum. This is in sharp contrast with the so-called `hair-trigger effect' in the homogeneous monostable equation, and suggests that the size of the population becomes a decisive factor under the joint influence of climate change and a weak Allee effect. Furthermore, our analysis exhibit sharp thresholds between spreading and extinction: in particular, we prove the existence of a threshold shifting speed which depends on the initial population, such that spreading occurs at lower speeds and extinction occurs at faster speeds.


title: Limits to dark matter annihilation cross-section from a combined analysis of MAGIC and Fermi-LAT observations of dwarf satellite galaxies

abstract: We present the first joint analysis of gamma-ray data from the MAGIC Cherenkov telescopes and the Fermi Large Area Telescope (LAT) to search for gamma-ray signals from dark matter annihilation in dwarf satellite galaxies. We combine 158 hours of Segue 1 observations with MAGIC with 6-year observations of 15 dwarf satellite galaxies by the Fermi-LAT. We obtain limits on the annihilation cross-section for dark matter particle masses between 10 GeV and 100 TeV - the widest mass range ever explored by a single gamma-ray analysis. These limits improve on previously published Fermi-LAT and MAGIC results by up to a factor of two at certain masses. Our new inclusive analysis approach is completely generic and can be used to perform a global, sensitivity-optimized dark matter search by combining data from present and future gamma-ray and neutrino detectors.


title: Pointwise perturbations of countable Markov maps

abstract: We study the pointwise perturbations of countable Markov maps with infinitely many inverse branches and establish the following continuity theorem: Let $T_k$ and $T$ be expanding countable Markov maps such that the inverse branches of $T_k$ converge pointwise to the inverse branches of $T$ as $k \to \infty$. Then under suitable regularity assumptions on the maps $T_k$ and $T$ the following limit exists: $$\lim_{k \to \infty} \dim_\mathrm{H} \{x : \theta_k'(x) \neq 0\} = 1,$$ where $\theta_k$ is the topological conjugacy between $T_k$ and $T$ and $\dim_\mathrm{H}$ stands for the Hausdorff dimension. This is in contrast with the fact that other natural quantities measuring the singularity of $\theta_k$ fail to be continuous in this manner under pointwise convergence such as the H\"older exponent of $\theta_k$ or the Hausdorff dimension $\dim_\mathrm{H} (\mu \circ \theta_k)$ for the preimage of the absolutely continuous invariant measure $\mu$ for $T$. As an application we obtain a perturbation theorem in non-uniformly hyperbolic dynamics for conjugacies between intermittent Manneville-Pomeau maps $x \mapsto x + x^{1+\alpha} \mod 1$ when varying the parameter $\alpha$.


title: Static solutions in Einstein-Chern-Simons gravity

abstract: In this paper we study static solutions with more general symmetries than the spherical symmetry of the five-dimensional Einstein-Chern-Simons gravity. In this context, we study the coupling of the extra bosonic field $% h^{a}$ with ordinary matter which is quantified by the introduction of an energy-momentum tensor field associated with $h^{a}$. It is found that exist (i) a negative tangential pressure zone around low-mass distributions ($\mu <\mu_{1}$) when the coupling constant $\alpha $ is greater than zero; (ii) a maximum in the tangential pressure, which can be observed in the outer region of a field distribution that satisfies $\mu <\mu_{2}$; (iii) solutions that behave like those obtained from models with negative cosmological constant. In such a situation, the field $h^{a}$ plays the role of a cosmological constant.


title: Set-theoretic mereology

abstract: We consider a set-theoretic version of mereology based on the inclusion relation $\subseteq$ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of $\in$ from $\subseteq$, we identify the natural axioms for $\subseteq$-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by adding the singleton operator, are foundationally robust.


title: Comment on "Dynamics of the Density of Quantized Vortex-Lines in Superfluid Turbulence"

abstract: In the paper by Khomenko et al. [Phys. Rev. B \textbf{91}, 180504 (2015)] the authors, analyzing numerically the steady counterflowing helium in inhomogeneous channel flow, concluded that the production term $\mathcal{P}$ in the Vinen equation is proportional to $\left\vert \mathbf{V}_{ns}\right\vert ^{3}\mathcal{L}^{1/2}$ (where $\mathcal{L}$ is vortex line density and $\mathbf{V}_{ns}$ is the counterflow velocity). In present comment we demonstrated that the procedure, implemented by the authors includes a number of questionable steps, such as a decomposition of velocity of line and interpretation of the flux term. Additionally, the overall strategy - extracting information on the temporal behavior from the stationary solution also remains questionable. Because of that the method of determination of the explicit shape of Vinen equation is very sensitive to the listed elements, the final conclusion of the authors cannot be considered as unambiguous.


title: Meridian Surfaces of Parabolic Type in the Four-dimensional Minkowski Space

abstract: We construct a special class of spacelike surfaces in the Minkowski 4-space which are one-parameter systems of meridians of the rotational hypersurface with lightlike axis and call these surfaces meridian surfaces of parabolic type. They are analogous to the meridian surfaces of elliptic or hyperbolic type. Using the invariants of these surfaces we give the complete classification of the meridian surfaces of parabolic type with constant Gauss curvature or constant mean curvature. We also classify the Chen meridian surfaces of parabolic type and the meridian surfaces of parabolic type with parallel normal bundle.


title: Element spots in Ap- and HgMn-stars from current-driven diffusion

abstract: The stars of the middle main sequence often have spot-like chemical structures at their surfaces. We consider the diffusion process caused by electric currents that can lead to the formation of such chemical spots. Diffusion is considered using the partial momentum equations derived by the Chapman-Enskog method. We argue that diffusion caused by electric currents can substantially change the surface chemistry of stars and form spotted chemical structures even in a relatively weak magnetic field. The considered mechanism can be responsible for a formation of element spots in HgMn- and Ap-stars.


title: Global transition path search for dislocation formation in Ge on Si(001)

abstract: Global optimization of transition paths in complex atomic scale systems is addressed in the context of misfit dislocation formation in a strained Ge film on Si(001). Such paths contain multiple intermediate minima connected by minimum energy paths on the energy surface emerging from the atomic interactions in the system. The challenge is to find which intermediate states to include and to construct a path going through these intermediates in such a way that the overall activation energy for the transition is minimal. In the numerical approach presented here, intermediate minima are constructed by heredity transformations of known minimum energy structures and by identifying local minima in minimum energy paths calculated using a modified version of the nudged elastic band method. Several mechanisms for the formation of a 90{\deg} misfit dislocation at the Ge-Si interface are identified when this method is used to construct transition paths connecting a homogeneously strained Ge film and a film containing a misfit dislocation. One of these mechanisms which has not been reported in the literature is detailed. The activation energy for this path is calculated to be 26% smaller than the activation energy for half loop formation of a full, isolated 60{\deg} dislocation. An extension of the common neighbor analysis method involving characterization of the geometrical arrangement of second nearest neighbors is used to identify and visualize the dislocations and stacking faults.


title: Next-to-leading order Balitsky-Kovchegov equation with resummation

abstract: We solve the Balitsky-Kovchegov evolution equation at next-to-leading order accuracy including a resummation of large single and double transverse momentum logarithms to all orders. We numerically determine an optimal value for the constant under the large transverse momentum logarithm that enables including a maximal amount of the full NLO result in the resummation. When this value is used the contribution from the $\alpha_s^2$ terms without large logarithms is found to be small at large saturation scales and at small dipoles. Close to initial conditions relevant for phenomenological applications these fixed order corrections are shown to be numerically important.