Results for "Thomas Ehrhard"

total 24841took 0.13s
Differentials and distances in probabilistic coherence spacesFeb 13 2019In probabilistic coherence spaces, a denotational model of probabilistic functional languages, mor-phisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives allow to compute ... More
A finiteness structure on resource termsJan 19 2010In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of resource lambda-terms, from a calculus similar to Boudol's lambda-calculus ... More
An introduction to Differential Linear Logic: proof-nets, models and antiderivativesJun 06 2016Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for Differential Linear Logic and a categorical ... More
Probabilistic call by push valueJul 16 2016We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing both ... More
Probabilistic call by push valueJul 16 2016Jan 08 2019We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing both ... More
Acyclic Solos and Differential Interaction NetsJul 01 2010Sep 01 2010We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding ... More
CCS for TreesJun 07 2013CCS can be considered as a most natural extension of finite state automata in which interaction is made possible thanks to parallel composition. We propose here a similar extension for top-down tree automata. We introduce a parallel composition which ... More
Measurable Cones and Stable, Measurable FunctionsNov 27 2017We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the main primitives ... More
A Fully Abstract Semantics for Value-passing CCS for TreesJul 01 2016This paper provides a fully abstract semantics for value-passing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. The labelled transition semantics is non-sequential, ... More
The stack calculusMar 29 2013We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. ... More
Full abstraction for probabilistic PCFNov 04 2015We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation ... More
A convenient differential categoryJun 16 2010In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such spaces were introduced by Fr\"olicher and Kriegl, where they were called ... More
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor ExpansionSep 13 2012Oct 08 2012We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's original model of the pure lambda calculus. This calculus is related to ... More
New proofs of Rosenthal's $\ell^{1}$--theorem and the Josefson--Nissenzweig theoremMar 31 1994We give elementary proofs of the theorems mentioned in the title. Our methods rely on a simple version of Ramsey theory and a martingale difference lemma. They also provide quantitative results: if a Banach space contains $\ell^{1}$ only with a bad constant ... More
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and ApplicationsApr 12 2019This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both theoretical and ... More
On Linear Information SystemsMar 29 2010Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing ... More
On the quantifier-free dynamic complexity of ReachabilityJun 13 2013Jan 28 2015The dynamic complexity of the reachability query is studied in the dynamic complexity framework of Patnaik and Immerman, restricted to quantifier-free update formulas. It is shown that, with this restriction, the reachability query cannot be dynamically ... More
Sélection de la structure d'un perceptron multicouches pour la réduction dun modèle de simulation d'une scierieDec 05 2008Simulation is often used to evaluate the relevance of a Directing Program of Production (PDP) or to evaluate its impact on detailed sc\'enarii of scheduling. Within this framework, we propose to reduce the complexity of a model of simulation by exploiting ... More
Infinite reduced words and the Tits boundary of a Coxeter groupJan 05 2013Sep 18 2014Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the limit weak order on the blocks of infinite reduced words of W is encoded by the topology of the Tits boundary of the Davis complex X of W. We consider many special cases, including ... More
How deals with discrete data for the reduction of simulation models using neural networkJun 10 2009Simulation is useful for the evaluation of a Master Production/distribution Schedule (MPS). Also, the goal of this paper is the study of the design of a simulation model by reducing its complexity. According to theory of constraints, we want to build ... More
On the boundedness of an iteration involving points on the hypersphereJan 11 2010Oct 05 2010For a finite set of points $X$ on the unit hypersphere in $\mathbb{R}^d$ we consider the iteration $u_{i+1}=u_i+\chi_i$, where $\chi_i$ is the point of $X$ farthest from $u_i$. Restricting to the case where the origin is contained in the convex hull of ... More
Nef reduction and anticanonical bundlesOct 31 2003We investigate the structure of smooth projective 3-folds X with -K_X nef and K_X^3=0.
Causes and Explanations in the Structural-Model Approach: Tractable CasesDec 12 2012In this paper, we continue our research on the algorithmic aspects of Halpern and Pearl's causes and explanations in the structural-model approach. To this end, we present new characterizations of weak causes for certain classes of causal models, which ... More
Dynamic Conjunctive QueriesApr 05 2017The article investigates classes of queries maintainable by conjunctive queries (CQs) and their extensions and restrictions in the dynamic complexity framework of Patnaik and Immerman. Starting from the basic language of quantifier-free conjunctions of ... More
Spectral Correlations in the Crossover Transition from a Superposition of Harmonic Oscillators to the Gaussian Unitary EnsembleJul 20 1998We compute the spectral correlation functions for the transition from a harmonic oscillator towards the Gaussian Unitary Ensemble (GUE). We use a variant of the supersymmetry method to obtain analytical results in a fast and elegant way. In contrast to ... More
Thermodynamic formalism for transport coefficients with an application to the shear modulus and shear viscosityDec 07 2016We discuss Onsager's thermodynamic formalism for transport coefficients and apply it to the calculation of the shear modulus and shear viscosity of a monodisperse system of repulsive particles. We focus on the concept of extensive "distance" and intensive ... More
GAVO Tools for the Analysis of Stars and NebulaeJun 15 2007Within the framework of the German Astrophysical Virtual Observatory (GAVO), we provide synthetic spectra, simulation software for the calculation of NLTE model atmospheres, as well as necessary atomic data. This will enable a VO user to directly compare ... More
Finite group extensions and the Baum-Connes conjectureSep 13 2002Jul 29 2007In this note, we exhibit a method to prove the Baum-Connes conjecture (with coefficients) for extensions with finite quotients of certain groups which already satisfy the Baum-Connes conjecture. Interesting examples to which this method applies are torsion-free ... More
Quantization and the Issue of Time for Various Two-Dimensional Models of GravityAug 31 1993It is shown that the models of 2D Liouville Gravity, 2D Black Hole- and $R^2$-Gravity are {\em embedded} in the Katanaev-Volovich model of 2D NonEinsteinian Gravity. Different approaches to the formulation of a quantum theory for the above systems are ... More
Measuring the Accuracy of Linked Data IndicesMar 19 2016Being based on Web technologies, Linked Data is distributed and decentralised in its nature. Hence, for the purpose of finding relevant Linked Data on the Web, search indices play an important role. Also for avoiding network communication overhead and ... More
Modelling Epidemics on NetworksNov 21 2011Dec 15 2011Infectious disease remains, despite centuries of work to control and mitigate its effects, a major problem facing humanity. This paper reviews the mathematical modelling of infectious disease epidemics on networks, starting from the simplest Erdos-Renyi ... More
Anomalies and large N limits in matrix string theoryJun 20 1998May 13 1999We study the loop expansion for the low energy effective action for matrix string theory. For long string configurations we find the result depends on the ordering of limits. Taking $g_s\to 0$ before $N\to\infty$ we find free strings. Reversing the order ... More
Generalised network clustering and its dynamical implicationsJun 23 2010A parameterisation of generalised network clustering, in the form of four-motif prevalences, is presented. This involves three real parameters that are conditional on one- two- and three-motif prevalences. Interpretations of these real parameters are ... More
Non-Markovian stochastic epidemics in extremely heterogeneous populationsMar 12 2014A feature often observed in epidemiological networks is significant heterogeneity in degree. A popular modelling approach to this has been to consider large populations with highly heterogeneous discrete contact rates. This paper defines an individual-level ... More
Exact epidemic dynamics for generally clustered, complex networksJun 17 2010Oct 02 2012The last few years have seen remarkably fast progress in the understanding of statistics and epidemic dynamics of various clustered networks. This paper considers a class of networks based around a concept (the locale) that allows asymptotically exact ... More
Forbidden Induced SubgraphsOct 15 2016In descending generality I survey: five partial orderings of graphs, the induced-subgraph ordering, and examples like perfect, threshold, and mock threshold graphs. The emphasis is on how the induced subgraph ordering differs from other popular orderings ... More
Tutorial Note on Merging Matrix Elements with Parton ShowersMar 26 2015In this short note, I introduce to essential conceptual features and main building blocks of matrix element merging algorithms, operating on fixed order calculations both at leading order and next-to-leading order. The intention is purely pedagogical, ... More
Measured geodesic laminations in FlatlandJan 16 2015Since their introduction by Thurston, measured geodesic laminations on hyperbolic surfaces occur in many contexts. In this survey, we give a generalization of geodesic laminations on surfaces endowed with a half-translation structure, called flat laminations, ... More
Decompositions of Binomial Ideals in Macaulay 2Jun 29 2011The package Binomials contains implementations of specialized algorithms for binomial ideals, including primary decomposition into binomial ideals. The current implementation works in characteristic zero. Primary decomposition is restricted to binomial ... More
A new formula for $ζ$(2n + 1) (and how not to prove that $ζ$(5) is irrational)Aug 09 2016Using a new polylogarithmic identity, we express the values of $\zeta$ at odd integers 2n + 1 as integrals over unit n--dimensional hypercubes of simple functions involving products of logarithms. We then make several conjectures, based on numerical evidence, ... More
The Cornstarch FlamethrowerJun 06 2016Igniting cornstarch powder is a classic physics demonstration that showcases the rapid conduction of heat for a material in which the surface area is greater than the volume of its constituent particles. Including such a demonstration in a physics "magic ... More
Strong solidity of group factors from lattices in SO(n,1) and SU(n,1)Sep 12 2010We show that the group factors of ICC lattices in either SO(n,1) or SU(n,1), n \geq 2, are strongly solid in the sense of Ozawa and Popa. This strengthens a result of Ozawa and Popa showing that these factors do not have Cartan subalgebras.
Periodic excitations of bilinear quantum systemsMar 06 2011Aug 09 2012A well-known method of transferring the population of a quantum system from an eigenspace of the free Hamiltonian to another is to use a periodic control law with an angular frequency equal to the difference of the eigenvalues. For finite dimensional ... More
The obstruction to the existence of a loopless star productSep 30 2013Jan 15 2014We show that there is an obstruction to the existence of a star product defined by Kontsevich graphs without directed cycles.
Characteristic classes in deformation quantizationAug 21 2012Dec 03 2014In deformation quantization one can associate five characteristic functions to (stable) formality morphisms on cochains and chains and to "two-brane" formality morphisms. We show that these characteristic functions agree.
Probabilistic Latent Semantic AnalysisJan 23 2013Probabilistic Latent Semantic Analysis is a novel statistical technique for the analysis of two-mode and co-occurrence data, which has applications in information retrieval and filtering, natural language processing, machine learning from text, and in ... More
Testing Quarkonium Production with Photoproduced $J/ψ+ γ$Nov 13 1996Jan 14 1997I compute the leading color-octet contributions to the process $\gamma + p \to J/\psi + \gamma (+ X)$ within the non-relativistic QCD (NRQCD) factorization formalism. In the color-singlet model, $J/\psi + \gamma$ can only be produced when the photon interacts ... More
Summing $O(β_0^n α_s^{n+1})$ Corrections to Top Quark DecaysJul 21 1997Order $\beta_0^n \alpha_s^{n+1}$ QCD corrections to top quark decays into $W^+$ and $H^+$ bosons are computed to all orders in perturbation theory. Predictions for the radiative corrections to the top quark width are compared with the estimates from BLM ... More
The $1/m_Q$ Expansion in QCD: Introduction and OverviewSep 22 1994A mini-review of the heavy mass expansion in QCD is given. We focus on exclusive semileptonic decays and some topics of recent interest in inclusive decays of heavy hadrons.
Computing the Maslov index from singularities of a matrix Riccati equationOct 13 2015Oct 27 2015We study the Maslov index as a tool to analyze stability of steady state solutions to a reaction-diffusion equation in one spatial dimension. We show that the path of unstable subspaces associated to this equation is governed by a matrix Riccati equation ... More
Constrained randomization of time series dataSep 30 1999A new method is introduced to create artificial time sequences that fulfil given constraints but are random otherwise. Constraints are usually derived from a measured signal for which surrogate data are to be generated. They are fulfilled by minimizing ... More
Genealogy of Nonperturbative Quantum-Invariants of 3-Manifolds: The Surgical FamilyJan 21 1996Mar 22 1996We study the relations between the invariants $\tau_{RT}$, $\tau_{HKR}$, and $\tau_L$ of Reshetikhin-Turaev, Hennings-Kauffman-Radford, and Lyubashenko, respectively. In particular, we discuss explicitly how $\tau_L$ specializes to $\tau_{RT}$ for semisimple ... More
Mapping Class Group Actions on Quantum DoublesFeb 03 1994We study representations of the mapping class group of the punctured torus on the double of a finite dimensional possibly non-semisimple Hopf algebra that arise in the construction of universal, extended topological field theories. We discuss how for ... More
Guaranteed successful strategies for a square achievement game on an n by n gridSep 11 2011May 20 2012At some places (see the references) Martin Erickson describes a certain game: "Two players alternately write O's (first player) and X's (second player) in the unoccupied cells of an n x n grid. The first player (if any) to occupy four cells at the vertices ... More
Finite-size scaling tests for SU(3) lattice gauge theory with color sextet fermionsOct 16 2009The observed slow running of the gauge coupling in SU(3) lattice gauge theory with two flavors of color sextet fermions naturally suggests it is a theory with one relevant coupling, the fermion mass, and that at zero mass correlation functions decay algebraically. ... More
Volume scaling of Dirac eigenvalues in SU(3) lattice gauge theory with color sextet fermionsJun 24 2009I observe a rough volume-dependent scaling of the low eigenvalues of a chiral Dirac operator in lattice studies of SU(3) lattice gauge theory with two flavors of color sextet fermions, in its weak-coupling phase. The mean value of the ith eigenvalue scales ... More
Reweighting QCD simulations with dynamical overlap fermionsOct 03 2008I apply a recently developed algorithm for reweighting simulations of lattice QCD from one quark mass to another to simulations performed with overlap fermions in the epsilon regime. I test it by computing the condensate from distributions of the low ... More
Eigenvalue Decomposition of Meson CorrelatorsOct 27 2003Euclidean space hadronic correlators are computed in quenched QCD at small quark mass using truncations of quark propagators which include or exclude low eigenvalue eigenmodes of the Dirac operator. High modes provide the dominant contribution to parity ... More
Kaon B Parameter in Quenched QCDSep 08 2003I calculate the kaon B-parameter with a lattice simulation in quenched approximation. The lattice simulation uses an action possessing exact lattice chiral symmetry, an overlap action. Computations are performed at two lattice spacings, about 0.13 and ... More
Short distance current correlators: Comparing lattice simulations to the instanton liquidJun 01 2001Aug 01 2001Point to point correlators of currents are computed in quenched QCD using a chiral lattice fermion action, the overlap action. I compare correlators made of exact quark propagators with correlators restricted to low (less than 500 MeV) eigenvalue eigenmodes ... More
Oblique correction in a walking lattice theoryJun 18 2010I compute the difference of vector and axial vector current correlators in the weak coupling phase of (lattice-regulated) SU(3) gauge theory with two flavors of symmetric-representation dynamical fermions. This is a walking theory at the bare parameter ... More
Ginsparg-Wilson GamesAug 23 1999I implement a set of tricks for constructing lattice fermion actions which approximately realize the Ginsparg-Wilson relation, with very promising results from simulations.
Sources of false positives and false negatives in the STATCHECK algorithm: Reply to Nuijten et al. (2016)Oct 04 2016Nov 15 2016STATCHECK is an R algorithm designed to scan papers automatically for inconsistencies between test statistics and their associated p values (Nuijten et al., 2016). The goal of this comment is to point out an important and well-documented flaw in this ... More
Automated Evaluation of One-Loop Six-Point Processes for the LHCMar 05 2009In the very near future the first data from LHC will be available. The searches for the Higgs boson and for new physics will require precise predictions both for the signal and the background processes. Tree level calculations typically suffer from large ... More
Spectroscopic madness--A golden age for amateursJan 04 2011Today, professional instrumentation is dominated by heavily oversubscribed telescopes which focus mainly on a limited number of "fashionable" research topics. As a result, time acquisition for massive star research, including extended observation campaigns, ... More
Generalized guidance equation for peaked quantum solitons: the single particle caseFeb 09 2016We study certain non-linear generalisations of the Schr{\"o}dinger equation which admit static solitonic 2 solutions in absence of external potential acting on the particle. We consider a class of solutions that can be written as a product of a solution ... More
Generalized guidance equation for peaked quantum solitons and effective gravityFeb 11 2016Apr 12 2016Bouncing oil droplets have been shown to follow de Broglie-Bohm like trajectories and at the same time they exhibit attractive and repulsive pseudo-gravitation. We propose a model aimed at rendering account of these phenomenological observations. It inspires, ... More
Finite-size scaling tests for spectra in SU(3) lattice gauge theory coupled to 12 fundamental flavor fermionsSep 06 2011I carry out a finite-size scaling study of the correlation length in SU(3) lattice gauge theory coupled to 12 fundamental flavor fermions, using recent data published by Fodor, Holland, Kuti, Nogradi and Schroeder. I make the assumption that the system ... More
KPP reaction-diffusion systems with loss inside a cylinder: convergence toward the problem with Robin boundary conditionsJul 21 2010We consider in this paper a reaction-diffusion system under a KPP hypothesis in a cylindrical domain in the presence of a shear flow. Such systems arise in predator-prey models as well as in combustion models with heat losses. Similarly to the single ... More
The number of beams in IMRT - theoretical investigations and implications for single-arc IMRTSep 17 2009The first purpose of this paper is to shed some new light on the old question of selecting the number of beams in intensity-modulated radiation therapy (IMRT). The second purpose is to illuminate the related issue of discrete static beam angles vs. rotational ... More
Theoretical Aspects of $b \to s γ$ TransitionsMar 29 2001Apr 25 2001In this talk some of the theoretical aspects of $b \to s \gamma$ transitions are discussed. The focus is on inclusive decays, since these can be computed more reliably. Topics covered are (1) perturbative QCD corrections, (2) non-perturbative contributions ... More
A sharp bilinear cone restriction estimateMay 01 2001The purpose of this paper is to prove an essentially sharp L^2 Fourier restriction estimate for light cones, of the type which is called bilinear in the recent literature.
Physics at ELSA, achievements and futureJan 24 2005At ELSA interesting results on baryon resonances have been obtained by the CB-ELSA, the CBELSA/TAPS and the SAPHIR collaborations. New resonances were found, in particular a new $\rm D_{15}(2070)$ decaying into $p\eta$, was recently observed by the CB-ELSA ... More
The search for missing baryon resonancesJan 11 2005Experiments with electromagnetic probes are promising to search for baryon resonances that have been predicted by quark models but have not yet been observed. Data sets from different experiments show interesting resonance structures possibly due to so ... More
Low-Prandtl-number Bénard-Marangoni convection in a vertical magnetic fieldJun 30 2009The effect of a homogeneous magnetic field on surface-tension-driven B\'{e}nard convection is studied by means of direct numerical simulations. The flow is computed in a rectangular domain with periodic horizontal boundary conditions and the free-slip ... More
Critical Wilson Lines in Toroidal Compactifications of Heteroric StringsSep 25 1992Critical values of Wilson lines and general background fields for toroidal compactifications of heterotic string theories are constructed systematically using Dynkin diagrams.
On the Spinor Representation of Surfaces in Euclidean 3-SpaceDec 30 1997The aim of the present paper is to clarify the relationship between immersions of surfaces and solutions of the inhomogeneous Dirac equation. The main idea leading to the description of a surface M^2 by a spinor field is the observation that the restriction ... More
Descent of coherent sheaves and complexes to geometric invariant theory quotientsJun 27 2002Apr 19 2008Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of $G$-equivariant ... More
Large Scale Structure in the Local Universe: The 2MASS Galaxy CatalogMay 04 2004Using twin ground-based telescopes, the Two Micron All Sky Survey (2MASS) scanned both equatorial hemi- spheres, detecting more than 500 million stars and resolving more than 1.5 million galaxies in the near-infrared (1 - 2.2 microns) bands. The Extended ... More
Curvature cones and the Ricci flowNov 20 2014This survey reviews some facts about nonnegativity conditions on the curvature tensor of a Riemannian manifold which are preserved by the action of the Ricci flow. The text focuses on two main points. First we describe the known examples of preserved ... More
The Random Chinese Postman Tour is 4/3-approximate for network searchDec 19 2015Aug 02 2016We consider a classic search problem first proposed by S. Gal in which a Searcher randomizes between unit speed paths on a network, aiming to find a hidden point in minimal expected time in the worst case. This can be viewed as a zero-sum game between ... More
On the breakdown of perturbative integrability in large N matrix modelsJul 21 2005We study the perturbative integrability of the planar sector of a massive SU(N) matrix quantum mechanical theory with global SO(6) invariance and Yang-Mills-like interaction. This model arises as a consistent truncation of maximally supersymmetric Yang-Mills ... More
Conformal Dimensions of Two-Derivative BMN OperatorsJan 21 2003Mar 20 2003We compute the anomalous dimensions of BMN operators with two covariant derivative impurities at the planar level up to first order in the effective coupling lambda'. The result equals those for two scalar impurities as well as for mixed scalar and vector ... More
Graphene and Boron Nitride Single LayersApr 09 2009This Chapter deals with single layers of carbon (graphene) and hexagonal boron nitride on transition metal surfaces. The transition metal substrates take the role of the support and allow due to their catalytic activity the growth of perfect layers by ... More
Group field theoriesOct 23 2012Group field theories are particular quantum field theories defined on D copies of a group which reproduce spin foam amplitudes on a space-time of dimension D. In these lecture notes, we present the general construction of group field theories, merging ... More
Quantum one-cocycles for knotsApr 03 2013Apr 18 2013We give a method to construct non symmetric solutions of a global tetrahedron equation from solutions of the Yang-Baxter equation. The solution in the HOMFLYPT case gives rise to the first combinatorial quantum 1-cocycle which represents a non trivial ... More
On the unimodality of power transformations of positive stable densitiesFeb 19 2010Nov 15 2013Let $Z_\alpha$ be a positive $\alpha-$stable random variable and $r\in{\bf R}.$ We show the existence of an unbounded open domain $D$ in $[1/2,1]\times{\bf R}$ with a cusp at $(1/2,-1/2)$, characterized by the complete monotonicity of the function $F_{\alpha, ... More
Perverse sheaves on semiabelian varietiesSep 18 2013We give a Tannakian description for categories of l-adic perverse sheaves on semiabelian varieties which combines a construction of Gabber and Loeser for algebraic tori with a generic vanishing theorem for the cohomology of constructible sheaves on abelian ... More
Continuum random trees and branching processes with immigrationSep 22 2005Feb 13 2008We study a genealogical model for continuous-state branching processes with immigration with a (sub)critical branching mechanism. This model allows the immigrants to be on the same line of descent. The corresponding family tree is an ordered rooted continuum ... More
Hamiltonian Formulations of Yang-Mills Quantum Theory and the Gribov ProblemApr 03 1996We review the status of quantising (non-abelian) gauge theories using different versions of a Hamiltonian formulation corresponding to Dirac's instant and front form of dynamics, respectively. In order to control infrared divergences we work in a finite ... More
Various realizations of leptogenesis and neutrino mass constraintsDec 03 2004Seven types of leptogenesis models which can lead to a successful explanation of baryogenesis are presented. Emphasis is put on the conditions which need to be fulfilled by the neutrino masses as well as by the heavy state masses. The model dependence ... More
Hidden vector dark matterNov 03 2008Mar 16 2010We show that dark matter could be made of massive gauge bosons whose stability doesn't require to impose by hand any discrete or global symmetry. Stability of gauge bosons can be guaranteed by the custodial symmetry associated to the gauge symmetry and ... More
A note on the graded K-theory of certain graded ringsFeb 09 2011Following ideas of Quillen it is shown that the graded K-theory of a Z^n-graded ring with support contained in a pointed cone is entirely determined by the K-theory of the subring of degree-0 elements.
Stabilization of the water-wave equations with surface tensionOct 25 2016This paper is devoted to the stabilization of the water-wave equations with surface tension through of an external pressure acting on a small part of the free surface. It is proved that the energy decays to zero exponentially in time, provided that the ... More
Nuclear k_T in d+Au Collisions from Multiparticle Jet Reconstruction at STARNov 01 2005This paper presents the most recent nuclear k_T measurements from STAR derived from multiparticle jet reconstruction of d+Au and p+p collisions at sqrt(s)=200 GeV. Since jets reconstructed from multiple particles are relatively free of fragmentation biases, ... More
Zeta Functions on Arithmetic SurfacesNov 27 2013Mar 02 2015We use a form of lifted harmonic analysis to develop a two-dimensional adelic integral representation of the zeta functions of simple arithmetic surfaces. Manipulations of this integral then lead to an adelic interpretation of the so-called mean-periodicity ... More
A Classification of Semeai with Approach MovesAug 02 2016The paper analyzes liberty races (semeai) in the game of Go. A rigorous treatment of positions with approach moves but no ko revealed a class of positions not described in the literature before. The complete presented classification is simpler and more ... More
Matrix product purifications for canonical ensembles and quantum number distributionsJul 06 2016Oct 23 2016Matrix product purifications (MPPs) are a very efficient tool for the simulation of strongly correlated quantum many-body systems at finite temperatures. When a system features symmetries, these can be used to reduce computation costs substantially. It ... More
Quantum Transport and Electroweak BaryogenesisFeb 27 2013Oct 24 2013We review the mechanism of electroweak baryogenesis. Our focus is on the derivation of quantum transport equations from first principles within the Schwinger-Keldysh formalism. We emphasize the importance of the semiclassical force approach, which provides ... More
High light intensity photoassociation in a Bose-Einstein condensateJan 13 2004Feb 19 2004We investigate theoretically the molecular yield in photoassociation of Bose-Einstein condensed sodium atoms for light intensities of the order of and above those applied in a recent experiment. Our results show that the rate at which ground state molecules ... More