title: Quantum Geometry and Black Holes

abstract: We present an overall picture of the advances in the description of black hole physics from the perspective of loop quantum gravity. After an introduction that discusses the main conceptual issues we present some details about the classical and quantum geometry of isolated horizons and their quantum geometry and then use this scheme to give a natural definition of the entropy of black holes. The entropy computations can be neatly expressed in the form of combinatorial problems solvable with the help of methods based on number theory and the use of generating functions. The recovery of the Bekenstein-Hawking law and corrections to it is explained in some detail. After this, due attention is paid to the discussion of semiclassical issues. An important point in this respect is the proper interpretation of the horizon area as the energy that should appear in the statistical-mechanical treatment of the black hole model presented here. The chapter ends with a comparison between the microscopic and semiclassical approaches to the computation of the entropy and discusses a number of issues regarding the relation between entanglement and statistical entropy and the possibility of comparing the subdominant (logarithmic) corrections to the entropy obtained with the help of the Euclidean path integral with the ones obtained in the present framework.


title: A Note on $*$-Clean Rings

abstract: A $*$-ring $R$ is called (strongly) $*$-clean if every element of $R$ is the sum of a projection and a unit (which commute with each other). In this note, some properties of $*$-clean rings are considered. In particular, a new class of $*$-clean rings which called strongly $\pi$-$*$-regular are introduced. It is shown that $R$ is strongly $\pi$-$*$-regular if and only if $R$ is $\pi$-regular and every idempotent of $R$ is a projection if and only if $R/J(R)$ is strongly regular with $J(R)$ nil, and every idempotent of $R/J(R)$ is lifted to a central projection of $R.$ In addition, the stable range conditions of $*$-clean rings are discussed, and equivalent conditions among $*$-rings related to $*$-cleanness are obtained.


title: Domain Decomposition Methods for Space Fractional Partial Differential Equations

abstract: In this paper, a two-level additive Schwarz preconditioner is proposed for solving the algebraic systems resulting from the finite element approximations of space fractional partial differential equations (SFPDEs). It is shown that the condition number of the preconditioned system is bounded by C(1+H/\delta), where H is the maximum diameter of subdomains and \delta is the overlap size among the subdomains. Numerical results are given to support our theoretical findings.


title: Some results and problems for anisotropic random walks on the plane

abstract: This is an expository paper on the asymptotic results concerning path behaviour of the anisotropic random walk on the two-dimensional square lattice Z^2. In recent years Mikl\'os and the authors of the present paper investigated the properties of this random walk concerning strong approximations, local times and range. We give a survey of these results together with some further problems.


title: Analysis of Docker Security

abstract: Over the last few years, the use of virtualization technologies has increased dramatically. This makes the demand for efficient and secure virtualization solutions become more obvious. Container-based virtualization and hypervisor-based virtualization are two main types of virtualization technologies that have emerged to the market. Of these two classes, container-based virtualization is able to provide a more lightweight and efficient virtual environment, but not without security concerns. In this paper, we analyze the security level of Docker, a well-known representative of container-based approaches. The analysis considers two areas: (1) the internal security of Docker, and (2) how Docker interacts with the security features of the Linux kernel, such as SELinux and AppArmor, in order to harden the host system. Furthermore, the paper also discusses and identifies what could be done when using Docker to increase its level of security.


title: Nonlinear Unknown Input Observability: The Analytic Solution in the case of a Single Unknown Input

abstract: This work presents the analytic solution of a fundamental open problem in the framework of nonlinear observability, which is the unknown input observability problem (UIO problem). The solution here provided holds in the case of a single unknown input. The first part of the work presents this analytic solution. As for the observability rank condition, the proposed analytic criterion is based on the computation of the observable codistribution. Similarly to the case of only known inputs, the observable codistribution is obtained by recursively computing the Lie derivatives of the outputs along the vector fields that characterize the dynamics. However, in correspondence of the unknown input, the corresponding vector field must be suitably rescaled. Additionally, the Lie derivatives of the outputs must also be computed along a new set of vector fields that are obtained by recursively performing suitable Lie bracketing of the vector fields that define the dynamics. In practice, the entire observable codistribution is obtained by a very simple recursive algorithm. Finally, it is shown that the recursive algorithm converges in a finite number of steps and the criterion to establish that the convergence has been reached is provided. The proposed analytic extension of the observability rank condition is illustrated by checking the weak local observability of several nonlinear systems driven by multiple known inputs and a single unknown input. For these systems, extensive simulations are also provided. It is shown that, a simple estimator based on an Extended Kalman Filter, provides results that agree with our observability analysis. Finally, it is shown that the analytic criterion is not only a key analytical tool to automatically obtain the state observability (and so the analytic solution of a fundamental open problem) but it can be also a fundamental tool for unknown input observer design.


title: The star formation history inferred from long gamma-ray bursts with high pseudo-redshifts

abstract: By employing a simple semi-analytical star formation model where the formation rates of Population (Pop) I/II and III stars can be calculated, respectively, we account for the number distribution of gamma-ray bursts (GRBs) with high pseudo-redshifts that was derived from an empirical luminosity-indictor relationship. It is suggested that a considerable number of Pop III GRBs could exist in the present sample of Swift GRBs. By further combining the implication for the star formation history from the optical depth of the CMB photons, it is also suggested that only a very small fraction 0.6% of Pop III GRBs could have triggered the Swift BAT. These results could provide an useful basis for estimating future detectability of Pop III stars and their produced transient phenomena.


title: Fundamental oscillation modes of neutron stars: validity of universal relations

abstract: We study the $f$-mode frequencies and damping times of nonrotating neutron stars (NS) in general relativity (GR) by solving the linearized perturbation equations, with the aim to establish "universal" relations that depend only weakly on the equations of state (EOS). Using a more comprehensive set of EOSs, we re-examine some proposed linearizations that describe the $f$-mode parameters in terms of mass and radius of the neutron star (NS), and we test a more recent proposal for expressing the $f$-mode parameters as quadratic functions of the effective compactness. Our extensive results for each equation of state considered allow us to study the accuracy of each proposal. In particular, we find that the damping time deviates quite considerably from the proposed linearization. We introduce a new universal relation for the product of the $f$-mode frequency and damping time as a function of the (ordinary) compactness, which proved to be more accurate. The relations using the effective compactness on the other hand also fit our data accurately. Our results show that the maximum oscillation frequency depends strongly on the EOS, such that the measurement of a high oscillation frequency would rule out several EOSs. Lastly, we compare the exact mode frequencies to those obtained in the Cowling approximation, and also to results obtained with a nonlinear evolution code, validating the implementations of the different approaches.


title: Reconstructing equation of state of dark energy with principal component analysis

abstract: We represent a nonparametric method to reconstruct the equation of state for dark energy directly from observational Hubble parameter data. We use principal component analysis (PCA) to extract the signal from data with noise. Moreover, we modify Akaike information criterion (AIC) to guarantee the quality of reconstruction and avoid over-fitting simultaneously. The results show that our method is robust in reconstruction of dark energy equation of state. Although current observational Hubble parameter data alone can not give a strong constraint yet, our results indicate that future observations can significantly improve the quality of the reconstruction.


title: Supersymetric laser arrays

abstract: We introduce the concept of supersymmetric laser arrays that consists of a main optical lattice and its superpartner structure, and we investigate the onset of their lasing oscillations. Due to the coupling of the two constituent lattices, their degenerate optical modes form doublets, while the extra mode associated with unbroken supersymmetry forms a singlet state. Singlet lasing can be achieved for a wide range of design parameters either by introducing stronger loss in the partner lattice or by pumping only the main array. Our findings suggest the possibility of building single-mode, high-power laser arrays and are also important for understanding light transport dynamics in multimode Parity-Time symmetric photonic structures.


title: D2D-based V2V Communications with Latency and Reliability Constraints

abstract: Direct device-to-device (D2D) communication has been proposed as a possible enabler for vehicle-to-vehicle (V2V) applications, where the incurred intra-cell interference and the stringent latency and reliability requirements are challenging issues. In this paper, we investigate the radio resource management problem for D2D-based V2V communications. Firstly, we analyze and mathematically model the actual requirements for vehicular communications and traditional cellular links. Secondly, we propose a problem formulation to fulfill these requirements, and then a Separate Resource Block allocation and Power control (SRBP) algorithm to solve this problem. Finally, simulations are presented to illustrate the improved performance of the proposed SRBP scheme compared to some other existing methods.


title: Transport in serial spinful multiple-dot systems: The role of electron-electron interactions and coherences

abstract: Quantum dots are nanoscopic systems, where carriers are confined in all three spatial directions. Such nanoscopic systems are suitable for fundamental studies of quantum mechanics and are candidates for applications such as quantum information processing. It was also proposed that linear arrangements of quantum dots could be used as quantum cascade laser. In this work we study the impact of electron-electron interactions on transport in a spinful serial triple quantum dot system weakly coupled to two leads. We find that due to electron-electron scattering processes the transport is enabled beyond the common single-particle transmission channels. This shows that the scenario in the serial quantum dots intrinsically deviates from layered structures such as quantum cascade lasers, where the presence of well-defined single-particle resonances between neighboring levels are crucial for device operation. Additionally, we check the validity of the Pauli master equation by comparing it with the first-order von Neumann approach. Here we demonstrate that coherences are of relevance if the energy spacing of the eigenstates is smaller than the lead transition rate multiplied by $\hbar$.


title: A note on the Hilali conjecture

abstract: In this short note we observe that the Hilali conjecture holds for two-stage spaces, i.e. we argue that the dimension of the rational cohomology is at least as large as the dimension of the rational homotopy groups for these spaces. We also prove the Hilali conjecture for a class of spaces which puts it into the context of fibrations.


title: The pseudo-compartment method for coupling PDE and compartment-based models of diffusion

