title: Exploring the Unknown: the Work of Louis Nirenberg on Partial Differential Equations

abstract: Partial differential equations are central objects in the mathematical modeling of natural and social sciences (sound propagation, heat diffusion, thermodynamics, electromagnetism, elasticity, fluid dynamics, quantum mechanics, population growth, finance...etc). They were for a long time restricted only to the study of natural phenomena or questions pertaining to geometry, before becoming over the course of time, and especially in the last century, a field in itself. The second half of the XXth century was the "golden age" of the exploration of partial differential equations from a theoretical perspective. The mathematical work of Louis Nirenberg since the early 1950s has to a large extent contributed to the growth of this fundamental area of human knowledge. The name Nirenberg is associated with many of the milestones in the study of PDEs. The award of the Abel Prize to Louis Nirenberg marks a special occasion for us to revisit the development of the field of PDEs and the work of one of the main actors of its exploration.


title: A physical perspective on cytoplasmic streaming (invited)

abstract: Organisms show a remarkable range of sizes, yet the dimensions of a single cell rarely exceed $100$ $\mu$m. While the physical and biological origins of this constraint remain poorly understood, exceptions to this rule give valuable insights. A well-known counterexample is the aquatic plant $Chara$, whose cells can exceed $10$ cm in length and $1$ mm in diameter. Two spiraling bands of molecular motors at the cell periphery drive the cellular fluid up and down at speeds up to $100$ $\mu$m/s, motion that has been hypothesized to mitigate the slowness of metabolite transport on these scales and to aid in homeostasis. This is the most organized instance of a broad class of continuous motions known as "cytoplasmic streaming", found in a wide range of eukaryotic organisms - algae, plants, amoebae, nematodes, and flies - often in unusually large cells. In this overview of the physics of this phenomenon, we examine the interplay between streaming, transport and cell size, and discuss the possible role of self-organization phenomena in establishing the observed patterns of streaming.


title: Edge-Mediated Skyrmion Chain and Its Collective Dynamics in a Confined Geometry

abstract: The emergence of a topologically nontrivial vortex-like magnetic structure, the magnetic skyrmion, has launched new concepts for memory devices. There, extensive studies have theoretically demonstrated the ability to encode information bits by using a chain of skyrmions in one-dimensional nanostripes. Here, we report the first experimental observation of the skyrmion chain in FeGe nanostripes by using high resolution Lorentz transmission electron microscopy. Under an applied field normal to the nanostripes plane, we observe that the helical ground states with distorted edge spins would evolves into individual skyrmions, which assemble in the form of chain at low field and move collectively into the center of nanostripes at elevated field. Such skyrmion chain survives even as the width of nanostripe is much larger than the single skyrmion size. These discovery demonstrates new way of skyrmion formation through the edge effect, and might, in the long term, shed light on the applications.


title: On the dual-cone nature of the conical refraction phenomenon

abstract: In conical refraction (CR), a focused Gaussian input beam passing through a biaxial crystal and parallel to one of the optic axes is transformed into a pair of concentric bright rings split by a dark (Poggendorff) ring at the focal plane. Here, we show the generation of a CR transverse pattern that does not present the Poggendorff fine splitting at the focal plane, i.e. it forms a single light ring. This light ring is generated from a non-homogeneously polarized input light beam obtained by using a spatially inhomogeneous polarizer that mimics the characteristic CR polarization distribution. This polarizer allows modulating the relative intensity between the two CR light cones in accordance with the recently proposed dual--cone model of the CR phenomenon. We show that the absence of interfering rings at the focal plane is caused by the selection of one of the two CR cones.


title: Deciding definability in FO2(<h,<v) on trees

abstract: We provide a decidable characterization of regular forest languages definable in FO2(<h,<v). By FO2(<h,<v) we refer to the two variable fragment of first order logic built from the descendant relation and the following sibling relation. In terms of expressive power it corresponds to a fragment of the navigational core of XPath that contains modalities for going up to some ancestor, down to some descendant, left to some preceding sibling, and right to some following sibling. We also show that our techniques can be applied to other two variable first-order logics having exactly the same vertical modalities as FO2(<h,<v) but having different horizontal modalities.


title: Towards Data-Driven Autonomics in Data Centers

abstract: Continued reliance on human operators for managing data centers is a major impediment for them from ever reaching extreme dimensions. Large computer systems in general, and data centers in particular, will ultimately be managed using predictive computational and executable models obtained through data-science tools, and at that point, the intervention of humans will be limited to setting high-level goals and policies rather than performing low-level operations. Data-driven autonomics, where management and control are based on holistic predictive models that are built and updated using generated data, opens one possible path towards limiting the role of operators in data centers. In this paper, we present a data-science study of a public Google dataset collected in a 12K-node cluster with the goal of building and evaluating a predictive model for node failures. We use BigQuery, the big data SQL platform from the Google Cloud suite, to process massive amounts of data and generate a rich feature set characterizing machine state over time. We describe how an ensemble classifier can be built out of many Random Forest classifiers each trained on these features, to predict if machines will fail in a future 24-hour window. Our evaluation reveals that if we limit false positive rates to 5%, we can achieve true positive rates between 27% and 88% with precision varying between 50% and 72%. We discuss the practicality of including our predictive model as the central component of a data-driven autonomic manager and operating it on-line with live data streams (rather than off-line on data logs). All of the scripts used for BigQuery and classification analyses are publicly available from the authors' website.


title: Ergodicity and diffusivity of Markovian order book models: a general framework

abstract: We present a general Markovian framework for order book modeling. Through our approach, we aim at providing a tool enabling to get a better understanding of the price formation process and of the link between microscopic and macroscopic features of financial assets. To do so, we propose a new method of order book representation, and decompose the problem of order book modeling into two sub-problems: dynamics of a continuous-time double auction system with a fixed reference price; interactions between the double auction system and the reference price movements. State dependency is included in our framework by allowing the order flow intensities to depend on the order book state. Furthermore, contrary to most existing models, the impact of the order book updates on the reference price dynamics is not assumed to be instantaneous. We first prove that under general assumptions, our system is ergodic. Then we deduce the convergence towards a Brownian motion of the rescaled price process.


title: Detailed structure of the outer disk around HD 169142 with polarized light in H-band

abstract: Coronagraphic imagery of the circumstellar disk around HD 169142 in H-band polarized intensity (PI) with Subaru/HiCIAO is presented. The emission scattered by dust particles at the disk surface in 0.2" <= r <= 1.2", or 29 <= r <= 174 AU, is successfully detected. The azimuthally-averaged radial profile of the PI shows a double power-law distribution, in which the PIs in r=29-52 AU and r=81.2-145 AU respectively show r^{-3}-dependence. These two power-law regions are connected smoothly with a transition zone (TZ), exhibiting an apparent gap in r=40-70 AU. The PI in the inner power-law region shows a deep minimum whose location seems to coincide with the point source at \lambda = 7 mm. This can be regarded as another sign of a protoplanet in TZ. The observed radial profile of the PI is reproduced by a minimally flaring disk with an irregular surface density distribution or with an irregular temperature distribution or with the combination of both. The depletion factor of surface density in the inner power-law region (r< 50 AU) is derived to be <= 0.16 from a simple model calculation. The obtained PI image also shows small scale asymmetries in the outer power-law region. Possible origins for these asymmetries include corrugation of the scattering surface in the outer region, and shadowing effect by a puffed up structure in the inner power-law region.


title: Convective regularization for optical flow

abstract: We argue that the time derivative in a fixed coordinate frame may not be the most appropriate measure of time regularity of an optical flow field. Instead, for a given velocity field $v$ we consider the convective acceleration $v_t + \nabla v v$ which describes the acceleration of objects moving according to $v$. Consequently we investigate the suitability of the nonconvex functional $\|v_t + \nabla v v\|^2_{L^2}$ as a regularization term for optical flow. We demonstrate that this term acts as both a spatial and a temporal regularizer and has an intrinsic edge-preserving property. We incorporate it into a contrast invariant and time-regularized variant of the Horn-Schunck functional, prove existence of minimizers and verify experimentally that it addresses some of the problems of basic quadratic models. For the minimization we use an iterative scheme that approximates the original nonlinear problem with a sequence of linear ones. We believe that the convective acceleration may be gainfully introduced in a variety of optical flow models.


title: Extended Hybrid Model Reference Adaptive Control of Piecewise Affine Systems

abstract: This note presents an extension to the adaptive control strategy presented in [1] able to counter eventual instability due to disturbances at the input of an otherwise $\mathcal{L}_2$ stable closed-loop system. These disturbances are due to the presence of affine terms in the plant and reference model. The existence of a common Lyapunov function is used to prove global convergence of the error system, even in the presence of sliding solutions, as well as boundedness of all the adaptive gains.


title: Observing Supermassive Black Holes across cosmic time: from phenomenology to physics

abstract: In the last decade, a combination of high sensitivity, high spatial resolution observations and of coordinated multi-wavelength surveys has revolutionized our view of extra-galactic black hole (BH) astrophysics. We now know that supermassive black holes reside in the nuclei of almost every galaxy, grow over cosmological times by accreting matter, interact and merge with each other, and in the process liberate enormous amounts of energy that influence dramatically the evolution of the surrounding gas and stars, providing a powerful self-regulatory mechanism for galaxy formation. The different energetic phenomena associated to growing black holes and Active Galactic Nuclei (AGN), their cosmological evolution and the observational techniques used to unveil them, are the subject of this chapter. In particular, I will focus my attention on the connection between the theory of high-energy astrophysical processes giving rise to the observed emission in AGN, the observable imprints they leave at different wavelengths, and the methods used to uncover them in a statistically robust way. I will show how such a combined effort of theorists and observers have led us to unveil most of the SMBH growth over a large fraction of the age of the Universe, but that nagging uncertainties remain, preventing us from fully understating the exact role of black holes in the complex process of galaxy and large-scale structure formation, assembly and evolution.


