title: Proceedings Sixth International Workshop on Classical Logic and Computation

abstract: The workshop series intends to cover research that investigates the computational aspects of classical logic and mathematics. Its focus is on unwinding the computational content of logical principles and proof in mathematics based on these principles, aiming to bring together researchers from both fields and exchange ideas. Classical Logic and Computation (CL&C) 2016 was the sixth edition of this workshop series held as a satellite to FSCD 2016 on June 23, 2016 in Porto, Portugal. In this sixth edition we received 11 submissions of both short and full papers. Eight (8) of these were selected to present at the meeting in Porto, and five (5) full papers were initially accepted to appear at this EPTCS special volume of which one was subsequently withdrawn by its authors. An invited talk was given by Marc Bezem (U. of Bergen): Coherent Logic - an overview. Other topics covered by this years submissions included: computational content of proofs using nonstandard analysis, a structured grammar-based approach to the Herbrand content of proofs, semantics of the lambda-mu calculus, normalization of classical natural deduction proofs, proof mining of noneffective proofs in convex optimization and algebra by functional interpretations. I like to thank the members of the program committee for their excellent work: Steffen van Bakel (London), Stefano Berardi (Torino), Fernando Ferreira (Lisboa), Hugo de'Liguoro (Torino), Alexandre Miquel (Montevideo). Ulrich Kohlenbach (Darmstadt, PC Chair)


title: Smearing of the quantum anomalous Hall effect due to statistical fluctuations of magnetic dopants

abstract: Quantum anomalous Hall effect (QAH) is induced by substitution of a certain portion, x, of Bi atoms in a BiTe-based insulating parent compound by magnetic ions (Cr or V). We find the density of in-gap states, N(E), emerging as a result of statistic fluctuations of the composition, x, in the vicinity of the transition point, where the average gap, E_g, passes through zero. Local gap follows the fluctuations of x. Using the instanton approach, we show that, near the gap edges, the tails are exponential, ln N(E) \propto -(E_g-|E|), and the tail states are due to small gap reduction. Our main finding is that, even when the smearing magnitude exceeds the gap-width, there exists are semi-hard gap around zero energy, where ln N(E) \propto -E_g/|E| (ln E_g/|E|). The states responsible for N(E) originate from local gap reversals within narrow rings. The consequence of semi-hard gap is the Arrhenius, rather than variable-range hopping, temperature dependence of the diagonal conductivity at low temperatures.


title: Visualizing a Bosonic Symmetry Protected Topological Phase in an Interacting Fermion Model

abstract: Symmetry protected topological (SPT) phases in free fermion and interacting bosonic systems have been classified, but the physical phenomena of interacting fermionic SPT phases have not been fully explored. Here, employing large-scale quantum Monte Carlo simulation, we investigate the edge physics of a bilayer Kane-Mele-Hubbard model with zigzag ribbon geometry. Our unbiased numerical results show that the fermion edge modes are gapped out by interaction, while the bosonic edge modes remain gapless at the $(1+1)d$ boundary, before the bulk quantum phase transition to a topologically trivial phase. Therefore, finite fermion gaps both in the bulk and on the edge, together with the robust gapless bosonic edge modes, prove that our system becomes an emergent bosonic SPT phase at low energy, which is, for the first time, directly observed in an interacting fermion lattice model.


title: Higgs particles interacting via a scalar Dark Matter field

abstract: We study a system of two Higgs bound state, interacting via a real scalar Dark Matter mediating field, without imposing $Z_2$ symmetry on the DM sector of the postulated Lagrangian. The variational method in the Hamiltonian formalism of QFT is used to derive relativistic wave equations for the two-Higgs system, using a truncated Fock-space trial state. Approximate solutions of the 2-body relativistic coupled integral equations are presented, and conditions for the existence of Higgs bound states is examined in a broad parameter space of DM mass and coupling constants.


title: Controlling hybrid nonlinearities in transparent conducting oxides via two-colour excitation

abstract: Nanophotonics and metamaterials have revolutionised the way we think about optical space (epsilon, mu), enabling us to engineer the refractive index almost at will, to confine light to the smallest of the volumes, and to manipulate optical signals with extremely small footprints and energy requirements. Significant efforts are now devoted to finding suitable materials and strategies for the dynamic control of the optical properties. Transparent conductive oxides exhibit large ultrafast nonlinearities under both interband and intraband excitations. Here, we show that combining these two effects in aluminium-doped zinc oxide via a two colour laser field discloses new material functionalities. Owing to the independence of the two nonlinearities the ultrafast temporal dynamics of the material permittivity can be designed by acting on the amplitude and delay of the two fields. We demonstrate the potential applications of this novel degree of freedom by dynamically addressing the modulation bandwidth and optical spectral tuning of a probe optical pulse.


title: Wireless network signals with moderately correlated shadowing still appear Poisson

abstract: We consider the point process of signal strengths emitted from transmitters in a wireless network and observed at a fixed position. In our model, transmitters are placed deterministically or randomly according to a hard core or Poisson point process and signals are subjected to power law path loss and random propagation effects that may be correlated between transmitters. We provide bounds on the distance between the point process of signal strengths and a Poisson process with the same mean measure, assuming correlated log-normal shadowing. For "strong shadowing" and moderate correlations, we find that the signal strengths are close to a Poisson process, generalizing a recently shown analogous result for independent shadowing.


title: Enhanced strength and temperature dependence of mechanical properties of Li at small length scales and its implications for Li metal anodes

abstract: Most next-generation Li-ion battery chemistries require a functioning lithium metal (Li) anode. However, its application in secondary batteries has been inhibited because of uncontrollable dendrite growth during cycling. Mechanical suppression of dendrite growth through solid polymer electrolytes (SPE) or through robust separators has shown the most potential for alleviating this problem. Studies of the mechanical behavior of Li at any length scale and temperature are virtually non-existent because of its extreme reactivity, which renders sample preparation, transfer, microstructure characterization and mechanical testing prohibitively challenging. We conduct nano-mechanical experiments in an in-situ Scanning Electron Microscope and show that micron-sized Li attains extremely high strengths of 105 MPa at room temperature and of 35MPa at 90$^\circ$C. We demonstrate that single crystalline Li exhibits a power-law size-effect at the micron- and sub-micron length scales, with the strengthening exponent of -0.68 at room temperature and of -1.00 at 90$^\circ$C. We also report the elastic and shear moduli as a function of crystallographic orientation gleaned from experiments and first principles calculations, which show a high level of anisotropy up to the melting point, where the elastic and shear moduli vary by a factor of ~4 between the stiffest and most compliant orientations. The emergence of such high strengths in small-scale Li and sensitivity of this metal's stiffness to crystallographic orientation help explain why the existing methods of dendrite suppression have been mainly unsuccessful and have significant implications for practical design of future-generation batteries.


title: Direct Computation of Two-Phase Icosahedral Equilibria of Lipid Bilayer Vesicles

abstract: Correctly formulated continuum models for lipid-bilayer membranes present a significant challenge to computational mechanics. In particular, the mid-surface behavior is that of a 2-dimensional fluid, while the membrane resists bending much like an elastic shell. Here we consider a well-known Helfrich-Cahn-Hilliard model for two-phase lipid-bilayer vesicles, incorporating mid-surface fluidity, curvature elasticity and a phase field. We present a systematic approach to the direct computation of vesical configurations possessing icosahedral symmetry, which have been observed in experiment and whose mathematical existence has recently been established. We first introduce a radial-graph formulation to overcome the difficulties associated with fluidity within a conventional Lagrangian description. We use the so-called subdivision surface finite element method combined with an icosahedral-symmetric mesh. The resulting discrete equations are well-conditioned and inherit equivariance properties under a representation of the icosahedral group. We use group-theoretic methods to obtain a reduced problem that captures all icosahedral-symmetric solutions of the full problem. Finally we explore the behavior of our reduced model, varying numerous physical parameters present in the mathematical model.


title: Candidate Water Vapor Lines to Locate the H$_{2}$O Snowline through High-Dispersion Spectroscopic Observations I. The Case of a T Tauri Star

abstract: Inside the H$_{2}$O snowline of protoplanetary disks, water evaporates from the dust-grain surface into the gas phase, whereas it is frozen out on to the dust in the cold region beyond the snowline. H$_{2}$O ice enhances the solid material in the cold outer part of a disk, which promotes the formation of gas-giant planet cores. We can regard the H$_{2}$O snowline as the surface that divides the regions between rocky and gaseous giant planet formation. Thus observationally measuring the location of the H$_{2}$O snowline is crucial for understanding the planetesimal and planet formation processes, and the origin of water on Earth. In this paper, we find candidate water lines to locate the H$_{2}$O snowline through future high-dispersion spectroscopic observations. First, we calculate the chemical composition of the disk and investigate the abundance distributions of H$_{2}$O gas and ice, and the position of the H$_{2}$O snowline. We confirm that the abundance of H$_{2}$O gas is high not only in the hot midplane region inside the H$_{2}$O snowline but also in the hot surface layer of the outer disk. Second, we calculate the H$_{2}$O line profiles and identify those H$_{2}$O lines which are promising for locating the H$_{2}$O snowline: the identified lines are those which have small Einstein $A$ coefficients and high upper state energies. The wavelengths of the candidate H$_{2}$O lines range from mid-infrared to sub-millimeter, and they overlap with the regions accessible to ALMA and future mid-infrared high dispersion spectrographs (e.g., TMT/MICHI, SPICA).


title: Can Machine Generate Traditional Chinese Poetry? A Feigenbaum Test

abstract: Recent progress in neural learning demonstrated that machines can do well in regularized tasks, e.g., the game of Go. However, artistic activities such as poem generation are still widely regarded as human's special capability. In this paper, we demonstrate that a simple neural model can imitate human in some tasks of art generation. We particularly focus on traditional Chinese poetry, and show that machines can do as well as many contemporary poets and weakly pass the Feigenbaum Test, a variant of Turing test in professional domains. Our method is based on an attention-based recurrent neural network, which accepts a set of keywords as the theme and generates poems by looking at each keyword during the generation. A number of techniques are proposed to improve the model, including character vector initialization, attention to input and hybrid-style training. Compared to existing poetry generation methods, our model can generate much more theme-consistent and semantic-rich poems.


