title: Real geometric invariant theory

abstract: For linear actions of real reductive Lie groups we prove the Kempf-Ness Theorem about closed orbits and the Kirwan-Ness Stratification Theorem of the null cone. Since our completely self-contained proof focuses strongly on geometric and analytic methods, essentially avoiding any deep algebraic result, it applies also to non-rational linear actions.


title: Bottomonia suppression in an anisotropic quark-gluon plasma

abstract: A brief review of recent studies on suppression of bottomonia in an anisotropic quark-gluon plasma created in heavy-ion collisions at the LHC is presented. A reasonable agreement between the model predictions for the inclusive $R_{\rm AA}$ suppression factor and the preliminary CMS experimental data is found. The values of the shear viscosity to the entropy density ratio extracted from the comparison with the data lie between one and two times the gauge/gravity duality lower bound. These values agree very well with the fluid dynamical fits to the light hadron correlation data and confirm that the quark-gluon plasma is a nearly-perfect fluid.


title: On the Performance of Zero-Forcing Processing in Multi-Way Massive MIMO Relay Networks

abstract: We consider a multi-way massive multiple-input multiple-output relay network with zero-forcing processing at the relay. By taking into account the time-division duplex protocol with channel estimation, we derive an analytical approximation of the spectral efficiency. This approximation is very tight and simple which enables us to analyze the system performance, as well as, to compare the spectral efficiency with zero-forcing and maximum-ratio processing. Our results show that by using a very large number of relay antennas and with the zero-forcing technique, we can simultaneously serve many active users in the same time-frequency resource, each with high spectral efficiency.


title: From Preference-Based to Multiobjective Sequential Decision-Making

abstract: In this paper, we present a link between preference-based and multiobjective sequential decision-making. While transforming a multiobjective problem to a preference-based one is quite natural, the other direction is a bit less obvious. We present how this transformation (from preference-based to multiobjective) can be done under the classic condition that preferences over histories can be represented by additively decomposable utilities and that the decision criterion to evaluate policies in a state is based on expectation. This link yields a new source of multiobjective sequential decision-making problems (i.e., when reward values are unknown) and justifies the use of solving methods developed in one setting in the other one.


title: Quantum state transfer on distance regular spin networks with intrinsic decoherence

abstract: By considering distance-regular graphs as spin networks, we investigate the state transfer fidelity in this class of networks. The effect of environment on the dynamics of state transfer is modeled using Milburn's intrinsic decoherence [G. J. Milburn, Phys. Rev. A 44, 5401 (1991)]. We consider a particular type of spin Hamiltonians which are extended version of those of Christandl et al [Phys. Rev. A 71, 032312 (2005)]. It is shown that decoherence destroys perfect communication channels. Using optimal coupling strengths derived by Jafarizadeh and Sufiani [Phys. Rev. A 77, 022315 (2008)], we show that destructive effect of environment on the communication channel increases by increasing the decoherence rate, however the state transfer fidelity reaches a steady value as time approaches infinity which is independent of the decoherence rate. Moreover, it is shown that for a given decoherence rate, the fidelity of transfer decreases by increasing the distance between the sender and the receiver.


title: Sign-changes as a universal concept in first-passage time calculations

abstract: First-passage time problems are ubiquitous across many fields of study including transport processes in semiconductors and biological synapses, evolutionary game theory and percolation. Despite their prominence, first-passage time calculations have proven to be particularly challenging. Analytical results to date have often been obtained under strong conditions, leaving most of the exploration of first-passage time problems to direct numerical computations. Here we present an analytical approach that allows the derivation of first-passage time distributions for the wide class of non-differentiable Gaussian processes. We demonstrate that the concept of sign changes naturally generalises the common practice of counting crossings to determine first-passage events. Our method works across a wide range of time-dependent boundaries and noise strengths thus alleviating common hurdles in first-passage time calculations.


title: The Complexity of Abstract Machines

abstract: The lambda-calculus is a peculiar computational model whose definition does not come with a notion of machine. Unsurprisingly, implementations of the lambda-calculus have been studied for decades. Abstract machines are implementations schema for fixed evaluation strategies that are a compromise between theory and practice: they are concrete enough to provide a notion of machine and abstract enough to avoid the many intricacies of actual implementations. There is an extensive literature about abstract machines for the lambda-calculus, and yet-quite mysteriously-the efficiency of these machines with respect to the strategy that they implement has almost never been studied. This paper provides an unusual introduction to abstract machines, based on the complexity of their overhead with respect to the length of the implemented strategies. It is conceived to be a tutorial, focusing on the case study of implementing the weak head (call-by-name) strategy, and yet it is an original re-elaboration of known results. Moreover, some of the observation contained here never appeared in print before.


title: Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

abstract: In this paper, we show that the SR transformation, a computationally equivalent transformation proposed by Serbanuta and Rosu, is a sound structure-preserving transformation for weakly-left-linear deterministic conditional term rewriting systems. More precisely, we show that every weakly-left-linear deterministic conditional term rewriting system can be converted to an equivalent weakly-left-linear and ultra-weakly-left-linear deterministic conditional term rewriting system and prove that the SR transformation is sound for weakly-left-linear and ultra-weakly-left-linear deterministic conditional term rewriting systems. Here, soundness for a conditional term rewriting system means that reduction of the transformed unconditional term rewriting system creates no undesired reduction sequence for the conditional system.


title: Magetostatic amplifier with tunable maximum by twisted-light plasma interactions

abstract: Laser beams with Laguerre-Gaussian (LG) mode carry orbital angular momentum (OAM), however when interacting with plasmas, the net OAM acquired by plasmas is basically zero after interaction. Here, we find when there exist a small magetostatic seed along laser propagation direction, the barrier would be broken, giving rise to dramatic OAM transfer from LG lasers to plasmas. Hence, the net OAM remained in plasmas system would continuously enhance the magetostatic field, until the corresponding Larmor frequency of electrons is comparable to the laser frequency in vacuum. Three-dimensional particle-in-cell (3D-PIC) simulations are performed to confirm our theory, producing space-uniform, time-stable and extremely intense magetostatic fields.


title: Semidefinite tests for latent causal structures

abstract: Testing whether a probability distribution is compatible with a given Bayesian network is a fundamental task in the field of causal inference, where Bayesian networks model causal relations. Here we consider the class of causal structures where all correlations between observed quantities are solely due to the influence from latent variables. We show that each model of this type imposes a certain signature on the observable covariance matrix in terms of a particular decomposition into positive semidefinite components. This signature, and thus the underlying hypothetical latent structure, can be tested in a computationally efficient manner via semidefinite programming. This stands in stark contrast with the algebraic geometric tools required if the full observable probability distribution is taken into account. The semidefinite test is compared with tests based on entropic inequalities.


title: On a question of Silver about gap-two cardinal transfer principles

abstract: Assuming the existence of a Mahlo cardinal, we produce a generic extension of G\"{o}del's constructible universe $L$, in which the transfer principles $(\aleph_2, \aleph_0) \to (\aleph_3, \aleph_1)$ and $(\aleph_3, \aleph_1) \to (\aleph_2, \aleph_0)$ fail simultaneously. The result answers a question of Silver from 1971. We also extend our result to higher gaps.


title: Physics of cosmological cascades and observable properties

abstract: TeV photons from extragalactic sources are absorbed in the intergalactic medium and initiate electromagnetic cascades. These cascades offer a unique tool to probe the properties of the universe at cosmological scales. We present a new Monte Carlo code dedicated to the physics of such cascades. This code has been tested against both published results and analytical approximations, and is made publicly available. Using this numerical tool, we investigate the main cascade properties (spectrum, halo extension, time delays), and study in detail their dependence on the physical parameters (extra-galactic magnetic field, extra-galactic background light, source redshift, source spectrum and beaming emission). The limitations of analytical solutions are emphasised. In particular, analytical approximations account only for the first generation of photons and higher branches of the cascade tree are neglected.


title: From pro-$p$ Iwahori-Hecke modules to $(\varphi,\Gamma)$-modules, II

abstract: Let ${\mathfrak o}$ be the ring of integers in a finite extension field of ${\mathbb Q}_p$, let $k$ be its residue field. Let $G$ be a split reductive group over ${\mathbb Q}_p$, let ${\mathcal H}(G,I_0)$ be its pro-$p$-Iwahori Hecke ${\mathfrak o}$-algebra. In \cite{dfun} we introduced a general principle how to assign to a certain additionally chosen datum $(C^{(\bullet)},\phi,\tau)$ an exact functor $M\mapsto{\bf D}(\Theta_*{\mathcal V}_M)$ from finite length ${\mathcal H}(G,I_0)$-modules to $(\varphi^r,\Gamma)$-modules. In the present paper we concretely work out such data $(C^{(\bullet)},\phi,\tau)$ for the classical matrix groups. We show that the corresponding functor identifies the set of (standard) supersingular ${\mathcal H}(G,I_0)\otimes_{{\mathfrak o}}k$-modules with the set of $(\varphi^r,\Gamma)$-modules satisfying a certain symmetry condition.


title: On the Cohomology of Contextuality

abstract: Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of global sections. In the present work, we illustrate new insights into different aspects of this theory. We shed light on the power of detection of the cohomological obstruction by showing that it is not a complete invariant for strong contextuality even under symmetry and connectedness restrictions on the measurement cover, disproving a previous conjecture. We generalise obstructions to higher cohomology groups and show that they give rise to a refinement of the notion of cohomological contextuality: different "levels" of contextuality are organised in a hierarchy of logical implications. Finally, we present an alternative description of the first cohomology group in terms of torsors, resulting in a new interpretation of the cohomological obstructions.


title: Outer Regions of the Milky Way