title: Funding shapes the anatomy of scientific research

abstract: Research projects are primarily collaborative in nature through internal and external partnerships, but what role does funding play in their formation? Here, we examined over 43,000 funded projects in the past three decades, enabling us to characterise changes in the funding landscape and their impacts on the underlying collaboration patterns. We observed rising inequality in the distribution of funding and its effect was most noticeable at the institutional level in which the leading universities diversified their collaborations and increasingly became the knowledge brokers. Furthermore, these universities formed a cohesive core through their close ties, and such reliance appeared to be a key for their research success, with the elites in the core over-attracting resources but in turn rewarding in both research breadth and depth. Our results reveal how collaboration networks undergo previously unknown adaptive organisation in response to external driving forces, which can have far-reaching implications for future policy.


title: Fast separation of two trapped ions

abstract: We design fast protocols to separate or recombine two ions in a segmented Paul trap. By inverse engineering the time evolution of the trapping potential composed of a harmonic and a quartic term, it is possible to perform these processes in a few microseconds without final excitation. These times are much shorter than the ones reported so far experimentally. The design is based on dynamical invariants and dynamical normal modes. Anharmonicities beyond the harmonic approximation at potential minima are taken into account perturbatively. The stability versus an unknown potential bias is also studied.


title: The User Behavior in Facebook and its Development from 2009 until 2014

abstract: Online Social Networking is a fascinating phenomena, attracting more than one billion people. It supports basic human needs such as communication, socializing with others and reputation building. Thus, an in-depth understanding of user behavior in Online Social Networks (OSNs) can provide major insights into human behavior, and impacts design choices of social platforms and applications. However, researchers have only limited access to behavioral data. As a consequence of this limitation, user behavior in OSNs as well as its development in recent years are still not deeply understood. In this paper, we present a study about user behavior on the most popular OSN, Facebook, with 2071 participants from 46 countries. We elaborate how Facebookers orchestrate the offered functions to achieve individual benefit in 2014 and evaluate user activity changes from 2009 till 2014 to understand the development of user behavior. Inter alia, we focus on the most important functionality, the newsfeed, to understand content sharing amongst users. We (i) yield a better understanding on content sharing and consumption and (ii) refine behavioral assumptions in the literature to improve the performance of alternative social platforms. Furthermore, we (iii) contribute evidence to the discussion of Facebook to be an aging network.


title: Coexisting Success Probability and Throughput of Multi-RAT Wireless Networks with Unlicensed Band Access

abstract: In this letter, the coexisting success probability and throughput of a wireless network consisting of multiple subnetworks of different radio access technologies (RATs) is investigated. The coexisting success probability that is defined as the average of all success probabilities of all subnetworks is found in closed-form and it will be shown to have the concavity over the number of channels in the unlicensed band. The optimal deployment densities of all different RATs access points (APs) that maximize the coexisting success probability are shown to exist and can be found under the derived constraint on network parameters. The coexisting throughput is defined as the per-channel sum of all spectrum efficiencies of all subnetworks and numerical results show that it is significantly higher than the throughput of the unlicensed band only accessed by WiFi APs.


title: Concentration and non-concentration for the Schr\"odinger evolution on Zoll manifolds

abstract: We study the long time dynamics of the Schr\"odinger equation on Zoll manifolds. We establish criteria under which the solutions of the Schr\"odinger equation can or cannot concentrate on a given closed geodesic. As an application, we derive some results on the set of semiclassical measures for eigenfunctions of Schr\"odinger operators: we prove that adding a potential to the Laplacian on the sphere results on the existence of geodesics $\gamma$ such that $\delta_\gamma$ cannot be obtained as a semiclassical measure for some sequence of eigenfunctions. We also show that the same phenomenon occurs for the free Laplacian on certain Zoll surfaces.


title: D-brane on Deformed AdS_3 times S^3

abstract: We study D1-brane in AdS_3 times S^3 kappa-deformed background with non-trivial dilaton and Ramond-Ramond fields. We consider purely time-dependent and spatially-dependent ansatz where we study the solutions of the equations of motion for D1-brane in given background. We find that the behavior of these solutions crucially depends on the value of the parameter a that was introduced in [arXiv:1411.1066 [hep-th]].


title: The Mean SIR of Large-Scale Wireless Networks: Its Closed-Form Expression and Main Applications

abstract: In a large-scale wireless ad hoc network in which all transmitters form a homogeneous of Poisson point process, the statistics of the signal-to-interference ratio (SIR) in prior work is only derived in closed-form for the case of Rayleigh fading channels. In this letter, the mean SIR is found in closed-form for general random channel (power) gain, transmission distance and power control models. According to the derived mean SIR, we first show that channel gain randomness actually benefits the mean SIR so that the upper bound on the mean spectrum efficiency increases. Then we show that stochastic power control and opportunistic scheduling that capture the randomness of channel gain and transmission distance can significantly not only enhance the mean SIR but reduce the outage probability. The mean-SIR-based throughput capacity is proposed and it can be maximized by a unique optimal intensity of transmitters if the derived supporting set of the intensity exists.


title: Horologium II: a Second Ultra-faint Milky Way Satellite in the Horologium Constellation

abstract: We report the discovery of a new ultra-faint Milky Way satellite candidate, Horologium II, detected in the Dark Energy Survey Y1A1 public data. Horologium II features a half light radius of $r_{h}=47\pm10$ pc and a total luminosity of $M_{V}=-2.6^{+0.2}_{-0.3}$ that place it in the realm of ultra-faint dwarf galaxies on the size-luminosity plane. The stellar population of the new satellite is consistent with an old ($\sim13.5$ Gyr) and metal-poor ([Fe/H]$\sim-2.1$) isochrone at a distance modulus of $(m-M)=19.46\pm0.20$, or a heliocentric distance of $78\pm8$ kpc, in the color-magnitude diagram. Horologium II has a distance similar to the Sculptor dwarf spheroidal galaxy ($\sim82$ kpc) and the recently reported ultra-faint satellites Eridanus III ($87\pm8$ kpc) and Horologium I ($79\pm8$ kpc). All four satellites are well aligned on the sky, which suggests a possible common origin. As Sculptor is moving on a retrograde orbit within the Vast Polar Structure when compared to the other classical MW satellite galaxies including the Magellanic Clouds, this hypothesis can be tested once proper motion measurements become available.


title: The maximum of a tree-indexed random walk in the big jump domain

abstract: We consider random walks indexed by arbitrary finite random or deterministic trees. We derive a simple sufficient criterion which ensures that the maximal displacement of the tree-indexed random walk is determined by a single large jump. This criterion is given in terms of four quantities : the tail and the expectation of the random walk steps, the height of the tree and the number of its vertices. The results are applied to critical Galton--Watson trees with offspring distributions in the domain of attraction of a stable law.


title: Chances for SUSY-GUT in the LHC Epoch

abstract: The magic couple of SUSY and GUT still appears the most elegant and predictive physics concept beyond the Standard Model. Since up to now LHC found no evidence for supersymmetric particles it becomes of particular relevance to determine an upper bound of the energy scale they have to show up. In particular, we have analyzed a generic SUSY-GUT model assuming one step unification like in SU(5), and adopting naturalness principles, we have obtained general bounds on the mass spectrum of SUSY particles. We claim that if a SUSY gauge coupling unification takes place, the lightest gluino or Higgsino cannot have a mass larger than about 20 TeV. Such a limit is of interest for planning new accelerator machines.


title: Optimal energy decay in a one-dimensional coupled wave-heat system

abstract: We study a simple one-dimensional coupled wave-heat system and obtain a sharp estimate for the rate of energy decay of classical solutions. Our approach is based on the asymptotic theory of $C_0$-semigroups and in particular on a result due to Borichev and Tomilov (Math. Ann., 2010), which reduces the problem of estimating the rate of energy decay to finding a growth bound for the resolvent of the semigroup generator. This technique not only leads to an optimal result, it is also simpler than the methods used by other authors in similar situations.


title: Some old and new problems in combinatorial geometry I: Around Borsuk's problem

abstract: Borsuk asked in 1933 if every set of diameter 1 in $R^d$ can be covered by $d+1$ sets of smaller diameter. In 1993, a negative solution, based on a theorem by Frankl and Wilson, was given by Kahn and Kalai. In this paper I will present questions related to Borsuk's problem.


title: Stationary Mean Field Games systems defined on networks

abstract: We consider a stationary Mean Field Games system defined on a network. In this framework, the transition conditions at the vertices play a crucial role: the ones here considered are based on the optimal control interpretation of the problem. We prove separately the well-posedness for each of the two equations composing the system. Finally, we prove existence and uniqueness of the solution of the Mean Field Games system.


title: Generalized Wasserstein distance and weak convergence of sublinear expectations

abstract: In this paper, we define the generalized Wasserstein distance for sets of Borel probability measures and demonstrate that the weak convergence of sublinear expectations can be characterized by means of this distance.


title: Creation of superposition of unknown quantum states

abstract: The superposition principle is one of the landmarks of quantum mechanics. The importance of quantum superpositions provokes questions about the limitations that quantum mechanics itself imposes on the possibility of their generation. In this work we systematically study the problem of creation of superpositions of unknown quantum states. First, we prove a no-go theorem that forbids the existence of a universal probabilistic quantum protocol producing a superposition of two unknown quantum states. Secondly, we provide an explicit probabilistic protocol generating a superposition of two unknown states, each having a fixed overlap with the known referential pure state. The protocol is proven to be unique and optimal. Moreover, it can be implemented on arbitrary Hilbert spaces. In the context of quantum optics it can be used to efficiently generate highly nonclassical or nongaussian states.


title: Asynchronous Parallel Stochastic Gradient Descent - A Numeric Core for Scalable Distributed Machine Learning Algorithms