title: Past, Present, and Future of Simultaneous Localization And Mapping: Towards the Robust-Perception Age

abstract: Simultaneous Localization and Mapping (SLAM)consists in the concurrent construction of a model of the environment (the map), and the estimation of the state of the robot moving within it. The SLAM community has made astonishing progress over the last 30 years, enabling large-scale real-world applications, and witnessing a steady transition of this technology to industry. We survey the current state of SLAM. We start by presenting what is now the de-facto standard formulation for SLAM. We then review related work, covering a broad set of topics including robustness and scalability in long-term mapping, metric and semantic representations for mapping, theoretical performance guarantees, active SLAM and exploration, and other new frontiers. This paper simultaneously serves as a position paper and tutorial to those who are users of SLAM. By looking at the published research with a critical eye, we delineate open challenges and new research issues, that still deserve careful scientific investigation. The paper also contains the authors' take on two questions that often animate discussions during robotics conferences: Do robots need SLAM? and Is SLAM solved?


title: Generic instabilities of non-singular cosmologies in Horndeski theory: a no-go theorem

abstract: The null energy condition can be violated stably in generalized Galileon theories, which gives rise to the possibilities of healthy non-singular cosmologies. However, it has been reported that in many cases cosmological solutions are plagued with instabilities or have some pathologies somewhere in the whole history of the universe. Recently, this was shown to be generically true in a certain subclass of the Horndeski theory. In this short paper, we extend this no-go argument to the full Horndeski theory, and show that non-singular models (with flat spatial sections) in general suffer either from gradient instabilities or some kind of pathology in the tensor sector. This implies that one must go beyond the Horndeski theory to implement healthy non-singular cosmologies.


title: A Consumer Focused Open Data Platform

abstract: Open data has been around for many years but with the advancement of technology and its steady adoption by businesses and governments it promises to create new opportunities for the advancement of society as a whole. Many popular open data platforms have focused on solving the problems faced by the data producer and offers limited support for the data consumers in the way of tools and supported processes for easy access, modeling and mining of data within the various platforms. In this paper we present the specifications for a data consumer oriented platform for open data, the Data-TAP. We demonstrate how this platform is able to (a) meet the goal of leveraging the data resources of existing Open Data platforms, (b) provide a means to standardize and structure data to allow for the merging of related data resources and (c) use a rule-based method for parsing resources. This paper will show how Data-TAP provides an easy to use and understand interface for making open data friendlier for consumers.


title: Contrapuntal Aspects of the Mystic Chord and Scriabin's Piano Sonata No. 5

abstract: We present statistical evidence for the importance of the "mystic chord" in Scriabin's Piano Sonata No. 5, Op. 53, from a computational and mathematical counterpoint perspective. More specifically, we compute the effect sizes and $\chi^{2}$ tests with respect to the distributions of counterpoint symmetries in the Fuxian and mystic counterpoint worlds in two passages of the work, which provide evidence of a qualitative change between them.


title: Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part II)

abstract: In [1], it is established that a convergent observer with an infinite gain margin can be designed for a given nonlinear system when a Riemannian metric showing that the system is differentially detectable (i.e., the Lie derivative of the Riemannian metric along the system vector field is negative in the space tangent to the output function level sets) and the level sets of the output function are geodesically convex is available. In this paper, we propose techniques for designing a Riemannian metric satisfying the first property in the case where the system is strongly infinitesimally observable (i.e., each time-varying linear system resulting from the linearization along a solution to the system satisfies a uniform observability property) or where it is strongly differentially observable (i.e. the mapping state to output derivatives is an injective immersion) or where it is Lagrangian. Also, we give results that are complementary to those in [1]. In particular, we provide a locally convergent observer and make a link to the existence of a reduced order observer. Examples illustrating the results are presented.


title: A new class of homology and cohomology 3-manifolds

abstract: We show that for any set of primes $\mathcal{P}$ there exists a space $M_{\mathcal{P}}$ which is a homology and cohomology 3-manifold with coefficients in $\mathbb{Z}_{p}$ for $p\in \mathcal{ P}$ and is not a homology or cohomology 3-manifold with coefficients in $\mathbb{Z}_q$ for $q\not\in \mathcal{ P}$. Moreover, $M_{\mathcal{P}}$ is neither a homology nor cohomology 3-manifold with coefficients in $\mathbb{Z}$ or $\mathbb{Q}$.


title: A Benchmark Test of Boson Sampling on Tianhe-2 Supercomputer

abstract: Boson sampling, thought to be intractable classically, can be solved by a quantum machine composed of merely generation, linear evolution and detection of single photons. Such an analog quantum computer for this specific problem provides a shortcut to boost the absolute computing power of quantum computers to beat classical ones. However, the capacity bound of classical computers for simulating boson sampling has not yet been identified. Here we simulate boson sampling on the Tianhe-2 supercomputer which occupied the first place in the world ranking six times from 2013 to 2016. We computed the permanent of the largest matrix using up to 312,000 CPU cores of Tianhe-2, and inferred from the current most efficient permanent-computing algorithms that an upper bound on the performance of Tianhe-2 is one 50-photon sample per ~100 min. In addition, we found a precision issue with one of two permanent-computing algorithms.


title: Acyclic Games and Iterative Voting

abstract: We consider iterative voting models and position them within the general framework of acyclic games and game forms. More specifically, we classify convergence results based on the underlying assumptions on the agent scheduler (the order of players) and the action scheduler (which better-reply is played). Our main technical result is providing a complete picture of conditions for acyclicity in several variations of Plurality voting. In particular, we show that (a) under the traditional lexicographic tie-breaking, the game converges for any order of players under a weak restriction on voters' actions; and (b) Plurality with randomized tie-breaking is not guaranteed to converge under arbitrary agent schedulers, but from any initial state there is \emph{some} path of better-replies to a Nash equilibrium. We thus show a first separation between restricted-acyclicity and weak-acyclicity of game forms, thereby settling an open question from [Kukushkin, IJGT 2011]. In addition, we refute another conjecture regarding strongly-acyclic voting rules.


title: Strong coupling between Tamm plasmon polariton and two dimensional semiconductor excitons

abstract: Two dimensional (2D) semiconductor materials of transition-metal dichalcogenides (TMDCs) manifest many peculiar physical phenomena in the light-matter interaction. Due to their ultrathin property, strong interaction with light and the robust excitons at room temperature, they provide a perfect platform for studying the physics of strong coupling in low dimension and at room temperature. Here we report the strong coupling between 2D semiconductor excitons and Tamm plasmon polaritons (TPPs). We observe a Rabi splitting of about 54 meV at room temperature by measuring the angle resolved differential reflectivity spectra and simulate the theoretical results by using the transfer matrix method. Our results will promote the realization of the TPP based ultrathin polariton devices at room temperature.


title: Proceedings of the Workshop on Continuations

abstract: The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. In fact the concept of continuation nicely realizes sophisticated control mechanisms, which are widely used in a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. Indeed there is much research activity on understanding, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages. The proceedings of the Workshop on Continuations 2015, held in London in April 2015, illustrate some of the afore mentioned topics and hopefully they will inspire further research work on the subject.


title: Spatial confinement of muonium atoms

abstract: We report the achievement of spatial confinement of muonium atoms (the bound state of a positive muon and an electron). Muonium emitted into vacuum from mesoporous silica reflects between two SiO$_2$ confining surfaces separated by 1 mm. From the data, one can extract that the reflection probability on the confining surfaces kept at 100 K is about 90% and the reflection process is well described by a cosine law. This technique enables new experiments with this exotic atomic system and is a very important step towards a measurement of the 1S-2S transition frequency using continuous wave laser spectroscopy.


title: Planetary Radio Interferometry and Doppler Experiment (PRIDE) technique: A test case of the Mars Express Phobos fly-by

abstract: The closest ever fly-by of the Martian moon Phobos, performed by the European Space Agency's Mars Express spacecraft, gives a unique opportunity to sharpen and test the Planetary Radio Interferometry and Doppler Experiments (PRIDE) technique in the interest of studying planet - satellite systems. The aim of this work is to demonstrate a technique of providing high precision positional and Doppler measurements of planetary spacecraft using the Mars Express spacecraft. The technique will be used in the framework of Planetary Radio Interferometry and Doppler Experiments in various planetary missions, in particular in fly-by mode. We advanced a novel approach to spacecraft data processing using the techniques of Doppler and phase-referenced very long baseline interferometry spacecraft tracking. We achieved, on average, mHz precision (30 {\mu}m/s at a 10 seconds integration time) for radial three-way Doppler estimates and sub-nanoradian precision for lateral position measurements, which in a linear measure (at a distance of 1.4 AU) corresponds to ~50 m.


title: An omnidirectional shear horizontal wave transducer based on ring array of face-shear (d24) piezoelectric ceramics

abstract: The non-dispersive fundamental shear horizontal (SH0) wave in plate-like structures is of practical importance in non-destructive testing (NDT) and structural health monitoring (SHM). Theoretically, an omnidirectional SH0 transducer phased array system can be used to inspect defects in a large plate in the similar manner to the phased array transducers used in medical B-scan ultrasonics. However, very few omnidirectional SH transducers have been proposed so far. In this work, an omnidirectional SH wave piezoelectric transducer (OSH-PT) was proposed which consists of a ring array of twelve face-shear (d24) trapezoidal PZT elements. Each PZT element can produce face-shear deformation under applied voltage, resulting in circumferential shear deformation in the OSH-PT and omnidirectional SH waves in the hosting plate. Both finite element simulations and experiments were conducted to examine the performance of the proposed OSH-PT. Experimental testing shows that the OSH-PT exhibits good omnidirectional properties, on matter it is used as a SH wave transmitter or a SH wave receiver. This work may greatly promote the applications of SH waves in NDT and SHM.