abstract: With the start of the Gaia era, the time has come to address the major challenge of deriving the star formation history and evolution of the disk of our MilkyWay. Here we review our present knowledge of the outer regions of the Milky Way disk population. Its stellar content, its structure and its dynamical and chemical evolution are summarized, focussing on our lack of understanding both from an observational and a theoretical viewpoint. We describe the unprecedented data that Gaia and the upcoming ground-based spectroscopic surveys will provide in the next decade. More in detail, we quantify the expect accuracy in position, velocity and astrophysical parameters of some of the key tracers of the stellar populations in the outer Galactic disk. Some insights on the future capability of these surveys to answer crucial and fundamental issues are discussed, such as the mechanisms driving the spiral arms and the warp formation. Our Galaxy, theMilkyWay, is our cosmological laboratory for understanding the process of formation and evolution of disk galaxies. What we learn in the next decades will be naturally transferred to the extragalactic domain.


title: A Topological Perspective on Interacting Algebraic Theories

abstract: Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum computation. These theories have often the property of containing simpler sub-theories, whose interaction is regulated in a limited number of ways, which reveals a topological substrate when pictured by string diagrams. By exploring the double nature of computads as presentations of higher algebraic theories, and combinatorial descriptions of "directed spaces", we develop a basic language of directed topology for the compositional study of algebraic theories. We present constructions of computads, all with clear analogues in standard topology, that capture in great generality such notions as homomorphisms and actions, and the interactions of monoids and comonoids that lead to the theory of Frobenius algebras and of bialgebras. After a number of examples, we describe how a fragment of the ZX calculus can be reconstructed in this framework.


title: Picturing Indefinite Causal Structure

abstract: Following on from the notion of (first-order) causality, which generalises the notion of being tracepreserving from CP-maps to abstract processes, we give a characterization for the most general kind of map which sends causal processes to causal processes. These new, second-order causal processes enable us to treat the input processes as 'local laboratories' whose causal ordering needs not be fixed in advance. Using this characterization, we give a fully-diagrammatic proof of a non-trivial theorem: namely that being causality-preserving on separable processes implies being 'completely' causality preserving. That is, causality is preserved even when the 'local laboratories' are allowed to have ancilla systems. An immediate consequence is that preserving causality is separable processes is equivalence to preserving causality for strongly non-signalling (a.k.a. localizable) processes.


title: Ambiguity and Incomplete Information in Categorical Models of Language

abstract: We investigate notions of ambiguity and partial information in categorical distributional models of natural language. Probabilistic ambiguity has previously been studied using Selinger's CPM construction. This construction works well for models built upon vector spaces, as has been shown in quantum computational applications. Unfortunately, it doesn't seem to provide a satisfactory method for introducing mixing in other compact closed categories such as the category of sets and binary relations. We therefore lack a uniform strategy for extending a category to model imprecise linguistic information. In this work we adopt a different approach. We analyze different forms of ambiguous and incomplete information, both with and without quantitative probabilistic data. Each scheme then corresponds to a suitable enrichment of the category in which we model language. We view different monads as encapsulating the informational behaviour of interest, by analogy with their use in modelling side effects in computation. Previous results of Jacobs then allow us to systematically construct suitable bases for enrichment. We show that we can freely enrich arbitrary dagger compact closed categories in order to capture all the phenomena of interest, whilst retaining the important dagger compact closed structure. This allows us to construct a model with real convex combination of binary relations that makes non-trivial use of the scalars. Finally we relate our various different enrichments, showing that finite subconvex algebra enrichment covers all the effects under consideration.


title: Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals

abstract: In quantum logic there is well-known arbitrariness in choosing a binary operation for conditional. Currently, we have at least three candidates, called the Sasaki conditional, the contrapositive Sasaki conditional, and the relevance conditional. A fundamental problem is to show how the form of the conditional follows from an analysis of operational concepts in quantum theory. Here, we attempt such an analysis through quantum set theory (QST). In this paper, we develop quantum set theory based on quantum logics with those three conditionals, each of which defines different quantum logical truth value assignment. We show that those three models satisfy the transfer principle of the same form to determine the quantum logical truth values of theorems of the ZFC set theory. We also show that the reals in the model and the truth values of their equality are the same for those models. Interestingly, however, the order relation between quantum reals significantly depends on the underlying conditionals. We characterize the operational meanings of those order relations in terms of joint probability obtained by the successive projective measurements of arbitrary two observables. Those characterizations clearly show their individual features and will play a fundamental role in future applications to quantum physics.


title: Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras

abstract: In this paper, W*-algebras are presented as canonical colimits of diagrams of matrix algebras and completely positive maps. In other words, matrix algebras are dense in W*-algebras.


title: Optimal simplex finite-element approximations of arbitrary order in curved domains circumventing the isoparametric technique

abstract: Since the 1960's the finite element method emerged as a powerful tool for the numerical simulation of countless physical phenomena or processes in applied sciences. One of the reasons for this undeniable success is the great versatility of the finite-element approach to deal with different types of geometries. This is particularly true of problems posed in curved domains of arbitrary shape. In the case of function-value Dirichlet conditions prescribed on curvilinear boundaries method's isoparametric version for meshes consisting of curved triangles or tetrahedra has been mostly employed to recover the optimal approximation properties known to hold for standard straight-edged elements in the case of polygonal or polyhedral domains. However, besides obvious algebraic and geometric inconveniences, the isoparametric technique is helplessly limited in scope and simplicity, since its extension to degrees of freedom other than function values is not straightforward if not unknown. The purpose of this paper is to propose, study and test a simple alternative that bypasses all the above drawbacks, without eroding qualitative approximation properties. More specifically this technique can do without curved elements and is based only on polynomial algebra. REMARKS : First submission (dated Jan. 3, 2017) updated on Jan. 11, 2017 with the addition of a footnote on author's research grant. A third version with several improvements was posted on Nov. 2, 2017. The fourth version incorporated some findings during the revision of a related paper. In the fifth version, besides minor changes, the convection-diffusion equation became the model problem; the text was reviewed in order to highlight the advantages of the new approach over classical techniques, more particularly by means of additional numerical examples.


title: A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract

abstract: A representation of finite-dimensional probabilistic models in terms of formally real Jordan algebras is obtained, in a strikingly easy way, from simple assumptions. This provides a framework in which real, complex and quaternionic quantum mechanics can be treated on an equal footing, and allows some (but not too much) room for other alternatives. This is based on earlier work (arXiv:1206:2897), but the development here is further simplified, and also extended in several ways. I also discuss the possibilities for organizing probabilistic models, subject to the assumptions discussed here, into symmetric monoidal categories, showing that such a category will automatically have a dagger-compact structure. (Recent joint work with Howard Barnum and Matthew Graydon (arXiv:1507.06278) exhibits several categories of this kind.)


title: A note on split extensions of bialgebras

abstract: We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension over it admits a join decomposition. We also explain why this result cannot be extended to a non-cocommutative setting.


title: Water sub-diffusion in membranes for fuel cells

abstract: We investigate the dynamics of water confined in soft ionic nano-assemblies, an issue critical for a general understanding of the multi-scale structure-function interplay in advanced materials. We focus in particular on hydrated perfluoro-sulfonic acid compounds employed as electrolytes in fuel cells. These materials form phase-separated morphologies that show outstanding proton-conducting properties, directly related to the state and dynamics of the absorbed water. We have quantified water motion and ion transport by combining Quasi Elastic Neutron Scattering, Pulsed Field Gradient Nuclear Magnetic Resonance, and Molecular Dynamics computer simulation. Effective water and ion diffusion coefficients have been determined together with their variation upon hydration at the relevant atomic, nanoscopic and macroscopic scales, providing a complete picture of transport. We demonstrate that confinement at the nanoscale and direct interaction with the charged interfaces produce anomalous sub-diffusion, due to a heterogeneous space-dependent dynamics within the ionic nanochannels. This is irrespective of the details of the chemistry of the hydrophobic confining matrix, confirming the statistical significance of our conclusions. Our findings turn out to indicate interesting connections and possibilities of cross-fertilization with other domains, including biophysics. They also establish fruitful correspondences with advanced topics in statistical mechanics, resulting in new possibilities for the analysis of Neutron scattering data.


title: Faraday waves by resonant triad interaction of surface--compression waves

abstract: The propagation of wave disturbances over a vertically oscillating liquid may form standing waves, known as Faraday waves. Here we present an alternative description of the generation and evolution of Faraday waves by nonlinear resonant triad interactions, accounting for gravity surface effects and the slight compressibility of the liquid. To this end, we analyse a triad comprising an infinitely long-crested compression mode and two oppositely propagating subharmonic surface waves.


title: Error estimates for Galerkin approximations of the Serre equations

