total 621took 0.11s

Wild Singularities of Kummer VarietiesJun 11 2019In characteristic $p=2$, we compute the singularities of Kummer varieties arising from products of elliptic curves. This result is generalized to Kummer varieties associated to ordinary abelian varieties.

Initial Semantics for Reduction RulesDec 22 2012We give an algebraic characterization of the syntax and operational semantics of a class of simply--typed languages, such as the language PCF: we characterize simply--typed syntax with variable binding and equipped with reduction rules via a universal ... More

The splashback radius of halos from particle dynamics. I. The SPARTA algorithmMar 28 2017Jul 14 2017Motivated by the recent proposal of the splashback radius as a physical boundary of dark matter halos, we present a parallel computer code for Subhalo and PARticle Trajectory Analysis (SPARTA). The code analyzes the orbits of all simulation particles ... More

Initiality for Typed Syntax and SemanticsJun 20 2012In this thesis we give an algebraic characterization of the syntax and semantics of simply-typed languages. More precisely, we characterize simply-typed binding syntax equipped with reduction rules via a universal property, namely as the initial object ... More

COLOSSUS: A python toolkit for cosmology, large-scale structure, and dark matter halosDec 12 2017Dec 18 2018This paper introduces Colossus, a public, open-source python package for calculations related to cosmology, the large-scale structure (LSS) of matter in the universe, and the properties of dark matter halos. The code is designed to be fast and easy to ... More

Selected topics from the single top t-channel: cross section and other propertiesJan 21 2016Measurements of the cross section and of the interactions happening at the tWb vertext are performed in the single top t-channel at center-of-mass energies of 7 and 8 TeV. Results of both ATLAS and CMS collaborations are presented. No indications for ... More

Synthesizing Structured Reactive Programs via Deterministic Tree AutomataMar 04 2013Existing approaches to the synthesis of reactive systems typically involve the construction of transition systems such as Mealy automata. However, in order to obtain a succinct representation of the desired system, structured programs can be a more suitable ... More

The continuum random tree is the scaling limit of unlabelled unrooted treesDec 19 2014Dec 14 2016We prove that the uniform unlabelled unrooted tree with n vertices and vertex degrees in a fixed set converges in the Gromov-Hausdorff sense after a suitable rescaling to the Brownian continuum random tree. This proves a conjecture by Aldous. Moreover, ... More

Unlabelled Gibbs partitionsOct 05 2016Oct 15 2016We study random composite structures considered up to symmetry that are sampled according to weights on the inner and outer structures. This model may be viewed as an unlabelled version of Gibbs partitions and encompasses multisets of weighted combinatorial ... More

Asymptotic properties of random unlabelled block-weighted graphsDec 04 2017We study the asymptotic shape of random unlabelled graphs subject to certain subcriticality conditions. The graphs are sampled with probability proportional to a product of Boltzmann weights assigned to their $2$-connected components. As their number ... More

The continuum random tree is the scaling limit of unlabelled unrooted treesDec 19 2014Dec 10 2015We prove that the uniform unlabelled unrooted tree with n vertices and vertex degrees in a fixed set converges in the Gromov-Hausdorff sense after a suitable rescaling to the Brownian continuum random tree. This proves a conjecture by Aldous. Moreover, ... More

Limits of random tree-like discrete structuresDec 08 2016We study a model of random $\mathcal{R}$-enriched trees that is based on weights on the $\mathcal{R}$-structures and allows for a unified treatment of a large family of random discrete structures. We establish distributional limits describing local convergence ... More

Limits of random tree-like discrete structuresDec 08 2016Dec 11 2018We study a model of random $\mathcal{R}$-enriched trees that is based on weights on the $\mathcal{R}$-structures and allows for a unified treatment of a large family of random discrete structures. We establish distributional limits describing local convergence ... More

Unlabelled Gibbs partitionsOct 05 2016We study random composite structures considered up to symmetry that are sampled according to weights on the inner and outer structures. This model may be viewed as an unlabelled version of Gibbs partitions and encompasses multisets of weighted combinatorial ... More