title: Distribution-Dependent SDEs for Landau Type Equations

abstract: The distribution-dependent stochastic differential equations (DDSDEs) describe stochastic systems whose evolution is determined by both the microcosmic site and the macrocosmic distribution of the particle. The density function associated with a DDSDE solves a non-linear PDE. Due to the distribution-dependence, some standard techniques developed for SDEs do not apply. By iterating in distributions, a strong solution is constructed using SDEs with control. By proving the uniqueness, the distribution of solutions is identified with a non-linear semigroup $P_t^*$ on the space of probability measures. The exponential contraction as well as Harnack inequalities and applications are investigated for the non-linear semigroup $P_t^*$ using coupling by change of measures. The main results are illustrated by homogeneous Landau equations.


title: Statistical Parametric Speech Synthesis Using Bottleneck Representation From Sequence Auto-encoder

abstract: In this paper, we describe a statistical parametric speech synthesis approach with unit-level acoustic representation. In conventional deep neural network based speech synthesis, the input text features are repeated for the entire duration of phoneme for mapping text and speech parameters. This mapping is learnt at the frame-level which is the de-facto acoustic representation. However much of this computational requirement can be drastically reduced if every unit can be represented with a fixed-dimensional representation. Using recurrent neural network based auto-encoder, we show that it is indeed possible to map units of varying duration to a single vector. We then use this acoustic representation at unit-level to synthesize speech using deep neural network based statistical parametric speech synthesis technique. Results show that the proposed approach is able to synthesize at the same quality as the conventional frame based approach at a highly reduced computational cost.


title: A multiplicity result for a fractional Kirchhoff equation in $\mathbb{R}^{N}$ with a general nonlinearity

abstract: In this paper we deal with the following fractional Kirchhoff equation \begin{equation*} \left(p+q(1-s) \iint_{\mathbb{R}^{2N}} \frac{|u(x)- u(y)|^{2}}{|x-y|^{N+2s}} \, dx\,dy \right)(-\Delta)^{s}u = g(u) \mbox{ in } \mathbb{R}^{N}, \end{equation*} where $s\in (0,1)$, $N\geq 2$, $p>0$, $q$ is a small positive parameter and $g: \mathbb{R}\rightarrow \mathbb{R}$ is an odd function satisfying Berestycki-Lions type assumptions. By using minimax arguments, we establish a multiplicity result for the above equation, provided that $q$ is sufficiently small.


title: Explicit BCJ numerators of nonlinear sigma model

abstract: In this paper, we investigate the color-kinematics duality in nonlinear sigma model (NLSM). We present explicit polynomial expressions for the kinematic numerators (BCJ numerators). The calculation is done separately in two parametrization schemes of the theory using Kawai-Lewellen-Tye relation inspired technique, both lead to polynomial numerators. We summarize the calculation in each case into a set of rules that generates BCJ numerators for all multilplicities. In Cayley parametrization we find the numerator is described by a particularly simple formula solely in terms of momentum kernel.


title: Top quark mass effects in Higgs boson pair production up to NNLO

abstract: We consider the production of pairs of Standard Model Higgs bosons via gluon fusion. Until recently the full dependence on the top quark mass $M_t$ was not known at next-to-leading order. For this reason we apply an approximation based on the expansion for large top quark masses up to $\mathcal{O}(1/M_t^{12})$. At next-to-next-to-leading order we avoid the calculation of real corrections via the soft-virtual approximation and obtain top quark mass corrections up to $\mathcal{O}(1/M_t^4)$. We use our results to estimate the residual uncertainty of the total cross section due to a finite top quark mass to be $\mathcal{O}(10\%)$ at next-to-leading order and $\mathcal{O}(5\%)$ at next-to-next-to-leading order.


title: The Implicit Convex Feasibility Problem and Its Application to Adaptive Image Denoising

abstract: The implicit convex feasibility problem attempts to find a point in the intersection of a finite family of convex sets, some of which are not explicitly determined but may vary. We develop simultaneous and sequential projection methods capable of handling such problems and demonstrate their applicability to image denoising in a specific medical imaging situation. By allowing the variable sets to undergo scaling, shifting and rotation, this work generalizes previous results wherein the implicit convex feasibility problem was used for cooperative wireless sensor network positioning where sets are balls and their centers were implicit.


title: Einstein-Katz action, variational principle, Noether charges and the thermodynamics of AdS-black holes

abstract: In this paper we describe 4-dimensional gravity coupled to scalar and Maxwell fields by the Einstein-Katz action, that is, the covariant version of the "Gamma-Gamma $-$ Gamma-Gamma" part of the Hilbert action supplemented by the divergence of a generalized "Katz vector". We consider static solutions of Einstein's equations, parametrized by some integration constants, which describe an ensemble of asymptotically AdS black holes. Instead of the usual Dirichlet boundary conditions, which aim at singling out a specific solution within the ensemble, we impose that the variation of the action vanishes on shell for the broadest possible class of solutions. We will see that, when a long-range scalar "hair" is present, only sub-families of the solutions can obey that criterion. The Katz-Bicak-Lynden-Bell ("KBL") superpotential built on this (generalized) vector will then give straightforwardly the Noether charges associated with the spacetime symmetries (that is, in the static case, the mass). Computing the action on shell, we will see next that the solutions which obey the imposed variational principle, and with Noether charges given by the KBL superpotential, satisfy the Gibbs relation, the Katz vectors playing the role of "counterterms". Finally, we show on the specific example of dyonic black holes that the sub-class selected by our variational principle satisfies the first law of thermodynamics when their mass is defined by the KBL superpotential.


title: Guaranteed bounds on the Kullback-Leibler divergence of univariate mixtures using piecewise log-sum-exp inequalities

abstract: Information-theoretic measures such as the entropy, cross-entropy and the Kullback-Leibler divergence between two mixture models is a core primitive in many signal processing tasks. Since the Kullback-Leibler divergence of mixtures provably does not admit a closed-form formula, it is in practice either estimated using costly Monte-Carlo stochastic integration, approximated, or bounded using various techniques. We present a fast and generic method that builds algorithmically closed-form lower and upper bounds on the entropy, the cross-entropy and the Kullback-Leibler divergence of mixtures. We illustrate the versatile method by reporting on our experiments for approximating the Kullback-Leibler divergence between univariate exponential mixtures, Gaussian mixtures, Rayleigh mixtures, and Gamma mixtures.


title: Anomalous Light Scattering by Topological ${\mathcal{PT}}$-symmetric Particle Arrays

abstract: Robust topological edge modes may evolve into complex-frequency modes when a physical system becomes non-Hermitian. We show that, while having negligible forward optical extinction cross section, a conjugate pair of such complex topological edge modes in a non-Hermitian $\mathcal{PT}$-symmetric system can give rise to an anomalous sideway scattering when they are simultaneously excited by a plane wave. We propose a realization of such scattering state in a linear array of subwavelength resonators coated with gain media. The prediction is based on an analytical two-band model and verified by rigorous numerical simulation using multiple-multipole scattering theory. The result suggests an extreme situation where leakage of classical information is unnoticeable to the transmitter and the receiver when such a $\mathcal{PT}$-symmetric unit is inserted into the communication channel.


title: A class of Littlewood polynomials that are not $L^\alpha$-flat