abstract: Spatial reaction-diffusion models have been employed to describe many emergent phenomena in biological systems. The modelling technique most commonly adopted in the literature implements systems of partial differential equations (PDEs), which assumes there are sufficient densities of particles that a continuum approximation is valid. However, due to recent advances in computational power, the simulation, and therefore postulation, of computationally intensive individual-based models has become a popular way to investigate the effects of noise in reaction-diffusion systems in which regions of low copy numbers exist. The stochastic models with which we shall be concerned in this manuscript are referred to as `compartment-based'. These models are characterised by a discretisation of the computational domain into a grid/lattice of `compartments'. Within each compartment particles are assumed to be well-mixed and are permitted to react with other particles within their compartment or to transfer between neighbouring compartments. We develop two hybrid algorithms in which a PDE is coupled to a compartment-based model. Rather than attempting to balance average fluxes, our algorithms answer a more fundamental question: `how are individual particles transported between the vastly different model descriptions?' First, we present an algorithm derived by carefully re-defining the continuous PDE concentration as a probability distribution. Whilst this first algorithm shows strong convergence to analytic solutions of test problems, it can be cumbersome to simulate. Our second algorithm is a simplified and more efficient implementation of the first, it is derived in the continuum limit over the PDE region alone. We test our hybrid methods for functionality and accuracy in a variety of different scenarios by comparing the averaged simulations to analytic solutions of PDEs for mean concentrations.


title: Hawking-Hayward quasi-local energy under conformal transformations

abstract: We derive a formula describing the transformation of the Hawking-Hayward quasi-local energy under a conformal rescaling of the spacetime metric. A known formula for the transformation of the Misner-Sharp-Hernandez mass is recovered as a special case.


title: The Gorenstein-projective modules over a monomial algebra

abstract: We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its Gorenstein-projective modules.


title: Temperature-dependent and anisotropic optical response of layered Pr$_{0.5}$Ca$_{1.5}$MnO$_{4}$ probed by spectroscopic ellipsometry

abstract: We study the temperature dependence as well as anisotropy of optical conductivity ($\sigma_1$) in the pseudocubic single crystal Pr$_{0.5}$Ca$_{1.5}$MnO$_{4}$ using spectrocopic ellipsometry. Three transition temperatures are observed and can be linked to charge-orbital ($T_{\rm CO/OO}$ $\sim$ 320 K), two-dimensional-antiferromagnetic (2D-AFM) ($\sim$ 200 K), and three-dimensional AFM ($T_{\rm N} \sim$ 125 K) orderings. Below $T_{\rm CO/OO}$, $\sigma_1$ shows a charge ordering peak ($\sim$0.8 eV) with a significant blue shift as the temperature decreases. Calculations based on a model that incorporates a static Jahn-Teller distortion and assumes the existence of a local charge imbalance between two different sublattices support this assignment and explain the blue shift. This view is further supported by the partial spectral weight analysis showing the onset of optical anisotropy at $T_{\rm CO/OO}$ in the charge-ordering region ($0.5-2.5$ eV). Interestingly, in the charge-transfer region ($2.5-4$ eV), the spectral weight shows anomalies around the $T_{\rm 2D-AFM}$ that we attribute to the role of oxygen-$p$ orbitals in stabilizing the CE-type magnetic ordering. Our result shows the importance of spin, charge, and lattice degrees of freedom in this layered manganite.


title: Generalized universal instability: Transient linear amplification and subcritical turbulence

abstract: In this work we numerically demonstrate both significant transient (i.e. non-modal) linear amplification and sustained nonlinear turbulence in a kinetic plasma system with no unstable eigenmodes. The particular system considered is an electrostatic plasma slab with magnetic shear, kinetic electrons and ions, weak collisions, and a density gradient, but with no temperature gradient. In contrast to hydrodynamic examples of non-modal growth and subcritical turbulence, here there is no sheared flow in the equilibrium. Significant transient linear amplification is found when the magnetic shear and collisionality are weak. It is also demonstrated that nonlinear turbulence can be sustained if initialized at sufficient amplitude. We prove these two phenomena are related: when sustained turbulence occurs without unstable eigenmodes, states that are typical of the turbulence must yield transient linear amplification of the gyrokinetic free energy.


title: Local sublattice symmetry breaking for graphene with a centro-symmetric deformation

abstract: We calculate the local density of states (LDOS) for an infinite graphene sheet with a single centro-symmetric out-of-plane deformation, in order to investigate measurable strain signatures on graphene. We focus on the regime of small deformations and show that the strain-induced pseudo- magnetic field induces an imbalance of the LDOS between the two triangular graphene sublattices in the region of the deformation. Real space imaging reveals a characteristic six-fold symmetry pattern where the sublattice symmetry is broken within each fold, consistent with experimental and tight-binding observations. The open geometry we study allows us to make use of the usual continuum model of graphene and to obtain results independent of boundary conditions. We provide an analytic perturbative expression for the contrast between the LDOS of each sub-lattice, showing a scaling law as a function of the amplitude and width of the deformation. We confirm our results by a numerically exact iterative scattering matrix method.


title: On flows associated to Tanaka's SDE and related works

abstract: We review the construction of flows associated to Tanaka's SDE from [9] and give an easy proof of the classification of these flows by means of probability measures on [0, 1]. Our arguments also simplify some proofs in the subsequent papers [2, 3, 7, 4].


title: Spin effects induced by thermal perturbation in a normal metal/magnetic insulator system

abstract: Using one of the methods of quantum nonequilibrium statistical physics we have investigated the spin transport transverse to the normal metal/ferromagnetic insulator interface in hybrid nanostructures. An approximation of the effective parameters, when each of the interacting subsystems (electron spin, magnon, and phonon) is characterized by its own effective temperature have been considered. The generalized Bloch equations which describe the spin-wave current propagation in the dielectric have been derived. Finally, two sides of the spin transport "coin" have been revealed: the diffusive nature of the magnon motion and magnon relaxation processes, responsible for the spin pumping and the spin-torque effect.


title: Remarks and questions on coisotropic subvarieties and 0-cycles of hyper-K\"ahler varieties

abstract: This paper proposes a conjectural picture for the structure of the Chow ring of a (projective) hyper-K\"ahler variety, and the construction of a Beauville decomposition, with emphasis on the Chow group of $0$-cycles, which is endowed with a natural filtration of Brill-Noether type. Some of the conjectures are proved in the case of Hilbert schemes of K3 surfaces and Fano varieties of lines of cubic fourfolds.


title: The Herschel Comprehensive (U)LIRG Emission Survey (HerCULES): CO Ladders, fine structure lines, and neutral gas cooling

abstract: (Ultra) Luminous Infrared Galaxies ((U)LIRGs) are objects characterized by their extreme infrared (8-1000 $\mu$m) luminosities ($L_{LIRG}>10^{11} $L$_\odot$ and $L_{ULIRG}>10^{12}$ L$_\odot$). The Herschel Comprehensive ULIRG Emission Survey (HerCULES; PI van der Werf) presents a representative flux-limited sample of 29 (U)LIRGs that spans the full luminosity range of these objects (10$^{11}\leq L_\odot \geq10^{13}$). With the \emph{Herschel Space Observatory}, we observe [CII] 157 $\mu$m, [OI] 63 $\mu$m, and [OI] 145 $\mu$m line emission with PACS, CO J=4-3 through J=13-12, [CI] 370 $\mu$m, and [CI] 609 $\mu$m with SPIRE, and low-J CO transitions with ground-based telescopes. The CO ladders of the sample are separated into three classes based on their excitation level. In 13 of the galaxies, the [OI] 63 $\mu$m emission line is self absorbed. Comparing the CO excitation to the IRAS 60/100 $\mu$m ratio and to far infrared luminosity, we find that the CO excitation is more correlated to the far infrared colors. We present cooling budgets for the galaxies and find fine-structure line flux deficits in the [CII], [SiII], [OI], and [CI] lines in the objects with the highest far IR fluxes, but do not observe this for CO $4\leq J_{upp}\leq13$. In order to study the heating of the molecular gas, we present a combination of three diagnostic quantities to help determine the dominant heating source. Using the CO excitation, the CO J=1-0 linewidth, and the AGN contribution, we conclude that galaxies with large CO linewidths always have high-excitation CO ladders, and often low AGN contributions, suggesting that mechanical heating is important.


title: Aging in the GREM-like trap model

abstract: The GREM-like trap model is a continuous time Markov jump process on the leaves of a finite volume $L$-level tree whose transition rates depend on a trapping landscape built on the vertices of the whole tree. We prove that the natural two-time correlation function of the dynamics ages in the infinite volume limit and identify the limiting function. Moreover, we take the limit $L\to\infty$ of the two-time correlation function of the infinite volume $L$-level tree. The aging behavior of the dynamics is characterized by a collection of clock processes, one for each level of the tree. We show that for any $L$, the joint law of the clock processes converges. Furthermore, any such limit can be expressed through Neveu's continuous state branching process. Hence, the latter contains all the information needed to describe aging in the GREM-like trap model both for finite and infinite levels.


title: One Kind of Multiple Dimensional Markovian BSDEs with Stochastic Linear Growth Generators

abstract: In this article, we deal with a multiple dimensional coupled Markovian BSDEs system with stochastic linear growth generators with respect to volatility processes. An existence result is provided by using approximation techniques.


title: Sensing-Throughput Tradeoff in Cognitive Radio With Random Arrivals and Departures of Multiple Primary Users

abstract: This letter analyzes the sensing-throughput tradeoff for a secondary user (SU) under random arrivals and departures of multiple primary users (PUs). We first study the case where PUs change their status only during SU's sensing period. We then generalize to a case where PUs change status anytime during SU frame, and compare the latter case with the former in terms of the optimal sensing time and SU throughput. We also investigate the effects of PU traffic parameters and the number of PUs on the sensing-throughput tradeoff for SU. Results show that, though the increase in the number of PUs reduces the optimal sensing time for SU, the opportunity to find a vacant PU channel reduces simultaneously, in turn, reducing SU throughput. Finally, we validate the analysis by Monte Carlo simulations.


title: Direct computation of stresses in linear elasticity