Scaling limits of random outerplanar maps with independent link-weightsMay 28 2015The scaling limit of large simple outerplanar maps was established by Caraceni using a bijection due to Bonichon, Gavoille and Hanusse. The present paper introduces a new bijection between outerplanar maps and trees decorated with ordered sequences of ... More

Polarisation and Beam Energy Measurement at a Linear $e^+e^-$ ColliderJun 13 2014The International Linear Collider (ILC) is a future electron/positron collider at the energy frontier. Its physics goals are clearly focused on precision measurements at the electroweak scale and beyond. Beam energy and beam polarisation are two important ... More

Fluctuating, Lorentz-force-like coupling of Langevin equations and heat flux rectificationJun 26 2017Jul 27 2017In a description of physical systems with Langevin equations, interacting degrees of freedom are usually coupled through symmetric parameter matrices. This coupling symmetry is a consequence of time-reversal symmetry of the involved conservative forces. ... More

Extended Initiality for Typed Abstract SyntaxJul 24 2011Apr 05 2012Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abstract syntax. Zsid\'o proves an initiality result for simply-typed syntax: ... More

Rerooting multi-type branching trees: the infinite spine caseAug 13 2019We prove local convergence results of rerooted conditioned multi-type Galton-Watson trees. The limit objects are multitype variants of the random sin-tree constructed by Aldous (1991), and differ according to which types recur infinitely often along the ... More

Almost flat bundles and homological invariance of infinite K-areaJul 26 2016Mar 14 2018We extend the notion of an almost flat bundle over a closed Riemannian manifold to bundles over simplicial complexes, and prove that up to a constant factor, this notion is invariant under pullback via maps which induce isomorphisms on fundamental groups. ... More

Phase field models for two-dimensional branched transportation problemsMay 14 2018We analyse the following inverse problem. Given a nonconvex functional (from a specific, but quite general class) of normal, codimension-1 currents (which in two spatial dimensions can be interpreted as transportation networks), find the potential of ... More

Scaling limits of random outerplanar maps with independent link-weightsMay 28 2015Dec 07 2016The scaling limit of large simple outerplanar maps was established by Caraceni using a bijection due to Bonichon, Gavoille and Hanusse. The present paper introduces a new bijection between outerplanar maps and trees decorated with ordered sequences of ... More

Local limits of large Galton-Watson trees rerooted at a random vertexNov 03 2016Feb 08 2018We discuss various forms of convergence of the vicinity of a uniformly at random selected vertex in random simply generated trees, as the size tends to infinity. For the standard case of a critical Galton-Watson tree conditioned to be large the limit ... More

Local limits of large Galton-Watson trees rerooted at a random vertexNov 03 2016We discuss various forms of convergence of the vicinity of a uniformly at random selected vertex in random simply generated trees, as the size tends to infinity. For the standard case of a critical Galton-Watson tree conditioned to be large the limit ... More

Initial Semantics for Reduction RulesDec 22 2012Mar 20 2019We give an algebraic characterization of the syntax and operational semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed syntax with variable binding and equipped with reduction rules via a universal property, ... More

The Arduino as a Hardware Random-Number GeneratorDec 16 2012Cheap micro-controllers, such as the Arduino or other controllers based on the Atmel AVR CPUs are being deployed in a wide variety of projects, ranging from sensors networks to robotic submarines. In this paper, we investigate the feasibility of using ... More

Just-In-Time compilation of OCaml byte-codeNov 29 2010Sep 27 2011This paper presents various improvements that were applied to OCamlJIT2, a Just-In-Time compiler for the OCaml byte-code virtual machine. OCamlJIT2 currently runs on various Unix-like systems with x86 or x86-64 processors. The improvements, including ... More

A diagram connecting Symmetric Leibniz algebras with Lie-admissible algebrasMay 24 2019In this paper we study symmetric Leibniz and related algebras, namely symmetric dialgebras and symmetric Perm-algebras. We also calculate their Koszul duals, if not known. This will give us Lie-admissible algebras and new types of algebras, which we call ... More

Well-Posedness of Sparse Frequency EstimationMay 20 2019The problem of estimating the frequencies of an exponential sum has been studied extensively over the last years. It can be understood as a sparse estimation problem, as it strives to identify the sparse representation of a signal using exponentials. ... More

