-
Stationary Brownian motion in a 3/4-plane: Reduction to a Riemann-Hilbert problem via Fourier transforms
Authors:
Guy Fayolle,
Sandro Franceschi,
Kilian Raschel
Abstract:
The stationary reflected Brownian motion in a three-quarter plane has been rarely analyzed in the probabilistic literature, in comparison with the quarter plane analogue model. In this context, our main result is to prove that the stationary distribution can indeed be found by solving a boundary value problem of the same kind as the one encountered in the quarter plane, up to various dualities and…
▽ More
The stationary reflected Brownian motion in a three-quarter plane has been rarely analyzed in the probabilistic literature, in comparison with the quarter plane analogue model. In this context, our main result is to prove that the stationary distribution can indeed be found by solving a boundary value problem of the same kind as the one encountered in the quarter plane, up to various dualities and symmetries. The main idea is to start from Fourier (and not Laplace) transforms, allowing to get a functional equation for a single function of two complex variables.
△ Less
Submitted 1 October, 2022; v1 submitted 26 June, 2022;
originally announced June 2022.
-
On the stationary distribution of reflected Brownian motion in a non-convex wedge
Authors:
Guy Fayolle,
Sandro Franceschi,
Kilian Raschel
Abstract:
We study the stationary reflected Brownian motion in a non-convex wedge, which, compared to its convex analogue model, has been much rarely analyzed in the probabilistic literature. We prove that its stationary distribution can be found by solving a two dimensional vector boundary value problem (BVP) on a single curve for the associated Laplace transforms. The reduction to this kind of vector BVP…
▽ More
We study the stationary reflected Brownian motion in a non-convex wedge, which, compared to its convex analogue model, has been much rarely analyzed in the probabilistic literature. We prove that its stationary distribution can be found by solving a two dimensional vector boundary value problem (BVP) on a single curve for the associated Laplace transforms. The reduction to this kind of vector BVP seems to be new in the literature. As a matter of comparison, one single boundary condition is sufficient in the convex case. When the parameters of the model (drift, reflection angles and covariance matrix) are symmetric with respect to the bisector line of the cone, the model is reducible to a standard reflected Brownian motion in a convex cone. Finally, we construct a one-parameter family of distributions, which surprisingly provides, for any wedge (convex or not), one particular example of stationary distribution of a reflected Brownian motion.
△ Less
Submitted 12 November, 2022; v1 submitted 23 February, 2021;
originally announced February 2021.
-
Characterisation of different stages of hadronic showers using the CALICE Si-W ECAL physics prototype
Authors:
CALICE Collaboration,
G. Eigen,
T. Price,
N. K. Watson,
A. Winter,
Y. Do,
A. Khan,
D. Kim,
G. C. Blazey,
A. Dyshkant,
K. Francis,
V. Zutshi,
K. Kawagoe,
Y. Miura,
R. Mori,
I. Sekiya,
T. Suehara,
T. Yoshioka,
J. Apostolakis,
J. Giraud,
D. Grondin,
J. -Y. Hostachy,
O. Bach,
V. Bocharnikov,
E. Brianne
, et al. (81 additional authors not shown)
Abstract:
A detailed investigation of hadronic interactions is performed using $π^-$-mesons with energies in the range 2--10 GeV incident on a high granularity silicon-tungsten electromagnetic calorimeter. The data were recorded at FNAL in 2008. The region in which the $π^-$-mesons interact with the detector material and the produced secondary particles are characterised using a novel track-finding algorith…
▽ More
A detailed investigation of hadronic interactions is performed using $π^-$-mesons with energies in the range 2--10 GeV incident on a high granularity silicon-tungsten electromagnetic calorimeter. The data were recorded at FNAL in 2008. The region in which the $π^-$-mesons interact with the detector material and the produced secondary particles are characterised using a novel track-finding algorithm that reconstructs tracks within hadronic showers in a calorimeter in the absence of a magnetic field. The principle of carrying out detector monitoring and calibration using secondary tracks is also demonstrated.
△ Less
Submitted 18 September, 2019; v1 submitted 16 February, 2019;
originally announced February 2019.
-
Beam test performance of the highly granular SiW-ECAL technological prototype for the ILC
Authors:
K. Kawagoe,
Y. Miura,
I. Sekiya,
T. Suehara,
T. Yoshioka,
S. Bilokin,
J. Bonis,
P. Cornebise,
A. Gallas,
A. Irles,
R. Pöschl,
F. Richard,
A. Thiebault,
D. Zerwas,
M. Anduze,
V. Balagura,
V. Boudry,
J-C. Brient,
E. Edy,
G. Fayolle,
M. Frotin,
F. Gastaldi,
R. Guillaumat,
A. Lobanov,
M. Louzir
, et al. (19 additional authors not shown)
Abstract:
The technological prototype of the CALICE highly granular silicon-tungsten electromagnetic calorimeter (SiW-ECAL) was tested in a beam at DESY in 2017. The setup comprised seven layers of silicon sensors. Each layer comprised four sensors, with each sensor containing an array of 256 $5.5\times5.5$ mm$^2$ silicon PIN diodes. The four sensors covered a total area of $18\times18$ cm$^2$, and comprise…
▽ More
The technological prototype of the CALICE highly granular silicon-tungsten electromagnetic calorimeter (SiW-ECAL) was tested in a beam at DESY in 2017. The setup comprised seven layers of silicon sensors. Each layer comprised four sensors, with each sensor containing an array of 256 $5.5\times5.5$ mm$^2$ silicon PIN diodes. The four sensors covered a total area of $18\times18$ cm$^2$, and comprised a total of 1024 channels. The readout was split into a trigger line and a charge signal line. Key performance results for signal over noise for the two output lines are presented, together with a study of the uniformity of the detector response. Measurements of the response to electrons for the tungsten loaded version of the detector are also presented.
△ Less
Submitted 22 October, 2019; v1 submitted 31 January, 2019;
originally announced February 2019.
-
Commissioning of the highly granular SiW-ECAL technological prototype
Authors:
S. Bilokin,
J. Bonis,
P. Cornebise,
A. Gallas,
A. Irles,
R. Pöschl,
F. Richard,
A. Thiebault,
D. Zerwas,
M. Anduze,
V. Balagura,
V. Boudry,
J-C. Brient,
E. Edy,
G. Fayolle,
M. Frotin,
F. Gastaldi,
A. Lobanov,
F. Magniette,
J. Nanni,
M. Rubio-Roy,
K. Shpak,
H. Videau,
D. Yu,
S. Callier
, et al. (18 additional authors not shown)
Abstract:
In this article we describe the commissioning and a first analysis of the the beam test performance of a small prototype of a highly granular silicon tungsten calorimeter. The prototype features detector elements with a channel number similar to that envisaged for e.g. the ILD Detector of the International Linear Collider (ILC). The analysis demonstrates the capability of the detector to record si…
▽ More
In this article we describe the commissioning and a first analysis of the the beam test performance of a small prototype of a highly granular silicon tungsten calorimeter. The prototype features detector elements with a channel number similar to that envisaged for e.g. the ILD Detector of the International Linear Collider (ILC). The analysis demonstrates the capability of the detector to record signals as low as 0.5 MIP. Further, no loss of performance has been observed when operating the detector in a high magnetic field.
△ Less
Submitted 4 April, 2019; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Functional equations as an important analytic method in stochastic modelling and in combinatorics
Authors:
Guy Fayolle
Abstract:
Functional equations (FE) arise quite naturally in the analysis of stochastic systems of different kinds : queueing and telecommunication networks, random walks, enumeration of planar lattice walks, etc. Frequently, the object is to determine the probability generating function of some positive random vector in $Z\_n^+$. Although the situation n = 1 is more classical, we quote an interesting non l…
▽ More
Functional equations (FE) arise quite naturally in the analysis of stochastic systems of different kinds : queueing and telecommunication networks, random walks, enumeration of planar lattice walks, etc. Frequently, the object is to determine the probability generating function of some positive random vector in $Z\_n^+$. Although the situation n = 1 is more classical, we quote an interesting non local functional equation which appeared in modelling a divide and conquer protocol for a muti-access broadcast channel. As for n = 2, we outline the theory reducing these linear FEs to boundary value problems of Riemann-Hilbert-Carleman type, with closed form integral solutions. Typical queueing examples analyzed over the last 45 years are sketched. Furthermore, it is also sometimes possible to determine the nature of the functions (e.g., rational, algebraic, holonomic), as illustrated in a combinatorial context, where asymptotics are briefly tackled. For general situations (e.g., big jumps, or n $\ge$ 3), only prospective comments are made, because then no concrete theory exists.
△ Less
Submitted 6 December, 2017;
originally announced December 2017.
-
Facing ADAS validation complexity with usage oriented testing
Authors:
Laurent Raffaëlli,
Frédérique Vallée,
Guy Fayolle,
Philippe De Souza,
Xavier Rouah,
Matthieu Pfeiffer,
Stéphane Géronimi,
Frédéric Pétrot,
Samia Ahiad
Abstract:
Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort to drivers, and this has become a selling point. But these functions, while useful, must not affect the general safety of the vehicle which is the manufacturer's responsibility. A significant number of current ADAS are…
▽ More
Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort to drivers, and this has become a selling point. But these functions, while useful, must not affect the general safety of the vehicle which is the manufacturer's responsibility. A significant number of current ADAS are based on vision systems, and applications such as obstacle detection and detection of pedestrians have become essential components of functions such as automatic emergency braking. These systems that preserve and protect road users take on even more importance with the arrival of the new Euro NCAP protocols. Therefore the robustness and reliability of ADAS functions cannot be neglected and car manufacturers need to have tools to ensure that the ADAS functions running on their vehicles operate with the utmost safety. Furthermore, the complexity of these systems in conjunction with the nearly infinite number of parameter combinations related to the usage profile of functions based on image sensors push us to think about testing optimization methods and tool standards to support the design and validation phases of ADAS systems. The resources required for the validation using current methods make them actually less and less adapted to new active safety features, which induce very strong dependability requirements. Today, to test the camera-based ADAS, test vehicles are equipped with these systems and are performing long hours of driving that can last for years. These tests are used to validate the use of the function and to verify its response to the requirements described in the specifications without considering the functional safety standard ISO26262.
△ Less
Submitted 22 February, 2016;
originally announced July 2016.
-
A Markovian Analysis of IEEE 802.11 Broadcast Transmission Networks with Buffering
Authors:
Guy Fayolle,
Paul Muhlethaler
Abstract:
The purpose of this paper is to analyze the so-called back-off technique of the IEEE 802.11 protocol in broadcast mode with waiting queues. In contrast to existing models, packets arriving when a station (or node) is in back-off state are not discarded, but are stored in a buffer of infinite capacity. As in previous studies, the key point of our analysis hinges on the assumption that the time on t…
▽ More
The purpose of this paper is to analyze the so-called back-off technique of the IEEE 802.11 protocol in broadcast mode with waiting queues. In contrast to existing models, packets arriving when a station (or node) is in back-off state are not discarded, but are stored in a buffer of infinite capacity. As in previous studies, the key point of our analysis hinges on the assumption that the time on the channel is viewed as a random succession of transmission slots (whose duration corresponds to the length of a packet) and mini-slots during which the back-o? of the station is decremented. These events occur independently, with given probabilities. The state of a node is represented by a two-dimensional Markov chain in discrete-time, formed by the back-off counter and the number of packets at the station. Two models are proposed both of which are shown to cope reasonably well with the physical principles of the protocol. The stabillity (ergodicity) conditions are obtained and interpreted in terms of maximum throughput. Several approximations related to these models are also discussed.
△ Less
Submitted 19 June, 2015;
originally announced June 2015.
-
Random Walks in the Quarter-Plane: Advances in Explicit Criterions for the Finiteness of the Associated Group in the Genus 1 Case
Authors:
Guy Fayolle,
Roudolf Iasnogorodski
Abstract:
In the book [FIM], original methods were proposed to determine the invariant measure of random walks in the quarter plane with small jumps, the general solution being obtained via reduction to boundary value problems. Among other things, an important quantity, the so-called group of the walk, allows to deduce theoretical features about the nature of the solutions. In particular, when the \emph{ord…
▽ More
In the book [FIM], original methods were proposed to determine the invariant measure of random walks in the quarter plane with small jumps, the general solution being obtained via reduction to boundary value problems. Among other things, an important quantity, the so-called group of the walk, allows to deduce theoretical features about the nature of the solutions. In particular, when the \emph{order} of the group is finite, necessary and sufficient conditions have been given in [FIM] for the solution to be rational or algebraic. In this paper, when the underlying algebraic curve is of genus $1$, we propose a concrete criterion ensuring the finiteness of the group. It turns out that this criterion can be expressed as the cancellation of a determinant of a matrix of order 3 or 4, which depends in a polynomial way on the coefficients of the walk.
△ Less
Submitted 10 November, 2014; v1 submitted 14 August, 2014;
originally announced August 2014.
-
About a possible analytic approach for walks in the quarter plane with arbitrary big jumps
Authors:
Guy Fayolle,
Kilian Raschel
Abstract:
In this note, we consider random walks in the quarter plane with arbitrary big jumps. We announce the extension to that class of models of the analytic approach of [G. Fayolle, R. Iasnogorodski, and V. Malyshev, Random walks in the quarter plane, Springer-Verlag, Berlin (1999)], initially valid for walks with small steps in the quarter plane. New technical challenges arise, most of them being tack…
▽ More
In this note, we consider random walks in the quarter plane with arbitrary big jumps. We announce the extension to that class of models of the analytic approach of [G. Fayolle, R. Iasnogorodski, and V. Malyshev, Random walks in the quarter plane, Springer-Verlag, Berlin (1999)], initially valid for walks with small steps in the quarter plane. New technical challenges arise, most of them being tackled in the framework of generalized boundary value problems on compact Riemann surfaces.
△ Less
Submitted 22 January, 2015; v1 submitted 29 June, 2014;
originally announced June 2014.
-
Modeling a Case of Herding Behavior in a Multi-Player Game
Authors:
Guy Fayolle,
Jean-Marc Lasgouttes
Abstract:
The system mentioned in the title belongs to the family of the so-called massively multi-player online social games (MMOSG). It features a scoring system for the elements of the game that is prone to herding effects. We analyze in detail its stationary regime in the thermodynamic limit, when the number of players tends to infinity. In particular, for some classes of input sequences and selection p…
▽ More
The system mentioned in the title belongs to the family of the so-called massively multi-player online social games (MMOSG). It features a scoring system for the elements of the game that is prone to herding effects. We analyze in detail its stationary regime in the thermodynamic limit, when the number of players tends to infinity. In particular, for some classes of input sequences and selection policies, we provide necessary and sufficient conditions for the existence of a complete meanfield-like measure, showing off an interesting condensation phenomenon.
△ Less
Submitted 9 July, 2013; v1 submitted 21 December, 2012;
originally announced December 2012.
-
Birth and death processes on certain random trees: Classification and stationary laws
Authors:
Guy Fayolle,
Maxim Krikun,
Jean-Marc Lasgouttes
Abstract:
The main substance of the paper concerns the growth rate and the classification (ergodicity, transience) of a family of random trees. In the basic model, new edges appear according to a Poisson process of parameter $λ$ and leaves can be deleted at a rate $μ$. The main results lay the stress on the famous number $e$. A complete classification of the process is given in terms of the intensity factor…
▽ More
The main substance of the paper concerns the growth rate and the classification (ergodicity, transience) of a family of random trees. In the basic model, new edges appear according to a Poisson process of parameter $λ$ and leaves can be deleted at a rate $μ$. The main results lay the stress on the famous number $e$. A complete classification of the process is given in terms of the intensity factor $ρ=λ/μ$: it is ergodic if $ρ\leq e^{-1}$, and transient if $ρ>e^{-1}$. There is a phase transition phenomenon: the usual region of null recurrence (in the parameter space) here does not exist. This fact is rare for countable Markov chains with exponentially distributed jumps. Some basic stationary laws are computed, e.g. the number of vertices and the height. Various bounds, limit laws and ergodic-like theorems are obtained, both for the transient and ergodic regimes. In particular, when the system is transient, the height of the tree grows linearly as the time $t\to\infty$, at a rate which is explicitly computed. Some of the results are extended to the so-called multiclass model.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.
-
Best-effort networks: modeling and performance analysis via large networks asymptotics
Authors:
Guy Fayolle,
Arnaud De La Fortelle,
Jean-Marc Lasgouttes,
Laurent Massoulié,
James Roberts
Abstract:
In this paper we introduce a class of Markov models, termed best-effort networks, designed to capture performance indices such as mean transfer times in data networks with best-effort service. We introduce the so-called min bandwidth sharing policy as a conservative approximation to the classical max-min policy. We establish necessary and sufficient ergodicity conditions for best-effort networks u…
▽ More
In this paper we introduce a class of Markov models, termed best-effort networks, designed to capture performance indices such as mean transfer times in data networks with best-effort service. We introduce the so-called min bandwidth sharing policy as a conservative approximation to the classical max-min policy. We establish necessary and sufficient ergodicity conditions for best-effort networks under the min policy. We then resort to the mean field technique of statistical physics to analyze network performance deriving fixed point equations for the stationary distribution of large symmetrical best-effort networks. A specific instance of such net- works is the star-shaped network which constitutes a plausible model of a network with an overprovisioned backbone. Numerical and analytical study of the equations allows us to state a number of qualitative conclusions on the impact of traffic parameters (link loads) and topology parameters (route lengths) on mean document transfer time.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.
-
A nonlinear integral operator encountered in the bandwidth sharing of a star-shaped network
Authors:
Guy Fayolle,
Jean-Marc Lasgouttes
Abstract:
We consider a symmetrical star-shaped network, in which bandwidth is shared among the active connections according to the "min" policy. Starting from a chaos propagation hypothesis, valid when the system is large enough, one can write equilibrium equations for an arbitrary link of the network. This paper describes an approach based on functional analysis of nonlinear integral operators, which allo…
▽ More
We consider a symmetrical star-shaped network, in which bandwidth is shared among the active connections according to the "min" policy. Starting from a chaos propagation hypothesis, valid when the system is large enough, one can write equilibrium equations for an arbitrary link of the network. This paper describes an approach based on functional analysis of nonlinear integral operators, which allows to characterize quantitatively the behaviour of the network under heavy load conditions.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.
-
Asymptotics and scalings for large product-form networks via the Central Limit Theorem
Authors:
Guy Fayolle,
Jean-Marc Lasgouttes
Abstract:
The asymptotic behaviour of a closed BCMP network, with $n$ queues and $m_n$ clients, is analyzed when $n$ and $m_n$ become simultaneously large. Our method relies on Berry-Esseen type approximations coming in the Central Limit Theorem. We construct critical sequences $m^0_n$, which are necessary and sufficient to distinguish between saturated and non-saturated regimes for the network. Several app…
▽ More
The asymptotic behaviour of a closed BCMP network, with $n$ queues and $m_n$ clients, is analyzed when $n$ and $m_n$ become simultaneously large. Our method relies on Berry-Esseen type approximations coming in the Central Limit Theorem. We construct critical sequences $m^0_n$, which are necessary and sufficient to distinguish between saturated and non-saturated regimes for the network. Several applications of these results are presented. It is shown that some queues can act as bottlenecks, limiting thus the global efficiency of the system.
△ Less
Submitted 13 July, 2012;
originally announced July 2012.
-
A State-Dependent Polling Model with Markovian Routing
Authors:
Guy Fayolle,
Jean-Marc Lasgouttes
Abstract:
A state-dependent 1-limited polling model with N queues is analyzed. The routing strategy generalizes the classical Markovian polling model, in the sense that two routing matrices are involved, the choice being made according to the state of the last visited queue. The stationary distribution of the position of the server is given. Ergodicity conditions are obtained by means of an associated dynam…
▽ More
A state-dependent 1-limited polling model with N queues is analyzed. The routing strategy generalizes the classical Markovian polling model, in the sense that two routing matrices are involved, the choice being made according to the state of the last visited queue. The stationary distribution of the position of the server is given. Ergodicity conditions are obtained by means of an associated dynamical system. Under rotational symmetry assumptions, average queue length and mean waiting times are computed.
△ Less
Submitted 13 July, 2012;
originally announced July 2012.
-
About Hydrodynamic Limit of Some Exclusion Processes via Functional Integration
Authors:
Guy Fayolle,
Cyril Furtlehner
Abstract:
This article considers some classes of models dealing with the dynamics of discrete curves subjected to stochastic deformations. It turns out that the problems of interest can be set in terms of interacting exclusion processes, the ultimate goal being to derive hydrodynamic limits after proper scalings. A seemingly new method is proposed, which relies on the analysis of specific partial differenti…
▽ More
This article considers some classes of models dealing with the dynamics of discrete curves subjected to stochastic deformations. It turns out that the problems of interest can be set in terms of interacting exclusion processes, the ultimate goal being to derive hydrodynamic limits after proper scalings. A seemingly new method is proposed, which relies on the analysis of specific partial differential operators, involving variational calculus and functional integration: indeed, the variables are the values of some functions at given points, the number of which tends to become infinite, which requires the construction of \emph{generalized measures}. Starting from a detailed analysis of the \textsc{asep} system on the torus Z/N/Z, we claim that the arguments a priori work in higher dimensions (ABC, multi-type exclusion processes, etc), leading to sytems of coupled partial differential equations of Burgers' type.
△ Less
Submitted 25 January, 2012;
originally announced January 2012.
-
Some exact asymptotics in the counting of walks in the quarter-plane
Authors:
Guy Fayolle,
Kilian Raschel
Abstract:
Enumeration of planar lattice walks is a classical topic in combinatorics, at the cross-roads of several domains (e.g., probability, statistical physics, computer science). The aim of this paper is to propose a new approach to obtain some exact asymptotics for walks confined to the quarter plane.
Enumeration of planar lattice walks is a classical topic in combinatorics, at the cross-roads of several domains (e.g., probability, statistical physics, computer science). The aim of this paper is to propose a new approach to obtain some exact asymptotics for walks confined to the quarter plane.
△ Less
Submitted 12 January, 2013; v1 submitted 19 January, 2012;
originally announced January 2012.
-
Stochastic Chemical Kinetics with Energy Parameters
Authors:
Guy Fayolle,
Vadim Malyshev,
Serguei Pirogov
Abstract:
Abstact: We introduce new models of energy redistribution in stochastic chemical kinetics with several molecule types and energy parameters. The main results concern the situations when there are product form measures. Using a probabilistic interpretation of the related Boltzmann equation, we find some invariant measures explicitly and prove convergence to them.
Abstact: We introduce new models of energy redistribution in stochastic chemical kinetics with several molecule types and energy parameters. The main results concern the situations when there are product form measures. Using a probabilistic interpretation of the related Boltzmann equation, we find some invariant measures explicitly and prove convergence to them.
△ Less
Submitted 18 December, 2011;
originally announced December 2011.
-
Random walks in the quarter plane with zero drift: an explicit criterion for the finiteness of the associated group
Authors:
Guy Fayolle,
Kilian Raschel
Abstract:
In many recent studies on random walks with small jumps in the quarter plane, it has been noticed that the so-called "group" of the walk governs the behavior of a number of quantities, in particular through its "order". In this paper, when the "drift" of the random walk is equal to 0, we provide an effective criterion giving the order of this group. More generally, we also show that in all cases w…
▽ More
In many recent studies on random walks with small jumps in the quarter plane, it has been noticed that the so-called "group" of the walk governs the behavior of a number of quantities, in particular through its "order". In this paper, when the "drift" of the random walk is equal to 0, we provide an effective criterion giving the order of this group. More generally, we also show that in all cases where the "genus" of the algebraic curve defined by the kernel is 0, the group is infinite, except precisely for the zero drift case, where finiteness is quite possible.
△ Less
Submitted 1 March, 2011;
originally announced March 2011.
-
On the Holonomy or Algebraicity of Generating Functions Counting Lattice Walks in the Quarter-Plane
Authors:
Guy Fayolle,
Kilian Raschel
Abstract:
In two recent works \cite{BMM,BK}, it has been shown that the counting generating functions (CGF) for the 23 walks with small steps confined in a quadrant and associated with a finite group of birational transformations are holonomic, and even algebraic in 4 cases -- in particular for the so-called Gessel's walk. It turns out that the type of functional equations satisfied by these CGF appeared in…
▽ More
In two recent works \cite{BMM,BK}, it has been shown that the counting generating functions (CGF) for the 23 walks with small steps confined in a quadrant and associated with a finite group of birational transformations are holonomic, and even algebraic in 4 cases -- in particular for the so-called Gessel's walk. It turns out that the type of functional equations satisfied by these CGF appeared in a probabilistic context almost 40 years ago. Then a method of resolution was proposed in \cite{FIM}, involving at once algebraic tools and a reduction to boundary value problems. Recently this method has been developed in a combinatorics framework in \cite{Ra}, where a thorough study of the explicit expressions for the CGF is proposed. The aim of this paper is to derive the nature of the bivariate CGF by a direct use of some general theorems given in \cite{FIM}.
△ Less
Submitted 10 April, 2010;
originally announced April 2010.
-
On the Almost Sure Central Limit Theorem for Vector Martingales: Convergence of Moments and Statistical Applications
Authors:
Bernard Bercu,
Peggy Cénac,
Guy Fayolle
Abstract:
We investigate the almost sure asymptotic properties of vector martingale transforms. Assuming some appropriate regularity conditions both on the increasing process and on the moments of the martingale, we prove that normalized moments of any even order converge in the almost sure cental limit theorem for martingales. A conjecture about almost sure upper bounds under wider hypotheses is formulat…
▽ More
We investigate the almost sure asymptotic properties of vector martingale transforms. Assuming some appropriate regularity conditions both on the increasing process and on the moments of the martingale, we prove that normalized moments of any even order converge in the almost sure cental limit theorem for martingales. A conjecture about almost sure upper bounds under wider hypotheses is formulated. The theoretical results are supported by examples borrowed from statistical applications, including linear autoregressive models and branching processes with immigration, for which new asymptotic properties are established on estimation and prediction errors.
△ Less
Submitted 18 December, 2008;
originally announced December 2008.
-
Stochastic Dynamics of Discrete Curves and Exclusion Processes. Part 1: Hydrodynamic Limit of the ASEP System
Authors:
Guy Fayolle,
Cyril Furtlehner
Abstract:
This report is the foreword of a series dedicated to stochastic deformations of curves. Problems are set in terms of exclusion processes, the ultimate goal being to derive hydrodynamic limits for these systems after proper scalings. In this study, solely the basic \textsc{asep} system on the torus is analyzed. The usual sequence of empirical measures, converges in probability to a deterministic…
▽ More
This report is the foreword of a series dedicated to stochastic deformations of curves. Problems are set in terms of exclusion processes, the ultimate goal being to derive hydrodynamic limits for these systems after proper scalings. In this study, solely the basic \textsc{asep} system on the torus is analyzed. The usual sequence of empirical measures, converges in probability to a deterministic measure, which is the unique weak solution of a Cauchy problem. The method presents some new features, letting hope for extensions to higher dimension. It relies on the analysis of a family of parabolic differential operators, involving variational calculus. Namely, the variables are the values of functions at given points, their number being possibly infinite.
△ Less
Submitted 9 March, 2006;
originally announced March 2006.
-
Stochastic Dynamics of Discrete Curves and Multi-type Exclusion Processes
Authors:
Guy Fayolle,
Cyril Furtlehner
Abstract:
This study deals with continuous limits of interacting one-dimensional diffusive systems, arising from stochastic distortions of discrete curves with various kinds of coding representations. These systems are essentially of a reaction-diffusion nature. In the non-reversible case, the invariant measure has generally a non Gibbs form. The corresponding steady-state regime is analyzed in detail wit…
▽ More
This study deals with continuous limits of interacting one-dimensional diffusive systems, arising from stochastic distortions of discrete curves with various kinds of coding representations. These systems are essentially of a reaction-diffusion nature. In the non-reversible case, the invariant measure has generally a non Gibbs form. The corresponding steady-state regime is analyzed in detail with the help of a tagged particle and a state-graph cycle expansion of the probability currents. As a consequence, the constants appearing in Lotka-Volterraequations --which describe the fluid limits of stationary states-- can be traced back directly at the discrete level to tagged particles cycles coefficients. Current fluctuations are also studied and the Lagrangian is obtained by an iterative scheme. The related Hamilton-Jacobi equation, which leads to the large deviation functional, is analyzed and solved in the reversible case for the sake of checking.
△ Less
Submitted 10 November, 2006; v1 submitted 9 March, 2006;
originally announced March 2006.
-
Stochastic Deformations of Sample Paths of Random Walks and Exclusion Models
Authors:
Guy Fayolle,
Cyril Furtlehner
Abstract:
This study in centered on models accounting for stochastic deformations of sample paths of random walks, embedded either in $\mathbb{Z}^2$ or in $\mathbb{Z}^3$. These models are immersed in multi-type particle systems with exclusion. Starting from examples, we give necessary and sufficient conditions for the underlying Markov processes to be reversible, in which case their invariant measure has…
▽ More
This study in centered on models accounting for stochastic deformations of sample paths of random walks, embedded either in $\mathbb{Z}^2$ or in $\mathbb{Z}^3$. These models are immersed in multi-type particle systems with exclusion. Starting from examples, we give necessary and sufficient conditions for the underlying Markov processes to be reversible, in which case their invariant measure has a Gibbs form. Letting the size of the sample path increase, we find the convenient scalings bringing to light phase transition phenomena. Stable and metastable configurations are bound to time-periods of limiting deterministic trajectories which are solution of nonlinear differential systems: in the example of the ABC model, a system of Lotka-Volterra class is obtained, and the periods involve elliptic, hyper-elliptic or more general functions. Lastly, we discuss briefly the contour of a general approach allowing to tackle the transient regime via differential equations of Burgers' type.
△ Less
Submitted 9 March, 2006;
originally announced March 2006.
-
Dynamical Windings of Random Walks and Exclusion Models. Part I: Thermodynamic Limit
Authors:
Guy Fayolle,
Cyril Furtlehner
Abstract:
We consider a system consisting of a planar random walk on a square lattice, submitted to stochastic elementary local deformations. Depending on the deformation transition rates, and specifically on a parameter $η$ which breaks the symmetry between the left and right orientation, the winding distribution of the walk is modified, and the system can be in three different phases: folded, stretched…
▽ More
We consider a system consisting of a planar random walk on a square lattice, submitted to stochastic elementary local deformations. Depending on the deformation transition rates, and specifically on a parameter $η$ which breaks the symmetry between the left and right orientation, the winding distribution of the walk is modified, and the system can be in three different phases: folded, stretched and glassy. An explicit map** is found, leading to consider the system as a coupling of two exclusion processes. For all closed or periodic initial sample paths, a convenient scaling permits to show a convergence in law (or almost surely on a modified probability space) to a continuous curve, the equation of which is given by a system of two non linear stochastic differential equations. The deterministic part of this system is explicitly analyzed via elliptic functions. In a similar way, by using a formal fluid limit approach, the dynamics of the system is shown to be equivalent to a system of two coupled Burgers' equations.
△ Less
Submitted 8 November, 2002; v1 submitted 7 November, 2002;
originally announced November 2002.