abstract: The implementation of a vast majority of machine learning (ML) algorithms boils down to solving a numerical optimization problem. In this context, Stochastic Gradient Descent (SGD) methods have long proven to provide good results, both in terms of convergence and accuracy. Recently, several parallelization approaches have been proposed in order to scale SGD to solve very large ML problems. At their core, most of these approaches are following a map-reduce scheme. This paper presents a novel parallel updating algorithm for SGD, which utilizes the asynchronous single-sided communication paradigm. Compared to existing methods, Asynchronous Parallel Stochastic Gradient Descent (ASGD) provides faster (or at least equal) convergence, close to linear scaling and stable accuracy.


title: 4D Higher Spin Gravity with Dynamical Two-Form as a Frobenius--Chern--Simons Gauge Theory

abstract: We provide an off-shell formulation of four-dimensional higher spin gravity based on a covariant Hamiltonian action on an open nine-dimensional Poisson manifold whose boundary consists of the direct product of spacetime and a noncommutative twistor space of S^2 x S^2 topology. The fundamental field is a superconnection consisting of even and odd differential forms valued in the odd and even sectors of a 3-graded associative algebra given by the direct product of an eight-dimensional Frobenius algebra and a higher spin algebra extended by inner Klein operators. The superconnection consists of two one-forms gauging the one-sided actions of the higher spin algebra, two bi-fundamental real forms given by the Weyl zero-form and a new dynamical two-form, an additional set of forms providing a maximal duality extension, and, finally, the Lagrange multipliers required for the covariant Hamiltonian action. In a particular two-form background, the model yields Vasiliev's recently proposed extended higher spin gravity equations, whose interaction terms are accounted for by de Rham closed globally defined forms arising in the dynamical two-form.


title: Degeneracy Relations in QCD and the Equivalence of Two Systematic All-Orders Methods for Setting the Renormalization Scale