Random enriched trees with applications to random graphsApr 08 2015Dec 08 2016We establish limit theorems that describe the asymptotic local and global geometric behaviour of random enriched trees considered up to symmetry. We apply these general results to random unlabelled weighted rooted graphs and uniform random unlabelled ... More

Graphon convergence of random cographsJun 25 2019We study the behaviour of random labelled and unlabelled cographs with n vertices as n tends to infinity. Our main result is a novel probabilistic limit in the space of graphons.

Gibbs partitions: the convergent caseSep 28 2016We study Gibbs partitions that typically form a unique giant component. The remainder is shown to converge in total variation toward a Boltzmann-distributed limit structure. We demon- strate how this setting encompasses arbitrary weighted assemblies of ... More

Random enriched trees with applications to random graphsApr 08 2015Dec 03 2015We study a model of random $\mathcal{R}$-enriched trees that is based on weights on the $\mathcal{R}$-structures and allows for a unified treatment of a large variety of random trees, graphs and tree-like structures. As their size tends to infinity, these ... More

Local limits of large Galton-Watson trees rerooted at a random vertexNov 03 2016Nov 06 2016We discuss various forms of convergence of the vicinity of a uniformly at random selected vertex in random simply generated trees, as the size tends to infinity. For the standard case of a critical Galton-Watson tree conditioned to be large the limit ... More

StegExpose - A Tool for Detecting LSB SteganographyOct 24 2014Steganalysis tools play an important part in saving time and providing new angles of attack for forensic analysts. StegExpose is a solution designed for use in the real world, and is able to analyse images for LSB steganography in bulk using proven attacks ... More

Initiality for Typed Syntax and SemanticsJun 20 2012We give an algebraic characterization of the syntax and semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed binding syntax equipped with reduction rules via a universal property, namely as the initial ... More

On the Expressive Power of 2-Stack Visibly Pushdown AutomataDec 12 2008Dec 24 2008Visibly pushdown automata are input-driven pushdown automata that recognize some non-regular context-free languages while preserving the nice closure and decidability properties of finite automata. Visibly pushdown automata with multiple stacks have been ... More

Green's function for Poisson's equation and the EEG equation with Neumann boundary condition on $n$-ballsFeb 11 2019We provide an elementary derivation of the Green's function for Poisson's equation with Neumann boundary data on balls of arbitrary dimension, which was recently found in [Sadybekov et al., Eurasian Math. J. 7(2):100-105, 2016]. The underlying idea consists ... More

Full NLO electroweak corrections to Z-boson pair production at the Large Hadron ColliderJul 04 2017We report on a recent calculation of the full next-to-leading-order electroweak corrections to Z-boson pair production with subsequent decays into four charged leptons. Using the complete matrix elements at leading order and next-to-leading order in the ... More

First Search for the Associated Production of a Higgs Boson with a Single Top QuarkJan 21 2016The production of the Higgs boson in association with a single top quark is sensitive to the relative sign of the coupling parameters describing its interaction with fermions and gauge bosons. The tHq production mode therefore provides an good handle ... More

Uniform Unfolding and Analytic MeasurabilityJun 19 1996We regard Forcing Notions P adding real numbers and the algebras of P-measurable sets. As for Cohen- and Random-Forcing we can show that each analytic set is P-measurable using Solovay's Unfolding Trick for infinite games. To show this we develop the ... More

Local convergence of random planar graphsAug 13 2019The present work describes the asymptotic local shape of a graph drawn uniformly at random from all connected simple planar graphs with n labelled vertices. We establish a novel uniform infinite planar graph (UIPG) as quenched limit in the local topology ... More

Optimal micropatterns in 2D transport networks and their relation to image inpaintingJan 27 2016We consider two different variational models of transport networks, the so-called branched transport problem and the urban planning problem. Based on a novel relation to Mumford-Shah image inpainting and techniques developed in that field, we show for ... More

Attractor properties of non-reversible dynamics w.r.t invariant Gibbs measures on the latticeSep 29 2014We consider stochastic dynamics of lattice systems with finite local state space, possibly at low temperature, and possibly non-reversible. We assume the additional regularity properties on the dynamics: a) There is at least one stationary measure which ... More