abstract: We exhibit a class of Littlewood polynomials that are not $L^\alpha$-flat for any $\alpha \geq 0$. Indeed, it is shown that the sequence of Littlewood polynomials is not $L^\alpha$-flat, $\alpha \geq 0$, when the frequency of $-1$ is not in the interval $]\frac14,\frac34[$. We further obtain a generalization of Jensen-Jensen-Hoholdt's result by establishing that the sequence of Littlewood polynomials is not $L^\alpha$-flat for any $\alpha> 2$ if the frequency of $-1$ is not $\frac12$. Finally, we prove that the sequence of palindromic Littlewood polynomials with even degrees are not $L^\alpha$-flat for any $\alpha \geq 0$.


title: Practical challenges in quantum key distribution

abstract: Quantum key distribution (QKD) promises unconditional security in data communication and is currently being deployed in commercial applications. Nonetheless, before QKD can be widely adopted, it faces a number of important challenges such as secret key rate, distance, size, cost and practical security. Here, we survey those key challenges and the approaches that are currently being taken to address them.


title: Full-Time Supervision based Bidirectional RNN for Factoid Question Answering

abstract: Recently, bidirectional recurrent neural network (BRNN) has been widely used for question answering (QA) tasks with promising performance. However, most existing BRNN models extract the information of questions and answers by directly using a pooling operation to generate the representation for loss or similarity calculation. Hence, these existing models don't put supervision (loss or similarity calculation) at every time step, which will lose some useful information. In this paper, we propose a novel BRNN model called full-time supervision based BRNN (FTS-BRNN), which can put supervision at every time step. Experiments on the factoid QA task show that our FTS-BRNN can outperform other baselines to achieve the state-of-the-art accuracy.


title: Pauli spin blockade in CMOS double quantum dot devices

abstract: Silicon quantum dots are attractive candidates for the development of scalable, spin-based qubits. Pauli spin blockade in double quantum dots provides an efficient, temperature independent mechanism for qubit readout. Here we report on transport experiments in double gate nanowire transistors issued from a CMOS process on 300 mm silicon-on-insulator wafers. At low temperature the devices behave as two few-electron quantum dots in series. We observe signatures of Pauli spin blockade with a singlet-triplet splitting ranging from 0.3 to 1.3 meV. Magneto-transport measurements show that transitions which conserve spin are shown to be magnetic-field independent up to B = 6 T.


title: Crystalline and electronic structure of single-layer TaS$_2$

abstract: Single-layer TaS$_2$ is epitaxially grown on Au(111) substrates. The resulting two-dimensional crystals adopt the 1H polymorph. The electronic structure is determined by angle-resolved photoemission spectroscopy and found to be in excellent agreement with density functional theory calculations. The single layer TaS$_2$ is found to be strongly n-doped, with a carrier concentration of 0.3(1) extra electrons per unit cell. No superconducting or charge density wave state is observed by scanning tunneling microscopy at temperatures down to 4.7 K.


title: Elliptic regularity results: n-regularized Liouville Brownian motion and non-symmetric diffusions associated with degenerate forms

abstract: We apply improved elliptic regularity results to a concrete symmetric Dirichlet form and various non-symmetric Dirichlet forms with possibly degenerate symmetric diffusion matrix. Given the (non)-symmetric Dirichlet form, using elliptic regularity results and stochastic calculus we show weak existence of the corresponding singular stochastic differential equation for any starting point in some subset E of R^d. As an application of our approach we can show the existence of n-regularized Liouville Brownian motion only via Dirichlet form theory starting from all points in R^2.


title: Strict decomposition of diffusions associated to degenerate (sub)-elliptic forms

abstract: For given strongly local Dirichlet forms with possibly degenerate symmetric (sub)-elliptic matrix, we show the existence of weak solutions to the stochastic differential equations (associated with the Dirichlet forms) starting from all points in $\R^d$. More precisely, using heat kernel estimates, stochastic calculus, and Dirichlet form theory, we obtain the pointwise existence of weak solutions to the stochastic differential equations which have possibly unbounded and discontinuous drift. We also present some conditions that the weak solutions become pathwise unique strong solutions and provide a new non-explosion criterion.


title: GT-SEER: Geo-Temporal SEquential Embedding Rank for Point-of-interest Recommendation

abstract: Point-of-interest (POI) recommendation is an important application in location-based social networks (LBSNs), which learns the user preference and mobility pattern from check-in sequences to recommend POIs. However, previous POI recommendation systems model check-in sequences based on either tensor factorization or Markov chain model, which cannot capture contextual check-in information in sequences. The contextual check-in information implies the complementary functions among POIs that compose an individual's daily check-in sequence. In this paper, we exploit the embedding learning technique to capture the contextual check-in information and further propose the \textit{{\textbf{SE}}}quential \textit{{\textbf{E}}}mbedding \textit{{\textbf{R}}}ank (\textit{SEER}) model for POI recommendation. In particular, the \textit{SEER} model learns user preferences via a pairwise ranking model under the sequential constraint modeled by the POI embedding learning method. Furthermore, we incorporate two important factors, i.e., temporal influence and geographical influence, into the \textit{SEER} model to enhance the POI recommendation system. Due to the temporal variance of sequences on different days, we propose a temporal POI embedding model and incorporate the temporal POI representations into a temporal preference ranking model to establish the \textit{T}emporal \textit{SEER} (\textit{T-SEER}) model. In addition, We incorporate the geographical influence into the \textit{T-SEER} model and develop the \textit{\textbf{Geo-Temporal}} \textit{{\textbf{SEER}}} (\textit{GT-SEER}) model.


title: N= 4 Supersymmetric Quantum Mechanical Model: Novel Symmetries

abstract: We discuss a set of novel discrete symmetry transformations of the N = 4 supersymmetric quantum mechanical model of a charged particle moving on a sphere in the background of Dirac magnetic monopole. The usual five continuous symmetries (and their conserved Noether charges) and two discrete symmetries together provide the physical realizations of the de Rham cohomological operators of differential geometry. We have also exploited the supervariable approach to derive the nilpotent N = 4 SUSY transformations and provided the geometrical interpretation in the language of translational generators along the Grassmannian directions onto (1, 4)-dimensional supermanifold.


title: Observability and unique continuation inequalities for the Schr\"{o}dinger equation

abstract: In this paper, we present several observability and unique continuation inequalities for the free Schr\"{o}dinger equation in the whole space. The observations in these inequalities are made either at two points in time or one point in time. These inequalities correspond to different kinds of controllability for the free Schr\"{o}dinger equation. We also find that the observability inequality at two points in time is equivalent to the uncertainty principle built up in [18].


title: Experiments with low energy ion beam transport into toroidal magnetic fields

abstract: The stellarator-type storage ring for accumulation of multi- Ampere proton and ion beams with energies in the range of $100~AkeV$ to $1~AMeV$ is designed at Frankfurt university. The main idea for beam confinement with high transversal momentum acceptance was presented in EPAC2006. This ring is typically suited for experiments in plasma physics and nuclear astrophysics. The accumulator ring with a closed longitudinal magnetic field is foreseen with a strength up to $6-8~T$. The experiments with two room temperature 30 degree toroids are needed. The beam transport experiments in toroidal magnetic fields were first described in EPAC2008 within the framework of a proposed low energy ion storage ring. The test setup aims on developing a ring injection system with two beam lines representing the main beam line and the injection line. The primary beam line for the experiments was installed and successfully commissioned in 2009. A special diagnostics probe for \textit{"in situ"} ion beam detection was installed.This modular technique allows online diagnostics of the ion beam along the beam path. In this paper, we present new results on beam transport experiments and discuss transport and transverse beam injection properties of that system.


title: Symbolic dynamics for non-uniformly hyperbolic surface maps with discontinuities

abstract: This work constructs symbolic dynamics for non-uniformly hyperbolic surface maps with a set of discontinuities $D$. We allow the derivative of points nearby $D$ to be unbounded, of the order of a negative power of the distance to $D$. Under natural geometrical assumptions on the underlying space $M$, we code a set of non-uniformly hyperbolic orbits that do not converge exponentially fast to $D$. The results apply to non-uniformly hyperbolic planar billiards, e.g. Bunimovich stadia.


title: Measurement of the transverse momentum spectra of weak vector bosons produced in proton-proton collisions at sqrt(s) = 8 TeV

abstract: The transverse momentum spectra of weak vector bosons are measured in the CMS experiment at the LHC. The measurement uses a sample of proton-proton collisions at sqrt(s) = 8 TeV, collected during a special low-luminosity running that corresponds to an integrated luminosity of 18.4 +/- 0.5 inverse picobarns. The production of W bosons is studied in both electron and muon decay modes, while the production of Z bosons is studied using only the dimuon decay channel. The ratios of W- to W+ and Z to W differential cross sections are also measured. The measured differential cross sections and ratios are compared with theoretical predictions up to next-to-next leading order in QCD.


title: Diboson Excess from a New Strong Force

abstract: We explore a "partial unification" model that could explain the diphoton event excess around $750 \, \rm GeV$ recently reported by the LHC experiments. A new strong gauge group is combined with the ordinary color and hypercharge gauge groups. The VEV responsible for the combination is of the order of the $SU(2)\times U(1)$ breaking scale, but the coupling of the new physics to standard model particles is suppressed by the strong interaction of the new gauge group. This simple extension of the standard model has a rich phenomenology, including composite particles of the new confining gauge interaction, a coloron and a $Z'$ which are rather weakly coupled to standard model particles, and massive vector bosons charged under both the ordinary color and hypercharge gauge groups and the new strong gauge group. The new scalar glueball could have mass of around $750 \, \rm GeV$, be produced by gluon fusion and decay into two photons, both through loops of the new massive vector bosons. The simplest version of the model has some issues: the massive vector bosons are stable and the coloron and the $Z'$ are strongly constrained by search data. An extension of the model to include additional fermions with the new gauge coupling, though not as simple and elegant, can address both issues and more. It allows the massive vector boson to decay into a colorless, neutral state that could be a candidate of the dark matter. And the coloron and $Z'$ can decay dominantly into the new fermions, completely changing the search bounds. In addition, $SU(N)$ fermions below the symmetry breaking scale make it more plausible that the lightest glueball is at $750$~GeV. Whatever becomes of the $750$~GeV diphoton excess, the model is an unusual example of how new physics at small scales could be hidden by strong interactions.


title: Optomechanically induced transparency in multi-cavity optomechanical system with and without one two-level atom

abstract: We analytically study the optomechanically induced transparency (OMIT) in the $N$-cavity system with the \textit{N}th cavity driven by pump, probing laser fields and the \textit{1}st cavity coupled to mechanical oscillator. We also consider that one atom could be trapped in the \textit{i}th cavity. Instead of only illustrating the OMIT in such a system, we are interested in how the number of OMIT windows is influenced by the cavities and the atom and what roles the atom could play in different cavities. In the resolved sideband regime, we find that, the number of cavities precisely determines the maximal number of OMIT windows. It is interesting that, when the two-level atom is trapped in the even-labeled cavity, the central absorptive peak (odd $N$) or dip (even $N$) is split and forms an extra OMIT window, but if the atom is trapped in the odd-labeled cavity, the central absorptive peak (odd $N$) or dip (even $N$) is only broadened and thus changes the width of the OMIT windows rather than induces an extra window.


title: Giant Rashba Splitting in CH3NH3PbBr3 Organic-Inorganic Perovskite

abstract: As they combine decent mobilities with extremely long carrier lifetimes, organic-inorganic perovskites have opened a whole new field in opto\-electronics. Measurements of their underlying electronic structure, however, are still lacking. Using angle-resolved photoelectron spectroscopy, we measure the valence band dispersion of single-crystal CH$_3$NH$_3$PbBr$_3$. The dispersion of the highest energy band is extracted applying a modified leading edge method, which accounts for the particular density of states of organic-inorganic perovskites. The surface Brillouin zone is consistent with bulk-terminated surfaces both in the low-temperature orthorhombic and the high-temperature cubic phase. In the low-temperature phase, we find a ring-shaped valence band maximum with a radius of 0.043 {\AA}$^{-1}$, centered around a 0.16 eV deep local minimum in the dispersion of the valence band at the high-symmetry point. Intense circular dichroism is observed. This dispersion is the result of strong spin-orbit coupling. Spin-orbit coupling is also present in the room-temperature phase. The coupling strength is one of the largest reported so far.


title: Homogenization of hyperbolic equations with periodic coefficients

abstract: In $L_2(\mathbb{R}^d;\mathbb{C}^n)$ we consider selfadjoint strongly elliptic second order differential operators ${\mathcal A}_\varepsilon$ with periodic coefficients depending on ${\mathbf x}/ \varepsilon$, $\varepsilon>0$. We study the behavior of the operator cosine $\cos( {\mathcal A}^{1/2}_\varepsilon \tau)$, $\tau \in \mathbb{R}$, for small $\varepsilon$. Approximations for this operator in the $(H^s\to L_2)$-operator norm with a suitable $s$ are obtained. The results are used to study the behavior of the solution ${\mathbf v}_\varepsilon$ of the Cauchy problem for the hyperbolic equation $\partial^2_\tau {\mathbf v}_\varepsilon = - \mathcal{A}_\varepsilon {\mathbf v}_\varepsilon +\mathbf{F}$. General results are applied to the acoustics equation and the system of elasticity theory.


title: Characterization of volume type ion source for $p$, $H_2^+$ and $H_3^+$ beams

abstract: Recently, there is an increasing need for $H_{2}^+$ and $H_{3}^+$ ion sources. One example are ion therapy facilities, where $C^{4+}$ and $H_{3}^+$ ion beams along the linac are of great interest. Another example is a $H_{2}^+$ test beam for linacs finally operated with intense deuteron beams. At Frankfurt, a simple proton ion source is needed to test a new kind of beam injection into a magnetic storage ring\cite{EPAC08}\cite{EPAC06}. This article describes a volume type ion source which can deliver upto $3.05~mA$ beam current at $10~keV$ in stable dc operation. It is a hot filament driven ion source which can provide high fractions of $p$, $H_{2}^+$ or $H_{3}^+$, depending on the operation settings.


title: Some Novel Features in 2D Non-Abelian Theory: BRST Approach

abstract: Within the framework of Becchi-Rouet-Stora-Tyutin (BRST) formalism, we discuss some novel features of a two (1+1)-dimensional (2D) non-Abelian 1-form gauge theory (without any interaction with matter fields). Besides the usual off-shell nilpotent and absolutely anticommutating (anti-)BRST symmetry transformations, we discuss the off-shell nilpotent and absolutely anticommutating (anti-)co-BRST symmetry transformations. Particularly, we lay emphasis on the existence of the coupled (but equivalent) Lagrangian densities of the 2D non-Abelian theory in view of the presence of (anti-)co-BRST symmetry transformations where we pin-point some novel features associated with the Curci-Ferrari (CF) type restrictions. We demonstrate that these CF-type restrictions can be incorporated into the (anti-)co-BRST invariant Lagrangian densities through the fermionic Lagrange multipliers which carry specific ghost numbers. The modified versions of the Lagrangian densities (where we get rid of the new CF-type restrictions) respect some precise symmetries as well as a couple of symmetries with CF-type constraints. These observations are completely novel as far as the BRST formalism, with proper (anti-)co-BRST symmetries, is concerned.


title: The Log term in the Bergman and Szeg\H o kernels in strictly pseudoconvex domains in $\mathbb C^2$

abstract: In this paper, we consider bounded strictly pseudoconvex domains $D\subset \mathbb C^2$ with smooth boundary $M=M^3:=\partial D$. If we consider the asymptotic expansion of the Bergman kernel on the diagonal $$ K_B\sim \frac{\phi_B}{\rho^{n+1}}+\psi_B\log\rho, $$ where $\rho>0$ is a Fefferman defining equation for $D$, then it is well known that the trace of the log term $b\psi_B:=(\psi_B)|_M$ on $M$ does not determine the CR geometry of $M$ locally; e.g., the vanishing of $b\psi_B$ on an open subset of $M$ does not imply that $M$ is locally spherical there. Nevertheless, the main result in this paper is that if $D\subset \mathbb C^2$ is assumed to have transverse symmetry, then the global vanishing of $b\psi_B$ on $M$ implies that $M$ is locally spherical. A similar result is proved for the Szeg\H o kernel.


title: Scalar tetraquark state candidates: $X(3915)$, $X(4500)$ and $X(4700)$

abstract: In this article, we tentatively assign the $X(3915)$ and $X(4500)$ to be the ground state and the first radial excited state of the axialvector-diquark-axialvector-antidiquark type scalar $cs\bar{c}\bar{s}$ tetraquark states, respectively, assign the $X(4700)$ to be the ground state vector-diquark-vector-antidiquark type scalar $cs\bar{c}\bar{s}$ tetraquark state, and study their masses and pole residues with the QCD sum rules in details by calculating the contributions of the vacuum condensates up to dimension 10. The numerical results support assigning the $X(3915)$ and $X(4500)$ to be the ground state and the first radial excited state of the axialvector-diquark-axialvector-antidiquark type scalar $cs\bar{c}\bar{s}$ tetraquark states, respectively, and assigning the $X(4700)$ to be the ground state vector-diquark-vector-antidiquark type scalar $cs\bar{c}\bar{s}$ tetraquark state.


title: Far-ultraviolet Observations of Comet C/2012 S1 (ISON) from FORTIS

abstract: We have used the unique far-UV imaging capability offered by a sounding rocket borne instrument to acquire observations of C/2012 S1 (ISON) when its angular separation with respect to the sun was 26.3deg, on 2013 November 20.49. At the time of observation the comet's heliocentric distance and velocity relative to the sun were rh = 0.43 AU and rh_dot = -62.7 km s^-1. Images dominated by C I 1657 A and H I 1216 A were acquired over a 1e6 x 1e6 km^2 region. The water production rate implied by the Lyman alpha observations is constrained to be Q_H2O approximately 8e29 s^-1 while the neutral carbon production rate was Q_C approximately 4e28 s^-1. The radial profile of C I was consistent with it being a dissociation product of a parent molecule with a lifetime approximately 5e4 seconds, favoring a parent other than CO. We constrain the Q_CO production rate to 5(+1.5, -7.5)e28 s^-1 with 1sigma errors derived from photon statistics. The upper limit on the Q_CO/Q_H2O < 6%.


title: Modal theory of modified spontaneous emission for a hybrid plasmonic photonic-crystal cavity system

abstract: We present an analytical modal description of the rich physics involved in hybrid plasmonic-photonic devices that is confirmed by full dipole solutions of Maxwell's equations. Strong frequency-dependence for the spontaneous emission decay rate of a quantum dipole emitter coupled to these hybrid structures is predicted. In particular, it is shown that the Fano-type resonances reported experimentally in hybrid plasmonic systems, arise from a very large interference between dominant quasinormal modes of the systems in the frequency range of interest. The presented model forms an efficient basis for modelling quantum light-matter interactions in these complex hybrid systems and also enables the quantitativ prediction and understanding of non-radiative coupling losses.


title: Evaluating the predicted reliability of mechatronic systems: state of the art

abstract: Reliability analysis of mechatronic systems is a recent field and a dynamic branch of research. It is addressed whenever there is a need for reliable, available, and safe systems. The studies of reliability must be conducted earlier during the design phase, in order to reduce costs and the number of prototypes required in the validation of the system. The process of reliability is then deployed throughout the full cycle of development. This process is broken down into three major phases: the predictive reliability, the experimental reliability and operational reliability. The main objective of this article is a kind of portrayal of the various studies enabling a noteworthy mastery of the predictive reliability. The weak points are highlighted. Presenting an overview of all the quantitative and qualitative approaches concerned with modelling and evaluating the prediction of reliability is so important for future reliability studies and for academic research to come up with new methods and tools. The mechatronic system is a hybrid system, it is dynamic, reconfigurable, and interactive. The modeling carried out of reliability prediction must take into account these criteria. Several methodologies have been developed in this track of research. In this regard, the aforementioned methodologies will be analytically sketched in this paper.


title: Linking numbers in non-orientable 3-manifolds

abstract: The construction of integer linking numbers of closed curves in a three-dimensional manifold usually appeals to the orientation of this manifold. We discuss how to avoid it constructing similar homotopy invariants of links in non-orientable manifolds.


title: A new decomposition of portfolio return

abstract: For a functionally generated portfolio, there is a natural decomposition of the relative log-return into the log-change in the generating function and a drift process. In this note, this decomposition is extended to arbitrary stock portfolios by an application of Fisk-Stratonovich integration. With the extended methodology, the generating function is represented by a structural process, and the drift process is subsumed into a trading process that measures the profit and loss to the portfolio from trading.


title: Regularity result for a shape optimization problem under perimeter constraint

abstract: We study the problem of optimizing the eigenvalues of the Dirichlet Laplace operator under perimeter constraint. We prove that optimal sets are analytic outside a closed singular set of dimension at most $d-8$ by writing a general optimality condition in the case the optimal eigenvalue is multiple. As a consequence we find that the optimal $k$-th eigenvalue is strictly smaller than the optimal $(k+1)$-th eigenvalue. We also provide an elliptic regularity result for sets with positive and bounded weak curvature.


title: Precision Predictions for the Primordial Power Spectra from f(R) Models of Inflation

abstract: We study the power spectra of f(R) inflation using a new technique in which the norm-squared of the mode functions is evolved. Our technique results in excellent analytic approximations for how the spectra depend upon the function $f(R)$. Although the spectra are numerically the same in the Jordan and Einstein frames for the same wave number $k$, they depend upon the geometries of these frames in quite different ways. For example, the power spectra in the two frames are different functions of the number of e-foldings until end of inflation. We discuss how future data on reheating can be used to distinguish f(R) inflation from scalar-driven inflation.


title: Spatial statistics for lattice points on the sphere I: Individual results

abstract: We study the spatial distribution of point sets on the sphere obtained from the representation of a large integer as a sum of three integer squares. We examine several statistics of these point sets, such as the electrostatic potential, Ripley's function, the variance of the number of points in random spherical caps, and the covering radius. Some of the results are conditional on the Generalized Riemann Hypothesis.


title: Control of energy density inside disordered medium by coupling to open or closed channels

abstract: We demonstrate experimentally an efficient control of light intensity distribution inside a random scattering system. The adaptive wavefront shaping technique is applied to a silicon waveguide containing scattering nanostructures, and the on-chip coupling scheme enables access to all input spatial modes. By selectively coupling the incident light to open or closed channels of the disordered system, we not only vary the total energy stored inside the system by 7.4 times, but also change the energy density distribution from an exponential decay to a linear decay and to a profile peaked near the center. This work provides an on-chip platform for controlling light-matter interactions in turbid media.


title: Vortical susceptibility of finite-density QCD matter

abstract: The susceptibility of finite-density QCD matter to vorticity is introduced, as an analog of magnetic susceptibility. It describes the spin polarization of quarks and antiquarks in finite-density QCD matter induced by rotation. We estimate this quantity in the chirally broken phase using the mixed gauge-gravity anomaly at finite baryon density. It is proposed that the vortical susceptibility of QCD matter is responsible for the polarization of $\Lambda$ and ${\bar \Lambda}$ hyperons observed recently in heavy ion collisions at RHIC by the STAR Collaboration.


title: Full molecular dynamics simulations of liquid water and carbon tetrachloride for two-dimensional Raman spectroscopy in the frequency domain

abstract: Frequency-domain two-dimensional Raman signals, which are equivalent to coherent two-dimensional Raman scattering (COTRAS) signals, for liquid water and carbon tetrachloride were calculated using an equilibrium-nonequilibrium hybrid MD simulation algorithm. We elucidate mechanisms governing the 2D signal profiles involving anharmonic mode-mode coupling and the nonlinearities of the polarizability for the intermolecular and intramolecular vibrational modes. The predicted signal profiles and intensities can be utilized to analyze recently developed single-beam 2D spectra, whose signals are generated from a coherently controlled pulse, allowing the single-beam measurement to be carried out more efficiently.


title: The augmentation category map induced by exact Lagrangian cobordisms

abstract: To a Legendrian knot, one can associate an $\mathcal{A}_{\infty}$ category, the augmentation category. An exact Lagrangian cobordism between two Legendrian knots gives a functor of the augmentation categories of the two knots. We study the functor and establish a long exact sequence relating the corresponding cohomology of morphisms of the two ends. As applications, we prove that the functor between augmentation categories is injective on the level of equivalence classes of objects and find new obstructions to the existence of exact Lagrangian cobordisms in terms of linearized contact homology and ruling polynomials.


title: Galaxy pairs in the Sloan Digital Sky Survey - XI. A new method for measuring the influence of the closest companion out to wide separations

abstract: We describe a statistical approach for measuring the influence that a galaxy's closest companion has on the galaxy's properties out to arbitrarily wide separations. We begin by identifying the closest companion for every galaxy in a large spectroscopic sample of Sloan Digital Sky Survey galaxies. We then characterize the local environment of each galaxy by using the number of galaxies within 2 Mpc and by determining the isolation of the galaxy pair from other neighbouring galaxies. We introduce a sophisticated algorithm for creating a statistical control sample for each galaxy, matching on stellar mass, redshift, local density and isolation. Unlike traditional studies of close galaxy pairs, this approach is effective in a wide range of environments, regardless of how far away the closest companion is (although a very distant closest companion is unlikely to have a measurable influence on the galaxy in question). We apply this methodology to measurements of galaxy asymmetry, and find that the presence of nearby companions drives a clear enhancement in galaxy asymmetries. The asymmetry excess peaks at the smallest projected separations (< 10 kpc), where the mean asymmetry is enhanced by a factor of 2.0 $\pm$ 0.2. Enhancements in mean asymmetry decline as pair separation increases, but remain statistically significant (1-2$\sigma$) out to projected separations of at least 50 kpc.


title: Hamiltonian stationary Lagrangian fibrations

abstract: Hamiltonian stationary Lagrangian submanifolds (HSLAG) are a natural generalization of special Lagrangian manifolds (SLAG). The latter only make sense on Calabi-Yau manifolds whereas the former are defined for any almost K\"ahler manifold. Special Lagrangians, and, more specificaly, fibrations by special Lagrangians play an important role in the context of the geometric mirror symmetry conjecture. However, these objects are rather scarce in nature. On the contrary, we show that HSLAG submanifolds, or fibrations, arise quite often. Many examples of HSLAG fibrations are provided by toric K\"ah-ler geometry. In this paper, we obtain a large class of examples by deforming the toric metrics into non toric almost K\"ahler metrics, together with HSLAG submanifolds.


title: An Efficient Cluster-based Routing Protocol in Cognitive Radio Net-work

abstract: Cognitive Radio Networks (CRNs) are being studied intensively and gaining importance as spectrum is the heavily underutilized. CRN has the capability to exploit smartly the unutilized frequency spectrum. Recently, the research community started to work in the area of cognitive radio routing. In a flat topology, all nodes are of the same level and functionality, thus making it simple and efficient for smaller networks. However, when the network is large with sparse nodes, the routing information becomes more complex making cluster-based techniques really relevant to tackle such situations. In a cluster-based routing, all nodes in the network are dynamically organized into partitions called groups or clusters. In each cluster, a cluster head is chosen to help in the data transmission management and to maintain cluster membership information. This paper proposes a novel routing protocol for cognitive radio ad hoc networks (CRAHNs) based on clustering model which amends swiftly to the topological changes and establishes the routing efficiently. Our proposed approach is thoroughly evaluated through simulation study. The results state the suitability of the proposed protocol for cognitive radio ad hoc networks and demonstrate that it has better performance in terms of finding the source-destination route, reducing the amount of messages that are transmitted all over the network and minimizing the routing delay.


title: Archaeoastronomy and the chronology of the Temple of Jupiter at Baalbek

abstract: One of the most complex architectural feats ever conceived is the magnificent temple of Jupiter at Baalbek, Lebanon. Several issues remain unsolved about this site, and in particular the chronology and dating of the two podia and the true nature of the cult. We present here some hints coming from orientation and from other features of the temple, which seem to point to a unified project of both podia, originally conceived under Herod the Great.


title: Tight Performance Bounds for Compressed Sensing With Conventional and Group Sparsity

abstract: In this paper, we study the problem of recovering a group sparse vector from a small number of linear measurements. In the past the common approach has been to use various "group sparsity-inducing" norms such as the Group LASSO norm for this purpose. By using the theory of convex relaxations, we show that it is also possible to use $\ell_1$-norm minimization for group sparse recovery. We introduce a new concept called group robust null space property (GRNSP), and show that, under suitable conditions, a group version of the restricted isometry property (GRIP) implies the GRNSP, and thus leads to group sparse recovery. When all groups are of equal size, our bounds are less conservative than known bounds. Moreover, our results apply even to situations where where the groups have different sizes. When specialized to conventional sparsity, our bounds reduce to one of the well-known "best possible" conditions for sparse recovery. This relationship between GRNSP and GRIP is new even for conventional sparsity, and substantially streamlines the proofs of some known results. Using this relationship, we derive bounds on the $\ell_p$-norm of the residual error vector for all $p \in [1,2]$, and not just when $p = 2$. When the measurement matrix consists of random samples of a sub-Gaussian random variable, we present bounds on the number of measurements, which are less conservative than currently known bounds.


title: Geodesic Paths for Quantum Many-Body Systems

abstract: We propose a method to obtain optimal protocols for adiabatic ground-state preparation near the adiabatic limit, extending earlier ideas from [D. A. Sivak and G. E. Crooks, Phys. Rev. Lett. 108, 190602 (2012)] to quantum non-dissipative systems. The space of controllable parameters of isolated quantum many-body systems is endowed with a Riemannian quantum metric structure, which can be exploited when such systems are driven adiabatically. Here, we use this metric structure to construct optimal protocols in order to accomplish the task of adiabatic ground-state preparation in a fixed amount of time. Such optimal protocols are shown to be geodesics on the parameter manifold, maximizing the local fidelity. Physically, such protocols minimize the average energy fluctuations along the path. Our findings are illustrated on the Landau-Zener model and the anisotropic XY spin chain. In both cases we show that geodesic protocols drastically improve the final fidelity. Moreover, this happens even if one crosses a critical point, where the adiabatic perturbation theory fails.


title: Multigraded regularity, reduction vectors and postulation vectors

abstract: We relate the set of complete reduction vectors of a $\mathbb{Z}^s$-graded admissible filtration of ideals $\mathcal{F}$ with the set of multigraded regularities of $G(\mathcal{F}).$ We prove reg$(G(\mathcal{F}))$=reg$(\mathcal{R}(\mathcal{F})).$ We establish a relation between the sets of complete reduction vectors of $\mathcal{F}$ and postulation vectors of $\mathcal{F}$ under some cohomological conditions.


title: Bayesian design of experiments for generalised linear models and dimensional analysis with industrial and scientific application

abstract: The design of an experiment can be always be considered at least implicitly Bayesian, with prior knowledge used informally to aid decisions such as the variables to be studied and the choice of a plausible relationship between the explanatory variables and measured responses. Bayesian methods allow uncertainty in these decisions to be incorporated into design selection through prior distributions that encapsulate information available from scientific knowledge or previous experimentation. Further, a design may be explicitly tailored to the aim of the experiment through a decision-theoretic approach using an appropriate loss function. We review the area of decision-theoretic Bayesian design, with particular emphasis on recent advances in computational methods. For many problems arising in industry and science, experiments result in a discrete response that is well described by a member of the class of generalised linear models. We describe how Gaussian process emulation, commonly used in computer experiments, can play an important role in facilitating Bayesian design for realistic problems. A main focus is the combination of Gaussian process regression to approximate the expected loss with cyclic descent (coordinate exchange) optimisation algorithms to allow optimal designs to be found for previously infeasible problems. We also present the first optimal design results for statistical models formed from dimensional analysis, a methodology widely employed in the engineering and physical sciences to produce parsimonious and interpretable models. Using the famous paper helicopter experiment, we show the potential for the combination of Bayesian design, generalised linear models and dimensional analysis to produce small but informative experiments.


title: You are Who You Know and How You Behave: Attribute Inference Attacks via Users' Social Friends and Behaviors

abstract: We propose new privacy attacks to infer attributes (e.g., locations, occupations, and interests) of online social network users. Our attacks leverage seemingly innocent user information that is publicly available in online social networks to infer missing attributes of targeted users. Given the increasing availability of (seemingly innocent) user information online, our results have serious implications for Internet privacy -- private attributes can be inferred from users' publicly available data unless we take steps to protect users from such inference attacks. To infer attributes of a targeted user, existing inference attacks leverage either the user's publicly available social friends or the user's behavioral records (e.g., the webpages that the user has liked on Facebook, the apps that the user has reviewed on Google Play), but not both. As we will show, such inference attacks achieve limited success rates. However, the problem becomes qualitatively different if we consider both social friends and behavioral records. To address this challenge, we develop a novel model to integrate social friends and behavioral records and design new attacks based on our model. We theoretically and experimentally demonstrate the effectiveness of our attacks. For instance, we observe that, in a real-world large-scale dataset with 1.1 million users, our attack can correctly infer the cities a user lived in for 57% of the users, via confidence estimation, we are able to increase the attack success rate to over 90% if the attacker selectively attacks a half of the users. Moreover, we show that our attack can correctly infer attributes for significantly more users than previous attacks.


title: Hubble multi-scalar inflation

abstract: Multiple field models of inflation exhibit new features than single field models. In this work, we study the hierarchy of parameters based on Hubble expansion rate in curved field space and derive the system of flow equations that describe their evolution. Then we focus on obtaining derivatives of number of $e$-folds with respect to scalar fields during inflation and at hypersurface of the end of inflation.


title: Spectrum of Weighted Composition Operators Part IV: Spectrum and essential spectra of weighted composition operators in spaces of smooth functions on $[0,1]$

abstract: We provide a description of the spectrum and essential spectra of invertible weighted composition operators acting in some algebras of smooth functions on the interval.


title: Clustering with a Reject Option: Interactive Clustering as Bayesian Prior Elicitation

abstract: A good clustering can help a data analyst to explore and understand a data set, but what constitutes a good clustering may depend on domain-specific and application-specific criteria. These criteria can be difficult to formalize, even when it is easy for an analyst to know a good clustering when they see one. We present a new approach to interactive clustering for data exploration called TINDER, based on a particularly simple feedback mechanism, in which an analyst can reject a given clustering and request a new one, which is chosen to be different from the previous clustering while fitting the data well. We formalize this interaction in a Bayesian framework as a method for prior elicitation, in which each different clustering is produced by a prior distribution that is modified to discourage previously rejected clusterings. We show that TINDER successfully produces a diverse set of clusterings, each of equivalent quality, that are much more diverse than would be obtained by randomized restarts.


title: Preserving Color in Neural Artistic Style Transfer

abstract: This note presents an extension to the neural artistic style transfer algorithm (Gatys et al.). The original algorithm transforms an image to have the style of another given image. For example, a photograph can be transformed to have the style of a famous painting. Here we address a potential shortcoming of the original method: the algorithm transfers the colors of the original painting, which can alter the appearance of the scene in undesirable ways. We describe simple linear methods for transferring style while preserving colors.


title: A Switching for all Strongly Regular Collinearity Graphs From Polar Spaces

abstract: We describe a general construction of strongly regular graphs from the collinearity graph of a finite classical polar spaces of rank at least $3$ over a finite field of order $q$. We show that these graphs are non-isomorphic to the collinearity graphs and have the same parameters. To our knowledge for most of these parameters these graphs are new as the collinearity graphs were the only known examples.


title: Production of cosmogenic isotopes 7Be, 10Be, 14C, 22Na and 36Cl in the atmosphere: Altitudinal profiles of yield functions

abstract: New consistent and precise computations of the production of five cosmogenic radio-isotopes, 7Be, 10Be, 14C, 22Na and 36Cl, in the Earth's atmosphere by cosmic rays are presented in the form of tabulated yield functions. For the first time, a detailed set of the the altitude profiles of the production functions is provided which makes it possible to apply the results directly as input for atmospheric transport models. Good agreement with most of the earlier published works for columnar and global isotopic production rates is shown. Altitude profiles of the production are important, in particular for such tasks as studies of strong solar particle events in the past, precise reconstructions of solar activity on long-term scale, tracing air-mass dynamics using cosmogenic radio-isotopes, etc. As an example, computations of the $^{10}$Be deposition flux in the polar region are shown for the last decades and also for a period around 780 AD and confronted with the actual measurements in Greenland and Antarctic ice cores.


title: Asymmetric, Closed-Form, Finite-Parameter Models of Multinomial Choice

abstract: In transportation, the number of observations associated with one discrete outcome is often greatly different from the number of observations associated with another discrete outcome. This situation is known as class-imbalance. In statistics, one hypothesized explanation for class imbalance is the existence of data generating processes that are characterized by asymmetric (as opposed to typically symmetric) probability functions. Despite being a valid hypothesis for class-imbalanced choice situations, few simple models exist for testing this explanation in transportation settings---settings that are inherently multinomial. Our paper fills this gap. As such, it should be of interest to transportation scholars and practitioners alike. Overall, we addressed the following questions: "how can one construct asymmetric, closed-form, finite-parameter models of multinomial choice" and "how do such models compare against commonly used symmetric models?" To do so, we (1) introduced a new class of closed-form, finite-parameter, multinomial choice models that we call "logit-type models," (2) introduced a procedure for using our logit-type models to extend existing binary choice models to the multinomial setting, and (3) introduced a procedure for creating new binary choice models (both symmetric and asymmetric). Together, our contributions allow us to create new asymmetric, multinomial choice models by creating multinomial extensions of asymmetric, binary choice models that already exist or that we create ourselves. We demonstrated our methods by developing four new asymmetric, multinomial choice models. We found that most of our asymmetric models dominated the multinomial logit (MNL) model in terms of in-sample and out-of-sample log-likelihoods. Moreover, on our two empirical applications, we also found practical differences between the MNL model and our new asymmetric models.


title: Coexistence of competing metabolic pathways in well-mixed populations

abstract: Understanding why strains with different metabolic pathways that compete for a single limiting resource coexist is a challenging issue within a theoretical perspective. Previous investigations rely on mechanisms such as group or spatial structuring to achieve a stable coexistence between competing metabolic strategies. Nevertheless, coexistence has been experimentally reported even in situations where it cannot be attributed to spatial effects [Heredity {\bf 100}, 471 (2008)]. According to that study a toxin expelled by one of the strains can be responsible for the stable maintenance of the two strain types. We propose a resource-based model in which an efficient strain with a slow metabolic rate competes with a second strain type which presents a fast but inefficient metabolism. Moreover, the model assumes that the inefficient strain produces a toxin as a byproduct. This toxin affects the growth rate of both strains with different strength. Through an extensive exploration of the parameter space we determine the situations at which the coexistence of the two strains is possible. Interestingly, we observe that the resource influx rate plays a key role in the maintenance of the two strain types. In a scenario of resource scarcity the inefficient is favored, though as the resource influx rate is augmented the coexistence becomes possible and its domain is enlarged.


title: On the Inheritance of Orbifold Substructures

abstract: In a previous article, we defined a very flexible notion of suborbifold and characterized those suborbifolds which can arise as the images of orbifold embeddings. In particular, suborbifolds are images of orbifold embeddings precisely when they are saturated and split. This article addresses the problem of orbifold structure inheritance for three orbifolds $\mathcal{Q}\subset\mathcal{P}\subset\mathcal{O}$. We identify an appealing but ultimately inadequate notion of an inherited canonical orbifold substructure. In particular, we give a concrete example where the orbifold structure of $\mathcal{Q}$ is canonically inherited from $\mathcal{P}$, and the orbifold structure of $\mathcal{P}$ is canonically inherited from $\mathcal{O}$, but the orbifold structure of $\mathcal{Q}$ is not canonically inherited from $\mathcal{O}$. On the other hand, it is easy to see that when $\mathcal{Q}$ is embedded in $\mathcal{P}$, and $\mathcal{P}$ is embedded in $\mathcal{O}$, all of the canonical inherited orbifold substructures will agree. We also investigate the property of saturation in this context, and give an example of a suborbifold with the canonical orbifold substructure that is not saturated.


title: Digital Calibration Method for High Resolution in Analog/RF Designs

abstract: Transistor random mismatch continuously poses challenges for analog/RF circuit design for achieving high accuracy and high yield as the process technology advances. Existing statistical element selection (SES) design method can improve transistor matching property, but it falls short of being a general calibration method due to its limited calibration range. In this dissertation, we propose a high resolution digital calibration method, called extended statistical element selection (ESES). As compared to the SES method, the ESES method not only provides wider calibration range, but also it results in higher calibration yield with same calibration resolution target. Two types of ESES based calibration application in analog/RF circuits are also proposed. One is current source calibration and the other is phase/delay calibration. To verify this proposed digital calibration method in circuit implementation, we designed, fabricated and tested a wideband harmonic rejection receiver design. The receiver utilizes ESES-based gain and phase error calibration for improving harmonic rejection ratios. With the high calibration resolution provided by the ESES method, after calibration, we achieved best-in-class harmonic rejection ratios. To extend the application of the proposed method, we further designed a current-steering D/A data converter (CS-DAC). The CS-DAC utilizes ESES-based amplitude and timing error calibration for improving linearity performance. Simulation results showed that we can achieve more than one order of magnitude linearity improvement after performing ESES-based calibration in the CS-DAC.


title: On the Message Dimensions of Vector Linearly Solvable Networks

abstract: It is known that there exists a network which does not have a scalar linear solution over any finite field but has a vector linear solution when message dimension is $2$ [3]. It is not known whether this result can be generalized for an arbitrary message dimension. In this paper, we show that there exists a network which admits an $m$ dimensional vector linear solution, where $m$ is a positive integer greater than or equal to $2$, but does not have a vector linear solution over any finite field when the message dimension is less than $m$.


title: Can Scientific Impact Be Predicted?

abstract: A widely used measure of scientific impact is citations. However, due to their heavy-tailed distribution, citations are fundamentally difficult to predict. Instead, to characterize scientific impact, we address two analogous questions asked by many scientific researchers: "How will my h-index evolve over time, and which of my previously or newly published papers will contribute to it?" To answer these questions, we perform two related tasks. First, we develop a model to predict authors' future h-indices based on their current scientific impact. Second, we examine the factors that drive papers---either previously or newly published---to increase their authors' predicted future h-indices. By leveraging relevant factors, we can predict an author's h-index in five years with an R2 value of 0.92 and whether a previously (newly) published paper will contribute to this future h-index with an F1 score of 0.99 (0.77). We find that topical authority and publication venue are crucial to these effective predictions, while topic popularity is surprisingly inconsequential. Further, we develop an online tool that allows users to generate informed h-index predictions. Our work demonstrates the predictability of scientific impact, and can help scholars to effectively leverage their position of "standing on the shoulders of giants."


title: Partial sums of the normalized Dini functions

abstract: Let $\left( w_{\alpha ,v}\right) _{m}(z)=z+\sum\limits_{n=1}^{m}a_{n}z^{n+1} $ be the sequence of partial sums of normalized Dini functions $w_{\alpha ,v}(z)=z+\sum\limits_{n=1}^{\infty }a_{n}z^{n+1}$ where $a_{n}=\frac{\left( -1\right) ^{n}\left( 2n+\alpha \right) }{\alpha 4^{n}n!\left( v+1\right) _{n}% }$. The aim of the present paper is to obtain lower bounds for $\mathcal{R} \left\{ \frac{w_{\alpha ,v}(z)}{\left( w_{\alpha ,v}\right) _{m}(z)}\right\} ,$ $\mathcal{R}\left\{ \frac{\left( w_{\alpha ,v}\right) _{m}(z)}{w_{\alpha ,v}(z)}\right\} ,$ $\mathcal{R}\left\{ \frac{w_{\alpha ,v}^{^{\prime }}(z)}{ \left( w_{\alpha ,v}\right) _{m}^{^{\prime }}(z)}\right\}$ and $\mathcal{R} \left\{ \frac{\left( w_{\alpha ,v}\right) _{m}^{^{\prime }}(z)}{w_{\alpha ,v}^{^{\prime }}(z)}\right\}$ . Also we give a few geometric description regarding image domains of some functions.


title: Spectral model selection in the electronic measurement of the Boltzmann constant by Johnson noise thermometry

abstract: In the electronic measurement of the Boltzmann constant based on Johnson noise thermometry, the ratio of the power spectral densities of thermal noise across a resistor at the triple point of water, and pseudo-random noise synthetically generated by a quantum-accurate voltage-noise source is constant to within 1 part in a billion for frequencies up to 1 GHz. Given this ratio, and the values of other known or measured parameters, one can determine the Boltzmann constant. Due, in part, to mismatch between transmission lines, the experimental ratio spectrum varies with frequency. We model this spectrum as an even polynomial function of frequency where the constant term in the polynomial determines the Boltzmann constant. When determining this constant (offset) from experimental data, the assumed complexity of the ratio spectrum model and the maximum frequency analyzed (fitting bandwidth) dramatically affects results. We select the complexity of the model by cross-validation. For each of many fitting bandwidths, we determine the component of uncertainty of the offset term that accounts for random and systematic effects associated with imperfect knowledge of model complexity. We select the fitting bandwidth that minimizes this uncertainty. In the most recent measurement of the Boltzmann constant, results were determined, in part, by application of an earlier version of the method described here. Here, we extend the earlier analysis by considering a broader range of fitting bandwidths and quantify an additional component of uncertainty that accounts for imperfect performance of our fitting bandwidth selection method. For idealized simulated data our method correctly selects the true complexity of the ratio spectrum model for all cases considered. A new analysis of data from the recent experiment yields evidence for a temporal trend in the offset parameters.


title: Tutorial on Variational Autoencoders

abstract: In just three years, Variational Autoencoders (VAEs) have emerged as one of the most popular approaches to unsupervised learning of complicated distributions. VAEs are appealing because they are built on top of standard function approximators (neural networks), and can be trained with stochastic gradient descent. VAEs have already shown promise in generating many kinds of complicated data, including handwritten digits, faces, house numbers, CIFAR images, physical models of scenes, segmentation, and predicting the future from static images. This tutorial introduces the intuitions behind VAEs, explains the mathematics behind them, and describes some empirical behavior. No prior knowledge of variational Bayesian methods is assumed.


title: Beta decay of deformed r-process nuclei near A = 80 and A= 160, including odd-A and odd-odd nuclei, with the Skyrme finite-amplitude method

abstract: After identifying the nuclei in the regions near A =80 and A = 160 for which beta-decay rates have the greatest effect on weak and main r-process abundance patterns, we apply the finite-amplitude method (FAM) with Skyrme energy-density functionals (EDFs) to calculate beta-decay half-lives of those nuclei in the quasiparticle random-phase approximation (QRPA). We use the equal filling approximation to extend our implementation of the charge-changing FAM, which incorporates pairing correlations and allows axially symmetric deformation, to odd-A and odd-odd nuclei. Within this framework we find differences of up to a factor of seven between our calculated beta-decay half-lives and those of previous efforts. Repeated calculations with nuclei near A = 160 and multiple EDFs show a spread of two to four in beta-decay half-lives, with differences in calculated Q values playing an important role. We investigate the implications of these results for r-process simulations.


title: The gene family-free median of three

abstract: The gene family-free framework for comparative genomics aims at developing methods for gene order analysis that do not require prior gene family assignment, but work directly on a sequence similarity multipartite graph. We present a model for constructing a median of three genomes in this family-free setting, based on maximizing an objective function that generalizes the classical breakpoint distance by integrating sequence similarity in the score of a gene adjacency. We show that the corresponding computational problem is MAX SNP-hard and we present a 0-1 linear program for its exact solution. The result of our FF-median program is a median genome with median genes associated to extant genes, in which median adjacencies are assumed to define positional orthologs. We demonstrate through simulations and comparison with the OMA orthology database that the herein presented method is able compute accurate medians and positional orthologs for genomes comparable in size of bacterial genomes.


title: Existence of rigid actions for finitely-generated non-amenable linear groups

abstract: We show that every finitely-generated non-amenable linear group over a field of characteristic zero admits an ergodic action which is rigid in the sense of Popa. If this group has trivial solvable radical, we prove that these actions can be chosen to be free. Moreover, we give a positive answer to a question raised by Ioana and Shalom concerning the existence of such a free action for $\mathbb{F}_2\times\Z$. More generally, we show that for groups $\Gamma$ considered by Fernos in \cite{Fer}, e.g. Zariski-dense subgroups in PSL$_n(\R)$, the product group $\Gamma\times \Z$ admit a free ergodic rigid action. Also, we investigate how rigidity of an action behaves under restriction and co-induction. In particular, we show that rigidity passes to co-amenable subgroups.


title: Seasonality can induce coexistence of multiple bet-hedging strategies in Dictyostelium discoideum via storage effect

abstract: D. discoideum has been recently suggested as an example of bet-hedging. Upon starvation a population of unicellular amoebae splits between aggregators, which form a fruiting body made of a stalk and resistant spores, and non-aggregators. Spores are favored by long starvation periods, but vegetative cells can exploit resources in fast-recovering environments. This partition can be understood as a bet-hedging strategy that evolves in response to stochastic starvation times. A genotype is defined by a different balance between each type of cells. In this framework, if the ecological conditions are defined in terms of the mean starvation time (i.e. time between onset of starvation and the arrival of a new food pulse), a single genotype dominates each environment, which is inconsistent with the huge genetic diversity observed in nature. We investigate whether seasonality, represented by a periodic alternation in the mean starvation times, allows the coexistence of several strategies. We use a non-spatial (well-mixed) setting where different strains compete for a pulse of resources. We find that seasonality, which we model via two seasons, induces a temporal storage effect that can promote the stable coexistence of multiple genotypes. Two conditions need to be met. First, the distributions of starvation times in each season cannot overlap in order to create two well differentiated habitats within the year. Second, numerous growth-starvation cycles have to occur during each season to allow well-adapted strains to grow and survive the subsequent unfavorable period. Additional tradeoffs among life-history traits can expand the range of coexistence and increase the number of coexisting strategies, contributing towards explaining the genetic diversity observed in D. discoideum


title: Lack of ecological context can create the illusion of social success in Dictyostelium discoideum

abstract: Studies of cooperation in microbes often focus on one fitness component, with little information about or attention to the ecological context, and this can lead to paradoxical results. The life cycle of the social amoeba Dictyostelium discoideum includes a multicellular stage in which not necessarily clonal amoebae aggregate upon starvation to form a possibly chimeric (genetically heterogeneous) fruiting body made of dead stalk and spores. The lab-measured reproductive skew in the spores of chimeras indicates strong social antagonism; this should result in low genotypic diversity, which is inconsistent with observations from nature. Two studies have suggested that this inconsistency stems from the one-dimensional assessment of fitness (spore production) and that the solution lies in tradeoffs between multiple traits, e.g.: spore size versus viability; and staying vegetative versus becoming dormant. We theoretically explore different tradeoff-implementing mechanisms and provide a unifying ecological framework in which the two tradeoffs above, as well as novel ones, arise collectively in response to characteristics of the environment. We find that spore production comes at the expense of vegetative cell production, time to development, and, depending on the experimental setup, spore size and viability. Furthermore, we find that all existing experimental results regarding chimeric mixes can be qualitatively recapitulated without needing to invoke social interactions, which allows for simple resolutions to previously paradoxical results. We conclude that the complexities of life histories, including social behavior and multicellularity, can only be understood in the appropriate multidimensional ecological context.


title: Explosion of relativistic electron vortices in laser plasmas

abstract: The interaction of high intensity laser radiation with underdense plasma may lead to the formation of electron vortices. Though being quasistationary on an electron timescales, these structures tend to expand on a proton timescale due to Coloumb repulsion of ions. Using a simple analytical model of a stationary vortex as initial condition, 2D PIC simulations are performed. A number of effects are observed such as vortex boundary field intensification, multistream instabilities at the vortex boundary, and bending of the vortex boundary with the subsequent transformation into smaller electron vortices.