abstract: The Principle of Maximum Conformality (PMC) eliminates QCD renormalization scale-setting uncertainties using fundamental renormalization group methods. The resulting scale-fixed pQCD predictions are independent of the choice of renormalization scheme and show rapid convergence. The coefficients of the scale-fixed couplings are identical to the corresponding conformal series with zero $\beta$-function. Two all-orders methods for systematically implementing the PMC-scale setting procedure for existing high order calculations are discussed in this article. One implementation is based on the PMC-BLM correspondence \mbox{(PMC-I)}; the other, more recent, method \mbox{(PMC-II)} uses the ${\cal R}_\delta$-scheme, a systematic generalization of the minimal subtraction renormalization scheme. Both approaches satisfy all of the principles of the renormalization group and lead to scale-fixed and scheme-independent predictions at each finite order. In this work, we show that PMC-I and PMC-II scale-setting methods are in practice equivalent to each other. We illustrate this equivalence for the four-loop calculations of the annihilation ratio $R_{e^+ e^-}$ and the Higgs partial width $\Gamma(H\to b\bar{b})$. Both methods lead to the same resummed (`conformal') series up to all orders. The small scale differences between the two approaches are reduced as additional renormalization group $\{\beta_i\}$-terms in the pQCD expansion are taken into account. We also show that {\it special degeneracy relations}, which underly the equivalence of the two PMC approaches and the resulting conformal features of the pQCD series, are in fact general properties of non-Abelian gauge theory.


title: 2D Poisson Sigma Models with Gauged Vectorial Supersymmetry

abstract: In this note, we gauge the rigid vectorial supersymmetry of the two-dimensional Poisson sigma model presented in arXiv:1503.05625. We show that the consistency of the construction does not impose any further constraints on the differential Poisson algebra geometry than those required for the ungauged model. We conclude by proposing that the gauged model provides a first-quantized framework for higher spin gravity.


title: Latest developments in anisotropic hydrodynamics

abstract: We discuss the leading order of anisotropic hydrodynamics expansion. It has already been shown that in the (0+1) and (1+1)-dimensional cases it is consistent with the second order viscous hydrodynamics, and it provides a striking agreement with the exact solutions of the Boltzmann equation. Quite recently, a new set of equations has been proposed for the leading order of anisotropic hydrodynamics, which is consistent with the second order viscous hydrodynamics in the most general (3+1)-dimensional case, and does not require a next-to-leading treatment for describing pressure anisotropies in the transverse plane.


title: Superconducting/magnetic three state nanodevice for memory and reading applications

abstract: We present a simple nanodevice that can operate in two modes: i) three-state memory and ii) reading device. The nanodevice is fabricated with an array of ordered triangular-shaped nanomagnets embedded in a superconducting thin film. The input signal is ac current and the output signal is dc voltage. Vortex ratchet effect in combination with out of plane magnetic anisotropy of the nanomagnets is the background physics which governs the nanodevice performance.


title: Renormalised fermion vacuum expectation values on anti-de Sitter space-time

abstract: The Schwinger-de Witt and Hadamard methods are used to obtain renormalised vacuum expectation values for the fermion condensate, charge current and stress-energy tensor of a quantum fermion field of arbitrary mass on four-dimensional anti-de Sitter space-time. The quantum field is in the global anti-de Sitter vacuum state. The results are compared with those obtained using the Pauli-Villars and zeta-function regularisation methods, respectively.


title: Electronic structure of NaFeAs superconductor: LDA+DMFT calculations compared with ARPES experiment

abstract: We present the results of extended theoretical LDA+DMFT calculations for a new iron-pnictide high temperature superconductor NaFeAs compared with the recent high quality angle-resolved photoemission (ARPES) experiments on this system [1]. The universal manifestation of correlation effects in iron-pnictides is narrowing of conducting bands near the Fermi level. Our calculations demonstrate that for NaFeAs the effective mass is renormalized on average by a factor of the order of 3, in good agreement with ARPES data. This is essentially due to correlation effects on Fe-3d orbitals only and no additional interactions with with any kind of Boson modes, as suggested in [1], are necessary to describe the experiment. Also we show that ARPES data taken at about 160 eV beam energy most probably corresponds to $k_z=\pi$ Brillouin zone boundary, while ARPES data measured at about 80 eV beam energy rather represents $k_z=0$. Contributions of different Fe-3d orbitals into spectral function map are also discussed.


title: Flexible Sensory Platform Based on an Electrolyte-Gated Oxide Neuron Transistor

abstract: Inspired by the dendritic integration and spiking operation of a biological neuron, flexible oxide-based neuron transistors gated by solid-state electrolyte films are fabricated on flexible plastic substrates for biochemical sensing applications. When a quasi-static dual-gate laterally synergic sensing mode is adopted, the neuron transistor sensor shows a high pH sensitivity of ~105 mV/pH, which is higher than the Nernst limit. Our results demonstrate that single-spike dynamic mode can remarkably improve the pH sensitivity, reduce response/recover time and power consumption. We also find that appropriate depression applied on the sensing gate electrode can further enhance the pH sensitivity and reduce the power consumption. Our flexible neuron transistors provide a new-concept sensory platform for biochemical detection with high sensitivity, rapid response and ultralow power consumption.


title: A Plane Wave Virtual Element Method for the Helmholtz Problem

abstract: We introduce and analyze a virtual element method (VEM) for the Helmholtz problem with approximating spaces made of products of low order VEM functions and plane waves. We restrict ourselves to the 2D Helmholtz equation with impedance boundary conditions on the whole domain boundary. The main ingredients of the plane wave VEM scheme are: i) a low frequency space made of VEM functions, whose basis functions are not explicitly computed in the element interiors; ii) a proper local projection operator onto the high-frequency space, made of plane waves; iii) an approximate stabilization term. A convergence result for the h-version of the method is proved, and numerical results testing its performance on general polygonal meshes are presented.


title: Multi-task additive models with shared transfer functions based on dictionary learning

abstract: Additive models form a widely popular class of regression models which represent the relation between covariates and response variables as the sum of low-dimensional transfer functions. Besides flexibility and accuracy, a key benefit of these models is their interpretability: the transfer functions provide visual means for inspecting the models and identifying domain-specific relations between inputs and outputs. However, in large-scale problems involving the prediction of many related tasks, learning independently additive models results in a loss of model interpretability, and can cause overfitting when training data is scarce. We introduce a novel multi-task learning approach which provides a corpus of accurate and interpretable additive models for a large number of related forecasting tasks. Our key idea is to share transfer functions across models in order to reduce the model complexity and ease the exploration of the corpus. We establish a connection with sparse dictionary learning and propose a new efficient fitting algorithm which alternates between sparse coding and transfer function updates. The former step is solved via an extension of Orthogonal Matching Pursuit, whose properties are analyzed using a novel recovery condition which extends existing results in the literature. The latter step is addressed using a traditional dictionary update rule. Experiments on real-world data demonstrate that our approach compares favorably to baseline methods while yielding an interpretable corpus of models, revealing structure among the individual tasks and being more robust when training data is scarce. Our framework therefore extends the well-known benefits of additive models to common regression settings possibly involving thousands of tasks.


title: Real Jacobian mates

abstract: Let $p$ be a real polynomial in two variables. We say that a polynomial $q$ is a real Jacobian mate of $p$ if the Jacobian determinant of the mapping $(p,q):\mathbb{R}^2\to\mathbb{R}^2$ is everywhere positive. We present a class of polynomials that do not have real Jacobian mates.


title: On the Lorentz-breaking theory with higher derivatives in spinor sector

abstract: We consider the two-point function of the gauge field in Lorentz-breaking theories with higher-derivative extension of the Dirac Lagrangian. We show that the Carroll-Field-Jackiw term naturally arises in this theory as a quantum correction being perfectly finite and thus displaying no ambiguities. Also, the finiteness of this term at low energy limit and the absence of large Lorentz violating corrections allows to avoid the fine-tuning problem.


title: Average-case complexity of a branch-and-bound algorithm for maximum independent set, under the $\mathcal{G}(n,p)$ random model

abstract: We study average-case complexity of branch-and-bound for maximum independent set in random graphs under the $\mathcal{G}(n,p)$ distribution. In this model every pair $(u,v)$ of vertices belongs to $E$ with probability $p$ independently on the existence of any other edge. We make a precise case analysis, providing phase transitions between subexponential and exponential complexities depending on the probability $p$ of the random model.


title: The Newtonian Potential and the Demagnetizing Factors of the General Ellipsoid

abstract: The objective of this paper is to present a modern and concise new derivation for the explicit expression of the interior and exterior Newtonian potential generated by homogeneous ellipsoidal domains in $\mathbb{R}^N$ (with $N \geqslant 3$). The very short argument is essentially based on the application of Reynolds transport theorem in connection with Green-Stokes integral representation formula for smooth functions on bounded domains of $\mathbb{R}^N$, which permits to reduce the N-dimensional problem to a 1-dimensional one. Due to its physical relevance, a separate section is devoted to the the derivation of the demagnetizing factors of the general ellipsoid which are one of the most fundamental quantities in ferromagnetism.


title: Finite-size corrections to the speed of a branching-selection process

abstract: We consider a particle system studied by E. Brunet and B. Derrida, which evolves according to a branching mechanism with selection of the fittest keeping the population size fixed and equal to $N$. The particles remain grouped and move like a travelling front driven by a random noise with a deterministic speed. Because of its mean-field structure, the model can be further analysed as $N \to \infty$. We focus on the case where the noise lies in the max-domain of attraction of the Weibull extreme value distribution and show that under mild conditions the correction to the speed has universal features depending on the tail probabilities.


title: Recursion in RDF Data Shape Languages

abstract: An RDF data shape is a description of the expected contents of an RDF document (aka graph) or dataset. A major part of this description is the set of constraints that the document or dataset is required to satisfy. W3C recently (2014) chartered the RDF Data Shapes Working Group to define SHACL, a standard RDF data shape language. We refer to the ability to name and reference shape language elements as recursion. This article provides a precise definition of the meaning of recursion as used in Resource Shape 2.0. The definition of recursion presented in this article is largely independent of language-specific details. We speculate that it also applies to ShEx and to all three of the current proposals for SHACL. In particular, recursion is not permitted in the SHACL-SPARQL proposal, but we conjecture that recursion could be added by using the definition proposed here as a top-level control structure.


title: HERAFitter - An Open Source framework to determine PDFs

abstract: The HERAFitter project provides a framework for the determination of parton distribution functions (PDFs), and tools for assessing the impact of new data on PDFs. In this contribution, HERAFitter is used for a QCD analysis of the legacy measurements of the $W$-boson charge asymmetry and of the $Z$-boson production cross sections, performed at the Tevatron collider in Run II by the D0 and CDF collaborations. The Tevatron measurements are included in a PDF fit performed at next-to-leading order, and compared to the predictions obtained using other PDF sets from different groups. The measurements are in good agreement with NLO QCD theoretical predictions. The Tevatron data provide significant constraints on the $d$-valence quark distribution.


title: The Equivalence Principle in a Quantum World

abstract: We show how modern methods can be applied to quantum gravity at low energy. We test how quantum corrections challenge the classical framework behind the Equivalence Principle, for instance through introduction of non-locality from quantum physics, embodied in the Uncertainty Principle. When the energy is small we now have the tools to address this conflict explicitly. Despite the violation of some classical concepts, the EP continues to provide the core of the quantum gravity framework through the symmetry - general coordinate invariance - that is used to organize the effective field theory.


title: On the lower bound of the discrepancy of $(t,s)$ sequences: II

abstract: Let $ (\bx(n))_{n \geq 1} $ be an $s-$dimensional Niederreiter-Xing sequence in base $b$. Let $D((\bx(n))_{n = 1}^{N})$ be the discrepancy of the sequence $ (\bx(n))_{n = 1}^{N} $. It is known that $N D((\bx(n))_{n = 1}^{N}) =O(\ln^s N)$ as $N \to \infty $. In this paper, we prove that this estimate is exact. Namely, there exists a constant $K>0$, such that $$ \inf_{\bw \in [0,1)^s} \sup_{1 \leq N \leq b^m} N D((\bx(n)\oplus \bw)_{n = 1}^{N}) \geq K m^s \quad {\rm for} \; \; m=1,2,...\;. $$ We also get similar results for other explicit constructions of $(t,s)$ sequences.


title: Coherent control of bond making: The performance of rationally phase-shaped femtosecond laser pulses

abstract: The first step in the coherent control of a photoinduced binary reaction is bond making or photoassociation. We have recently demonstrated coherent control of bond making in multi-photon femtosecond photoassociation of hot magnesium atoms, using linearly chirped pulses [Levin et al., arXiv:1411.1542]. The detected yield of photoassociated magnesium dimers was enhanced by positively chirped pulses which is explained theoretically by a combination of purification and chirp-dependent Raman transitions. The yield could be further enhanced by pulse optimization resulting in pulses with an effective linear chirp and a sub-pulse structure, where the latter allows for exploiting vibrational coherences. Here, we systematically explore the efficiency of phase-shaped pulses for the coherent control of bond making, employing a parametrization of the spectral phases in the form of cosine functions. We find up to an order of magnitude enhancement of the yield compared to the unshaped transform-limited pulse. The highly performing pulses all display an overall temporally increasing instantaneous frequency and are composed of several overlapping sub-pulses. The time delay between the first two sub-pulses almost perfectly fits the vibrational frequency of the generated intermediate wavepacket.These findings are in agreement with chirp-dependent Raman transitions and exploitation of vibrational dynamics as underlying control mechanisms.


title: A higher efficiency of converting gas to stars push galaxies at z ~ 1.6 well above the star-forming main sequence

abstract: Local starbursts have a higher efficiency of converting gas into stars, as compared to typical star-forming galaxies at a given stellar mass, possibly indicative of different modes of star formation. With the peak epoch of galaxy formation occurring at z > 1, it remains to be established whether such an efficient mode of star formation is occurring at high-redshift. To address this issue, we measure the molecular gas content of seven high-redshift (z ~ 1.6) starburst galaxies with the Atacama Large (sub-)Millimeter Array and IRAM/Plateau de Bure Interferometer. Our targets are selected from the sample of Herschel far-infrared detected galaxies having star formation rates (~300-800 Msolar/yr) elevated (>4x) above the star-forming `main sequence', and included in the FMOS-COSMOS near-infrared spectroscopic survey of star-forming galaxies at z ~ 1.6 with Subaru. We detect CO emission in all cases at high levels of significance, indicative of high gas fractions (~30-50%). Even more compelling, we firmly establish with a clean and systematic selection that starbursts, identified as main-sequence outliers, at high redshift generally have a lower ratio of CO to total infrared luminosity as compared to typical main-sequence star-forming galaxies, although with a smaller offset than expected based on past studies of local starbursts. We put forward a hypothesis that there exists a continuous increase in star formation efficiency with elevation from the main sequence with galaxy mergers as a possible physical driver. Along with a heightened star formation efficiency, our high-redshift sample is similar in other respects to local starbursts such as being metal rich and having a higher ionization state of the interstellar medium.


title: How unimodular gravity theories differ from general relativity at quantum level

abstract: We investigate path integral quantization of two versions of unimodular gravity. First a fully diffeomorphism-invariant theory is analyzed, which does not include a unimodular condition on the metric, while still being equivalent to other unimodular gravity theories at the classical level. The path integral has the same form as in general relativity (GR), except that the cosmological constant is an unspecified value of a variable, and it thus is unrelated to any coupling constant. When the state of the universe is a superposition of vacuum states, the path integral is extended to include an integral over the cosmological constant. Second, we analyze the standard unimodular theory of gravity, where the metric determinant is fixed by a constraint. Its path integral differs from the one of GR in two ways: the metric of spacetime satisfies the unimodular condition only in average over space, and both the Hamiltonian constraint and the associated gauge condition have zero average over space. Finally, the canonical relation between the given unimodular theories of gravity is established.


title: Low Complexity Belief Propagation Polar Code Decoders

abstract: Since its invention, polar code has received a lot of attention because of its capacity-achieving performance and low encoding and decoding complexity. Successive cancellation decoding (SCD) and belief propagation decoding (BPD) are two of the most popular approaches for decoding polar codes. SCD is able to achieve good error-correcting performance and is less computationally expensive as compared to BPD. However SCDs suffer from long latency and low throughput due to the serial nature of the successive cancellation algorithm. BPD is parallel in nature and hence is more attractive for high throughput applications. However since it is iterative in nature, the required latency and energy dissipation increases linearly with the number of iterations. In this work, we borrow the idea of SCD and propose a novel scheme based on sub-factor-graph freezing to reduce the average number of computations as well as the average number of iterations required by BPD, which directly translates into lower latency and energy dissipation. Simulation results show that the proposed scheme has no performance degradation and achieves significant reduction in computation complexity over the existing methods.


title: Tensor products of higher almost split sequences

abstract: We investigate how the higher almost split sequences over a tensor product of algebras are related to those over each factor. Herschend and Iyama gave a precise criterion for when the tensor product of an $n$-representation finite algebra and an $m$-representation finite algebra is $(n+m)$-representation finite. In this case we give a complete description of the higher almost split sequences over the tensor product by expressing every higher almost split sequence as the mapping cone of a suitable chain map and using a natural notion of tensor product for chain maps.


title: A New Fundamental Evidence of Non-Classical Structure in the Combination of Natural Concepts

abstract: We recently performed cognitive experiments on conjunctions and negations of two concepts with the aim of investigating the combination problem of concepts. Our experiments confirmed the deviations (conceptual vagueness, underextension, overextension, etc.) from the rules of classical (fuzzy) logic and probability theory observed by several scholars in concept theory, while our data were successfully modeled in a quantum-theoretic framework developed by ourselves. In this paper, we isolate a new, very stable and systematic pattern of violation of classicality that occurs in concept combinations. In addition, the strength and regularity of this non-classical effect leads us to believe that it occurs at a more fundamental level than the deviations observed up to now. It is our opinion that we have identified a deep non-classical mechanism determining not only how concepts are combined but, rather, how they are formed. We show that this effect can be faithfully modeled in a two-sector Fock space structure, and that it can be exactly explained by assuming that human thought is the supersposition of two processes, a 'logical reasoning', guided by 'logic', and a 'conceptual reasoning' guided by 'emergence', and that the latter generally prevails over the former. All these findings provide a new fundamental support to our quantum-theoretic approach to human cognition.


title: On the analysis of photo-electron spectra

abstract: We analyze Photo-Electron Spectra (PES) for a variety of excitation mechanisms from a simple mono-frequency laser pulse to involved combination of pulses as used, e.g., in attosecond experiments. In the case of simple pulses, the peaks in PES re- flect the occupied single-particle levels in combination with the given laser frequency. This usual, simple rule may badly fail in the case of excitation pulses with mixed frequencies and if resonant modes of the system are significantly excited. We thus develop an extension of the usual rule to cover all possible excitation scenarios, including mixed frequencies in the attosecond regime. We find that the spectral dis- tributions of dipole, monopole and quadrupole power for the given excitation taken together and properly shifted by the single-particle energies provide a pertinent picture of the PES in all situations. This leads to the derivation of a generalized relation allowing to understand photo-electron yields even in complex experimental setups.


title: Posterior propriety in Bayesian extreme value analyses using reference priors

abstract: The Generalized Pareto (GP) and Generalized extreme value (GEV) distributions play an important role in extreme value analyses, as models for threshold excesses and block maxima respectively. For each of these distributions we consider Bayesian inference using "reference" prior distributions (in the general sense of priors constructed using formal rules) for the model parameters, specifically a Jeffreys prior, the maximal data information (MDI) prior and independent uniform priors on separate model parameters. We investigate the important issue of whether these improper priors lead to proper posterior distributions. We show that, in the GP and GEV cases, the MDI prior, unless modified, never yields a proper posterior and that in the GEV case this also applies to the Jeffreys prior. We also show that a sample size of three (four) is sufficient for independent uniform priors to yield a proper posterior distribution in the GP (GEV) case.


title: Risk and Regret of Hierarchical Bayesian Learners

abstract: Common statistical practice has shown that the full power of Bayesian methods is not realized until hierarchical priors are used, as these allow for greater "robustness" and the ability to "share statistical strength." Yet it is an ongoing challenge to provide a learning-theoretically sound formalism of such notions that: offers practical guidance concerning when and how best to utilize hierarchical models; provides insights into what makes for a good hierarchical prior; and, when the form of the prior has been chosen, can guide the choice of hyperparameter settings. We present a set of analytical tools for understanding hierarchical priors in both the online and batch learning settings. We provide regret bounds under log-loss, which show how certain hierarchical models compare, in retrospect, to the best single model in the model class. We also show how to convert a Bayesian log-loss regret bound into a Bayesian risk bound for any bounded loss, a result which may be of independent interest. Risk and regret bounds for Student's $t$ and hierarchical Gaussian priors allow us to formalize the concepts of "robustness" and "sharing statistical strength." Priors for feature selection are investigated as well. Our results suggest that the learning-theoretic benefits of using hierarchical priors can often come at little cost on practical problems.


title: On the Axiomatizability of Impossible Futures

abstract: A general method is established to derive a ground-complete axiomatization for a weak semantics from such an axiomatization for its concrete counterpart, in the context of the process algebra BCCS. This transformation moreover preserves omega-completeness. It is applicable to semantics at least as coarse as impossible futures semantics. As an application, ground- and omega-complete axiomatizations are derived for weak failures, completed trace and trace semantics. We then present a finite, sound, ground-complete axiomatization for the concrete impossible futures preorder, which implies a finite, sound, ground-complete axiomatization for the weak impossible futures preorder. In contrast, we prove that no finite, sound axiomatization for BCCS modulo concrete and weak impossible futures equivalence is ground-complete. If the alphabet of actions is infinite, then the aforementioned ground-complete axiomatizations are shown to be omega-complete. If the alphabet is finite, we prove that the inequational theories of BCCS modulo the concrete and weak impossible futures preorder lack such a finite basis.


title: On (strong) proper vertex-connection of graphs

abstract: A path in a vertex-colored graph is a {\it vertex-proper path} if any two internal adjacent vertices differ in color. A vertex-colored graph is {\it proper vertex $k$-connected} if any two vertices of the graph are connected by $k$ disjoint vertex-proper paths of the graph. For a $k$-connected graph $G$, the {\it proper vertex $k$-connection number} of $G$, denoted by $pvc_{k}(G)$, is defined as the smallest number of colors required to make $G$ proper vertex $k$-connected. A vertex-colored graph is {\it strong proper vertex-connected}, if for any two vertices $u,v$ of the graph, there exists a vertex-proper $u$-$v$ geodesic. For a connected graph $G$, the {\it strong proper vertex-connection number} of $G$, denoted by $spvc(G)$, is the smallest number of colors required to make $G$ strong proper vertex-connected. These concepts are inspired by the concepts of rainbow vertex $k$-connection number $rvc_k(G)$, strong rainbow vertex-connection number $srvc(G)$, and proper $k$-connection number $pc_k(G)$ of a $k$-connected graph $G$. Firstly, we determine the value of $pvc(G)$ for general graphs and $pvc_k(G)$ for some specific graphs. We also compare the values of $pvc_k(G)$ and $pc_k(G)$. Then, sharp bounds of $spvc(G)$ are given for a connected graph $G$ of order $n$, that is, $0\leq spvc(G)\leq n-2$. Moreover, we characterize the graphs of order $n$ such that $spvc(G)=n-2,n-3$, respectively. Finally, we study the relationship among the three vertex-coloring parameters, namely, $spvc(G), \ srvc(G)$ and the chromatic number $\chi(G)$ of a connected graph $G$.


title: On toposes generated by cardinal finite objects

abstract: We give a characterizations of toposes which admit a generating family of objects which are internally cardinal finite (i.e. Kuratowski finite and decidable) in terms of "topological" conditions. The central result is that, constructively, a hyperconnected separated locally decidable topos admit a generating family of cardinal finite objects. The main theorem is then a generalization obtained as an application of this result internally in the localic reflection of an arbitrary topos: a topos is generated by cardinal finite objects if and only if it is separated, locally decidable, and its localic reflection is zero dimensional.


title: Common origin of the diffuse high energy backgrounds of gamma rays, neutrinos and cosmic ray positrons?

abstract: We show that the observed fluxes, spectra and sky distributions of the high energy diffuse backgrounds of astronomical neutrinos, gamma rays and cosmic ray positrons satisfy simple relations expected from their common production in hadronic collisions of high energy cosmic rays (CRs) with diffuse matter. This provides compelling evidence that the high energy neutrino, gamma ray, and positron backgrounds have a common origin - hadronic meson production by cosmic rays in our Galaxy and in external galaxies rather than through the decay/annihilation of dark matter particles.


title: Evolutionary Dynamics for Persistent Cooperation in Structured Populations

abstract: The emergence and maintenance of cooperative behavior is a fascinating topic in evolutionary biology and social science. The public goods game (PGG) is a paradigm for exploring cooperative behavior. In PGG, the total resulting payoff is divided equally among all participants. This feature still leads to the dominance of defection without substantially magnifying the public good by a multiplying factor. Much effort has been made to explain the evolution of cooperative strategies, including a recent model in which only a portion of the total benefit is shared by all the players through introducing a new strategy named persistent cooperation. A persistent cooperator is a contributor who is willing to pay a second cost to retrieve the remaining portion of the payoff contributed by themselves. In a previous study, this model was analyzed in the framework of well-mixed populations. This paper focuses on discussing the persistent cooperation in lattice-structured populations. The evolutionary dynamics of the structured populations consisting of three types of competing players (pure cooperators, defectors and persistent cooperators) are revealed by theoretical analysis and numerical simulations. In particular, the approximate expressions of fixation probabilities for strategies are derived on one-dimensional lattices. The phase diagrams of stationary states, the evolution of frequencies and spatial patterns for strategies are illustrated on both one-dimensional and square lattices by simulations. Our results are consistent with the general observation that, at least in most situations, a structured population facilitates the evolution of cooperation. Specifically, here we find that the existence of persistent cooperators greatly suppresses the spreading of defectors under more relaxed conditions in structured populations compared to that obtained in well-mixed population.


title: Universal quantum simulation with prethreshold superconducting qubits: Single-excitation subspace method

abstract: Current quantum computing architectures lack the size and fidelity required for universal fault-tolerant operation, limiting the practical implementation of key quantum algorithms to all but the smallest problem sizes. In this work we propose an alternative method for general-purpose quantum computation that is ideally suited for such "prethreshold" superconducting hardware. Computations are performed in the n-dimensional single-excitation subspace (SES) of a system of n tunably coupled superconducting qubits. The approach is not scalable, but allows many operations in the unitary group SU(n) to be implemented by a single application of the Hamiltonian, bypassing the need to decompose a desired unitary into elementary gates. This feature makes large, nontrivial quantum computations possible within the available coherence time. We show how to use a programmable SES chip to perform fast amplitude amplification and phase estimation, two versatile quantum subalgorithms. We also show that an SES processor is well suited for Hamiltonian simulation, specifically simulation of the Schrodinger equation with a real but otherwise arbitrary nxn Hamiltonian matrix. We discuss the utility and practicality of such a universal quantum simulator, and propose its application to the study of realistic atomic and molecular collisions.


title: Exciton-Polariton Quantum Gates Based on Continuous Variables

abstract: We propose a continuous variable analog of quantum controlled-NOT gates based on a system of exciton-polaritons in semiconductor microcavities. This can be realized by the engineering of parametric interaction between control and target polariton modes, which can be varied in time. As an explicit setup we use a system of dipolaritons, which allows for enhancement of parametric interaction by auxiliary classical fields and scalable multigate system realization. The calculated fidelity is shown to exceed 99% for realistic system parameters.


title: Note on the helicity decomposition of spin and orbital optical currents

abstract: In the helicity representation, the Poynting vector (current) for a monochromatic optical field, when calculated using either the electric or the magnetic field, separates into right-handed and left-handed contributions, with no cross-helicity contributions. Cross-helicity terms do appear in the orbital and spin contributions to the current. But when the electric and magnetic formulas are averaged ('electric-magnetic democracy'), these terms cancel, restoring the separation into right-handed and left-handed currents for orbital and spin separately.


title: Connected primitive disk complexes and genus two Goeritz groups of lens spaces

abstract: Given a stabilized Heegaard splitting of a $3$-manifold, the primitive disk complex for the splitting is the subcomplex of the disk complex for a handlebody in the splitting spanned by the vertices of the primitive disks. In this work, we study the structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we show that the complex for the genus two splitting for the lens space $L(p, q)$ with $1\leq q \leq p/2$ is connected if and only if $p \equiv \pm 1 \pmod q$, and describe the combinatorial structure of each of those complexes. As an application, we obtain a finite presentation of the genus two Goeritz group of each of those lens spaces, the group of isotopy classes of orientation preserving homeomorphisms of the lens space that preserve the genus two Heegaard splitting of it.


title: Viscosities of Gluon Dominated QGP Model within Relativistic Non-Abelian Hydrodynamics

abstract: Based on the first principle calculation, a Lagrangian for the system describing quarks, gluons, and their interactions, is constructed. Ascribed to the existence of dissipative behavior as a consequence of strong interaction within quark-gluon plasma (QGP) matter, auxiliary terms describing viscosities are constituted into the Lagrangian. Through a "kind" of phase transition, gluon field is redefined as a scalar field with four-vector velocity inherently attached. Then, the Lagrangian is elaborated further to produce the energy-momentum tensor of dissipative fluid-like system and the equation of motion (EOM). By imposing the law of energy and momentum conservation, the values of shear and bulk viscosities are analytically calculated. Our result shows that, at the energy level close to hadronization, the bulk viscosity is bigger than shear viscosity. By making use of the conjectured values $\eta / s \sim 1 / 4\pi$ and $\zeta / s \sim 1$, the ratio of bulk to shear viscosity is found to be $\zeta / \eta > 4 \pi$.


title: Long range antiferromagnetic order of formally non-magnetic Eu$^{3+}$ Van Vleck ions observed in multiferroic Eu$_{1-x}$Y$_{x}$MnO$_3$

abstract: We report on resonant magnetic x-ray scattering and absorption spectroscopy studies of exchange-coupled antiferromagnetic ordering of Eu$^{3+}$ magnetic moments in multiferroic Eu$_{1-x}$Y$_{x}$MnO$_3$ in the absence of an external magnetic field. The observed resonant spectrum is characteristic of a magnetically ordered $^7F_1$ state that mirrors the Mn magnetic ordering, due to exchange coupling between the Eu $4f$ and Mn $3d$ spins. This is the first observation of long range magnetic order generated by exchange coupling of magnetic moments of formally non-magnetic Van Vleck ions, which is a step further towards the realization of exotic phases induced by exchange coupling in systems entirely composed of non-magnetic ions.


title: Critically loaded k-limited polling systems

abstract: We consider a two-queue polling model with switch-over times and $k$-limited service (serve at most $k_i$ customers during one visit period to queue $i$) in each queue. The major benefit of the $k$-limited service discipline is that it - besides bounding the cycle time - effectuates prioritization by assigning different service limits to different queues. System performance is studied in the heavy-traffic regime, in which one of the queues becomes critically loaded with the other queue remaining stable. By using a singular-perturbation technique, we rigorously prove heavy-traffic limits for the joint queue-length distribution. Moreover, it is observed that an interchange exists among the first two moments in service and switch-over times such that the HT limits remain unchanged. Not only do the rigorously proven results readily carry over to $N$($\geq2$) queue polling systems, but one can also easily relax the distributional assumptions. The results and insights of this note prove their worth in the performance analysis of Wireless Personal Area Networks (WPAN) and mobile networks, where different users compete for access to the shared scarce resources.


title: The elusive HI-> H2 transition in high-z damped Lyman-alpha systems

abstract: We study the H2 molecular content in high redshift damped Lyman-alpha systems (DLAs) as a function of the HI column density. We find a significant increase of the H2 molecular content around log N(HI) (cm^-2)~21.5-22, a regime unprobed until now in intervening DLAs, beyond which the majority of systems have log N(H2) > 17. This is in contrast with lines of sight towards nearby stars, where such H2 column densities are always detected as soon as log N(HI)>20.7. This can qualitatively be explained by the lower average metallicity and possibly higher surrounding UV radiation in DLAs. However, unlike in the Milky Way, the overall molecular fractions remain modest, showing that even at a large N(HI) only a small fraction of overall HI is actually associated with the self-shielded H2 gas. Damped Lyman-alpha systems with very high-N(HI) probably arise along quasar lines of sight passing closer to the centre of the host galaxy where the gas pressure is higher. We show that the colour changes induced on the background quasar by continuum (dust) and line absorption (HI Lyman and H2 Lyman & Werner bands) in DLAs with log N(HI)~22 and metallicity ~1/10 solar is significant, but not responsible for the long-discussed lack of such systems in optically selected samples. Instead, these systems are likely to be found towards intrinsically fainter quasars that dominate the quasar luminosity function. Colour biasing should in turn be severe at higher metallicities.


title: Exact parent Hamiltonians of bosonic and fermionic Moore-Read states on lattices and local models

abstract: We introduce a family of strongly-correlated spin wave functions on arbitrary spin-1/2 and spin-1 lattices in one and two dimensions. These states are lattice analogues of Moore-Read states of particles at filling fraction 1/q, which are non-Abelian Fractional Quantum Hall states in 2D. One parameter enables us to perform an interpolation between the continuum limit, where the states become continuum Moore-Read states of bosons (odd q) and fermions (even q), and the lattice limit. We show numerical evidence that the topological entanglement entropy stays the same along the interpolation for some of the states we introduce in 2D, which suggests that the topological properties of the lattice states are the same as in the continuum, while the 1D states are critical states. We then derive exact parent Hamiltonians for these states on lattices of arbitrary size. By deforming these parent Hamiltonians, we construct local Hamiltonians that stabilize some of the states we introduce in 1D and in 2D.


title: A remark on the convergence of inverse $\sigma_k$-flow

abstract: We study the positivity of related cohomology classes concerning the convergence problem of inverse $\sigma_k$-flow in the conjecture proposed by Lejmi and Sz\'{e}kelyhidi.


title: An asymptotic shape theorem for random linear growth models

abstract: In this note, we generalize the asymptotic shape theorem proved in [Des14a] for a class of random growth models whose growth is at least and at most linear. In this way, we obtain asymptotic shape theorems conjectured for several models: the contact process in a randomly evolving environment [SW08], the oriented percolation with hostile immigration [GM12b] and the bounded modified contact process [DS00].


title: Residual properties of graph products of groups

abstract: We prove that the class of residually C groups is closed under taking graph products, provided that C is closed under taking subgroups, finite direct products and that free-by-C groups are residually C. As a consequence, we show that local embeddability into various classes of groups is stable under graph products. In particular, we prove that graph products of residually amenable groups are residually amenable, and that locally embeddable into amenable groups are closed under taking graph products.


title: Non-equilibrium isothermal transformations in a temperature gradient from a microscopic dynamics

abstract: We consider a chain of anharmonic oscillators immersed in a heat bath with a temperature gradient and a time varying tension applied to one end of the chain while the other side is fixed to a point. We prove that under diffusive space-time rescaling the volume strain distribution of the chain evolves following a non-linear diffusive equation. The stationary states of the dynamics are of non-equilibrium and have a positive entropy production, so the classical relative entropy methods cannot be used. We develop new estimates based on entropic hypocoercivity, that allows to control the distribution of the positions configurations of the chain. The macroscopic limit can be used to model isothermal thermodynamic transformations between non-equilibrium stationary states.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Phase retrieval using random cubatures and fusion frames of positive semidefinite matrices

abstract: As a generalization of the standard phase retrieval problem, we seek to reconstruct symmetric rank-1 matrices from inner products with subclasses of positive semidefinite matrices. For such subclasses, we introduce random cubatures for spaces of multivariate polynomials based on moment conditions. The inner products with samples from sufficiently strong random cubatures allow the reconstruction of symmetric rank-1 matrices with a decent probability by solving the feasibility problem of a semidefinite program.


title: An Experimental Comparison of Hybrid Algorithms for Bayesian Network Structure Learning

abstract: We present a novel hybrid algorithm for Bayesian network structure learning, called Hybrid HPC (H2PC). It first reconstructs the skeleton of a Bayesian network and then performs a Bayesian-scoring greedy hill-climbing search to orient the edges. It is based on a subroutine called HPC, that combines ideas from incremental and divide-and-conquer constraint-based methods to learn the parents and children of a target variable. We conduct an experimental comparison of H2PC against Max-Min Hill-Climbing (MMHC), which is currently the most powerful state-of-the-art algorithm for Bayesian network structure learning, on several benchmarks with various data sizes. Our extensive experiments show that H2PC outperforms MMHC both in terms of goodness of fit to new data and in terms of the quality of the network structure itself, which is closer to the true dependence structure of the data. The source code (in R) of H2PC as well as all data sets used for the empirical tests are publicly available.


title: Dust ion acoustic solitary structures in presence of isothermal positrons

abstract: The Sagdeev potential technique has been employed to study the dust ion acoustic solitary waves and double layers in an unmagnetized collisionless dusty plasma consisting of negatively charged static dust grains, adiabatic warm ions, and isothermally distributed electrons and positrons. A computational scheme has been developed to draw the qualitatively different compositional parameter spaces or solution spaces showing the nature of existence of different solitary structures with respect to any parameter of the present plasma system. The qualitatively distinct solution spaces give the overall scenario regarding the existence of different solitary structures. The present system supports both positive and negative potential double layers. The negative potential double layer always restricts the occurrence of negative potential solitary waves, i.e., any sequence of negative potential solitary waves having monotonically increasing amplitude converges to a negative potential double layer. However, there exists a parameter regime for which the positive potential double layer is unable to restrict the occurrence of positive potential solitary waves. As a result, in this region of the parameter space, there exist solitary waves after the formation of positive potential double layer, i.e., positive potential supersolitons have been observed. But the amplitudes of these supersolitons are bounded. A general theory for the existence of bounded supersolitons has been discussed analytically by imposing the restrictions on the Mach number. For any small value of positron concentration, there is no effect of very hot positrons on the dust ion acoustic solitary structures. The qualitatively different solution spaces are capable of producing new results for the formation of solitary structures.


title: The speed of frogs with drift on $\mathbb{Z}$

abstract: In this article we consider the frog model with drift on $\mathbb{Z}$ and investigate the behaviour of the cloud of the frogs. In particular, we show that the speed of the minimum equals the speed of a single frog and prove some properties of the speed of the maximum. In addition, we show a limit theorem for the empirical distribution.


title: Modelling-based experiment retrieval: A case study with gene expression clustering

abstract: Motivation: Public and private repositories of experimental data are growing to sizes that require dedicated methods for finding relevant data. To improve on the state of the art of keyword searches from annotations, methods for content-based retrieval have been proposed. In the context of gene expression experiments, most methods retrieve gene expression profiles, requiring each experiment to be expressed as a single profile, typically of case vs. control. A more general, recently suggested alternative is to retrieve experiments whose models are good for modelling the query dataset. However, for very noisy and high-dimensional query data, this retrieval criterion turns out to be very noisy as well. Results: We propose doing retrieval using a denoised model of the query dataset, instead of the original noisy dataset itself. To this end, we introduce a general probabilistic framework, where each experiment is modelled separately and the retrieval is done by finding related models. For retrieval of gene expression experiments, we use a probabilistic model called product partition model, which induces a clustering of genes that show similar expression patterns across a number of samples. The suggested metric for retrieval using clusterings is the normalized information distance. Empirical results finally suggest that inference for the full probabilistic model can be approximated with good performance using computationally faster heuristic clustering approaches (e.g. $k$-means). The method is highly scalable and straightforward to apply to construct a general-purpose gene expression experiment retrieval method. Availability: The method can be implemented using standard clustering algorithms and normalized information distance, available in many statistical software packages.


title: Boosting Named Entity Recognition with Neural Character Embeddings

abstract: Most state-of-the-art named entity recognition (NER) systems rely on handcrafted features and on the output of other NLP tasks such as part-of-speech (POS) tagging and text chunking. In this work we propose a language-independent NER system that uses automatically learned features only. Our approach is based on the CharWNN deep neural network, which uses word-level and character-level representations (embeddings) to perform sequential classification. We perform an extensive number of experiments using two annotated corpora in two different languages: HAREM I corpus, which contains texts in Portuguese; and the SPA CoNLL-2002 corpus, which contains texts in Spanish. Our experimental results shade light on the contribution of neural character embeddings for NER. Moreover, we demonstrate that the same neural network which has been successfully applied to POS tagging can also achieve state-of-the-art results for language-independet NER, using the same hyperparameters, and without any handcrafted features. For the HAREM I corpus, CharWNN outperforms the state-of-the-art system by 7.9 points in the F1-score for the total scenario (ten NE classes), and by 7.2 points in the F1 for the selective scenario (five NE classes).


title: K-theory of the Chair Tiling via AF-algebras

abstract: We compute the $K$-theory groups of the groupoid C$^\ast$-algebra of the chair tiling, using a new method. We use exact sequences of Putnam to compute these groups from the $K$-theory groups of the $AF$-algebras of the substitution and the induced lower dimensional substitutions on edges and vertices.


title: Monoids, Segal's condition and bisimplicial spaces

abstract: A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial objects is a strictification of Segal's condition guaranteeing that the loop space of the geometric realization of a simplicial space $X$ and the space $X_1$ are of the same homotopy type. A generalization of Segal's result appropriate for bisimplicial spaces is given. This generalization gives conditions guaranteing that the double loop space of the geometric realization of a bisimplicial space $X$ and the space $X_{11}$ are of the same homotopy type.


title: Gauging the Carroll Algebra and Ultra-Relativistic Gravity

abstract: It is well known that the geometrical framework of Riemannian geometry that underlies general relativity and its torsionful extension to Riemann-Cartan geometry can be obtained from a procedure known as gauging the Poincare algebra. Recently it has been shown that gauging the centrally extended Galilei algebra, known as the Bargmann algebra, leads to a geometrical framework that when made dynamical gives rise to Horava-Lifshitz gravity. Here we consider the case where we contract the Poincare algebra by sending the speed of light to zero leading to the Carroll algebra. We show how this algebra can be gauged and we construct the most general affine connection leading to the geometry of so-called Carrollian space-times. Carrollian space-times appear for example as the geometry on null hypersurfaces in a Lorentzian space-time of one dimension higher. We also construct theories of ultra-relativistic (Carrollian) gravity in 2+1 dimensions with dynamical exponent z<1 including cases that have anisotropic Weyl invariance for z=0.


title: Universal relaxation in quark-gluon plasma at strong coupling

abstract: We use top-down gauge theory/string theory correspondence to compute relaxation rates in strongly coupled nonconformal gauge theory plasma. We compare models with difference mechanisms of breaking the scale invariance: "hard breaking" (by relevant operators) and "soft breaking" (by marginal operators). We find that the thermalization time of the transverse traceless fluctuations of the stress-energy tensor is rather insensitive to the mechanisms of breaking the scale invariance over a large range of the scale-breaking parameter $\delta=\frac 13-c_s^2$. We comment on the relevance of the results to QCD quark-gluon plasma.


title: Single universal curve for Alpha decay derived from semi-microscopic calculations

abstract: The universal curve is one of the simple ways to get preliminary information about the Alpha-decay half-life times of heavy nuclei. We try to find parameterization for the universal curve of Alpha decay based on semi-microscopic calculations, starting from the realistic M3Y-Reid nucleon-nucleon interaction. Within the deformed density-dependent cluster model, the penetration probability and the assault frequency are calculated using the WKB penetration probability. The deformations of daughter nuclei and the ground-state spin and parity of the involved nuclei are considered. We found that it is accurate enough to express the assault frequency, for all studied decays, either as a function of the mass number of the parent nuclei or as a constant average value. The average preformation probability of the Alpha cluster inside four groups of 166 even(Z)-even(N), 117 odd-even, 141 even-odd, and 72 odd-odd Alpha-emitters are obtained, individually. The effect of participating unpaired nucleons in the involved nuclei, as well as the influence of any differences in their ground-state spin and/or parity, appears in the obtained average values of the preformation probability. Based on the calculated WKB penetration probability, we suggested a single universal curve for Alpha decay, with only one parameter. This parameter varies according to the classified four groups. It includes the preformation probability and the average assault frequency, in addition to the pairing contribution.


title: Comment on "Proof of Heisenberg's error-disturbance principle"

abstract: Recently, Kosugi [arXiv:1504.03779v2 [quant-ph]] argued that Heisenberg's error-disturbance relation (EDR) must be interpreted as being between the resolution, the preparational error for the post-measurement observable, and the disturbance. He further claimed that Heisenberg's EDR can be proven to hold true in general, when the meter observable is modified as one of its functions. Here, some comments are given to suggest that the above claims are not supported.


title: Higher-Order Generalized Hydrodynamics of Carriers and Phonons in Semiconductors in the Presence of Electric Fields: Macro to Nano

abstract: It is analyzed the hydrodynamics of carriers (charge and heat motion) and phonons (heat motion) in semiconductors in the presence of constant electric fields. This is done in terms of a so-called Higher-Order Generalized Hydrodynamics (HOGH), also referred to as Mesoscopic Hydro-Thermodynamics (MHT), that is, covering phenomena involving motions displaying variations short in space and fast in time and being arbitrarily removed from equilibrium, as it is the case in modern electronic devices. The particular case of a MHT of order 1 is described, covering wire samples from macro to nano sizes. Electric and thermal conductivities are obtained. As the size decreases towards the nanometric scale, the MHT of order 1 produces results that in some cases greatly differ from those of the usual hydro-thermodynamics. The so-called Maxwell times associated to the different fluxes present in MHT are evidenced and analyzed; they have a quite relevant role in determining the characteristics of the motion.


title: Delay-independent stability in monotone systems

abstract: Monotone systems comprise an important class of dynamical systems that are of interest both for their wide applicability and because of their interesting mathematical properties. It is known that under the property of quasimonotonicity time-delayed systems become monotone, and some remarkable properties have been reported for such systems. These include, for example, the fact that for linear systems global asymptotic stability of the undelayed system implies global asymptotic stability for the delayed system under arbitrary bounded delays. Nevertheless, extensions to nonlinear systems have thus far relied primarily on the conditions of homogeneity and subhomogeneity, and it has been conjectured that these can be relaxed. Our aim in this paper is to show that this is feasible for a general class of nonlinear monotone systems by deriving convergence results in which simple properties of the undelayed system lead to delay-independent stability. In particular, one of our results shows that if the undelayed system has a convergent trajectory that is unbounded in all components as $t \to -\infty$, then the system is globally asymptotically stable for arbitrary bounded time-varying delays. This follows from a more general result derived in the paper that allows to quantify delay-independent regions of attraction, which can be used to prove global asymptotic stability for various classes of systems. These also recover various known delay-independent stability results that are discussed within the paper.


title: Optimal Neumann control for the 1D wave equation: finite horizon, infinite horizon, boundary tracking terms and the turnpike property

abstract: We consider a vibrating string that is fixed at one end with Neumann control action at the other end. We investigate the optimal control problem of steering this system from given initial data to rest, in time T , by minimizing an objective functional that is the convex sum of the L 2-norm of the control and of a boundary Neumann tracking term. We provide an explicit solution of this optimal control problem, showing that if the weight of the tracking term is positive, then the optimal control action is concentrated at the beginning and at the end of the time interval, and in-between it decays exponentially. We show that the optimal control can actually be written in that case as the sum of an exponentially decaying term and of an exponentially increasing term. This implies that, if the time T is large the optimal trajectory approximately consists of three arcs, where the first and the third short-time arcs are transient arcs, and in the middle arc the optimal control and the corresponding state are exponentially close to 0. This is an example for a turnpike phenomenon for a problem of optimal boundary control. If T = +$\infty$ (infinite horizon time problem), then only the exponentially decaying component of the control remains, and the norms of the optimal control action and of the optimal state decay exponentially in time. In contrast to this situation if the weight of the tracking term is zero and only the control cost is minimized, then the optimal control is distributed uniformly along the whole interval [0, T ] and coincides with the control given by the Hilbert Uniqueness Method.


title: Generalization on Inverted PT-symmetry potentials under SUSY(EC)

abstract: We construct a bridge between "inverted potentials $V(x)\sim -\lambda x^{2K+2} $ and supersymmetric energy conditions $E_{n}^{(+)}=E_{n+1}^{(-)}$; $E_{0}^{(-)}=0$ using operator formalism approach in quantum mechanics. Apart from single inverted potential, the method also works under multiple inverted operators $V(x)\sim - \sum_{K} \lambda_{K} x^{2K+2}$. We also ensure the correctness of numerical results presented.


title: Partial bi(co)module algebras, globalizations, and partial (L,R)-smash products

abstract: In this paper we introduce the notions of partial bimodule algebra and partial bico- module algebra. We also deal with the existence of globalizations for these structures, generalizing related results appeared in [2, 4]. As an application we construct the partial (L;R)-smash product, extending the corresponding global notion appeared in [14] to the context of partial Hopf actions.


title: Free Probability for Pairs of Faces IV: Bi-free Extremes in the Plane

abstract: We compute the bi-free max-convolution which is the operation on bi-variate distribution functions corresponding to the max-operation with respect to the spectral order on bi-free bi-partite two-faced pairs of hermitian non-commutative random variables. With the corresponding definitions of bi-free max-stable and max-infinitely-divisible laws their determination becomes in this way a classical analysis question.


title: Vacuum fluctuations in theories with deformed dispersion relations

abstract: We examine vacuum fluctuations in theories with modified dispersion relations which represent dimensional reduction at high energies. By changing units of energy and momentum we can obtain a description rendering the dispersion relations undeformed and transferring all the non-trivial effects to the integration measure in momentum space. Using this description we propose a general quantization procedure, which should be applicable whether or not the theory explicitly introduces a preferred frame. Based on this scheme we evaluate the power spectrum of quantum vacuum fluctuations. We find that in {\it all} theories which run to 2 dimensions in the ultraviolet the vacuum fluctuations, in the ultraviolet regime, are scale-invariant. This is true in flat space but also for "inside the horizon" modes in an expanding universe. We spell out the conditions upon the gravity theory for this scale-invariance to be preserved as the modes are frozen-in outside the horizon. We also digress on the meaning of dimensionality (in momentum and position space) and suggest that the spectral index could itself provide an operational definition of dimensionality.


title: Modular Action Language ALM

abstract: The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description. The resulting logic programming representation is used to perform various computational tasks. The methodology based on existing action languages works well for small and even medium size systems, but is not meant to deal with larger systems that require structuring of knowledge. ALM is meant to remedy this problem. Structuring of knowledge in ALM is supported by the concepts of module (a formal description of a specific piece of knowledge packaged as a unit), module hierarchy, and library, and by the division of a system description of ALM into two parts: theory and structure. A theory consists of one or more modules with a common theme, possibly organized into a module hierarchy based on a dependency relation. It contains declarations of sorts, attributes, and properties of the domain together with axioms describing them. Structures are used to describe the domain's objects. These features, together with the means for defining classes of a domain as special cases of previously defined ones, facilitate the stepwise development, testing, and readability of a knowledge base, as well as the creation of knowledge representation libraries. To appear in Theory and Practice of Logic Programming (TPLP).


title: Phenomenological constraints on light mixed sneutrino WIMP scenarios

abstract: Scenarios where left- and right-handed sneutrinos mix and the lightest mixed one act as a thermal dark matter candidate can solve the dark matter, neutrino mass, and hierarchy problems simultaneously. We focus on the dark matter mass region of the order of 1 GeV, where dark matter direct detections are insensitive. We calculate the decay rate of a false vacuum induced by a large sneutrino trilinear coupling as well as other observables constrained by experiments. As a result, we show that there is an allowed region where the mass of the lightest neutralino is around 1 GeV. The allowed region can be tested by the search for the Higgs boson invisible decay at future colliders.


title: Mass-Splitting between Haves and Have-Nots (Symmetry vs. Grand Unified Theory)

abstract: We revisit the long-standing problem of supersymmetric grand unified theory (GUT), the doublet-triplet splitting problem. We discuss whether symmetry which controls the {\mu} term in the minimal supersymmetric standard model is compatible with GUT. We find that the symmetry must be broken at the GUT scale. A similar argument also shows that the R symmetry, which is important for low energy supersymmetry, must be broken down to a Z2R symmetry at the GUT scale. We propose a new prescription to achieve the doublet-triplet splitting by symmetry. There, the symmetry which controls the {\mu} term is spontaneously broken at the GUT scale by order parameters which are charged under other symmetries. Bilinear terms of triplet Higgses are charged under the other symmetries, while those of doublet Higgses are not. Then triplet Higgses directly couple to the order parameters and hence obtain GUT scale masses, while doublet Higgses obtain suppressed masses. The broken R symmetry can be also effectively preserved by a similar prescription. As a demonstration, we construct an SU(5)$\times$SU(5) GUT model. We also comment on unification of yukawa couplings.


title: Packet Efficient Implementation of the Omega Failure Detector

abstract: We assume that a message may be delivered by packets through multiple hops and investigate the feasibility and efficiency of an implementation of the Omega Failure Detector under such an assumption.To motivate the study, we prove that the existence and sustainability of a leader is exponentially more probable in a multi-hop Omega implementation than in a single-hop one.An implementation is: \emph{message efficient} if all but finitely many messages are sent by a single process; \emph{packet efficient} if the number of packets used to transmit a message in all but finitely many messages is linear w.r.t the number of processes, packets of different messages may potentially use different channels, thus the number of used channels is not limited; \emph{super packet efficient} if the number of channels used by packets to transmit all but finitely many messages is linear.We present the following results for deterministic algorithms. If reliability and timeliness of one message does not correlate with another, i.e., there are no channel reliability properties, then a packet efficient implementation of Omega is impossible. If eventuallytimely and fair-lossy channels are considered, we establish necessary and sufficient conditions for the existence of a message and packet efficient implementation of Omega. We also prove that the eventuality of timeliness of channels makes a super packet efficientimplementation of Omega impossible. On the constructive side, we present and prove correct a deterministic packet efficient implementation of Omega that matches the necessary conditions we established.


title: Fluctuating volume-current formulation of electromagnetic fluctuations in inhomogeneous media: incandecence and luminescence in arbitrary geometries

abstract: We describe a fluctuating volume--current formulation of electromagnetic fluctuations that extends our recent work on heat exchange and Casimir interactions between arbitrarily shaped homogeneous bodies [Phys. Rev. B. 88, 054305] to situations involving incandescence and luminescence problems, including thermal radiation, heat transfer, Casimir forces, spontaneous emission, fluorescence, and Raman scattering, in inhomogeneous media. Unlike previous scattering formulations based on field and/or surface unknowns, our work exploits powerful techniques from the volume--integral equation (VIE) method, in which electromagnetic scattering is described in terms of volumetric, current unknowns throughout the bodies. The resulting trace formulas (boxed equations) involve products of well-studied VIE matrices and describe power and momentum transfer between objects with spatially varying material properties and fluctuation characteristics. We demonstrate that thanks to the low-rank properties of the associatedmatrices, these formulas are susceptible to fast-trace computations based on iterative methods, making practical calculations tractable. We apply our techniques to study thermal radiation, heat transfer, and fluorescence in complicated geometries, checking our method against established techniques best suited for homogeneous bodies as well as applying it to obtain predictions of radiation from complex bodies with spatially varying permittivities and/or temperature profiles.


title: Continuum model for linked fibers with alignment interactions

abstract: We introduce an individual-based model for fiber elements having the ability to cross-link or unlink each other and to align with each other at the cross links. We first formally derive a kinetic model for the fiber and cross-links distribution functions. We then consider the fast linking/unlinking regime in which the model can be reduced to the fiber distribution function only and investigate its diffusion limit. The resulting macroscopic model consists of a system of nonlinear diffusion equations for the fiber density and mean orientation. In the case of a homogeneous fiber density, we show that the model is elliptic.


title: Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant

abstract: In mathematics, it is common practice to have several constructions for the same objects. Mathematicians will identify them modulo isomorphism and will not worry later on which construction they use, as theorems proved for one construction will be valid for all. When working with proof assistants, it is also common to see several data-types representing the same objects. This work aims at making the use of several isomorphic constructions as simple and as transparent as it can be done informally in mathematics. This requires inferring automatically the missing proof-steps. We are designing an algorithm which finds and fills these missing proof-steps and we are implementing it as a plugin for Coq.