Theory of frequency modulated combs induced by spatial hole burning, dispersion and KerrMay 31 2019A model for frequency modulated (FM) frequency combs that considers the impact of spatial hole burning, nonlinearities, dispersion and gain asymmetry is presented. Experimental evidence on a linearly chirped laser output was recreated. In the case of ... More

Finite-time quantum quenches in the XXZ Heisenberg chainMay 07 2019We study the time evolution of the two-point correlation functions in the XXZ Heisenberg chain after a finite-time quantum quench in the anisotropy. We compare results from numerical simulations to ones obtained in the Luttinger model and find good agreement. ... More

Graph Neural Networks and Boolean SatisfiabilityFeb 12 2017In this paper we explore whether or not deep neural architectures can learn to classify Boolean satisfiability (SAT). We devote considerable time to discussing the theoretical properties of SAT. Then, we define a graph representation for Boolean formulas ... More

Simply Generated Unrooted Plane TreesAug 24 2018Sep 14 2018We study random unrooted plane trees with $n$ vertices sampled according to the weights corresponding to the vertex-degrees. Our main result shows that if the generating series of the weights has positive radius of convergence, then this model of random ... More

Proton Colliders at the Energy FrontierMar 26 2018Since the CERN ISR, hadron colliders have defined the energy frontier. Noteworthy are the conversion of the Super Proton Synchrotron (SPS) into a proton-antiproton collider, the Tevatron collider, as well as the abandoned SSC in the United States. Hadron ... More

Probing Majorana-like states in quantum dots and quantum ringsSep 26 2014Apr 14 2015Engineering chiral $p$-wave superconductivity in semiconductor structures offers fascinating ways to obtain and study Majorana modes in a condensed matter context. Here, we theoretically investigate chiral $p$-wave superconductivity in quantum dots and ... More

Bilinear R Parity Violation at the ILC - Neutrino Physics at CollidersJul 15 2013Jan 14 2014Supersymmetry (SUSY) with bilinearly broken R parity (bRPV) offers an attractive possibility to explain the origin of neutrino masses and mixings. In such scenarios, the study of neutralino decays at colliders gives access to neutrino sector parameters. ... More

A class of nonergodic interacting particle systems with unique invariant measureAug 27 2012Sep 12 2014We consider a class of discrete $q$-state spin models defined in terms of a translation-invariant quasilocal specification with discrete clock-rotation invariance which have extremal Gibbs measures $\mu'_{\varphi}$ labeled by the uncountably many values ... More

Asymptotic charges, large gauge transformations and inequivalence of different gauges in external current QEDJul 15 2019In this paper we consider external current QED in the Coulomb gauge and in axial gauges for various spatial directions of the axis. For a non-zero electric charge of the current, we demonstrate that any two different gauges from this class correspond ... More

Attractor properties for irreversible and reversible interacting particle systemsJul 05 2015Nov 24 2018We consider translation-invariant interacting particle systems on the lattice with finite local state space admitting at least one Gibbs measure as a time-stationary measure. The dynamics can be irreversible but should satisfy some mild non-degeneracy ... More

General transport problems with branched minimizers as functionals of 1-currents with prescribed boundaryApr 29 2017A prominent model for transportation networks is branched transport, which seeks the optimal transportation scheme to move material from a given initial to a final distribution. The cost of the scheme encodes a higher transport efficiency the more mass ... More

When Can We Answer Queries Using Result-Bounded Data Interfaces?Jun 24 2017Aug 31 2018We consider answering queries where the underlying data is available only over limited interfaces which provide lookup access to the tuples matching a given binding, but possibly restricting the number of output tuples returned. Interfaces imposing such ... More

Benjamini-Schramm convergence of random planar mapsJan 30 2018We prove that the uniform random planar map with n edges converges in the Benjamini-Schramm sense towards an infinite random map as n tends to infinity.

Confidence Sets Based on Sparse Estimators Are Necessarily LargeNov 07 2007May 07 2009Confidence sets based on sparse estimators are shown to be large compared to more standard confidence sets, demonstrating that sparsity of an estimator comes at a substantial price in terms of the quality of the estimator. The results are set in a general ... More