abstract: We consider the Serre system of equations which is a nonlinear dispersive system that models two-way propagation of long waves of not necessarily small amplitude on the surface of an ideal fluid in a channel. We discretize in space the periodic initial-value problem for the system using the standard Galerkin finite element method with smooth splines on a uniform mesh and prove an optimal-order $L^{2}$-error estimate for the resulting semidiscrete approximation. Using the fourth-order accurate, explicit, `classical' Runge-Kutta scheme for time stepping we construct a highly accurate fully discrete scheme in order to approximate solutions of the system, in particular solitary-wave solutions, and study numerically phenomena such as the resolution of general initial profiles into sequences of solitary waves, and overtaking collisions of pairs of solitary waves propagating in the same direction with different speeds.


title: Product Manifold Filter: Non-Rigid Shape Correspondence via Kernel Density Estimation in the Product Space

abstract: Many algorithms for the computation of correspondences between deformable shapes rely on some variant of nearest neighbor matching in a descriptor space. Such are, for example, various point-wise correspondence recovery algorithms used as a post-processing stage in the functional correspondence framework. Such frequently used techniques implicitly make restrictive assumptions (e.g., near-isometry) on the considered shapes and in practice suffer from lack of accuracy and result in poor surjectivity. We propose an alternative recovery technique capable of guaranteeing a bijective correspondence and producing significantly higher accuracy and smoothness. Unlike other methods our approach does not depend on the assumption that the analyzed shapes are isometric. We derive the proposed method from the statistical framework of kernel density estimation and demonstrate its performance on several challenging deformable 3D shape matching datasets.


title: Intrinsic and Apparent Singularities in Flat Differential Systems

abstract: In this paper, we study the singularities of locally flat systems, motivated by the solution, if it exists, of the global motion planning problem for such systems, in the spirit of \cite{CE_14}. More precisely, flat outputs may be only locally defined because of the existence of points where they are singular (a notion that will be made clear later), thus preventing from planning trajectories crossing these points. Such points are of different types. Some of them can be easily ruled out by considering another non singular flat output, defined on an open set intersecting the domain of the former one and well defined at the point in question. However, it might happen that no well-defined flat outputs exist at all at some points. We call these points \emph{intrinsic} singularities and the other ones \emph{apparent}. A rigorous defintion of these points is introduced in terms of atlas and charts in the framework of the differential geometry of jets of infinite order and Lie-B\"acklund isomorphisms (see \cite{FLMR_99,Levine-09}). We then give a criterion allowing to effectively compute intrinsic singularities. Finally, we show how our results apply to global motion planning of the well-known example of non holonomic car.


title: From short-range repulsion to Hele-Shaw problem in a model of tumor growth

abstract: We investigate the large time behavior of an agent based model describing tumor growth. The microscopic model combines short-range repulsion and cell division. As the number of cells increases exponentially in time, the microscopic model is challenging in terms of computational time. To overcome this problem, we aim at deriving the associated macroscopic dynamics leading here to a porous media type equation. As we are interested in the long time behavior of the dynamics, the macroscopic equation obtained through usual derivation method fails at providing the correct qualitative behavior (e.g. stationary states differ from the microscopic dynamics). We propose a modified version of the macroscopic equation introducing a density threshold for the repulsion. We numerically validate the new formulation by comparing the solutions of the micro- and macro- dynamics. Moreover, we study the asymptotic behavior of the dynamics as the repulsion between cells becomes singular (leading to non-overlapping constraints in the microscopic model). We manage to show formally that such an asymptotic limit leads to a Hele-Shaw type problem for the macroscopic dynamics. The macroscopic model derived in this paper therefore enables to overcome the problem of large computational time raised by the microscopic model and stays closely linked to the microscopic dynamics.


title: Quivers with potentials for cluster varieties associated to braid semigroups

abstract: Let $C$ be a simply laced generalized Cartan matrix. Given an element $b$ of the generalized braid semigroup related to $C$, we construct a collection of mutation-equivalent quivers with potentials. A quiver with potential in such a collection corresponds to an expression of $b$ in terms of the standard generators. For two expressions that differ by a braid relation, the corresponding quivers with potentials are related by a mutation. The main application of this result is a construction of a family of $CY_3$ $A_\infty$-categories associated to elements of the braid semigroup related to $C$. In particular, we construct a canonical up to equivalence $CY_3$ $A_\infty$-category associated to quotient of any Double Bruhat cell $G^{u,v}/{\rm Ad} H$ in a simply laced reductive Lie group $G$. We describe the full set of parameters these categories depend on by defining a 2-dimensional CW-complex and proving that the set of parameters is identified with second cohomology group of this complex.


title: Inverse Protein Folding Problem via Quadratic Programming

abstract: This paper presents a method of reconstruction a primary structure of a protein that folds into a given geometrical shape. This method predicts the primary structure of a protein and restores its linear sequence of amino acids in the polypeptide chain using the tertiary structure of a molecule. Unknown amino acids are determined according to the principle of energy minimization. This study represents inverse folding problem as a quadratic optimization problem and uses different relaxation techniques to reduce it to the problem of convex optimizations. Computational experiment compares the quality of these approaches on real protein structures.


title: Jet schemes of quasi-ordinary surface singularities

abstract: In this paper we give a complete description of the irreducible components of the jet schemes (with origin in the singular locus) of a two-dimensional quasi-ordinary hypersurface singularity. We associate with these components and with their codimensions and embedding dimensions, a weighted graph. We prove that the data of this weighted graph is equivalent to the data of the topological type of the singularity. We also determine a component of the jet schemes (or equivalently, a divisor on $\mathbb{A}^3$), that computes the log canonical threshold of the singularity embedded in $\mathbb{A}^3$. This provides us with pairs $X\subset\mathbb{A}^3$ whose log canonical thresholds are not contributed by monomial divisorial valuations. Note that for a pair $C\subset\mathbb{A}^2$, where $C$ is a plane curve, the log canonical threshold is always contributed by a monomial divisorial valuation (in suitable coordinates of $\mathbb{A}^2$).


title: Delay-time distribution in the scattering of time-narrow wave packets. (I)

abstract: This is the first of two subsequent publications where the probability distribution of delay-times in scattering of wave packets is discussed. The probability distribution is expressed in terms of the on-shell scattering matrix, the dispersion relation of the scattered beam and the wave packet envelope. In the monochromatic limit (poor time resolution) the mean delay-time coincides with the expression derived by Eisenbud and Wigner and generalized by Smith more than half a century ago. In the opposite limit, and within the semi-classical approximation, the resulting distribution coincides with the result obtained using classical mechanics or geometrical optics. The general expression interpolates smoothly between the two extremes. An application for the scattering of electromagnetic waves in networks of RF transmission lines will be discussed in the next paper to illustrate the method in an experimentally relevant context.


title: Topological entropy for locally linearly compact vector spaces

abstract: In analogy to the topological entropy for continuous endomorphisms of totally disconnected locally compact groups, we introduce a notion of topological entropy for continuous endomorphisms of locally linearly compact vector spaces. We study the fundamental properties of this entropy and we prove the Addition Theorem, showing that the topological entropy is additive with respect to short exact sequences. By means of Lefschetz Duality, we connect the topological entropy to the algebraic entropy in a Bridge Theorem.


title: New Methods of Enhancing Prediction Accuracy in Linear Models with Missing Data

abstract: In this paper, prediction for linear systems with missing information is investigated. New methods are introduced to improve the Mean Squared Error (MSE) on the test set in comparison to state-of-the-art methods, through appropriate tuning of Bias-Variance trade-off. First, the use of proposed Soft Weighted Prediction (SWP) algorithm and its efficacy are depicted and compared to previous works for non-missing scenarios. The algorithm is then modified and optimized for missing scenarios. It is shown that controlled over-fitting by suggested algorithms will improve prediction accuracy in various cases. Simulation results approve our heuristics in enhancing the prediction accuracy.


title: Dispersive approach to QCD and hadronic contributions to electroweak observables

abstract: The dispersive approach to QCD is briefly overviewed and its application to the assessment of hadronic contributions to electroweak observables is discussed.


title: Removing Depth-Order Cycles Among Triangles: An Efficient Algorithm Generating Triangular Fragments

abstract: More than 25 years ago Chazelle~\emph{et al.} (FOCS 1991) studied the following question: Is it possible to cut any set of $n$ lines in ${\Bbb R}^3$ into a subquadratic number of fragments such that the resulting fragments admit a depth order? They proved an $O(n^{9/4})$ bound for the very special case of bipartite weavings of lines. Since then only little progress was made, until a recent breakthrough by Aronov and Sharir (STOC 2016) who showed that $O(n^{3/2}\mathrm{polylog}\; n)$ fragments suffice for any set of lines. In a follow-up paper Aronov, Miller and Sharir (SODA 2017) proved an $O(n^{3/2+\varepsilon})$ bound for triangles, but their method results in pieces with curved boundaries. Moreover, their method uses polynomial partitions, for which currently no algorithm is known. Thus the most natural version of the problem is still wide open: Can we cut any collection of $n$ disjoint triangles in ${\Bbb R}^3$ into a subquadratic number of triangular fragments that admit a depth order? And if so, can we compute the cuts efficiently? We answer this question by presenting an algorithm that cuts any set of $n$ disjoint triangles in ${\Bbb R}^3$ into $O(n^{7/4}\mathrm{polylog}\; n)$ triangular fragments that admit a depth order. The running time of our algorithm is $O(n^{3.69})$. We also prove a refined bound that depends on the number, $K$, of intersections between the projections of the triangle edges onto the $xy$-plane: we show that $O(n^{1+\varepsilon} + n^{1/4} K^{3/4}\mathrm{polylog}\; n)$ fragments suffice to obtain a depth order. This result extends to $xy$-monotone surface patches bounded by a constant number of bounded-degree algebraic arcs, constituting the first subquadratic bound for surface patches. As a byproduct of our approach we obtain a faster algorithm to cut a set of lines into $O(n^{3/2}\mathrm{polylog}\; n)$ fragments that admit a depth order.


title: A Model for Dissipation of Solar Wind Magnetic Turbulence by Kinetic Alfv\'{e}n Waves at Electron Scales: Comparison with Observations

abstract: In hydrodynamic turbulence, it is well established that the length of the dissipation scale depends on the energy cascade rate, i.e., the larger the energy input rate per unit mass, the more the turbulent fluctuations need to be driven to increasingly smaller scales to dissipate the larger energy flux. Observations of magnetic spectral energy densities indicate that this intuitive picture is not valid in solar wind turbulence. Dissipation seems to set in at the same length scale for different solar wind conditions independently of the energy flux. To investigate this difference in more detail, we present an analytic dissipation model for solar wind turbulence at electron scales, which we compare with observed spectral densities. Our model combines the energy transport from large to small scales and collisionless damping, which removes energy from the magnetic fluctuations in the kinetic regime. We assume wave-particle interactions of kinetic Alfv\'{e}n waves (KAW) to be the main damping process. Wave frequencies and damping rates of KAW are obtained from the hot plasma dispersion relation. Our model assumes a critically balanced turbulence, where larger energy cascade rates excite larger parallel wavenumbers for a certain perpendicular wavenumber. If the dissipation is additionally wave driven such that the dissipation rate is proportional to the parallel wavenumber - as with KAW - then an increase of the energy cascade rate is counter-balanced by an increased dissipation rate for the same perpendicular wavenumber leading to a dissipation length independent of the energy cascade rate.


title: Nonperturbative Transverse Momentum Effects in Dihadron and Direct Photon-Hadron Angular Correlations

abstract: Two-particle angular correlations have long been used as an observable for measuring the initial-state partonic transverse momentum $k_T$. Sensitivity to this small transverse momentum scale allows nonperturbative transverse momentum dependent effects to be probed in high $p_T$ dihadron and direct photon-hadron correlations. The observable $p_{out}$, the out-of-plane transverse momentum component from a near-side $\pi^0$ or direct photon, is sensitive to initial-state $k_T$ and final-state fragmentation transverse momentum $j_T$ and thus can probe nonperturbative transverse-momentum-dependent effects. In the transverse-momentum-dependent framework, nearly back-to-back particle production in $p$+$p$ collisions with a measured final-state hadron has been predicted to break factorization due to the possibility of gluon exchanges with colored remnants in the initial and final states. For this reason, the interacting partons are predicted to be correlated; however, there is so far no quantitative prediction for the magnitude of such effects. In this talk, recent measurements of dihadron and direct-photon hadron correlations in $p$+$p$ collisions at $\sqrt{s}$=510 GeV at the PHENIX experiment will be presented.


title: Off-shell superconformal higher spin multiplets in four dimensions

abstract: We formulate off-shell N=1 superconformal higher spin multiplets in four spacetime dimensions and briefly discuss their coupling to conformal supergravity. As an example, we explicitly work out the coupling of the superconformal gravitino multiplet to conformal supergravity. The corresponding action is super-Weyl invariant for arbitrary supergravity backgrounds. However, it is gauge invariant only if the supersymmetric Bach tensor vanishes. This is similar to linearised conformal supergravity in curved background.


title: Moderate-Resolution Holographic Spectrograph

abstract: We present a new scheme of a moderate-resolution spectrograph based on a cascade of serial holographic gratings each of which produces an individual spectrum with a resolution of about 6000 and a bandwidth of 80 nm. The gratings ensure centering of each part of the spectrum they produce so as to provide uniform coverage of the broadest possible wavelength interval. In this study we manage to simultaneously cover the 430-680 nm interval without gaps using three gratings. Efficiency of the spectrograph optical system itself from the entrance slit to the CCD detector is typically of about 60 % with a maximum of 75 %. We discuss the advantages and drawbacks of the new spectrograph scheme as well as the astrophysical tasks for which the instrument can be used.


title: Blown-up intersection cohomology

abstract: In previous works, we have introduced the blown-up intersection cohomology and used it to extend Sullivan's minimal models theory to the framework of pseudomanifolds, and to give a positive answer to a conjecture of M. Goresky and W. Pardon on Steenrod squares in intersection homology. In this paper, we establish the main properties of this cohomology. One of its major feature is the existence of cap and cup products for any filtered space and any commutative ring of coefficients, at the cochain level. Moreover, we show that each stratified map induces an homomorphism between the blown-up intersection cohomologies, compatible with the cup and cap products. We prove also its topological invariance in the case of a pseudomanifold with no codimension one strata. Finally, we compare it with the intersection cohomology studied by G. Friedman and J.E. McClure. A great part of our results involves general perversities, defined independently on each stratum, and a tame intersection homology adapted to large perversities.


title: Close-up images of the final Philae landing site on comet 67P/Churyumov-Gerasimenko acquired by the ROLIS camera

abstract: After coming to rest on the night side of comet 67P/Churyumov-Gerasimenko, the ROLIS camera on-board Rosetta's Philae lander acquired five images of the surface below the lander, four of which were with the aid of LED illumination of different colors. The images confirm that Philae was perched on a sloped surface. A local horizon is visible in one corner of the image, beyond which we can see the coma. Having spent a full day on the surface Philae was commanded to lift and rotate, after which a final, sixth, LED image was acquired. The change in perspective allowed us to construct a shape model of the surface. The distance to the foreground was about 80 cm, much larger than the nominal 30 cm. This caused stray light, rather than directly reflected LED light, to dominate the image signal, complicating the analysis. The images show a lumpy surface with a roughness of apparently fractal nature. Its appearance is completely different from that of the first landing site, which was characterized by centimeter to meter-sized debris (Mottola et al., 2015). We recognize neither particles nor pores at the image resolution of 0.8 mm per pixel and large color variations are absent. The surface has a bi-modal brightness distribution that can be interpreted in terms of the degree of consolidation, a hypothesis that we support with experimental evidence. We propose the surface below the lander to consist of smooth, cracked plates with unconsolidated edges, similar to terrain seen in CIVA images.


title: Bounded cohomology and virtually free hyperbolically embedded subgroups

abstract: Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$, \dots) embeds via the natural restriction maps into the inverse limit of the second bounded cohomologies of its virtually free subgroups, and in fact even into the inverse limit of the second bounded cohomologies of its hyperbolically embedded virtually free subgroups. This result is new and non-trivial even in the case where $G$ is a (non-free) hyperbolic group. The corresponding statement fails in general for the third bounded cohomology, even for surface groups.


title: Conceptual design report on a charge breeder for HIE-ISOLDE

abstract: In this conceptual design report the possible options for an upgrade of the REX/HIE-ISOLDE charge breeder are discussed. The performance requirements imposed by standard HIE-ISOLDE physics as well as injection into a possible future TSR@ISOLDE are discussed, and thereafter translated into machine parameters. Experimental results from tests of a high-current and high-density electron gun performed at Brookhaven National Laboratory are presented, and alternative gun designs are discussed. Finally, a cost estimate is given together with possible beneficiaries of the on-going R&D, and potential collaboration partners are identified.


title: The Aharonov-Bohm Effect on Entanglement Entropy in Conformal Field Theory

abstract: We consider the Aharonov-Bohm effect on entanglement entropy for one interval in (1+1) dimensional conformal field theory on a one dimensional ring. The magnetic field is confined inside the ring, i.e. there is a Wilson loop on the ring. The Aharonov-Bohm phase factor which is proportional to the Wilson loop is represented as insertion of twist operators. We compute exactly the Renyi entropy from a four point function of twist operators in a free charged scalar field.


title: Twisted Polytope Sheaves and Coherent-Constructible Correspondence for Toric Varieties

abstract: Given a smooth projective toric variety $X_\Sigma$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_\Sigma)$ into the dg derived category of constructible sheaves on a torus $Sh(T^n, \Lambda_\Sigma)$. Recently, Kuwagaki \cite{Ku2} proved that the quasi-embedding is a quasi-equivalence, and generalized the result to toric stacks. Here we give a different proof in the smooth projective case, using non-characteristic deformation of sheaves to find twisted polytope sheaves that co-represent the stalk functors.


title: $d_{\ell}(z)$ and BAO in the emergent gravity and the dark universe

abstract: We illustrate that $\Lambda$MOND cosmology following from E. Verlinde's emergent gravity idea which contains only constant dark energy and baryonic matters governed by linear inverse gravitation forces at and beyond galaxy scales fit with the luminosity distance v.s. redshift relationship, i.e. $d_\ell(z)$ of type Ia supernovae equally well as the standard $\Lambda$CDM cosmology does. But in a rather broad and reasonable parameter space, $\Lambda$MOND gives too strong baryon acoustic oscillation, i.e. BAO signals on the matter power spectrum contradicting with observations from various galaxy survey and counting experiments.


title: Radio Tomography for Roadside Surveillance

abstract: Radio tomographic imaging (RTI) has recently been proposed for tracking object location via radio waves without requiring the objects to transmit or receive radio signals. The position is extracted by inferring which voxels are obstructing a subset of radio links in a dense wireless sensor network. This paper proposes a variety of modeling and algorithmic improvements to RTI for the scenario of roadside surveillance. These include the use of a more physically motivated weight matrix, a method for mitigating negative (aphysical) data due to noisy observations, and a method for combining frames of a moving vehicle into a single image. The proposed approaches are used to show improvement in both imaging (useful for human-in-the-loop target recognition) and automatic target recognition in a measured data set.


title: How Large is the Contribution of Excited Mesons in Coupled-Channel Effects?

abstract: We study the excited $B$ mesons' contributions to the coupled-channel effects under the framework of ${}^3P_0$ model for the bottomonium. Contrary to what has been widely accepted, the contributions of $P$ wave $B$ mesons are generally the largest and this result is independent of the potential parameters to some extent. We also push the calculation beyond $B(1P)$ and carefully analyze the contributions of $B(2S)$. A form factor is a key ingredient to suppress the contributions of $B(2S)$ for low lying bottomonia. However, this suppression mechanism is not efficient for highly excited bottomonia such as $\Upsilon(5S)$ and $\Upsilon(6S)$. We give explanations why this difficulty happens to ${}^3P_0$ model and suggest analyzing flux-tube breaking model for the full calculation of coupled-channel effects.


title: Pseudogap-induced anisotropic suppression of electronic Raman response in cuprate superconductors

abstract: It has become clear that the anomalous properties of cuprate superconductors are intimately related to the formation of a pseudogap. Within the framework of the kinetic-energy-driven superconducting mechanism, the effect of the pseudogap on the electronic Raman response of cuprate superconductors in the superconducting-state is studied by taking into account the interplay between the superconducting gap and pseudogap. It is shown that the low-energy spectra almost rise as the cube of energy in the B_{1g} channel and linearly with energy in the B_{2g} channel. However, the pseudogap is strongly anisotropic in momentum space, where the magnitude of the pseudogap around the nodes is smaller than that around the antinodes, which leads to that the low-energy spectral weight of the B_{1g} spectrum is suppressed heavily by the pseudogap, while the pseudogap has a more modest effect on the electronic Raman response in the B_{2g} orientation.


title: Mixed one-bit compressive sensing with applications to overexposure correction for CT reconstruction

abstract: When a measurement falls outside the quantization or measurable range, it becomes saturated and cannot be used in classical reconstruction methods. For example, in C-arm angiography systems, which provide projection radiography, fluoroscopy, digital subtraction angiography, and are widely used for medical diagnoses and interventions, the limited dynamic range of C-arm flat detectors leads to overexposure in some projections during an acquisition, such as imaging relatively thin body parts (e.g., the knee). Aiming at overexposure correction for computed tomography (CT) reconstruction, we in this paper propose a mixed one-bit compressive sensing (M1bit-CS) to acquire information from both regular and saturated measurements. This method is inspired by the recent progress on one-bit compressive sensing, which deals with only sign observations. Its successful applications imply that information carried by saturated measurements is useful to improve recovery quality. For the proposed M1bit-CS model, alternating direction methods of multipliers is developed and an iterative saturation detection scheme is established. Then we evaluate M1bit-CS on one-dimensional signal recovery tasks. In some experiments, the performance of the proposed algorithms on mixed measurements is almost the same as recovery on unsaturated ones with the same amount of measurements. Finally, we apply the proposed method to overexposure correction for CT reconstruction on a phantom and a simulated clinical image. The results are promising, as the typical streaking artifacts and capping artifacts introduced by saturated projection data are effectively reduced, yielding significant error reduction compared with existing algorithms based on extrapolation.


title: On the fly control of high harmonic generation using a structured pump beam

abstract: High harmonic generation (HHG) is an extreme nonlinear frequency up-conversion process during which extremely short duration optical pulses at very short wavelengths are emitted. A major concern of HHG is the small conversion efficiency at the single emitter level. Thus ensuring that the emission at different locations are emitted in phase is crucial. At high pump intensities it is impossible to phase match the radiation without reverting to ordered modulations of either the medium or the pump field itself, a technique known as Quasi-Phase-Matching (QPM). To date, demonstrated QPM techniques of HHG were usually complicated and/or lacked tunability. Here we demonstrate experimentally a relatively simple, highly and easily tunable QPM technique by using a structured pump beam made of the interference of different spatial optical modes. With this technique we demonstrate on-the-fly, tunable quasi-phase-matching of harmonic orders 25 to 39 with up to 30 fold enhancement of the emission.


title: A pre-semantics for counterfactual conditionals and similar logics

abstract: The elegant Stalnaker/Lewis semantics for counterfactual conditonals works with distances between models. But human beings certainly have no tables of models and distances in their head. We begin here an investigation using a more realistic picture, based on findings in neuroscience. We call it a pre-semantics, as its meaning is not a description of the world, but of the brain, whose structure is (partly) determined by the world it reasons about. In the final section, we reconsider the components, and postulate that there are no atomic pictures, we can always look inside.


title: Krein's trace theorem revisited

abstract: We supply the first proof of Krein's Trace Theorem which does not use complex analysis. Our proof holds for~$\sigma$-finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of~$\mathcal{M}$.


title: Using Iterated Function Systems to Reveal Biases in the Distribution of Prime Numbers

abstract: Iterated function systems (IFS) can be a surprisingly useful tool for studying structure in data. Here we present results stemming from a 2013 computational study by the author using IFS. The results include fractal patterns that reveal "repulsive" phenomena among primes in a wide range of classes, having specified arithmetic or congruence properties. Some of the phenomena shown in our computations relate to the recent, groundbreaking work of Lemke Oliver and Soundararajan on biases between consecutive primes. We do not have asymptotics to explain our results, but provide graphs, data, and detailed explanations of the phenomena.


title: On the gravitational nature of energy

abstract: We propose the idea that not all energy is a source of gravity. We discuss the role of energy in the theory of gravitation and provide a formulation of gravity which takes into account the quantum nature of the source. We show that gravity depends dramatically on the entanglement present between the constituents of the Universe. Applications of the theory and open questions are also discussed.


title: Rational Polygons: Odd Compression Ratio and Odd Plane Coverings

abstract: Let P be a polygon with rational vertices in the plane. We show that for any finite odd-sized collection of translates of P, the area of the set of points lying in an odd number of these translates is bounded away from 0 by a constant depending on P alone. The key ingredient of the proof is a construction of an odd cover of the plane by translates of P. That is, we establish a family F of translates of P covering (almost) every point in the plane a uniformly bounded odd number of times.


title: Star Cluster Formation from Turbulent Clumps. I. The Fast Formation Limit

abstract: We investigate the formation and early evolution of star clusters assuming that they form from a turbulent starless clump of given mass bounded inside a parent self-gravitating molecular cloud characterized by a particular mass surface density. As a first step we assume instantaneous star cluster formation and gas expulsion. We draw our initial conditions from observed properties of starless clumps. We follow the early evolution of the clusters up to 20 Myr, investigating effects of different star formation efficiencies, primordial binary fractions and eccentricities and primordial mass segregation levels. We investigate clumps with initial masses of $M_{\rm cl}=3000\:{\rm M}_\odot$ embedded in ambient cloud environments with mass surface densities, $\Sigma_{\rm cloud}=0.1$ and $1\:{\rm g\:cm^{-2}}$. We show that these models of fast star cluster formation result, in the fiducial case, in clusters that expand rapidly, even considering only the bound members. Clusters formed from higher $\Sigma_{\rm cloud}$ environments tend to expand more quickly, so are soon larger than clusters born from lower $\Sigma_{\rm cloud}$ conditions. To form a young cluster of a given age, stellar mass and mass surface density, these models need to assume a parent molecular clump that is many times denser, which is unrealistic compared to observed systems. We also show that in these models the initial binary properties are only slightly modified by interactions, meaning that binary properties, e.g., at 20 Myr, are very similar to those at birth. With this study we set up the basis of future work where we will investigate more realistic models of star formation compared to this instantaneous, baseline case.


title: An enthalpy-based multiple-relaxation-time lattice Boltzmann method for solid-liquid phase change heat transfer in metal foams

abstract: In this paper, an enthalpy-based multiple-relaxation-time (MRT) lattice Boltzmann (LB) method is developed for solid-liquid phase change heat transfer in metal foams under local thermal non-equilibrium (LTNE) condition. The enthalpy-based MRT-LB method consists of three different MRT-LB models: one for flow field based on the generalized non-Darcy model, and the other two for phase change material (PCM) and metal foam temperature fields described by the LTNE model. The moving solid-liquid phase interface is implicitly tracked through the liquid fraction, which is simultaneously obtained when the energy equations of PCM and metal foam are solved. The present method has several distinctive features. First, as compared with previous studies, the present method avoids the iteration procedure, thus it retains the inherent merits of the standard LB method and is superior over the iteration method in terms of accuracy and computational efficiency. Second, a volumetric LB scheme instead of the bounce-back scheme is employed to realize the no-slip velocity condition in the interface and solid phase regions, which is consistent with the actual situation. Last but not least, the MRT collision model is employed, and with additional degrees of freedom, it has the ability to reduce the numerical diffusion across phase interface induced by solid-liquid phase change. Numerical tests demonstrate that the present method can be served as an accurate and efficient numerical tool for studying metal foam enhanced solid-liquid phase change heat transfer in latent heat storage. Finally, comparisons and discussions are made to offer useful information for practical applications of the present method.


title: Equivalent Markov processes under gauge group

abstract: We have studied Markov processes on denumerable state space and continuous time. We found that all these processes are connected via gauge transformations. We have used this result before as a method for resolution of equations, included the case where the sample space is time dependent in a previous work \textit{Phys. Rev. E} \textbf{90}, 022125 (2014). We found a general solution through a dilation of the state space, although the prior probability distribution of the states defined in this new space takes smaller values with respect to the one in the initial problem. The gauge (local) group of dilations modifies the distribution on the dilated space to restore the original process. In this work we show how Markov process in general could be linked via gauge (local) transformations and we present some illustrative examples for this results.


title: Fracture imaging within a granitic rock aquifer using multiple-offset single-hole and cross-hole GPR reflection data

abstract: The sparsely spaced highly permeable fractures of the granitic rock aquifer at Stang-er-Brune (Brittany, France) form a well-connected fracture network of high permeability but unknown geometry. Previous work based on optical and acoustic logging together with single-hole and cross-hole flowmeter data acquired in 3 neighboring boreholes (70-100 m deep) have identified the most important permeable fractures crossing the boreholes and their hydraulic connections. To constrain possible flow paths by estimating the geometries of known and previously unknown fractures, we have acquired, processed and interpreted multifold, single- and cross-hole GPR data using 100 and 250 MHz antennas. The GPR data processing scheme consisting of time-zero corrections, scaling, bandpass filtering and F-X deconvolution, eigenvector filtering, muting, pre-stack Kirchhoff depth migration and stacking was used to differentiate fluid-filled fracture reflections from source-generated noise. The final stacked and pre-stack depth-migrated GPR sections provide high-resolution images of individual fractures (dipping 30-90{\deg}) in the surroundings (2-20 m for the 100 MHz antennas; 2-12 m for the 250 MHz antennas) of each borehole in a 2D plane projection that are of superior quality to those obtained from single-offset sections. Most fractures previously identified from hydraulic testing can be correlated to reflections in the single-hole data. Several previously unknown major near vertical fractures have also been identified away from the boreholes.


title: Using Big Data to Enhance the Bosch Production Line Performance: A Kaggle Challenge

abstract: This paper describes our approach to the Bosch production line performance challenge run by Kaggle.com. Maximizing the production yield is at the heart of the manufacturing industry. At the Bosch assembly line, data is recorded for products as they progress through each stage. Data science methods are applied to this huge data repository consisting records of tests and measurements made for each component along the assembly line to predict internal failures. We found that it is possible to train a model that predicts which parts are most likely to fail. Thus a smarter failure detection system can be built and the parts tagged likely to fail can be salvaged to decrease operating costs and increase the profit margins.


title: Bounds on parameters of minimally non-linear patterns

abstract: Let $ex(n, P)$ be the maximum possible number of ones in any 0-1 matrix of dimensions $n \times n$ that avoids $P$. Matrix $P$ is called minimally non-linear if $ex(n, P) = \omega(n)$ but $ex(n, P') = O(n)$ for every strict subpattern $P'$ of $P$. We prove that the ratio between the length and width of any minimally non-linear 0-1 matrix is at most $4$, and that a minimally non-linear 0-1 matrix with $k$ rows has at most $5k-3$ ones. We also obtain an upper bound on the number of minimally non-linear 0-1 matrices with $k$ rows. In addition, we prove corresponding bounds for minimally non-linear ordered graphs. The minimal non-linearity that we investigate for ordered graphs is for the extremal function $ex_{<}(n, G)$, which is the maximum possible number of edges in any ordered graph on $n$ vertices with no ordered subgraph isomorphic to $G$.


title: iCorr : Complex correlation method to detect origin of replication in prokaryotic and eukaryotic genomes

abstract: Computational prediction of origin of replication (ORI) has been of great interest in bioinformatics and several methods including GC Skew, Z curve, auto-correlation etc. have been explored in the past. In this paper, we have extended the auto-correlation method to predict ORI location with much higher resolution for prokaryotes. The proposed complex correlation method (iCorr) converts the genome sequence into a sequence of complex numbers by mapping the nucleotides to {+1,-1,+i,-i} instead of {+1,-1} used in the auto-correlation method (here, 'i' is square root of -1). Thus, the iCorr method uses information about the positions of all the four nucleotides unlike the earlier auto-correlation method which uses the positional information of only one nucleotide. Also, this earlier method required visual inspection of the obtained graphs to identify the location of origin of replication. The proposed iCorr method does away with this need and is able to identify the origin location simply by picking the peak in the iCorr graph. The iCorr method also works for a much smaller segment size compared to the earlier auto-correlation method, which can be very helpful in experimental validation of the computational predictions. We have also developed a variant of the iCorr method to predict ORI location in eukaryotes and have tested it with the experimentally known origin locations of S. cerevisiae with an average accuracy of 71.76%.


title: The Research Data Alliance: Building Bridges to Enable Scientific Data Sharing

abstract: The Research Data Alliance is an international organization which aims at building the technical and sociological bridges that enable the open sharing of scientific data. It is a remarkable forum to discuss all the aspects of scientific data sharing with colleagues from all around the world: in November 2016, it has 4 500 members from 115 countries. The biannual Plenary meetings, which gather several hundred participants, are rotating between different regions. The March 2017 one will be held in Barcelona and the September 2017 one in Montreal, after Tokyo and Denver in 2016. The RDA work is organized bottom-up, with Working Groups which have 18 months to produce implementable deliverables and Interest Groups which serve as platforms of communication and discussion and also produce important outputs such as surveys and recommendations. There are currently 27 Working Groups and 45 Interest Groups, tackling a wide diversity of subjects, including community needs, reference for sharing, data stewardship and services, and topics related to the base infrastructure of data sharing. Some scientific communities use the RDA as a neutral forum to define their own disciplinary data sharing framework, with major successes such as the Wheat Data Interoperability Working Group which worked in coordination with the International Wheat Initiative. Astronomy has the IVOA to define its interoperability standards, and so we do not need to create a Group for that purpose in the RDA. But many topics discussed in the RDA have a strong interest for us, for instance on data citation or certification of data repositories. We have a lot to share from what we have learnt in building our disciplinary global data infrastructure; we also have a lot to learn from others. The paper discusses RDA current themes or results of interest for astronomy data providers, and current liaisons with astronomy.


title: Single-hole GPR reflection imaging of solute transport in a granitic aquifer

abstract: Identifying transport pathways in fractured rock is extremely challenging as flow is often organized in a few fractures that occupy a very small portion of the rock volume. We demonstrate that saline tracer experiments combined with single-hole ground penetrating radar (GPR) reflection imaging can be used to monitor saline tracer movement within mm-aperture fractures. A dipole tracer test was performed in a granitic aquifer by injecting a saline solution in a known fracture, while repeatedly acquiring single-hole GPR sections in the pumping borehole located 6 m away. The final depth-migrated difference sections make it possible to identify consistent temporal changes over a 30 m depth interval at locations corresponding to fractures previously imaged in GPR sections acquired under natural flow and tracer-free conditions. The experiment allows determining the dominant flow paths of the injected tracer and the velocity (0.4-0.7 m/min) of the tracer front.


title: Cosmological histories in bimetric gravity: A graphical approach

abstract: The bimetric generalization of general relativity has been proven to be able to give an accelerated background expansion consistent with observations. Apart from the energy densities coupling to one or both of the metrics, the expansion will depend on the cosmological constant contribution to each of them, as well as the three parameters describing the interaction between the two metrics. Even for fixed values of these parameters can several possible solutions, so called branches, exist. Different branches can give similar background expansion histories for the observable metric, but may have different properties regarding, for example, the existence of ghosts and the rate of structure growth. In this paper, we outline a method to find viable solution branches for arbitrary parameter values. We show how possible expansion histories in bimetric gravity can be inferred qualitatively, by picturing the ratio of the scale factors of the two metrics as the spatial coordinate of a particle rolling along a frictionless track.


title: Approximation of Gram-Schmidt Orthogonalization by Data Matrix

abstract: For a matrix ${\bf A}$ with linearly independent columns, this work studies to use its normalization $\bar{\bf A}$ and ${\bf A}$ itself to approximate its orthonormalization $\bf V$. We theoretically analyze the order of the approximation errors as $\bf A$ and $\bar{\bf A}$ approach ${\bf V}$, respectively. Our conclusion is able to explain the fact that a high dimensional Gaussian matrix can well approximate the corresponding truncated Haar matrix. For applications, this work can serve as a foundation of a wide variety of problems in signal processing such as compressed subspace clustering.


title: Direction- and Salt-Dependent Ionic Current Signatures for DNA Sensing with Asymmetric Nanopores

abstract: Solid-state nanopores are promising tools for single molecule detection of both DNA and proteins. In this study, we investigate the patterns of ionic current blockades as DNA translocates into or out of the geometric confinement of such conically shaped pores. We studied how the geometry of a nanopore affects the detected ionic current signal of a translocating DNA molecule over a wide range of salt concentration. The blockade level in the ionic current depends on the translocation direction at a high salt concentration, and at lower salt concentrations we find a non-intuitive ionic current decrease and increase within each single event for the DNA translocations exiting from confinement. We use recently developed DNA rulers with markers and finite element calculations to explain our observations. Our calculations explain the shapes of the signals observed at all salt concentrations and show that the unexpected current decrease and increase are due to the competing effects of ion concentration polarization and geometric exclusion of ions. Our analysis shows that over a wide range of geometry, voltage and salt concentrations we are able to understand the ionic current signals of DNA in asymmetric nanopores enabling signal optimization in molecular sensing applications.


title: Enumerative geometry and geometric representation theory

abstract: This is an introduction to: (1) the enumerative geometry of rational curves in equivariant symplectic resolutions, and (2) its relation to the structures of geometric representation theory. Written for the 2015 Algebraic Geometry Summer Institute.


title: Decoherence and Interferometric Sensitivity of BosonSampling in Superconducting Networks

abstract: Multiple bosons undergoing coherent evolution in a coupled network of sites constitute a so-called quantum walk system. The simplest example of such a two-particle interference is the celebrated Hong-Ou-Mandel interference. When scaling to larger boson numbers, simulating the exact distribution of bosons has been shown, under reasonable assumptions, to be exponentially hard. We analyze the feasibility and expected performance of a globally connected superconducting resonator based quantum walk system, using the known characteristics of state-of-the-art components. We simulate the sensitivity of such a system to decay processes and to perturbations and compare with coherent input states.


title: Gibbs Measures with memory of length 2 on an arbitrary order Cayley tree

abstract: In this paper, we consider the Ising-Vanniminus model on an arbitrary order Cayley tree. We generalize the results conjectured in [Chinese Journal of Physics, 54 (4), 635-649 (2016)] and [International Journal of Modern Physics, arXiv:1608.06178] for an arbitrary order Cayley tree. We establish existence and a full classification of translation invariant Gibbs measures with memory of length 2 associated with the model on arbitrary order Cayley tree. We construct the recurrence equations corresponding generalized ANNNI model. We satisfy the Kolmogorov \emph{consistency} condition. We propose a rigorous measure-theoretical approach to investigate the Gibbs measures with memory of length 2 for the model. We explain whether the number of branches of tree does not change the number of Gibbs measures. Also we take up with trying to determine when phase transition does occur.


title: Tunneling control in an integrable model for Bose-Einstein Condensate in a triple well potential

abstract: In this work we show the simplest and integrable model for Bose-Einstein condensates loaded in a triple well potential where the tunneling between two wells can be controlled by the other well showing a behavior similar to an electronic field effect transistor. Using a classical analysis, the Hamilton's equation are obtained, a threshold indicating a discontinuous phase transition is presented and the classical dynamics is computed. Then, the quantum dynamics is investigated using direct diagonalisation. We find well agreement in both these analysis. Based on our results, the switching scheme for tunneling is shown and the experimental feasibility is discussed.


title: Closed-form formulas for the distribution of the jumps of doubly-stochastic Poisson processes

abstract: We study the obtainment of closed-form formulas for the distribution of the jumps of a doubly-stochastic Poisson process. The problem is approached in two ways. On the one hand, we translate the problem to the computation of multiple derivatives of the Hazard process cumulant generating function; this leads to a closed-form formula written in terms of Bell polynomials. On the other hand, for Hazard processes driven by L\'evy processes, we use Malliavin calculus in order to express the aforementioned distributions in an appealing recursive manner. We outline the potential application of these results in credit risk.


title: Multiplicative ergodicity of laplace transforms for additive functional of markov chains with application to age-dependent branching process

abstract: We study the exponential growth of bifurcating processes with ancestral dependence. We suppose here that the lifetimes of the cells are dependent random variables, that the numbers of new cells are random and dependent. Lifetimes and new cells's numbers are also assumed to be dependent. We illustrate our results by examples, including some Markov models. Our approach is related to the behaviour of the Laplace transform of nonnegative additive functional of Markov chains and require weak moment assumption (no exponential moment is needed).


title: Comparision of the definitions of generalized solution of the Cauchy problem for quasi-linear equation

abstract: In preprint we consider and compare different definitions of generalized solution of the Cauchy problem for 1d-scalar quasilinear equation (conservation law). We start from the classical approaches goes back to I.M. Gelfand, O.A. Oleinik, S.N. Kruzhkov and move to the modern finite-difference approximations approaches belongs to A.A. Shananin and G.M. Henkin. We discuss the conditions that provide definitions to be equivalent.


title: Is microcanonical ensemble stable?

abstract: No, in a rigorous sense specified below.


title: On convergence in the subpower Higson corona of metric spaces

abstract: The subpower Higson corona of a proper metric space is defined in \cite{KZ}. We prove that, unlikely to the Higson corona, the closure of a $\sigma$-compact subset of the subpower Higson corona of a proper unbounded metric space does not necessarily coincide with its Stone-\v{C}ech corona.


title: The Unum Number Format: Mathematical Foundations, Implementation and Comparison to IEEE 754 Floating-Point Numbers

abstract: This thesis examines a modern concept for machine numbers based on interval arithmetic called 'Unums' and compares it to IEEE 754 floating-point arithmetic, evaluating possible uses of this format where floating-point numbers are inadequate. In the course of this examination, this thesis builds theoretical foundations for IEEE 754 floating-point numbers, interval arithmetic based on the projectively extended real numbers and Unums.


title: Image denoising using group sparsity residual and external nonlocal self-similarity prior

abstract: Nonlocal image representation has been successfully used in many image-related inverse problems including denoising, deblurring and deblocking. However, a majority of reconstruction methods only exploit the nonlocal self-similarity (NSS) prior of the degraded observation image, it is very challenging to reconstruct the latent clean image. In this paper we propose a novel model for image denoising via group sparsity residual and external NSS prior. To boost the performance of image denoising, the concept of group sparsity residual is proposed, and thus the problem of image denoising is transformed into one that reduces the group sparsity residual. Due to the fact that the groups contain a large amount of NSS information of natural images, we obtain a good estimation of the group sparse coefficients of the original image by the external NSS prior based on Gaussian Mixture model (GMM) learning and the group sparse coefficients of noisy image is used to approximate the estimation. Experimental results have demonstrated that the proposed method not only outperforms many state-of-the-art methods, but also delivers the best qualitative denoising results with finer details and less ringing artifacts.


title: Glycolaldehyde in Perseus young solar analogs

abstract: Aims: In this paper we focus on the occurrence of glycolaldehyde (HCOCH2OH) in young solar analogs by performing the first homogeneous and unbiased study of this molecule in the Class 0 protostars of the nearby Perseus star forming region. Methods: We obtained sub-arcsec angular resolution maps at 1.3mm and 1.4mm of glycolaldehyde emission lines using the IRAM Plateau de Bure (PdB) interferometer in the framework of the CALYPSO IRAM large program. Results: Glycolaldehyde has been detected towards 3 Class 0 and 1 Class I protostars out of the 13 continuum sources targeted in Perseus: NGC1333-IRAS2A1, NGC1333-IRAS4A2, NGC1333-IRAS4B1, and SVS13-A. The NGC1333 star forming region looks particularly glycolaldehyde rich, with a rate of occurrence up to 60%. The glycolaldehyde spatial distribution overlaps with the continuum one, tracing the inner 100 au around the protostar. A large number of lines (up to 18), with upper-level energies Eu from 37 K up to 375 K has been detected. We derived column densities > 10^15 cm^-2 and rotational temperatures Trot between 115 K and 236 K, imaging for the first time hot-corinos around NGC1333-IRAS4B1 and SVS13-A. Conclusions: In multiple systems glycolaldehyde emission is detected only in one component. The case of the SVS13-A+B and IRAS4-A1+A2 systems support that the detection of glycolaldehyde (at least in the present Perseus sample) indicates older protostars (i.e. SVS13-A and IRAS4-A2), evolved enough to develop the hot-corino region (i.e. 100 K in the inner 100 au). However, only two systems do not allow us to firmly conclude whether the primary factor leading to the detection of glycolaldehyde emission is the environments hosting the protostars, evolution (e.g. low value of Lsubmm/Lint), or accretion luminosity (high Lint).


title: epsilon: A tool to find a canonical basis of master integrals

abstract: In 2013, Henn proposed a special basis for a certain class of master integrals, which are expressible in terms of iterated integrals. In this basis, the master integrals obey a differential equation, where the right hand side is proportional to $\epsilon$ in $d=4-2\epsilon$ space-time dimensions. An algorithmic approach to find such a basis was found by Lee. We present the tool epsilon, an efficient implementation of Lee's algorithm based on the Fermat computer algebra system as computational backend.


title: On the suitability of the Brillouin action as a kernel to the overlap procedure

abstract: We investigate the Brillouin action in terms of its suitability as a kernel to the overlap procedure, with a view on both heavy and light quark physics. We use the diagonal elements of the Kenney-Laub family of iterations for the sparse matrix sign function, since they grow monotonically and facilitate cascaded preconditioning strategies with different rational approximations to the sign function. We find that the overlap action with the Brillouin kernel is significantly better localized than the version with the Wilson kernel.


title: State-Space Representation of Hysteresis Systems Exhibiting the Return Point Memory

abstract: Application of the minimal state-space realization to hysteresis systems is studied. The method allows to construct the space of states and establish the state transition rules using the input equivalence, which can be obtained for hysteresis systems basing on rate independence and the return point memory.


title: On (Commercial) Benefits of Automatic Text Summarization Systems in the News Domain: A Case of Media Monitoring and Media Response Analysis

abstract: In this work, we present the results of a systematic study to investigate the (commercial) benefits of automatic text summarization systems in a real world scenario. More specifically, we define a use case in the context of media monitoring and media response analysis and claim that even using a simple query-based extractive approach can dramatically save the processing time of the employees without significantly reducing the quality of their work.


title: Supercongruences related to ${}_3F_2(1)$ involving harmonic numbers

abstract: We show various supercongruences for truncated series which involve central binomial coefficients and harmonic numbers. The corresponding infinite series are also evaluated.


title: Notes on solution maps of abstract FDEs

abstract: It is shown that the solution maps of an abstract functional differential equations (FDEs) are $\alpha$-contractions in the phase space equipped with an equivalent norm under appropriate assumptions. This result can be applied to time-delayed reaction-diffusion equations and other evolution systems with time delay.


title: Structure effects on fission yields

abstract: The structure effects of the fission fragments on their yields are studied within the statical theory with the inputs, like, excitation energies and level density parameters for the fission fragments at a given temperature calculated using the temperature dependent relativistic mean field formalism (TRMF). For the comparison, the results are also obtained using the finite range droplet model. At temperatures $T =1-2$ MeV, the structural effects of the fission fragments influence their yields. It is also seen that at $T = $ 3 MeV, the fragments become spherical and the fragments distribution peaks at a close shell or near close shell nucleus.


title: Non-genetic diversity modulates population performance

abstract: Biological functions are typically performed by groups of cells that express predominantly the same genes, yet display a continuum of phenotypes. While it is known how one genotype can generate such non-genetic diversity, it remains unclear how different phenotypes contribute to the performance of biological function at the population level. We developed a microfluidic device to simultaneously measure the phenotype and chemotactic performance of tens of thousands of individual, freely-swimming Escherichia coli as they climbed a gradient of attractant. We discovered that spatial structure spontaneously emerged from initially well-mixed wild type populations due to non-genetic diversity. By manipulating the expression of key chemotaxis proteins, we established a causal relationship between protein expression, non- genetic diversity, and performance that was theoretically predicted. This approach generated a complete phenotype-to-performance map, in which we found a nonlinear regime. We used this map to demonstrate how changing the shape of a phenotypic distribution can have as large of an effect on collective performance as changing the mean phenotype, suggesting that selection could act on both during the process of adaptation.


title: Fast spectral variations of OBA stars

abstract: Our search for magnetic fields in selected OBA stars using FOcal Reducer low dispersion Spectrographs FORS 1 and FORS 2 in spectropolarimetric mode revealed the presence of strong line profile variations (LPV) in spectra of magnetic OBA stars. More specifically, we detected moderate line profile variations of selected lines on a time scale of minutes in FORS 2 spectra of the A0 supergiant HD 92207 (Hubrig et al. 2014). Recently, we investigated the variability of line profiles of selected OBA stars with the multi-mode focal reducer SCORPIO at the 6-meter BTA telescope. We discovered regular variations of H and He lines in the spectra of the O-type star HD 93521 (O9.5III) with periods ~4-5 and ~32-36 minutes. The possible origin of short time-scale spectral variations is discussed.


title: Domains of Holomorphy

abstract: We give a simple and more elementary proof that the notions of Domain of Holomorphy and Weak Domain of Holomorphy are equivalent. This proof is based on a combination of Baire's Category Theorem and Montel's Theorem. We also obtain generalizations by demanding that the non-extentable functions belong to a particular class of holomorphic functions in the domain. We give an example of a domain in the plane which is a domain of holomorphy with respect to the class of all holomorphic functions but not with respect to the class of holomorphic functions continuously extendable on the closure of the domain.


title: Boundary Hilbert spaces and trace operators

abstract: We discuss the introduction of boundary Hilbert spaces for a class of physical systems for which it is not possible to factor their state spaces as tensor products of Hilbert spaces naturally associated to their boundaries and bulks respectively. In order to do this we make use of the so called trace operators that play a relevant role in the analysis of PDE's in bounded regions. By taking advantage of these operators and some functorial aspects of the construction of Fock spaces, we will show how to obtain quantum dynamics at the boundaries defined in appropriate Hilbert spaces associated with them.


title: Simulated Tornado Optimization

abstract: We propose a swarm-based optimization algorithm inspired by air currents of a tornado. Two main air currents - spiral and updraft - are mimicked. Spiral motion is designed for exploration of new search areas and updraft movements is deployed for exploitation of a promising candidate solution. Assignment of just one search direction to each particle at each iteration, leads to low computational complexity of the proposed algorithm respect to the conventional algorithms. Regardless of the step size parameters, the only parameter of the proposed algorithm, called tornado diameter, can be efficiently adjusted by randomization. Numerical results over six different benchmark cost functions indicate comparable and, in some cases, better performance of the proposed algorithm respect to some other metaheuristics.


title: Deterministic and Probabilistic Conditions for Finite Completability of Low-rank Multi-View Data

abstract: We consider the multi-view data completion problem, i.e., to complete a matrix $\mathbf{U}=[\mathbf{U}_1|\mathbf{U}_2]$ where the ranks of $\mathbf{U},\mathbf{U}_1$, and $\mathbf{U}_2$ are given. In particular, we investigate the fundamental conditions on the sampling pattern, i.e., locations of the sampled entries for finite completability of such a multi-view data given the corresponding rank constraints. In contrast with the existing analysis on Grassmannian manifold for a single-view matrix, i.e., conventional matrix completion, we propose a geometric analysis on the manifold structure for multi-view data to incorporate more than one rank constraint. We provide a deterministic necessary and sufficient condition on the sampling pattern for finite completability. We also give a probabilistic condition in terms of the number of samples per column that guarantees finite completability with high probability. Finally, using the developed tools, we derive the deterministic and probabilistic guarantees for unique completability.


title: Drinfeld-Stuhler modules

abstract: We study $\mathscr{D}$-elliptic sheaves in terms of their associated modules, which we call Drinfeld-Stuhler modules. We prove some basic results about Drinfeld-Stuhler modules and their endomorphism rings, and then examine the existence and properties of Drinfeld-Stuhler modules with large endomorphism algebras, which are analogous to CM and supersingular Drinfeld modules. Finally, we examine the fields of moduli of Drinfeld-Stuhler modules.


title: Statistics of magnetic field measurements in OB stars

abstract: We review the measurements of magnetic fields of OB stars and compile a catalog of magnetic OB stars. Based on available data we confirm that magnetic field values are distributed according to a log--normal law with a mean log(B)=2.53 and a standard deviation $\sigma=0.54$. We also investigate the formation of the magnetic field of OBA stars before the Main Sequence (MS).


title: Optimized, Direct Sale of Privacy in Personal-Data Marketplaces

abstract: Very recently, we are witnessing the emergence of a number of start-ups that enables individuals to sell their private data directly to brokers and businesses. While this new paradigm may shift the balance of power between individuals and companies that harvest data, it raises some practical, fundamental questions for users of these services: how they should decide which data must be vended and which data protected, and what a good deal is. In this work, we investigate a mechanism that aims at helping users address these questions. The investigated mechanism relies on a hard-privacy model and allows users to share partial or complete profile data with broker companies in exchange for an economic reward. The theoretical analysis of the trade-off between privacy and money posed by such mechanism is the object of this work. We adopt a generic measure of privacy although part of our analysis focuses on some important examples of Bregman divergences. We find a parametric solution to the problem of optimal exchange of privacy for money, and obtain a closed-form expression and characterize the trade-off between profile-disclosure risk and economic reward for several interesting cases.


title: Indications for a cascade component in {\gamma}-ray blazar spectra

abstract: We present a very brief overview of some recent gamma-ray observations of selected blazars to reveal an indication for a considerable or even dominant contribution of secondary gamma-rays from electromagnetic cascades to the observable spectra in the 1-500 GeV energy range.


title: Controlling droplet spreading with topography

abstract: We present a novel experimental system that can be used to study the dynamics of picoliter droplet spreading over substrates with topographic variations. We concentrate on spreading of a droplet within a recessed stadium-shaped pixel, with applications to the manufacture of POLED displays, and find that the sloping side wall of the pixel can either locally enhance or hinder spreading depending on whether the topography gradient ahead of the contact line is positive or negative. Locally enhanced spreading occurs via the formation of thin pointed rivulets along the side walls of the pixel through a mechanism similar to capillary rise in sharp corners. We demonstrate that a thin-film model combined with an experimentally measured spreading law, which relates the speed of the contact line to the contact angle, provides excellent predictions of the evolving liquid morphologies. We also show that the spreading can be adequately described by a Cox-Voinov law for the majority of the evolution. The model does not include viscous effects and hence, the timescales for the propagation of the thin pointed rivulets are not captured. Nonetheless, this simple model can be used very effectively to predict the areas covered by the liquid and may serve as a useful design tool for systems that require precise control of liquid on substrates.


title: Electron Positron Pair Production in Strong Electric Fields

abstract: This work covers electron positron pair production in spatially homogeneous electric (and magnetic) fields. Different field configurations are looked at in order to study various phenomena including multiphoton pair production, Sauter-Schwinger pair production and dynamically assisted pair production. The main focus lies on pulsed, rotating fields with one main frequency component which are called rotating Sauter pulses. The results are obtained via two numerical methods, that rest on different theoretical approaches. A generic method is derived from the Dirac-Heisenberg-Wigner (DHW) formalism which entails a modified quantum kinetic equation. We call the numerical solution of this equation the Wigner method. Other types of equations are derived from the DHW formalism as well and numerically solved with the aim to include magnetic fields. In the case of rotating Sauter pulses a completely different numerical method is developed, which is based on a semiclassical approach and therefore called the semiclassical method. A number of parameter studies are conducted to understand pair production in rotating Sauter pulses. The Wigner method and the semiclassical method are compared exhaustively and found to complement each other. This makes it possible to cover the complete range of parameters of the rotating Sauter pulse, which helps to calculate the pair production rates for experiments involving counter-propagating circularly polarized laser light. An interpretation of the pair production spectra is given. Due to the general nature of the Wigner method it is possible to study more general field configurations which include pulses with elliptic polarization, chirp or bichromatic rotating Sauter pulses. Each of these exhibit interesting features, including the dynamically assisted Schwinger effect in bichromatic pulses, which could be useful in planning high-intensity laser experiments.


title: Scalar-Fluid interacting dark energy: cosmological dynamics beyond the exponential potential

abstract: We extend the dynamical systems analysis of Scalar-Fluid interacting dark energy models performed in C. G. Boehmer et al, Phys. Rev. D 91, 123002 (2015), by considering scalar field potentials beyond the exponential type. The properties and stability of critical points are examined using a combination of linear analysis, computational methods and advanced mathematical techniques, such as centre manifold theory. We show that the interesting results obtained with an exponential potential can generally be recovered also for more complicated scalar field potentials. In particular, employing power-law and hyperbolic potentials as examples, we find late time accelerated attractors, transitions from dark matter to dark energy domination with specific distinguishing features, and accelerated scaling solutions capable of solving the cosmic coincidence problem.


title: Integrating Lipschitzian Dynamical Systems using Piecewise Algorithmic Differentiation

abstract: In this article we analyze a generalized trapezoidal rule for initial value problems with piecewise smooth right hand side \(F:\R^n\to\R^n\). When applied to such a problem the classical trapezoidal rule suffers from a loss of accuracy if the solution trajectory intersects a nondifferentiability of \(F\). The advantage of the proposed generalized trapezoidal rule is threefold: Firstly we can achieve a higher convergence order than with the classical method. Moreover, the method is energy preserving for piecewise linear Hamiltonian systems. Finally, in analogy to the classical case we derive a third order interpolation polynomial for the numerical trajectory. In the smooth case the generalized rule reduces to the classical one. Hence, it is a proper extension of the classical theory. An error estimator is given and numerical results are presented.


title: Hidden population of Algols

abstract: We present results of Monte Carlo simulation aiming at the estimate of the frequency of semi-detached Algol-type binaries among the stars observed as single ones. When account is made for various detection biases (mostly due to inclination of orbits), the fraction of Algols among Galactic disk stars appears to be 0.1--0.2\%. However, this number should be regarded as a lower limit only, since there are still unaccounted selection effects and other types of photometrically unresolved binaries. Hidden binarity appears to be an important phenomenon that should be taken into account when considering stellar statistics and construction of fundamental relations between stellar parameters.