Searching Arxiv, refresh for possibly better results.

total 581took 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

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

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

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

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 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

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

Bimodule deformation of fibered manifolds and the HKR theoremJun 01 2018We first want to consider the formal deformation of a fibered manifold $P \rightarrow M$ as a (bi-)module or subalgebra, where $M$ has a given differential star product. Consequently we want to find obstructions for the existence of a bimodule or subalgebra, ... More

One-Counter Automata with Counter ObservabilityFeb 18 2016Jul 19 2016In a one-counter automaton (OCA), one can produce a letter from some finite alphabet, increment and decrement the counter by one, or compare it with constants up to some threshold. It is well-known that universality and language inclusion for OCAs are ... More

Measurement of the e+e- -> pi+pi- cross section using initial state radiation at BESIIIOct 08 2015Using a data set with an integrated luminosity of 2.93 fb$^{-1}$ taken at a center-of-mass energy of 3.773 GeV with the BESIII detector at the BEPCII collider, we extract the $e^+e^-\rightarrow \pi^+\pi^-$ cross section and the pion form factor $|F_\pi|^2$ ... More

Energy transfer in networks with local magnetic time-reversal symmetry breakingSep 03 2014Jan 10 2015Time-reversal symmetry of most conservative forces constrains the properties of linear transport in most physical systems. Here, I study the efficiency of energy transfer in oscillator networks where time-reversal symmetry is broken locally by Lorentz-force-like ... More

An automaton over data words that captures EMSO logicJan 24 2011Jun 10 2011We develop a general framework for the specification and implementation of systems whose executions are words, or partial orders, over an infinite alphabet. As a model of an implementation, we introduce class register automata, a one-way automata model ... More

OCamlJIT 2.0 - Faster Objective CamlNov 08 2010Sep 27 2011This paper presents the current state of an ongoing research project to improve the performance of the OCaml byte-code interpreter using Just-In-Time native code generation. Our JIT engine OCamlJIT2 currently runs on x86-64 processors, mimicing precisely ... More

Modules over relative monads for syntax and semanticsJul 26 2011Nov 19 2013We give an algebraic characterization of the syntax and semantics of a class of languages with variable binding. We introduce a notion of 2-signature: such a signature specifies not only the terms of a language, but also reduction rules on those terms. ... More

A Step-indexed Semantic Model of Types for the Call-by-Name Lambda CalculusMay 10 2011May 15 2011Step-indexed semantic models of types were proposed as an alternative to purely syntactic safety proofs using subject-reduction. Building upon the work by Appel and others, we introduce a generalized step-indexed model for the call-by-name lambda calculus. ... More

On the maximal offspring in a subcritical branching processJan 14 2019We consider a subcritical Galton--Watson tree conditioned on having $n$ vertices with outdegree in a fixed set $\Omega$. Under mild regularity assumptions we prove various limits related to the maximal offspring of a vertex as $n$ tends to infinity.

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

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

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

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

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

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

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

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

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

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

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

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 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

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

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

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 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

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

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

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

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

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

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

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

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.

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

Inverse Ising inference with correlated samplesOct 31 2014Correlations between two variables of a high-dimensional system can be indicative of an underlying interaction, but can also result from indirect effects. Inverse Ising inference is a method to distinguish one from the other. Essentially, the parameters ... More

Notes on Evanescent Wave Bragg-Reflection WaveguidesSep 02 2013We investigate an extended version of the Bragg reflection waveguide (BRW) with air gaps as one of the layers. This design has the potential of drastically simplifying the epitaxial structure for integrated nonlinear optical elements at the expense of ... 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

Physical forces between humans and how humans attract and repel each other based on their social interactions in an online worldDec 09 2014Physical interactions between particles are the result of the exchange of gauge bosons. Human interactions are mediated by the exchange of messages, goods, money, promises, hostilities, etc. While in the physical world interactions and their associated ... More

Terminal semantics for codata types in intensional Martin-Löf type theoryJan 06 2014Apr 22 2014In this work, we study the notions of relative comonad and comodule over a relative comonad, and use these notions to give a terminal coalgebra semantics for the coinductive type families of streams and of infinite triangular matrices, respectively, in ... More