Degradation of entanglement between two accelerated parties: Bell states under the Unruh effectMar 25 2015Sep 01 2015We study the entanglement of families of Unruh modes in the Bell states $|\Phi^\pm\rangle =1/\sqrt{2}(|00\rangle\pm|11\rangle)$ and $|\Psi^\pm\rangle=1/\sqrt{2}(|01\rangle\pm|10\rangle)$ shared by two accelerated observers and find fundamental differences ... More

Dune-CurvilinearGrid: Parallel Dune Grid Manager for Unstructured Tetrahedral Curvilinear MeshesDec 09 2016We introduce the dune-curvilineargrid module. The module provides the self-contained, parallel grid manager, as well as the underlying elementary curvilinear geometry module dune-curvilineargeometry. This work is motivated by the need for reliable and ... More

The distribution of model averaging estimators and an impossibility result regarding its estimationFeb 26 2007The finite-sample as well as the asymptotic distribution of Leung and Barron's (2006) model averaging estimator are derived in the context of a linear regression model. An impossibility result regarding the estimation of the finite-sample distribution ... More

Techniques for approaching the dual Ramsey property in the projective hierarchySep 23 2001We define the dualizations of objects and concepts which are essential for investigating the Ramsey property in the first levels of the projective hierarchy, prove a forcing equivalence theorem for dual Mathias forcing and dual Laver forcing, and show ... More

Attractor properties of non-reversible dynamics w.r.t invariant Gibbs measures on the latticeSep 29 2014Sep 01 2017We consider stochastic dynamics of lattice systems with finite local state space, possibly at low temperature, and possibly non-reversible. We assume the additional regularity properties on the dynamics: a) There is at least one stationary measure which ... More

The Widom-Rowlinson model under spin flip: Immediate loss and sharp recovery of quasilocalitySep 05 2016Apr 10 2017We consider the continuum Widom-Rowlinson model under independent spin-flip dynamics and investigate whether and when the time-evolved point process has an (almost) quasilocal specification (Gibbs-property of the time-evolved measure). Our study provides ... More

Optimal micropatterns in transport networksNov 26 2015We consider two variational models for transport networks, an urban planning and a branched transport model, in which the degree of network complexity and ramification is governed by a small parameter $\varepsilon>0$. Smaller $\varepsilon$ leads to finer ... More

Comparison of path-independent functions of semimartingalesAug 27 2019The martingale comparison method is extended to derive comparison results for path-independent functions for general semimartingales. Our approach allows to dismiss with the Markovian assumption on one of the processes made in previous literature. Main ... More

Comparison of path-dependent functionals of semimartingalesAug 27 2019Based on an extension of the martingale comparison method some comparison results for path-dependent functions of semimartingales are established. The proof makes essential use of the functional It\^o calculus. A main tool is an extension of the Kolmogorov ... More

Homological Invariance of Infinite K-areaJul 26 2016Following ideas of Brunnbauer and Hanke, we construct a notion of infinite K-area for homology classes of simplicial complexes with finitely generated fundamental groups. As in Brunnbauer's and Hanke's work, the results concerning these homology classes ... More

Lensing Constraints on the Mass Profile Shape and Splashback Radius of Galaxy ClustersNov 28 2016The lensing signal around galaxy clusters can, in principle, be used to test detailed predictions for their average mass profile from numerical simulations. However, the intrinsic shape of the profiles can be smeared out when a sample that spans a wide ... More

An accurate physical model for halo concentrationsSep 19 2018Jan 30 2019The relation between halo mass, M, and concentration, c, is a critical component in our understanding of the structure of dark matter halos. While numerous models for this relation have been proposed, almost none of them attempt to derive the evolution ... More

Lensing Constraints on the Mass Profile Shape and the Splashback Radius of Galaxy ClustersNov 28 2016Feb 23 2017The lensing signal around galaxy clusters can, in principle, be used to test detailed predictions for their average mass profile from numerical simulations. However, the intrinsic shape of the profiles can be smeared out when a sample that spans a wide ... More