abstract: We present a new finite element method based on the formulation introduced by Philippe G.~Ciarlet and Patrick Ciarlet, Jr. in [{\em Math. Models Methods Appl. Sci., 15 (2005), pp. 259--571}], which approximates strain tensor directly. We also show the convergence rate of strain tensor is optimal. This work is a non-trivial generalization of its two dimensional analogue in [{\em Math. Models Methods Appl. Sci., 19 (2009), pp. 1043--1064}]


title: Random Bits Regression: a Strong General Predictor for Big Data

abstract: To improve accuracy and speed of regressions and classifications, we present a data-based prediction method, Random Bits Regression (RBR). This method first generates a large number of random binary intermediate/derived features based on the original input matrix, and then performs regularized linear/logistic regression on those intermediate/derived features to predict the outcome. Benchmark analyses on a simulated dataset, UCI machine learning repository datasets and a GWAS dataset showed that RBR outperforms other popular methods in accuracy and robustness. RBR (available on https://sourceforge.net/projects/rbr/) is very fast and requires reasonable memories, therefore, provides a strong, robust and fast predictor in the big data era.


title: Origin of Symmetric PMNS and CKM Matrices

abstract: The PMNS and CKM matrices are phenomenologically close to symmetric, and a symmetric form could be used as zeroth-order approximation for both matrices. We study the possible theoretical origin of this feature in flavor symmetry models. We identify necessary geometric properties of discrete flavor symmetry groups that can lead to symmetric mixing matrices. Those properties are actually very common in discrete groups such as $A_{4}$, $S_{4}$ or $\Delta(96)$. As an application of our theorem, we generate a symmetric lepton mixing scheme with $\theta_{12}=\theta_{23}=36.21^{\circ};\theta_{13}=12.20^{\circ}$ and $\delta=0$, realized with the group $\Delta(96)$.


title: q-Deformation of Meromorphic Solutions of Linear Differential Equations

abstract: In this paper, we consider the behaviour, when $q$ goes to $1$, of the set of a convenient basis of meromorphic solutions of a family of linear $q$-difference equations. In particular, we show that, under convenient assumptions, such basis of meromorphic solutions converges, when $q$ goes to $1$, to a basis of meromorphic solutions of a linear differential equation. We also explain that given a linear differential equation of order at least two, which has a Newton polygon that has only slopes of multiplicities one, and a basis of meromorphic solutions, we may build a family of linear $q$-difference equations that discretizes the linear differential equation, such that a convenient family of basis of meromorphic solutions is a $q$-deformation of the given basis of meromorphic solutions of the linear differential equation.


title: Subwavelength line imaging using plasmonic waveguides

abstract: We investigate the subwavelength imaging capacity of a two-dimensional fanned-out plasmonic waveguide array, formed by air channels surrounded by gold metal layers for operation at near-infrared wavelengths, via finite element simulations. High resolution is achieved on one side of the device by tapering down the channel width while simultaneously maintaining propagation losses of a few dB. On the other, low-resolution side, output couplers are designed to optimize coupling to free space and to minimize channel cross talk via surface plasmons. Point sources separated by {\lambda}/15 can still be clearly distinguished. Moreover, up two 90% of the power of a point dipole is coupled to the device. Applications are high-resolution linear detector arrays and, by operating the device in reverse, high-resolution optical writing.


title: $q$-Borel-Laplace summation for $q$-difference equations with two slopes

abstract: In this paper, we consider linear $q$-difference systems with coefficients that are germs of meromorphic functions, with Newton polygon that has two slopes. Then, we explain how to compute similar meromorphic gauge transformations than those appearing in the work of Bugeaud, using a $q$-analogue of the Borel-Laplace summation.


title: Improved 8-point Approximate DCT for Image and Video Compression Requiring Only 14 Additions

abstract: Video processing systems such as HEVC requiring low energy consumption needed for the multimedia market has lead to extensive development in fast algorithms for the efficient approximation of 2-D DCT transforms. The DCT is employed in a multitude of compression standards due to its remarkable energy compaction properties. Multiplier-free approximate DCT transforms have been proposed that offer superior compression performance at very low circuit complexity. Such approximations can be realized in digital VLSI hardware using additions and subtractions only, leading to significant reductions in chip area and power consumption compared to conventional DCTs and integer transforms. In this paper, we introduce a novel 8-point DCT approximation that requires only 14 addition operations and no multiplications. The proposed transform possesses low computational complexity and is compared to state-of-the-art DCT approximations in terms of both algorithm complexity and peak signal-to-noise ratio. The proposed DCT approximation is a candidate for reconfigurable video standards such as HEVC. The proposed transform and several other DCT approximations are mapped to systolic-array digital architectures and physically realized as digital prototype circuits using FPGA technology and mapped to 45 nm CMOS technology.


title: The Electronic and Magnetic Properties of Magnetoresistant Nd1-xSrxMnAsO Oxyarsenides

abstract: The oxypnictides Nd1-xSrxMnAsO have been successfully synthesised with x up to 0.1. A synchrotron X-ray diffraction study demonstrates that there is no change in crystal symmetry upon doping with Sr. An expansion of the inter-layer distance between Nd-O-Nd and As-Mn-As blocks is observed with increasing x. Results from variable temperature neutron diffraction and resistivity measurements show that the local moment antiferromagnetic order of the Mn spins is preserved as the [MnAs]- layers are hole doped and the materials are driven metallic for x > 0.05. A sizeable positive magnetoresistance is observed at low temperature which demonstrates that multiple MR mechanisms are possible in LnMnAsO oxypnictides.


title: Profinite Techniques for Probabilistic Automata and the Markov Monoid Algorithm

abstract: We consider the value 1 problem for probabilistic automata over finite words: it asks whether a given probabilistic automaton accepts words with probability arbitrarily close to 1. This problem is known to be undecidable. However, different algorithms have been proposed to partially solve it; it has been recently shown that the Markov Monoid algorithm, based on algebra, is the most correct algorithm so far. The first contribution of this paper is to give a characterisation of the Markov Monoid algorithm. The second contribution is to develop a profinite theory for probabilistic automata, called the prostochastic theory. This new framework gives a topological account of the value 1 problem, which in this context is cast as an emptiness problem. The above characterisation is reformulated using the prostochastic theory, allowing us to give a simple and modular proof.


title: Equidimensional Isometric Extensions

abstract: Let $\Sigma$ be a hypersurface in an $n$-dimensional Riemannian manifold $M$, $n\geqslant 2$. We study the isometric extension problem for isometric immersions $f:\Sigma\to\mathbb R^n$, where $\mathbb R^n$ is equipped with the Euclidean standard metric. We prove a general curvature obstruction to the existence of merely differentiable extensions and an obstruction to the existence of Lipschitz extensions of $f$ using a length comparison argument. Using a weak form of convex integration, we then construct one-sided isometric Lipschitz extensions of which we compute the Hausdorff dimension of the singular set and obtain an accompanying density result. As an application we obtain the existence of infinitely many Lipschitz isometries collapsing the standard two-sphere to the closed standard unit $2$-disk mapping a great-circle to the boundary of the disk.


title: A new multidimensional, energy-dependent two-moment transport code for neutrino-hydrodynamics

abstract: We present the new code ALCAR developed to model multidimensional, multi energy-group neutrino transport in the context of supernovae and neutron-star mergers. The algorithm solves the evolution equations of the 0th- and 1st-order angular moments of the specific intensity, supplemented by an algebraic relation for the 2nd-moment tensor to close the system. The scheme takes into account frame-dependent effects of order O(v/c) as well as the most important types of neutrino interactions. The transport scheme is significantly more efficient than a multidimensional solver of the Boltzmann equation, while it is more accurate and consistent than the flux-limited diffusion method. The finite-volume discretization of the essentially hyperbolic system of moment equations employs methods well-known from hydrodynamics. For the time integration of the potentially stiff moment equations we employ a scheme in which only the local source terms are treated implicitly, while the advection terms are kept explicit, thereby allowing for an efficient computational parallelization of the algorithm. We investigate various problem setups in one and two dimensions to verify the implementation and to test the quality of the algebraic closure scheme. In our most detailed test, we compare a fully dynamic, one-dimensional core-collapse simulation with two published calculations performed with well-known Boltzmann-type neutrino-hydrodynamics codes and we find very satisfactory agreement.


title: Rough linear transport equation with an irregular drift

abstract: We study the linear transport equation \[ \frac{\partial}{\partial t} u ( t,x ) +b ( t,x ) \cdot \nabla u ( t,x ) + \nabla u ( t,x ) \cdot \frac{\partial}{\partial t} X ( t ) =0, \hspace{2em} u ( 0,x ) =u_{0} ( x ) \] where $b$ is a vectorfield of limited regularity and $X$ a vector-valued H\"older continuous driving term. Using the theory of controlled rough paths we give a meaning to the weak formulation of the PDE and solve that equation for smooth vectorfields $b$. In the case of the fractional Brownian motion a phenomenon of regularization by noise is displayed.


title: On Generalizing the C-Bound to the Multiclass and Multi-label Settings

abstract: The C-bound, introduced in Lacasse et al., gives a tight upper bound on the risk of a binary majority vote classifier. In this work, we present a first step towards extending this work to more complex outputs, by providing generalizations of the C-bound to the multiclass and multi-label settings.


title: An Improvement to the Domain Adaptation Bound in a PAC-Bayesian context

abstract: This paper provides a theoretical analysis of domain adaptation based on the PAC-Bayesian theory. We propose an improvement of the previous domain adaptation bound obtained by Germain et al. in two ways. We first give another generalization bound tighter and easier to interpret. Moreover, we provide a new analysis of the constant term appearing in the bound that can be of high interest for developing new algorithmic solutions.


title: On optimal $L^2$- and surface flux convergence in FEM (extended version)

abstract: We show that optimal $L^2$-convergence in the finite element method on quasi-uniform meshes can be achieved if, for some $s_0 > 1/2$, the boundary value problem has the mapping property $H^{-1+s} \rightarrow H^{1+s}$ for $s \in [0,s_0]$. The lack of full elliptic regularity in the dual problem has to be compensated by additional regularity of the exact solution. Furthermore, we analyze for a Dirichlet problem the approximation of the normal derivative on the boundary without convexity assumption on the domain. We show that (up to logarithmic factors) the optimal rate is obtained.


title: Hadron Wavefunctions as a Probe of a Two Color Baryonic Medium

abstract: The properties of the ground state of two-color QCD at non-zero baryon chemical potential $\mu$ present an interesting problem in strongly-interacting gauge theory; in particular the nature of the physically-relevant degrees of freedom in the superfluid phase in the post-onset regime $\mu>m_\pi/2$ still needs clarification. In this study we present evidence for in-medium effects at high $\mu$ by studying the wavefunctions of mesonic and diquark states using orthodox lattice simulation techniques, made possible by the absence of a Sign Problem for the model with $N_f=2$. Our results show that beyond onset the spatial extent of hadrons decreases as $\mu$ grows, and that the wavefunction profiles are consistent with the existence of a dynamically-gapped Fermi surface in this regime.


title: Quantitative estimates on Jacobians for hybrid inverse problems

abstract: We consider $\sigma$-harmonic mappings, that is mappings $U$ whose components $u_i$ solve a divergence structure elliptic equation ${\rm div} (\sigma \nabla u_i)=0$, for $i=1,\ldots,n $. We investigate whether, with suitably prescribed Dirichlet data, the Jacobian determinant can be bounded away from zero. Results of this sort are required in the treatment of the so-called hybrid inverse problems, and also in the field of homogenization studying bounds for the effective properties of composite materials.


title: Improved operator Kantorovich and Wielandt inequalities for positive linear maps

abstract: In this paper, we improve and generalize the operator versions of Kantorovich and Wielandt inequalities for positive linear maps on Hilbert space. Our results are more extensive and precise than many previous results due to Fu and He [Linear Multilinear Algebra, doi: 10. 1080/03081087. 2014. 880432.] and Zhang [Banach J. Math. Anal., 9 (2015), no. 1, 166-172.].


title: The shape dynamics description of gravity

abstract: Classical gravity can be described as a relational dynamical system without ever appealing to spacetime or its geometry. This description is the so-called shape dynamics description of gravity. The existence of relational first principles from which the shape dynamics description of gravity can be derived is a motivation to consider shape dynamics (rather than GR) as the fundamental description of gravity. Adopting this point of view leads to the question: What is the role of spacetime in the shape dynamics description of gravity? This question contains many aspects: Compatibility of shape dynamics with the description of gravity in terms of spacetime geometry, the role of local Minkowski space, universality of spacetime geometry and the nature of quantum particles, which can no longer be assumed to be irreducible representations of the Poincare group. In this contribution I derive effective spacetime structures by considering how matter fluctuations evolve along with shape dynamics. This evolution reveals an "experienced spacetime geometry." This leads (in an idealized approximation) to local Minkowski space and causal relations. The small scale structure of the emergent geometric picture depends on the specific probes used to experience spacetime, which limits the applicability of effective spacetime to describe shape dynamics. I conclude with discussing the nature of quantum fluctuations (particles) in shape dynamics and how local Minkowski spacetime emerges from the evolution of quantum particles.


title: Influence of Dzyaloshinshkii-Moriya interaction on quantum correlations in two qubit Werner states and MEMS

abstract: In this paper we study the influence of Dzyaloshinskii-Moriya (DM) interaction on quantum correlations in two qubit Werner states and maximally entangled mixed states (MEMS). We consider our system as a closed system of a qubits pair and one auxiliary qubit which interact with any one of the qubit of the pair through DM interaction. We show that DM interaction, taken along any direction (x or y or z), does not affect two qubit Werner states. On the other hand the MEMS are affected by x and z components of DM interaction and remain unaffected by the y component. Further, we find that the state (i.e probability amplitude) of auxiliary qubit do not affect the quantum correlations in both the states, only DM interaction strength influences the quantum correlations. So one can avoid the intention to prepare the specific state of auxiliary qubit to manipulate the quantum correlations in both the states. We mention here that avoiding the preparation of state can contribute to cost reduction in quantum information processing. We also observe the phenomenon of entanglement sudden death in the present study.


title: The Assembly of the Belle II TOP Counter

abstract: A new type of ring-imaging Cherenkov counter, called TOP counter, has been developed for particle identification at the Belle II experiment to run at the SuperKEKB accelerator in KEK, Japan. The detector consists of 16 identical modules arranged azimuthally around the beam line. The assembly procedure for a TOP module is described. This procedure includes acceptance testing of the quartz mirror, prism, and quartz bar radiators. The acceptance tests include a chip search and measurements of bulk transmittance and total internal reflectance. The process for aligning and gluing the optical components together is described.


title: Fluctuations of Conserved Quantities in High Energy Nuclear Collisions at RHIC

abstract: Fluctuations of conserved quantities in heavy-ion collisions are used to probe the phase transition and the QCD critical point for the strongly interacting hot and dense nuclear matter. The STAR experiment has carried out moment analysis of net-proton (proxy for net-baryon (B)), net-kaon (proxy for net-strangeness (S)), and net-charge (Q). These measurements are important for understanding the quantum chromodynamics phase diagram. We present the analysis techniques used in the moment analysis by the STAR experiment and discuss the moments of net-proton and net-charge distributions from the first phase of the Beam Energy Scan program at the Relativistic Heavy Ion Collider.


title: Bivariate factorization using a critical fiber

abstract: We generalize the classical lifting and recombination scheme for rational and absolute factorization of bivariate polynomials to the case of a critical fiber. We explore different strategies for recombinations of the analytic factors, depending on the complexity of the ramification. We show that working along a critical fiber leads in some cases to a good theoretical complexity, due to the smaller number of analytic factors to recombine. We pay a particular attention to the case of polynomials that are non degenerate with respect to their P-adic Newton polytopes.


title: The near-wall region of highly turbulent Taylor-Couette flow

abstract: Direct numerical simulations of the Taylor-Couette (TC) problem, the flow between two coaxial and independently rotating cylinders, have been performed. The study focuses on TC flow with mild curvature (small gap) with a radius ratio of $\eta=r_i/r_o=0.909$, an aspect ratio of $\Gamma=L/d=2\pi/3$, and a stationary outer cylinder. Three inner cylinder Reynolds of $1\cdot10^5$, $2\cdot10^5$ and $3\cdot 10^5$ were simulated, corresponding to frictional Reynolds numbers between $Re_\tau\approx 1400$ and $Re_\tau \approx 4000$. An additional case with a large gap, $\eta=0.5$ and driving of $Re=2\cdot10^5$ was also performed. Small-gap TC was found to be dominated by spatially-fixed large-scale structures, known as Taylor rolls (TRs). TRs are attached to the boundary layer, and are active, i.e. they transport angular velocity through Reynolds stresses. An additional simulation with inner cylinder Reynolds number of $Re=1\cdot10^5$ and fixed outer cylinder with an externally imposed axial flow of comparable strength as the wind of the TRs was also conducted. The axial flow was found to convect the TRs without any weakening effect. For small-gap TC, evidence for the existence of logarithmic velocity fluctuations, and of an overlap layer, in which the velocity fluctuations collapse in outer units, was found. Profiles consistent with a logarithmic dependence were also found for the angular velocity in large-gap TC, albeit in a very reduced range of scales. Finally, the behaviour of both small- and large-gap TC was compared to other canonical flows. Small-gap TC has similar behaviour in the near-wall region to other canonical flows, while large-gap TC displays very different behaviour.


title: Automorphism groups of Gaussian chain graph models

abstract: In this paper we extend earlier work on groups acting on Gaussian graphical models to Gaussian Bayesian networks and more general Gaussian models defined by chain graphs. We discuss the maximal group which leaves a given model invariant and provide basic statistical applications of this result. This includes equivariant estimation, maximal invariants and robustness. The computation of the group requires finding the essential graph. However, by applying Studeny's theory of imsets we show that computations for DAGs can be performed efficiently without building the essential graph. In our proof we derive simple necessary and sufficient conditions on vanishing sub-minors of the concentration matrix in the model.


title: On the origin of intrinsic alignment in cosmic shear measurements: an analytic argument

abstract: Galaxy intrinsic alignment can be a severe source of error in weak-lensing studies. The problem has been widely studied by numerical simulations and with heuristic models, but without a clear theoretical justification of its origin and amplitude. In particular, it is still unclear whether intrinsic alignment of galaxies is dominated by formation and accretion processes or by the effects of the instantaneous tidal field acting upon them. We investigate this question by developing a simple model of intrinsic alignment for elliptical galaxies, based on the instantaneous tidal field. Making use of the galaxy stellar distribution function, we estimate the intrinsic alignment signal and find that although it has the expected dependence on the tidal field, it is too weak to account for the observed signal. This is an indirect validation of the standard view that intrinsic alignment is caused by formation and/or accretion processes.


title: Exploring the efficacy of molecular fragments of different complexity in computational SAR modeling

abstract: An important first step in computational SAR modeling is to transform the compounds into a representation that can be processed by predictive modeling techniques. This is typically a feature vector where each feature indicates the presence or absence of a molecular fragment. While the traditional approach to SAR modeling employed size restricted fingerprints derived from path fragments, much research in recent years focussed on mining more complex graph based fragments. Today, there seems to be a growing consensus in the data mining community that these more expressive fragments should be more useful. We question this consensus and show experimentally that fragments of low complexity, i.e. sequences, perform better than equally large sets of more complex ones, an effect we explain by pairwise correlation among fragments and the ability of a fragment set to encode compounds from different classes distinctly. The size restriction on these sets is based on ordering the fragments by class-correlation scores. In addition, we also evaluate the effects of using a significance value instead of a length restriction for path fragments and find a significant reduction in the number of features with little loss in performance.


title: On Lipschitz Bijections between Boolean Functions

abstract: For two functions $f,g:\{0,1\}^n\to\{0,1\}$ a mapping $\psi:\{0,1\}^n\to\{0,1\}^n$ is said to be a $\textit{mapping from $f$ to $g$}$ if it is a bijection and $f(z)=g(\psi(z))$ for every $z\in\{0,1\}^n$. In this paper we study Lipschitz mappings between boolean functions. Our first result gives a construction of a $C$-Lipschitz mapping from the ${\sf Majority}$ function to the ${\sf Dictator}$ function for some universal constant $C$. On the other hand, there is no $n/2$-Lipschitz mapping in the other direction, namely from the ${\sf Dictator}$ function to the ${\sf Majority}$ function. This answers an open problem posed by Daniel Varga in the paper of Benjamini et al. (FOCS 2014). We also show a mapping from ${\sf Dictator}$ to ${\sf XOR}$ that is 3-local, 2-Lipschitz, and its inverse is $O(\log(n))$-Lipschitz, where by $L$-local mapping we mean that each of its output bits depends on at most $L$ input bits. Next, we consider the problem of finding functions such that any mapping between them must have large \emph{average stretch}, where the average stretch of a mapping $\phi$ is defined as ${\sf avgStretch}(\phi) = {\mathbb E}_{x,i}[dist(\phi(x),\phi(x+e_i)]$. We show that any mapping $\phi$ from ${\sf XOR}$ to ${\sf Majority}$ must satisfy ${\sf avgStretch}(\phi) \geq \Omega(\sqrt{n})$. In some sense, this gives a "function analogue" to the question of Benjamini et al. (FOCS 2014), who asked whether there exists a set $A \subset \{0,1\}^n$ of density 0.5 such that any bijection from $\{0,1\}^{n-1}$ to $A$ has large average stretch. Finally, we show that for a random balanced function $f:\{0,1\}^n\to\{0,1\}^n$ with high probability there is a mapping $\phi$ from ${\sf Dictator}$ to $f$ such that both $\phi$ and $\phi^{-1}$ have constant average stretch. In particular, this implies that one cannot obtain lower bounds on average stretch by taking uniformly random functions.


title: Dynamics and Correlations among Soft Excitations in Marginally Stable Glasses

abstract: Marginal stability is the notion that stability is achieved, but only barely so. This property constrains the ensemble of configurations explored at low temperature in a variety of systems, including spin, electron and structural glasses. A key feature of marginal states is a (saturated) pseudo-gap in the distribution of soft excitations. We study how such a pseudo-gap appears dynamically in the case of the Sherrington-Kirkpatrick (SK) spin glass. After revisiting and correcting the multi-spin-flip criterion for local stability, we show that stationarity along the hysteresis loop requires that soft spins are frustrated among each other, with a correlation that diverges as $C(\lambda)\sim 1/\lambda$, where $\lambda$ is the larger of two considered local fields. We explain how this arises spontaneously in a marginal system and develop an analogy between the spin dynamics in the SK model and random walks in two dimensions. We discuss the applicability of these findings to hard sphere packings.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP nlin.AO


title: Context-Dependent Functions: Narrowing the Realm of Turing's Halting Problem

abstract: This paper describes Turing's Halting Problem (HP), and reviews the classic proof that no function exists that can solve HP. The concept of a "Context-Dependent Function" (CDF), whose behavior varies based on seemingly irrelevant changes to a program calling that function, is introduced, and the proof of HP's undecidability is re-examined in light of CDFs. The existence of CDFs is established via a pair of examples of such functions. The conclusion of the proof of HP's undecidability is thus shown to be overly strong, as it doesn't show that no solution to HP exists, but rather that a solution must be a CDF. A higher-level analysis of this work is given, followed by conclusions and comments on future work.


title: de Sitter extremal surfaces

abstract: We study extremal surfaces in de Sitter space in the Poincare slicing in the upper patch, anchored on spatial subregions at the future boundary ${\cal I}^+$, restricted to constant boundary Euclidean time slices (focussing on strip subregions). We find real extremal surfaces of minimal area as the boundaries of past lightcone wedges of the subregions in question: these are null surfaces with vanishing area. We also find complex extremal surfaces as complex extrema of the area functional, and the area is not always real-valued. In $dS_4$ the area is real. The area has structural resemblance with entanglement entropy in a dual $CFT$. There are parallels with analytic continuation from the Ryu-Takayanagi expressions for holographic entanglement entropy in $AdS$. We also discuss extremal surfaces in the $dS$ black brane and the de Sitter "bluewall" studied previously. The $dS_4$ black brane complex surfaces exhibit a real finite cutoff-independent extensive piece. In the bluewall geometry, there are real surfaces that go from one asymptotic universe to the other through the Cauchy horizons.


title: Large deviations for Markov-modulated diffusion processes with rapid switching

abstract: In this paper, we study small noise asymptotics of Markov-modulated diffusion processes in the regime that the modulating Markov chain is rapidly switching. We prove the joint sample-path large deviations principle for the Markov-modulated diffusion process and the occupation measure of the Markov chain (which evidently also yields the large deviations principle for each of them separately by applying the contraction principle). The structure of the proof is such that we first prove exponential tightness, and then establish a local large deviations principle (where the latter part is split into proving the corresponding upper bound and lower bound).


title: Abelian quotients of triangulated categories

abstract: We study abelian quotient categories A=T/J, where T is a triangulated category and J is an ideal of T. Under the assumption that the quotient functor is cohomological we show that it is representable and give an explicit description of the functor. We give technical criteria for when a representable functor is a quotient functor, and a criterion for when J gives rise to a cluster-tilting subcategory of T. We show that the quotient functor preserves the AR-structure. As an application we show that if T is a finite 2-Calabi-Yau category, then with very few exceptions J is a cluster-tilting subcategory of T.


title: The classification problem for automorphisms of C*-algebras

abstract: We present an overview of the recent developments in the study of the classification problem for automorphisms of C*-algebras from the perspective of Borel complexity theory.


title: Frequency shifts in gravitational resonance spectroscopy

abstract: Quantum states of ultracold neutrons in the gravitational field are to be characterized through gravitational resonance spectroscopy. This paper discusses systematic effects that appear in the spectroscopic measurements. The discussed frequency shifts, which we call Stern-Gerlach shift, interference shift, and spectator state shift, appear in conceivable measurement schemes and have general importance. These shifts have to be taken into account in precision experiments.


title: High performance photonic reservoir computer based on a coherently driven passive cavity

abstract: Reservoir computing is a recent bio-inspired approach for processing time-dependent signals. It has enabled a breakthrough in analog information processing, with several experiments, both electronic and optical, demonstrating state-of-the-art performances for hard tasks such as speech recognition, time series prediction and nonlinear channel equalization. A proof-of-principle experiment using a linear optical circuit on a photonic chip to process digital signals was recently reported. Here we present a photonic implementation of a reservoir computer based on a coherently driven passive fiber cavity processing analog signals. Our experiment has error rate as low or lower than previous experiments on a wide variety of tasks, and also has lower power consumption. Furthermore, the analytical model describing our experiment is also of interest, as it constitutes a very simple high performance reservoir computer algorithm. The present experiment, given its good performances, low energy consumption and conceptual simplicity, confirms the great potential of photonic reservoir computing for information processing applications ranging from artificial intelligence to telecommunications


title: Room Temperature InP DFB Laser Array Directly Grown on (001) Silicon

abstract: Fully exploiting the silicon photonics platform requires a fundamentally new approach to realize high-performance laser sources that can be integrated directly using wafer-scale fabrication methods. Direct band gap III-V semiconductors allow efficient light generation but the large mismatch in lattice constant, thermal expansion and crystal polarity makes their epitaxial growth directly on silicon extremely complex. Here, using a selective area growth technique in confined regions, we surpass this fundamental limit and demonstrate an optically pumped InP-based distributed feedback (DFB) laser array grown on (001)-Silicon operating at room temperature and suitable for wavelength-division-multiplexing applications. The novel epitaxial technology suppresses threading dislocations and anti-phase boundaries to a less than 20nm thick layer not affecting the device performance. Using an in-plane laser cavity defined by standard top-down lithographic patterning together with a high yield and high uniformity provides scalability and a straightforward path towards cost-effective co-integration with photonic circuits and III-V FINFET logic.


title: Ultraviolet energy dependence of particle production sources in relativistic heavy-ion collisions

abstract: The energy dependence of particle production sources in relativistic heavy-ion collisions is investigated from RHIC to LHC energies. Whereas charged-hadron production in the fragmentation sources follows a ln(s_NN/s_0) law, particle production in the mid-rapidity gluon-gluon source exhibits a much stronger dependence proportional to ln^3(s_NN/s_0), and becomes dominant between RHIC and LHC energies. The production of particles with pseudorapidities beyond the beam rapidity is also discussed.


title: Amenability of Groupoids Arising from Partial Semigroup Actions and Topological Higher Rank Graphs

abstract: We consider the amenability of groupoids $G$ equipped with a group valued cocycle $c:G\to Q$ with amenable kernel $c^{-1}(e)$. We prove a general result which implies, in particular, that $G$ is amenable whenever $Q$ is amenable and if there is countable set $D\subset G$ such that $c(G^{u})D=Q$ for all $u\in G^{(0)}$. We show that our result is applicable to groupoids arising from partial semigroup actions. We explore these actions in detail and show that these groupoids include those arising from directed graphs, higher rank graphs and even topological higher rank graphs. We believe our methods yield a nice alternative groupoid approach to these important constructions.


title: Knowledge in Communication Networks

abstract: The paper investigates epistemic properties of information flow under communication protocols with a given topological structure of the communication network. The main result is a sound and complete logical system that describes all such properties. The system consists of a variation of the multi-agent epistemic logic S5 extended by a new network-specific Gateway axiom.


title: Weyl semimetal from spontaneous inversion symmetry breaking in pyrochlore oxides

abstract: We study the electronic properties of strongly spin-orbit coupled electrons on the elastic pyrochlore lattice. Akin to the Peierls transition in one-dimensional systems, the coupling of the lattice to the electronic degrees of freedom can stabilize a spontaneous deformation of the crystal. This deformation corresponds to a breathing mode, which breaks the inversion symmetry. We find that for intermediate values of the staggered strain, the inversion-symmetry broken phase realizes a topological Weyl semimetal. In the temperature-elasticity phase diagram, the Weyl semimetal shows a reentrant phase behavior: it can be reached from a symmetric phase realized both at higher and at lower temperatures. The symmetric phase is a Dirac semimetal, which is protected by the non-symmorphic space group of the pyrochlore lattice. Beyond a critical value of the staggered strain, the symmetry-broken phase is a fully gapped trivial insulator. The surface states of the Weyl semimetal form open Fermi arcs and we observe that their connectivity depends on the termination of the crystal. In particular, for the $\{111\}$ films, the semiclassical closed electronic orbits of the surface states in a magnetic field cross the bulk either twice, four, six or twelve times. We demonstrate how one can tune the number of bulk crossings through a Lifshitz-like transition of the Fermi arcs, which we call Weyl-Lifshitz transition, by applying a surface potential. Our results offer a route to a topological Weyl semimetal in nonmagnetic materials and might be relevant for pyrochlore oxides with heavy transition-metal ions such as alloys of iridates.


title: Classifying finite-dimensional C*-algebras by posets of their commutative C*-subalgebras

abstract: We consider the functor C that to a unital C*-algebra A assigns the partial order set C(A) of its commutative C*-subalgebras ordered by inclusion. We investigate how some C*-algebraic properties translate under the action of C to order-theoretical properties. In particular, we show that A is finite dimensional if and only C(A) satisfies certain chain conditions. We eventually show that if A and B are C*-algebras such that A is finite dimensional and C(A) and C(B) are order isomorphic, then A and B must be *-isomorphic.


title: Kondo Breakdown in Topological Kondo Insulators

abstract: Motivated by the observation of light surface states in SmB6, we examine the effects of surface Kondo breakdown in topological Kondo insulators. We present both numerical and analytic results which show that the decoupling of the localized moments at the surface disturbs the compensation between light and heavy electrons and dopes the Dirac cone. Dispersion of these uncompensated surface states are dominated by inter-site hopping, which leads to a much lighter quasiparticles. These surface states are also highly durable against the effects of surface magnetism and decreasing thickness of the sample.


title: $G^{k,l}$-constrained multi-degree reduction of B\'ezier curves

abstract: We present a new approach to the problem of $G^{k,l}$-constrained ($k,l \leq 3$) multi-degree reduction of B\'{e}zier curves with respect to the least squares norm. First, to minimize the least squares error, we consider two methods of determining the values of geometric continuity parameters. One of them is based on quadratic and nonlinear programming, while the other uses some simplifying assumptions and solves a system of linear equations. Next, for prescribed values of these parameters, we obtain control points of the multi-degree reduced curve, using the properties of constrained dual Bernstein basis polynomials. Assuming that the input and output curves are of degree $n$ and $m$, respectively, we determine these points with the complexity $O(mn)$, which is significantly less than the cost of other known methods. Finally, we give several examples to demonstrate the effectiveness of our algorithms.


title: Theoretical prediction of antiferromagnetism in layered perovskite Sr$_2$TcO$_4$

abstract: We theoretically investigate magnetic properties of Sr$_2$TcO$_4$, a 4d transition-metal layered perovskite of the K$_2$NiF$_4$-type with half-filled t$_{2g}$ states. The effect of local Coulomb repulsion between the t$_{2g}$ orbitals is included within the density-functional theory (DFT)+U and DFT+dynamical mean-field theory (DMFT) methods. The DFT+DMFT predicts paramagnetic Sr$_2$TcO$_4$ to be close to the Mott insulator-to-metal transition, similarly to the cubic compound SrTcO$_3$. The inter-site exchange interactions computed within the DFT+DMFT framework point to a strong antiferromagnetic coupling between the neighboring Tc sites within the layer. We then evaluate the N\'eel temperature $T_N$ within a classical Monte Carlo approach including dipolar interactions, which stabilize the magnetic order in the frustrated K$_2$NiF$_4$ lattice structure. Our approach is applied to a set of layered and cubic perovskites. The obtained $T_N$ are in fair agreement with experiment. Within the same approach we predict $T_N$ of Sr$_2$TcO$_4$ to be in the 500-600K range.


title: Solving the inverse Ising problem by mean-field methods in a clustered phase space with many states

abstract: In this work we explain how to properly use mean-field methods to solve the inverse Ising problem when the phase space is clustered, that is many states are present. The clustering of the phase space can occur for many reasons, e.g. when a system undergoes a phase transition. Mean-field methods for the inverse Ising problem are typically used without taking into account the eventual clustered structure of the input configurations and may led to very bad inference (for instance in the low temperature phase of the Curie-Weiss model). In the present work we explain how to modify mean-field approaches when the phase space is clustered and we illustrate the effectiveness of the new method on different clustered structures (low temperature phases of Curie-Weiss and Hopfield models).


title: Virtually Bare Nanocrystal Surfaces - Significantly Enhanced Electrical Transport in CuInSe2 and CuIn(1-x)Ga(x)Se2 Thin Films upon Ligand Exchange with Thermally Degradable 1-Ethyl-5-thiotetrazole

abstract: We present a facile and safe ligand exchange method for readily synthesized CuInSe2 (CIS) and CuIn(1-x)Ga(x)Se2 (CIGS) nanocrystals (NCs) from oleylamine to 1-ethyl-5-thiotetrazole which preserves the colloidal stability of the chalcopyrite structure. 1-ethyl-5-thiotetrazole as thermally degradable ligand is adapted for the first time for trigonal pyramidal CIS NCs (18 nm), elongated CIS NCs (9 nm) and CIGS NCs (6 nm). The exchanged NC solutions are spin-coated onto Si/SiO2 substrates with predefined gold electrodes to yield ordered NC thin films. These films are thermally annealed at 260 C to completely remove 1-ethyl-5-thiotetrazol leaving virtually bare NC surfaces. We measure the current-voltage characteristics of the NC solids prior to ligand thermolysis in the dark and under illumination and after thermolysis of the ligand in the same manner. The conductivity of trigonal pyramidal CIS NCs increases by four orders of magnitude from 1.4*10E-9 S/cm in the dark to 1.4*10E-5 S/cm for ligand-free illuminated NC films. Elongated CIS NC films show an increase by three orders of magnitude and CIGS NC films exhibit improved conductivity by two orders of magnitude. The degree of conductivity enhancement thereby depends on the NC size accentuating the role of trap-states and internal grain boundaries in ligand-free NC solids for electrical transport. Our approach offers for the first time the possibility to address chalcopyrite materials' electrical properties in a virtually ligand-free state.


title: Gemini-IFU spectroscopy of HH 111

abstract: We present new optical observations of the HH 111 Herbig-Haro jet using the Gemini Multi Object Spectrograph in its Integral Field Unit mode. Eight fields of 5" x 3.5" have been positioned along and across the HH 111 jet, covering the spatial region from knot E to L in HH 111 (namely, knots E, F, G, H, J, K and L). We present images and velocity channel maps for the [O I] 6300+6360, Halpha, [N II] 6548+6583 and [S II] 6716+6730 lines, as well as for the [S II]6716/6730 line ratio. We find that the HH 111 jet has an inner region with lower excitation and higher radial velocity, surrounded by a broader region of higher excitation and lower radial velocity. Also, we find higher electron densities at lower radial velocities. These results imply that the HH 111 jet has a fast, axial region with lower velocity shocks surrounded by a lower velocity sheath with higher velocity shocks.


title: Fourier series and periodicity

abstract: A large number of the classical texts dealing with Fourier series more or less state that the hypothesis of periodicity is required for pointwise convergence. In this paper, we highlight the fact that this condition is not necessary.


title: Angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay in the low-$q^2$ region

abstract: An angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 ${\mbox{fb}^{-1}}$, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared ($q^2$) interval between 0.002 and 1.120${\mathrm{\,Ge\kern -0.1em V^2\!/}c^4}$. The angular observables $F_{\mathrm{L}}$ and $A_{\mathrm{T}}^{\mathrm{Re}}$ which are related to the $K^{*0}$ polarisation and to the lepton forward-backward asymmetry, are measured to be $F_{\mathrm{L}}= 0.16 \pm 0.06 \pm0.03$ and $A_{\mathrm{T}}^{\mathrm{Re}} = 0.10 \pm 0.18 \pm 0.05$, where the first uncertainty is statistical and the second systematic. The angular observables $A_{\mathrm{T}}^{(2)}$ and $A_{\mathrm{T}}^{\mathrm{Im}}$ which are sensitive to the photon polarisation in this $q^2$ range, are found to be $A_{\mathrm{T}}^{(2)} = -0.23 \pm 0.23 \pm 0.05$ and $A_{\mathrm{T}}^{\mathrm{Im}} =0.14 \pm 0.22 \pm 0.05$. The results are consistent with Standard Model predictions.


title: Metals Production Requirements for Rapid Photovoltaics Deployment

abstract: If global photovoltaics (PV) deployment grows rapidly, the required input materials need to be supplied at an increasing rate. In this paper, we quantify the effect of PV deployment levels on the scale of metals production. For example, we find that if cadmium telluride {copper indium gallium diselenide} PV accounts for more than 3% {10%} of electricity generation by 2030, the required growth rates for the production of indium and tellurium would exceed historically-observed production growth rates for a large set of metals. In contrast, even if crystalline silicon PV supplies all electricity in 2030, the required silicon production growth rate would fall within the historical range. More generally, this paper highlights possible constraints to the rate of scaling up metals production for some PV technologies, and outlines an approach to assessing projected metals growth requirements against an ensemble of past growth rates from across the metals production sector. The framework developed in this paper may be useful for evaluating the scalability of a wide range of materials and devices, to inform technology development in the laboratory, as well as public and private research investment.


title: The New Muon g-2 Experiment at Fermilab

abstract: Precision measurements of fundamental quantities have played a key role in pointing the way forward in developing our understanding of the universe. Though the enormously successful Standard Model (SM) describes the breadth of both historical and modern experimental particle physics data, it is necessarily incomplete. The muon $g-2$ experiment executed at Brookhaven concluded in 2001 and measured a discrepancy of more than three standard deviations compared to the Standard Model calculation. Arguably, this remains the strongest hint of physics beyond the SM. A new initiative at Fermilab is under construction to improve the experimental accuracy four-fold. The current status is presented here.


title: Timelines for mitigating methane emissions from energy technologies

abstract: Energy technologies emitting differing proportions of methane and carbon dioxide vary in their relative climate impacts over time, due to the different atmospheric lifetimes of the two gases. Standard technology comparisons using the global warming potential (GWP) emissions equivalency metric do not reveal these dynamic impacts, and may not provide the information needed to assess technologies and emissions mitigation opportunities in the context of broader climate policy goals. Here we formulate a portfolio optimization model that incorporates changes in technology impacts as a radiative forcing (RF) stabilization target is approached. An optimal portfolio, maximizing allowed energy consumption while meeting the RF target, is obtained by year-wise minimization of the marginal RF impact in an intended stabilization year. The optimal portfolio calls for using certain higher methane-emitting technologies prior to an optimal switching year, followed by methane-light technologies as the stabilization year approaches. The model is applied to transportation technology pairs and shows that, by accounting for the differing decay behavior of gases, optimal switching portfolios allow energy consumption gains of up to 50% compared to relying on the higher methane-emitting technology alone. The results allow for estimates of target timelines for mitigating methane emissions from energy technologies.


title: Speed selection for coupled wave equations

abstract: We discuss models for coupled wave equations describing interacting fields, focusing on the speed of travelling wave solutions. In particular, we propose a general mechanism for selecting and tuning the speed of the corresponding (multi-component) travelling wave solutions under certain physical conditions. A number of physical models (molecular chains, coupled Josephson junctions, propagation of kinks in chains of adsorbed atoms and domain walls) are considered as examples.


title: Functionals and hardware

abstract: Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order objects, i.e. functionals are terms, and computation is term rewriting. The idea explored in the paper is that functionals correspond to generic mechanisms for management of connections in arrays consisting of first order functional units. Functionals are higher order abstractions that are useful for the management of such large arrays. Computations on higher order objects comprise dynamic configuration of connections between first order elementary functions in the arrays. Once the functionals are considered as the generic mechanisms, they have a grounding in hardware. A conceptual framework for constructing such mechanisms is presented, and their hardware realization is discussed.


title: Effects of Data Resolution and Human Behavior on Large Scale Evacuation Simulations

abstract: Traffic Analysis Zones (TAZ) based macroscopic simulation studies are mostly applied in evacuation planning and operation areas. The large size in TAZ and aggregated information of macroscopic simulation underestimate the real evacuation performance. To take advantage of the high resolution demographic data LandScan USA (the zone size is much smaller than TAZ) and agent-based microscopic traffic simulation models, many new problems appeared and novel solutions are needed. A series of studies are conducted using LandScan USA Population Cells (LPC) data for evacuation assignments with different network configurations, travel demand models, and travelers compliance behavior. First, a new Multiple Source Nearest Destination Shortest Path (MSNDSP) problem is defined for generating Origin Destination matrix in evacuation assignments when using LandScan dataset. Second, a new agent-based traffic assignment framework using LandScan and TRANSIMS modules is proposed for evacuation planning and operation study. Impact analysis on traffic analysis area resolutions (TAZ vs LPC), evacuation start times (daytime vs nighttime), and departure time choice models (normal S shape model vs location based model) are studied. Third, based on the proposed framework, multi-scale network configurations (two levels of road networks and two scales of zone sizes) and three routing schemes (shortest network distance, highway biased, and shortest straight-line distance routes) are implemented for the evacuation performance comparison studies. Fourth, to study the impact of human behavior under evacuation operations, travelers compliance behavior with compliance levels from total complied to total non-complied are analyzed.


title: Ring aggregation pattern of Human Travel Trips

abstract: Although a lot of attentions have been paid to human mobility, the relationship between travel pattern with city structure is still unclear. Here we probe into this relationship by analyzing the metro passenger trip data.There are two unprecedented findings. One, from the average view a linear law exists between the individual's travel distance with his original distance to city center. The mechanism underlying is a travel pattern we called "ring aggregation", i.e., the daily movement of city passengers is just aggregating to a ring with roughly equal distance to city center.Interestingly, for the round trips the daily travel pattern can be regarded as a switching between the home ring at outer area with the office ring at the inner area. Second, this linear law and ring aggregation pattern seems to be an exclusive characteristic of the metro system. It can not be found in short distance transportation modes, such as bicycle and taxi, neither as multiple transportation modes. This means the ring aggregation pattern is a token of the relationship between travel pattern with city structure in the large scale space.


title: Head/tail Breaks for Visualization of City Structure and Dynamics

abstract: The things surrounding us vary dramatically, which implies that there are far more small things than large ones, e.g., far more small cities than large ones in the world. This dramatic variation is often referred to as fractal or scaling. To better reveal the fractal or scaling structure, a new classification scheme, namely head/tail breaks, has been developed to recursively derive different classes or hierarchical levels. The head/tail breaks works as such: divide things into a few large ones in the head (those above the average) and many small ones (those below the average) in the tail, and recursively continue the dividing process for the large ones (or the head) until the notion of far more small things than large ones has been violated. This paper attempts to argue that head/tail breaks can be a powerful visualization tool for illustrating structure and dynamics of natural cities. Natural cities refer to naturally or objectively defined human settlements based on a meaningful cutoff averaged from a massive amount of units extracted from geographic information. To illustrate the effectiveness of head/tail breaks in visualization, I have developed several case studies applied to natural cities derived from the points of interest, social media location data, and time series nighttime images. I further elaborate on head/tail breaks related to fractals, beauty, and big data. Keywords: Big data, social media, nighttime images, natural cities, fractals, head/tail breaks, ht-index


title: Collision of viscoelastic bodies: Rigorous derivation of dissipative force

abstract: We report a new theory of dissipative forces acting between colliding viscoelastic bodies. The impact velocity is assumed not to be large, to avoid plastic deformations and fragmentation at the impact. The bodies may be of an arbitrary convex shape and of different materials. We develop a mathematically rigorous perturbation scheme to solve the continuum mechanics equation that deals with both displacement and displacement rate fields and accounts for the dissipation in the bulk of the material. The perturbative solution of this equation allows to go beyond the previously used quasi-static approximation and obtain the dissipative force. This force does not suffer from the physical inconsistencies of the latter approximation and depends on particle deformation and deformation rate.


title: h-Holomorphic Functions of Double Variable and their Applications

abstract: The paper studies the complex differentiable functions of double argument and their properties, which are similar to the properties of the holomorphic functions of complex variable: the Cauchy formula, the hyperbolic harmonicity, the properties of general $h$-conformal mappings and the properties of the mappings, which are hyperbolic analogues of complex elementary functions. We discuss the utility of $h$-conformal mappings to solving 2-dimensional hyperbolic problems of Mathematical Physics.


title: Dynamical Properties of Interaction Data

abstract: Network dynamics are typically presented as a time series of network properties captured at each period. The current approach examines the dynamical properties of transmission via novel measures on an integrated, temporally extended network representation of interaction data across time. Because it encodes time and interactions as network connections, static network measures can be applied to this "temporal web" to reveal features of the dynamics themselves. Here we provide the technical details and apply it to agent-based implementations of the well-known SEIR and SEIS epidemiological models.

categories: physics.soc-ph cond-mat.stat-mech cs.SI q-bio.PE


title: Intrinsic Taylor formula for Kolmogorov-type homogeneous groups

abstract: We consider a class of ultra-parabolic Kolmogorov-type operators satisfying the Hormander's condition. We prove an intrinsic Taylor formula with global and local bounds for the remainder given in terms of the norm in the homogeneous Lie group naturally associated to the differential operator.


title: On existence of infinite primes and infinite twin primes

abstract: The twin primes conjecture is a very old problem. Tacitly it is supposed that the primes it deals with are finite. In the present paper we consider three problems that are not related to finite primes but deal with infinite integers. The main tool of our investigation is a numeral system proposed recently that allows one to express various infinities and infinitesimals easily and by a finite number of symbols. The problems under consideration are the following and for all of them we give affermative answers: (i) do infinite primes exist? (ii) do infinite twin primes exist? (ii) is the set of infinite twin primes infinite? Examples of these three kinds of objects are given.


title: Duflo involutions for 2-categories associated to tree quivers

abstract: Motivated by the definition of Duflo involution for fiat $2$-categories, we define certain analogues of Duflo involution for arbitrary finitary $2$-categories and show that such Duflo involutions exist for two classes of finitary $2$-categories associated with tree path algebras. Additionally, we describe the quiver for the algebra underlying the principal $2$-representation for these two classes of finitary $2$-categories.


title: Random Triangle Theory with Geometry and Applications

abstract: What is the probability that a random triangle is acute? We explore this old question from a modern viewpoint, taking into account linear algebra, shape theory, numerical analysis, random matrix theory, the Hopf fibration, and much much more. One of the best distributions of random triangles takes all six vertex coordinates as independent standard Gaussians. Six can be reduced to four by translation of the center to $(0,0)$ or reformulation as a 2x2 matrix problem. In this note, we develop shape theory in its historical context for a wide audience. We hope to encourage other to look again (and differently) at triangles. We provide a new constructive proof, using the geometry of parallelians, of a central result of shape theory: Triangle shapes naturally fall on a hemisphere. We give several proofs of the key random result: that triangles are uniformly distributed when the normal distribution is transferred to the hemisphere. A new proof connects to the distribution of random condition numbers. Generalizing to higher dimensions, we obtain the "square root ellipticity statistic" of random matrix theory. Another proof connects the Hopf map to the SVD of 2 by 2 matrices. A new theorem describes three similar triangles hidden in the hemisphere. Many triangle properties are reformulated as matrix theorems, providing insight to both. This paper argues for a shift of viewpoint to the modern approaches of random matrix theory. As one example, we propose that the smallest singular value is an effective test for uniformity. New software is developed and applications are proposed.


title: Cyclic Entropy: An Alternative to Inflationary Cosmology

abstract: We address how to construct an infinitely cyclic universe model. A major consideration is to make the entropy cyclic which requires the entropy to be reset to zero in each cycle expansion to turnaround, to contraction, to bounce, etc. Here we reset entropy at the turnaround by selecting the introverse (visible universe) from the extroverse which is generated by the accelerated expansion. In the model, the observed homogeneity is explained by the low entropy at the bounce, The observed flatness arises from the contraction together with the reduction in size between the expanding and contracting universe. The present flatness is predicted to be very precise.


title: In situ apparatus for the study of clathrate hydrates relevant to solar system bodies using synchrotron X-ray diffraction and Raman spectroscopy

abstract: Clathrate hydrates are believed to play a significant role in various solar system environments, e.g. comets, and the surfaces and interiors of icy satellites, however the structural factors governing their formation and dissociation are poorly understood. We demonstrate the use of a high pressure gas cell, combined with variable temperature cooling and time-resolved data collection, to the in situ study of clathrate hydrates under conditions relevant to solar system environments. Clathrates formed and processed within the cell are monitored in situ using synchrotron X-ray powder diffraction and Raman spectroscopy. X-ray diffraction allows the formation of clathrate hydrates to be observed as CO2 gas is applied to ice formed within the cell. Complete conversion is obtained by annealing at temperatures just below the ice melting point. A subsequent rise in the quantity of clathrate is observed as the cell is thermally cycled. Four regions between 100-5000cm-1 are present in the Raman spectra that carry features characteristic of both ice and clathrate formation. This novel experimental arrangement is well suited to studying clathrate hydrates over a range of temperature (80-500K) and pressure (1-100bar) conditions and can be used with a variety of different gases and starting aqueous compositions. We propose the increase in clathrate formation observed during thermal cycling may be due to the formation of a quasi liquid-like phase that forms at temperatures below the ice melting point, but which allows easier formation of new clathrate cages, or the retention and delocalisation of previously formed clathrate structures, possibly as amorphous clathrate. The structural similarities between hexagonal ice, the quasi liquid-like phase, and crystalline CO2 hydrate mean that differences in the Raman spectrum are subtle; however, all features out to 5000cm-1 are diagnostic of clathrate structure.


title: Non-Abelian Analogs of Lattice Rounding

abstract: Lattice rounding in Euclidean space can be viewed as finding the nearest point in the orbit of an action by a discrete group, relative to the norm inherited from the ambient space. Using this point of view, we initiate the study of non-abelian analogs of lattice rounding involving matrix groups. In one direction, we give an algorithm for solving a normed word problem when the inputs are random products over a basis set, and give theoretical justification for its success. In another direction, we prove a general inapproximability result which essentially rules out strong approximation algorithms (i.e., whose approximation factors depend only on dimension) analogous to LLL in the general case.


title: Non-conformal evolution of magnetic fields during reheating

abstract: We consider the evolution of electromagnetic fields coupled to conduction currents during the reheating era after inflation, and prior to the establishing of the proton-electron plasma. We assume that the currents may be described by second order causal hydrodynamics. The resulting theory is not conformally invariant. The expansion of the Universe produces temperature gradients which couple to the current and generally oppose Ohmic dissipation. Although the effect is not strong, it suggests that the unfolding of hydrodynamic instabilities in these models may follow a different pattern than in first order theories, and even than in second order theories on non expanding backgrounds.


title: An Adaptive Neuro-Fuzzy Inference System Modeling for Grid-Adaptive Interpolation over Depth Images

abstract: A suitable interpolation method is essential to keep the noise level minimum along with the time-delay. In recent years, many different interpolation filters have been developed for instance H.264-6 tap filter, and AVS- 4 tap filter. The present work uses Adaptive Neuro-Fuzzy Inference System (ANFIS) technique to model and investigate the effects of a four-tap low-pass tap filter (Grid-adaptive filter) on a hole-filled depth image. The work demonstrates the general form of uniform interpolations for both integer and sub-pixel locations in terms of the sampling interval and filter length of depth-images via diverse finite impulse response filtering schemes. The demonstrated model combined modelling function of fuzzy inference with the learning ability of artificial neural network.


title: A Bernstein-type Inequality for Some Mixing Processes and Dynamical Systems with an Application to Learning

abstract: We establish a Bernstein-type inequality for a class of stochastic processes that include the classical geometrically $\phi$-mixing processes, Rio's generalization of these processes, as well as many time-discrete dynamical systems. Modulo a logarithmic factor and some constants, our Bernstein-type inequality coincides with the classical Bernstein inequality for i.i.d.~data. We further use this new Bernstein-type inequality to derive an oracle inequality for generic regularized empirical risk minimization algorithms and data generated by such processes. Applying this oracle inequality to support vector machines using the Gaussian kernels for both least squares and quantile regression, it turns out that the resulting learning rates match, up to some arbitrarily small extra term in the exponent, the optimal rates for i.i.d.~processes.


title: Non-perturbative Heavy Quark Effective Theory: Introduction and Status

abstract: We give an introduction to Heavy Quark Effective Theory (HQET). Our emphasis is on its formulation non-perturbative in the strong coupling, including the non-perturbative determination of the parameters in the HQET Lagrangian. In a second part we review the present status of HQET on the lattice, largely based on work of the ALPHA collaboration in the last few years. We finally discuss opportunities and challenges.


title: Vacuum stability of asymptotically safe gauge-Yukawa theories

abstract: We study the phase diagram and the stability of the ground state for certain four-dimensional gauge-Yukawa theories whose high-energy behaviour is controlled by an interacting fixed point. We also provide analytical and numerical results for running couplings, their crossover scales, the separatrix, and the Coleman-Weinberg effective potential. Classical and quantum stability of the vacuum is established.


title: Spectroscopic analysis of metal-poor stars from LAMOST: early results

abstract: We report on early results from a pilot program searching for metal-poor stars with LAMOST and follow-up high-resolution observation acquired with the MIKE spectrograph attached to the Magellan~II telescope. We performed detailed abundance analysis for eight objects with iron abundances [Fe/H] < -2.0, including five extremely metal-poor (EMP; [Fe/H] < -3.0) stars with two having [Fe/H] < -3.5. Among these objects, three are newly discovered EMP stars, one of which is confirmed for the first time with high-resolution spectral observations. Three program stars are regarded as carbon-enhanced metal-poor (CEMP) stars, including two stars with no enhancement in their neutron-capture elements, which thus possibly belong to the class of CEMP-no stars; one of these objects also exhibits significant enhancement in nitrogen, and is thus a potential carbon and nitrogen-enhanced metal-poor star. The [X/Fe] ratios of the sample stars generally agree with those reported in the literature for other metal-poor stars in the same [Fe/H] range. We also compared the abundance patterns of individual program stars with the average abundance pattern of metal-poor stars, and find only one chemically peculiar object with abundances of at least two elements (other than C and N) showing deviations larger than 0.5dex. The distribution of [Sr/Ba] versus [Ba/H] agrees that an additional nucleosynthesis mechanism is needed aside from a single r-process. Two program stars with extremely low abundances of Sr and Ba support the prospect that both main and weak r-process may have operated during the early phase of Galactic chemical evolution. The distribution of [C/N] shows that there are two groups of carbon-normal giants with different degrees of mixing. However, it is difficult to explain the observed behavior of the [C/N] of the nitrogen-enhanced unevolved stars based on current data.


title: AutoProof: Auto-active Functional Verification of Object-oriented Programs

abstract: Auto-active verifiers provide a level of automation intermediate between fully automatic and interactive: users supply code with annotations as input while benefiting from a high level of automation in the back-end. This paper presents AutoProof, a state-of-the-art auto-active verifier for object-oriented sequential programs with complex functional specifications. AutoProof fully supports advanced object-oriented features and a powerful methodology for framing and class invariants, which make it applicable in practice to idiomatic object-oriented patterns. The paper focuses on describing AutoProof's interface, design, and implementation features, and demonstrates AutoProof's performance on a rich collection of benchmark problems. The results attest AutoProof's competitiveness among tools in its league on cutting-edge functional verification of object-oriented programs.


abstract: Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Amsterdam, January 21st. Collocated with HIPEAC 2015 Conference.


title: An atomic Hong-Ou-Mandel experiment

abstract: The celebrated Hong, Ou and Mandel (HOM) effect is one of the simplest illustrations of two-particle interference, and is unique to the quantum realm. In the original experiment, two photons arriving simultaneously in the input channels of a beam-splitter were observed to always emerge together in one of the output channels. Here, we report on the realisation of a closely analogous experiment with atoms instead of photons. This opens the prospect of testing Bell's inequalities involving mechanical observables of massive particles, such as momentum, using methods inspired by quantum optics, with an eye on theories of the quantum-to-classical transition. Our work also demonstrates a new way to produce and benchmark twin-atom pairs that may be of interest for quantum information processing and quantum simulation.


title: On acylindrical hyperbolicity of groups with positive first $\ell^2$-Betti number

abstract: We prove that every finitely presented group with positive first $\ell^2$-Betti number that virtually surjects onto $\mathbb Z$ is acylindrically hyperbolic. In particular, this implies acylindrical hyperbolicity of finitely presented residually finite groups with positive first $\ell^2$-Betti number as well as groups of deficiency at least $2$.


title: On algebras of strongly derived unbounded type

abstract: Let $A$ be a finite-dimensional algebra over an algebraically closed field. We prove $A$ is a strongly derived unbounded algebra if and only if there exists an integer $m$, such that $C_m(\proj A)$, the category of all minimal projective complexes with degree concentrated in $[0, m]$, is of strongly unbounded type, which is also equivalent to the statement the repetitive algebra $\hat{A}$ is of strongly unbounded representation type. As a corollary, we can establish the dichotomy on the representation type of $C_m(\proj A)$, the homotopy category $K^b(\proj A)$ and the repetitive algebra $\hat{A}$.