Efficiency of surface-driven motion: nano-swimmers beat micro-swimmersOct 22 2010Dec 16 2010Surface interactions provide a class of mechanisms which can be employed for propulsion of micro- and nanometer sized particles. We investigate the related efficiency of externally and self-propelled swimmers. A general scaling relation is derived showing ... More

Intrinsic stationarity for vector quantization: Foundation of dual quantizationOct 22 2010Mar 27 2012We develop a new approach to vector quantization, which guarantees an intrinsic stationarity property that also holds, in contrast to regular quantization, for non-optimal quantization grids. This goal is achieved by replacing the usual nearest neighbor ... More

Nonlinear, electrocatalytic swimming in the presence of saltFeb 16 2012A small, bimetallic particle in a hydrogen peroxide solution can propel itself by means of an electrocatalytic reaction. The swimming is driven by a flux of ions around the particle. We model this process for the presence of a monovalent salt, where reaction-driven ... More

Solovay-type characterizations for forcing-algebrasMar 02 1997We give characterizations for the (in ZFC unprovable) sentences ``Every $\Sb{1}{2}$--set is measurable" and ``Every $\Db{1}{2}$--set is measurable" for various notions of measurability derived from well--known forcing partial orderings.

Non-Sequential Theory of Distributed SystemsApr 15 2019These lecture notes cover basic automata-theoretic concepts and logical formalisms for the modeling and verification of concurrent and distributed systems. Many of these concepts naturally extend the classical automata and logics over words, which provide ... More

Supervised learning improves disease outbreak detectionFeb 06 2019The early detection of infectious disease outbreaks is a crucial task to protect population health. To this end, public health surveillance systems have been established to systematically collect and analyse infectious disease data. A variety of statistical ... More

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

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

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

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

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

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

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 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.

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

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

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

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

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

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

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

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

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

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

Spin transport in long-range interacting one-dimensional chainApr 16 2018We numerically study spin transport and nonequilibrium spin-density profiles in a clean one-dimensional spin-chain with long-range interactions, decaying as a power-law,$r^{-\alpha}$ with distance. We find two distinct regimes of transport: for $\alpha<1/2$, ... More

A universal model for halo concentrationsJul 17 2014Jan 20 2015We present a numerical study of dark matter halo concentrations in $\Lambda$CDM and self-similar cosmologies. We show that the relation between concentration, $c$, and peak height, $\nu$, exhibits the smallest deviations from universality if halo masses ... More

Dependence of the outer density profiles of halos on their mass accretion rateJan 06 2014Jun 10 2014We present a systematic study of the density profiles of LCDM halos, focusing on the outer regions, 0.1 < r/Rvir < 9. We show that the median and mean profiles of halo samples of a given peak height exhibit significant deviations from the universal analytic ... More

Graph limits of random unlabelled $k$-treesJan 30 2018We study random unlabelled $k$-dimensional trees by combining the colouring approach by Gainer-Dewar and Gessel (2014) with the cycle pointing method by Bodirsky, Fusy, Kang and Vigerske (2011). Our main applications are Gromov-Hausdorff-Prokhorov and ... More

alpha-type Chevalley-Eilenberg cohomology of Hom-Lie algebras and bialgebrasFeb 06 2019The purpose of this paper is to define an $\alpha$-type cohomology, which we call $\alpha$-type Chevalley-Eilenberg cohomology, for Hom-Lie algebras. We relate it to the known Chevalley-Eilenberg cohomology and provide explicit computations for some examples. ... More

Quantization of color Lie bialgebrasDec 26 2018The main purpose of this paper is to study Quantization of color Lie bialgebras, generalizing to color case the approach by Etingof-Kazhdan which were considered for superbialgebras by Geer. Moreover we discuss Drinfeld category, Quantization of Triangular ... More

Approximation of rectifiable $1$-currents and weak-$\ast$ relaxation of the $h$-massOct 19 2018Based on Smirnov's decomposition theorem we prove that every rectifiable $1$-current $T$ with finite mass $\mathbb{M}(T)$ and finite mass $\mathbb{M}(\partial T)$ of its boundary $\partial T$ can be approximated in mass by a sequence of rectifiable $1$-currents ... More