An optimal construction of Hanf sentencesMay 27 2011Jun 06 2011We give the first elementary construction of equivalent formulas in Hanf normal form. The triply exponential upper bound is complemented by a matching lower bound.

Sharp rate for the dual quantization problemDec 15 2010Jan 25 2015In this paper we establish the sharp rate of the optimal dual quantization problem. The notion of dual quantization was recently introduced in the paper [8], where it was shown that, at least in an Euclidean setting, dual quantizers are based on a Delaunay ... More

Conservative discretization of the Einstein-Dirac equations in spherically symmetric spacetimeJul 28 2006In computational relativity, critical behaviour near the black hole threshold has been studied numerically for several models in the last decade. In this paper we present a spatial Galerkin method, suitable for finding numerical solutions of the Einstein-Dirac ... More

A class of non-ergodic probabilistic cellular automata with unique invariant measure and quasi-periodic orbitApr 12 2014Sep 20 2014We provide an example of a discrete-time Markov process on the three-dimensional infinite integer lattice with Z_q-invariant Bernoulli-increments which has as local state space the cyclic group Z_q. We show that the system has a unique invariant measure, ... More

Equivalent formulations for the branched transport and urban planning problemsSep 22 2015Jun 01 2016We consider two variational models for transport networks, an urban planning and a branched transport model, in both of which there is a preference for networks that collect and transport lots of mass together rather than transporting all mass particles ... More

Nonparametric Estimation and Testing on Discontinuity of Positive Supported Densities: A Kernel Truncation ApproachAug 01 2016Discontinuity in density functions is of economic importance and interest. For instance, in studies on regression discontinuity designs, discontinuity in the density of a running variable suggests violation of the no-manipulation assumption. In this paper ... More

Error thresholds for self- and cross-specific enzymatic replicationMar 05 2010Oct 18 2010The information content of a non-enzymatic self-replicator is limited by Eigen's error threshold. Presumably, enzymatic replication can maintain higher complexity, but in a competitive environment such a replicator is faced with two problems related to ... More

Theory of frequency modulated combs in lasers with spatial hole burning, dispersion and KerrMay 31 2019Jun 18 2019Frequency modulated (FM) frequency combs constitute an exciting alternative to generate equidistant spectra. The full set of Maxwell-Bloch equations is reduced to a single master equation for FM combs with fast dynamics to provide insight into the governing ... More

Phase transitions for a model with uncountable spin space on the Cayley tree: the general caseMar 07 2018In this paper we complete the analysis of a statistical mechanics model on Cayley trees of any degree, started in [EsHaRo12,EsRo10,BoEsRo13,JaKuBo14,Bo17]. The potential is of nearest-neighbor type and the local state space is compact but uncountable. ... More

Finite populations with frequency-dependent selection: a genealogical approachJul 28 2012Evolutionary models for populations of constant size are frequently studied using the Moran model, the Wright-Fisher model, or their diffusion limits. When evolution is neutral, a random genealogy given through Kingman's coalescent is used in order to ... More

Variational time discretization of geodesic calculusOct 07 2012Mar 22 2013We analyze a variational time discretization of geodesic calculus on finite- and certain classes of infinite-dimensional Riemannian manifolds. We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm, discrete ... More

When Can We Answer Queries Using Result-Bounded Data Interfaces?Oct 17 2018We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can return, e.g., ... More

The Widom-Rowlinson model under spin flip: Immediate loss and sharp recovery of quasilocalitySep 05 2016We consider the continuum Widom-Rowlinson model under independent spin-flip dynamics and investigate whether and when the time-evolved point process has an (almost) quasilocal specification (Gibbs-property of the time-evolved measure). Our study provides ... More

A Framework for Wasserstein-1-Type MetricsJan 08 2017Mar 12 2018We propose a unifying framework for generalising the Wasserstein-1 metric to a discrepancy measure between nonnegative measures of different mass. This generalization inherits the convexity and computational efficiency from the Wasserstein-1 metric, and ... More

Proceedings 8th International Workshop on Developments in Computational ModelsMar 29 2014The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, ... More

$α$-type Hochschild cohomology of Hom-associative algebras and Hom-bialgebrasJun 04 2018In this paper we define a new cohomology for multiplicative Hom-associative algebras, which generalize Hochschild cohomology and fits with deformations of Hom-associative algebras including the structure map $\alpha$. It is a generalization of the known ... More

Heterogeneous substitution systems revisitedJan 17 2016Matthes and Uustalu (TCS 327(1-2):155-174, 2004) presented a categorical description of substitution systems capable of capturing syntax involving binding which is independent of whether the syntax is made up from least or greatest fixed points. We extend ... More

Behavioral and Network Origins of Wealth Inequality: Insights from a Virtual WorldMar 25 2014Almost universally, wealth is not distributed uniformly within societies or economies. Even though wealth data have been collected in various forms for centuries, the origins for the observed wealth-disparity and social inequality are not yet fully understood. ... More

GPGPUs in computational finance: Massive parallel computing for American style optionsJan 17 2011The pricing of American style and multiple exercise options is a very challenging problem in mathematical finance. One usually employs a Least-Square Monte Carlo approach (Longstaff-Schwartz method) for the evaluation of conditional expectations which ... More

Realism and Time Symmetry in Quantum MechanicsMay 24 1995Sep 06 1995We describe a gedanken experiment with an interferometer in the case of pre- and postselection in two different time symmetric ways: We apply the ABL formalism and the de Broglie--Bohm model. Interpreting these descriptions ontologically, we get two very ... More

Dynamics and efficiency of a self-propelled, diffusiophoretic swimmerSep 28 2011Active diffusiophoresis - swimming through interaction with a self-generated, neutral, solute gradient - is a paradigm for autonomous motion at the micrometer scale. We study this propulsion mechanism within a linear response theory. Firstly, we consider ... More

Coupling of transverse and longitudinal response in stiff polymersApr 24 2007Sep 03 2007The time-dependent transverse response of stiff polymers, represented as weakly-bending wormlike chains (WLCs), is well-understood on the linear level, where transverse degrees of freedom evolve independently from the longitudinal ones. We show that, ... More

Extremal omega-plurisubharmonic functions as envelopes of disc functionals - Generalization and applications to the local theoryMar 22 2011Jul 19 2011We generalize the Poletsky disc envelope formula for the function $\sup \{u \in \PSH(X,\omega) ; u\leq \phi\}$ on any complex manifold $X$ to the case where the real (1,1)-current $\omega=\omega_1-\omega_2$ is the difference of two positive closed (1,1)-currents ... More

Gibbsian representation for point processes via hyperedge potentialsJul 19 2017Oct 26 2018We consider marked point processes on the d-dimensional euclidean space, defined in terms of a quasilocal specification based on marked Poisson point processes. We investigate the possibility of constructing absolutely-summable Hamiltonians in terms of ... More

Scaling limits of random Pólya treesFeb 25 2015Dec 10 2015P\'olya trees are rooted trees considered up to symmetry. We establish the convergence of large uniform random P\'olya trees with arbitrary degree restrictions to Aldous' Continuum Random Tree with respect to the Gromov-Hausdorff metric. Our proof is ... More

Pattern occurrences in random planar mapsJan 30 2018May 17 2019We consider planar maps adjusted with a (regular critical) Boltzmann distribution and show that the expected number of pattern occurrences of a given map is asymptotically linear when the number n of edges goes to infinity. The main ingredient for the ... More

Genus dependence of the number of (non-)orientable surface triangulationsMar 17 2016Topological triangulations of orientable and non-orientable surfaces with arbitrary genus have important applications in quantum geometry, graph theory and statistical physics. However, until now only the asymptotics for 2-spheres are known analytically, ... More

Towards a native toplevel for the OCaml languageOct 05 2011Oct 27 2011This paper presents the current state of our work on an interactive toplevel for the OCaml language based on the optimizing native code compiler and runtime. Our native toplevel is up to 100 times faster than the default OCaml toplevel, which is based ... More

Starr: Simple Tiling Array Analysis of Affymetrix ChIP-chip dataOct 19 2009Chromatin immunoprecipitation combined with DNA microarrays (ChIP-chip) is an assay for DNA-protein-binding or post-translational chromatin/histone modifications. As with all high-throughput technologies, it requires a thorough bioinformatic processing ... More