-
Shifts of Finite Type Obtained by Forbidding a Single Pattern
Authors:
Nishant Chandgotia,
Brian Marcus,
Jacob Richey,
Chengyu Wu
Abstract:
Given a finite word $w$, Guibas and Odlyzko (J. Combin. Theory Ser. A, 30, 1981, 183-208) showed that the autocorrelation polynomial $φ_w(t)$ of $w$, which records the set of self-overlaps of $w$, explicitly determines for each $n$, the number $|B_n(w)|$ of words of length $n$ that avoid $w$. We consider this and related problems from the viewpoint of symbolic dynamics, focusing on the setting of…
▽ More
Given a finite word $w$, Guibas and Odlyzko (J. Combin. Theory Ser. A, 30, 1981, 183-208) showed that the autocorrelation polynomial $φ_w(t)$ of $w$, which records the set of self-overlaps of $w$, explicitly determines for each $n$, the number $|B_n(w)|$ of words of length $n$ that avoid $w$. We consider this and related problems from the viewpoint of symbolic dynamics, focusing on the setting of $X_{\{w\}}$, the space of all bi-infinite sequences that avoid $w$. We first summarize and elaborate upon (J. Combin. Theory Ser. A, 30, 1981, 183-208) and other work to show that the sequence $|B_n(w)|$ is equivalent to several invariants of $X_{\{w\}}$. We then give a finite-state labeled graphical representation $L_w$ of $X_{\{w\}}$ and show that $w$ can be recovered from the graph isomorphism class of the unlabeled version of $L_w$. Using $L_w$, we apply ideas from probability and Perron-Frobenius theory to obtain results comparing features of $X_{\{w\}}$ for different $w$. Next, we give partial results on the problem of classifying the spaces $X_{\{w\}}$ up to conjugacy. Finally, we extend some of our results to spaces of multi-dimensional arrays that avoid a given finite pattern.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Moduli of continuity for the local times of rebirthed Markov processes
Authors:
P. J. Fitzsimmons,
Michael B. Marcus,
Jay Rosen
Abstract:
Let $S$ a be locally compact space with a countable base. Let $\cal Y$ be a transient symmetric Borel right process with state space $S$ and continuous strictly positive $p$--potential densities $u^p(x,y)$. Local and uniform moduli of continuity are obtained for the local times of both fully and partially rebirthed versions of $\cal Y$. A fully rebirthed version of $\cal Y$ is an extension of…
▽ More
Let $S$ a be locally compact space with a countable base. Let $\cal Y$ be a transient symmetric Borel right process with state space $S$ and continuous strictly positive $p$--potential densities $u^p(x,y)$. Local and uniform moduli of continuity are obtained for the local times of both fully and partially rebirthed versions of $\cal Y$. A fully rebirthed version of $\cal Y$ is an extension of $\cal Y$ so that instead of terminating at the end of its lifetime it is immediately ``reborn'' with a probability measure $μ$, on $S$. I.e., the process goes to the set $B\subset S$ with probability $μ(B) $, after which it continues to evolve the way $\YY$ did, being reborn with probability $μ$ each time it dies. This rebirthed version of $\cal Y$ is a recurrent Borel right process with state space $S$ and $p$-potential densities of form, \[ u^p(x,y)+h(x,y),\qquad x,y\in S,\,\, p>0, \] where $h(x,y)$ is not symmetric.
The local times of the rebirthed process are given in terms of the local times of $\cal Y$ and isomorphism theorems in the spirit of Dynkin, Eisenbam and Kaspi are obtained that relate these local times to generalized chi--square processes formed by Gaussian processes with covariances $u^{q}(x,y)$ for different values of $q$. These isomorphisms allow one to obtain exact local and uniform moduli of continuity for the local times of the rebirthed process. Several explicit examples are given in which $\cal Y$ is either a modified Lévy process or a diffusion.
Analogous results are obtained for partially rebirthed versions of $\cal Y$.
This is obtained by starting $\cal Y$ in $S$ and when it dies returning it to $S$ with a sub-probability measure $Ξ$. (With probability $1-|Ξ|$ it is sent to a disjoint state space $S'$, where it remains.)
△ Less
Submitted 1 September, 2024;
originally announced September 2024.
-
Local moduli of continuity for permanental processes that are zero at zero
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $u(s,t)$ be a continuous potential density of a symmetric Lévy process or diffusion with state space $T$ killed at $T_{0}$, the first hitting time of $0$, or at $λ\wedge T_{0}$, where $λ$ is an independent exponential time. Let
\[
f(t)=\int_{T} u(t,v)\,dμ(v), \]
where $μ$ is a finite positive measure on $T$. Let $X_α=\{X_α(t),t\in T \}$ be an $α-$permanental process with kernel
\[
v(…
▽ More
Let $u(s,t)$ be a continuous potential density of a symmetric Lévy process or diffusion with state space $T$ killed at $T_{0}$, the first hitting time of $0$, or at $λ\wedge T_{0}$, where $λ$ is an independent exponential time. Let
\[
f(t)=\int_{T} u(t,v)\,dμ(v), \]
where $μ$ is a finite positive measure on $T$. Let $X_α=\{X_α(t),t\in T \}$ be an $α-$permanental process with kernel
\[
v(s,t)=u(s,t)+f(t). \]
Then when $\lim_{t\to 0}u(t,t)=0$, \[
\limsup_{t\downarrow 0}\frac{X_α(t )}{u(t,t)\log \log 1/t }\ge 1 ,\qquad \text{a.s.} \] and
\[
\limsup_{t\downarrow 0}\frac{X_α(t )}{u(t,t)\log \log 1/t }\le 1+C_{u,h} ,\qquad \text{a.s.} \] where $C_{u,μ}\le |μ|$ is a constant that depends on both $u$ and $μ$, which is given explicitly, and is different in the different examples.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Law of the iterated logarithm for $k/2$-permanental processes and the local times of related Markov processes
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $Y$ be a symmetric Borel right process with locally compact state space $T\subseteq R^{1}$ and potential densities $u(x,y)$ with respect to some $σ$-finite measure on $T$. Let $g$ and $f$ be finite excessive functions for $ Y$. Set $$ u_{g, f}(x,y)= u(x,y)+g(x)f(y),\qquad x,y\in T.$$ In this paper we take $Y$ to be a symmetric Lévy process, or a diffusion, that is killed at the end of an indep…
▽ More
Let $Y$ be a symmetric Borel right process with locally compact state space $T\subseteq R^{1}$ and potential densities $u(x,y)$ with respect to some $σ$-finite measure on $T$. Let $g$ and $f$ be finite excessive functions for $ Y$. Set $$ u_{g, f}(x,y)= u(x,y)+g(x)f(y),\qquad x,y\in T.$$ In this paper we take $Y$ to be a symmetric Lévy process, or a diffusion, that is killed at the end of an independent exponential time or the first time it hits 0. Under general smoothness conditions on $g$, $f$, $u$ and points $d\in T$, laws of the iterated logarithm are found for $X_{k/2} =\{X_{k/2}(t), t\in T \}$, a $k/2-$permanental process with kernel $ \{u_{g, f}(x,y),x,y\in T \}$, of the following form: For all integers $k\geq 1$, $$\limsup_{x \to 0}\frac{| X_{k/2}( d+x)- X_{k/2} (d)|}{ \left( 2 σ^{2}\left(x\right)\log\log 1/x\right)^{1/2}}= \left( 2 X _{k/2} (d)\right)^{1/2}, \qquad a.s. ,$$ where, $$σ^2(x)=u(d+x,d+x)+u(x,x)-2u(d+x,x).$$ Using these limit theorems and the Eisenbaum Kaspi Isomorphism Theorem, laws of the iterated logarithm are found for the local times of certain Markov processes with potential densities that have the form of $ \{u_{g, f}(x,y),x,y\in T \}$ or are slight modifications of it.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Markov Capacity for Factor Codes with an Unambiguous Symbol
Authors:
Guangyue Han,
Brian Marcus,
Chengyu Wu
Abstract:
In this paper, we first give a necessary and sufficient condition for a factor code with an unambiguous symbol to admit a subshift of finite type restricted to which it is one-to-one and onto. We then give a necessary and sufficient condition for the standard factor code on a spoke graph to admit a subshift of finite type restricted to which it is finite-to-one and onto. We also conjecture that fo…
▽ More
In this paper, we first give a necessary and sufficient condition for a factor code with an unambiguous symbol to admit a subshift of finite type restricted to which it is one-to-one and onto. We then give a necessary and sufficient condition for the standard factor code on a spoke graph to admit a subshift of finite type restricted to which it is finite-to-one and onto. We also conjecture that for such a code, this finite-to-one property is equivalent to the existence of a stationary Markov chain that achieves the capacity of the corresponding deterministic channel.
△ Less
Submitted 26 January, 2023; v1 submitted 21 October, 2022;
originally announced October 2022.
-
Local and uniform moduli of continuity of chi--square processes
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $η=\{η(t);t\in [0,1]\}$ be a mean zero continuous Gaussian process with covariance $U=\{U(s,t),s,t\in [ 0,1]\},$ with $U(0,0)>0$. Let $\{η_{i};i=1,\ldots, k\}$ be independent copies of $η$ and set $ Y_{k}(t)=\sum_{i=1}^{k} η^2_{i}(t), t\in [ 0,1].$ The stochastic process $Y_{k } =\{Y_{k }(t),t\in [ 0,1] \}$ is referred to as a chi--square process of order $k $ with kernel $U$. Let $φ(t)$ be a…
▽ More
Let $η=\{η(t);t\in [0,1]\}$ be a mean zero continuous Gaussian process with covariance $U=\{U(s,t),s,t\in [ 0,1]\},$ with $U(0,0)>0$. Let $\{η_{i};i=1,\ldots, k\}$ be independent copies of $η$ and set $ Y_{k}(t)=\sum_{i=1}^{k} η^2_{i}(t), t\in [ 0,1].$ The stochastic process $Y_{k } =\{Y_{k }(t),t\in [ 0,1] \}$ is referred to as a chi--square process of order $k $ with kernel $U$. Let $φ(t)$ be a positive function on $[0,δ]$ for some $δ>0$. If \[\limsup_{t\to 0}\frac{ η(t)-η(0)}{ φ(t) }=1 \qquad a.s., \] then for all integers $k\ge 1$, \[ \limsup_{t\to 0} \frac{Y_{k }(t)-Y_{k }(0)} { φ(t)} = 2 Y^{1/2}_{k}(0) \qquad a.s.\] Set \[ σ^2(u,v)=E(η(u)-η(v))^2\quad\text{and}\quad \widetildeσ^2(x)=\sup_{|u-v|\le x}σ^2(u,v).\] Assume that $\inf_{t\in [0,1]}U(t,t)>0$ and, \[ \lim_{x\to0}\widetildeσ^2(x)\log 1/x =0. \] Let $\varphi(t)$ be a positive function on $[0,1]$. Then if \[ \lim_{h\to 0}\sup_{\stackrel{|u-v|\le h }{ u,v\inΔ}}\frac{ η(u)-η(v)}{ \varphi(|u-v|) }=1 \qquad a.s.\] for all intervals $Δ\subset [0,1]$, it follows that for all intervals $Δ\subset [0,1]$ and all integers $k\ge 1$, \[ \lim_{h\to 0}\sup_{\stackrel{|u-v|\le h }{ u,v\inΔ}} \frac{Y_{k }(u)-Y_{k }(v) }{ \varphi (|u-v|)} = 2 \sup_{u\inΔ}Y_{k }^{1/2}(u), \hspace{.2 in}a.s.\]
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Exact moduli of continuity for general chi--square processes and for permanental processes related to the Ornstein--Uhlenbeck process
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $ \overline B=\{ \overline B_{t},t\in R^{1} \}$ be Brownian motion killed after an independent exponential time with mean $2/λ^{2}$. The process $\overline B$ has potential densities, \[
u(x,y) ={e^{-λ|y-x|}\over λ},\qquad x,y\in R^{ 1}, \] which is also the covariance of an Ornstein--Uhlenbeck process. Let $f$ be an excessive function for $\overline B$. Then,
\[
{e^{-λ|y-x|}\over λ}+f(y…
▽ More
Let $ \overline B=\{ \overline B_{t},t\in R^{1} \}$ be Brownian motion killed after an independent exponential time with mean $2/λ^{2}$. The process $\overline B$ has potential densities, \[
u(x,y) ={e^{-λ|y-x|}\over λ},\qquad x,y\in R^{ 1}, \] which is also the covariance of an Ornstein--Uhlenbeck process. Let $f$ be an excessive function for $\overline B$. Then,
\[
{e^{-λ|y-x|}\over λ}+f(y),\qquad x,y\in R^{ 1}, \]
is the kernel of an $α$-permanental process $ X_α=\{ X_α(t), t\in R^{ 1}\}$ for all $α>0$. It is shown that for all $k\ge 1$ and intervals $Δ\subseteq [0,1] $, \[
\limsup_{h\to 0}\sup_{\stackrel{|u-v|\le h }{ u,v\inΔ}} \frac{|X_{k/2} (u)-X_{k/2} (v)|}{ 2 ( |u-v| \log 1/|u-v|)^{1/2}}= \sqrt 2 \sup_{t\inΔ}X_{k/2}^{1/2}(t)\qquad a.s.\] The local modulus of continuity of $X_{k/2}$ for all $k\ge 1$ is also obtained.
Local and uniform moduli of continuity are also obtained for chi--square processes which are defined by,
\[
Y_{k/2}(t)=\sum_{i=1}^{k}\frac{η^2_{i}(t)}{2},\qquad t\in [0,1],
\]
where $η=\{η(t);t\in [0,1]\}$ is a mean zero Gaussian process and $\{η_{i};i=1,\ldots, k\}$ are independent copies of $η.$
△ Less
Submitted 1 June, 2021; v1 submitted 25 June, 2020;
originally announced June 2020.
-
Gibbsian representations of continuous specifications: the theorems of Kozlov and Sullivan revisited
Authors:
Sebastián Barbieri,
Ricardo Gómez,
Brian Marcus,
Tom Meyerovitch,
Siamak Taati
Abstract:
The theorems of Kozlov and Sullivan characterize Gibbs measures as measures with positive continuous specifications. More precisely, Kozlov showed that every positive continuous specification on symbolic configurations of the lattice is generated by a norm-summable interaction. Sullivan showed that every shift-invariant positive continuous specification is generated by a shift-invariant interactio…
▽ More
The theorems of Kozlov and Sullivan characterize Gibbs measures as measures with positive continuous specifications. More precisely, Kozlov showed that every positive continuous specification on symbolic configurations of the lattice is generated by a norm-summable interaction. Sullivan showed that every shift-invariant positive continuous specification is generated by a shift-invariant interaction satisfying the weaker condition of variation-summability. These results were proven in the 1970s. An open question since that time is whether Kozlov's theorem holds in the shift-invariant setting, equivalently whether Sullivan's conclusion can be improved from variation-summability to norm-summability. We show that the answer is no: there exist shift-invariant positive continuous specifications that are not generated by any shift-invariant norm-summable interaction. On the other hand, we give a complete proof of an extension, suggested by Kozlov, of Kozlov's theorem to a characterization of positive continuous specifications on configuration spaces with arbitrary hard constraints. We also present an extended version of Sullivan's theorem. Aside from simplifying some of the arguments in the original proof, our new version of Sullivan's theorem applies in various settings not covered by the original proof. In particular, it applies when the support of the specification is the hard-core shift or the two-dimensional $q$-coloring shift for $q\geq 6$.
△ Less
Submitted 4 October, 2020; v1 submitted 12 January, 2020;
originally announced January 2020.
-
Permanental sequences that are related to a Markov chain example of Kolmogorov
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Permanental sequences with non-symmetric kernels that are generalization of the potentials of a Markov chain with state space $\{0,1/2, \ldots, 1/n,\ldots\}$ that was introduced by Kolmogorov, are studied. Depending on a parameter in the kernels we obtain an exact rate of divergence of the sequence at $0$, an exact local modulus of continuity of the sequence at $0$, or a precise bounded discontinu…
▽ More
Permanental sequences with non-symmetric kernels that are generalization of the potentials of a Markov chain with state space $\{0,1/2, \ldots, 1/n,\ldots\}$ that was introduced by Kolmogorov, are studied. Depending on a parameter in the kernels we obtain an exact rate of divergence of the sequence at $0$, an exact local modulus of continuity of the sequence at $0$, or a precise bounded discontinuity for the sequence at $0$.
△ Less
Submitted 9 May, 2020; v1 submitted 30 November, 2019;
originally announced December 2019.
-
Asymptotic properties of permanental sequences
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $U=\{U_{j,k},j,k\in \overline {\mathbb N}\}$ be the potential of a transient symmetric Borel right process $X$ with state space $\overline {\mathbb N}$. For any excessive function $f=\{f_{k,k\in \overline {\mathbb N}}\}$ for $X$ , $\widetilde U=\{\widetilde U_{j,k},j,k\in\overline {\mathbb N}\}$, where \begin{equation}
\widetilde U_{j,k}= U_{j,k} +f_{ k},\qquad j,k\in\overline {\mathbb N},\l…
▽ More
Let $U=\{U_{j,k},j,k\in \overline {\mathbb N}\}$ be the potential of a transient symmetric Borel right process $X$ with state space $\overline {\mathbb N}$. For any excessive function $f=\{f_{k,k\in \overline {\mathbb N}}\}$ for $X$ , $\widetilde U=\{\widetilde U_{j,k},j,k\in\overline {\mathbb N}\}$, where \begin{equation}
\widetilde U_{j,k}= U_{j,k} +f_{ k},\qquad j,k\in\overline {\mathbb N},\label{a.1}
\end{equation} is the kernel of an $α$-permanental sequence $\widetilde X_α=(\widetilde X_{α, 1} ,\ldots)$ for all $α>0$. The symmetric potential $U$ is also the covariance of a mean zero Gaussian sequence
$η=\{η_{j},j\in \overline {\mathbb N}\}$.
Conditions are given on the potentials $U$ and excessive functions $f$ under which, \begin{equation} \limsup_{j\to \infty}\frac{ η_{j}}{( 2\,φ_{j})^{1/2} }=1 \quad a.s. \quad \implies \quad \limsup_{n\to \infty}\frac{\widetilde X_{α, j}}{φ_{j} }=1\quad a.s.,\label{a.2}
\end{equation} for all $α>0$, and sequences $φ=\{φ_{j}\}$ such that $f_{j}=o(φ_{j})$.
The function $φ$ is determined by $U$. Many examples are given in which $U$ is the potential of symmetric birth and death processes with and without emigration, first and higher order Gaussian autoregressive sequences and Lévy processes on $\mathbf Z$.
△ Less
Submitted 12 August, 2019;
originally announced August 2019.
-
Equivalence of relative Gibbs and relative equilibrium measures for actions of countable amenable groups
Authors:
Sebastián Barbieri,
Ricardo Gómez,
Brian Marcus,
Siamak Taati
Abstract:
We formulate and prove a very general relative version of the Dobrushin-Lanford-Ruelle theorem which gives conditions on constraints of configuration spaces over a finite alphabet such that for every absolutely summable relative interaction, every translation-invariant relative Gibbs measure is a relative equilibrium measure and vice versa. Neither implication is true without some assumption on th…
▽ More
We formulate and prove a very general relative version of the Dobrushin-Lanford-Ruelle theorem which gives conditions on constraints of configuration spaces over a finite alphabet such that for every absolutely summable relative interaction, every translation-invariant relative Gibbs measure is a relative equilibrium measure and vice versa. Neither implication is true without some assumption on the space of configurations. We note that the usual finite type condition can be relaxed to a much more general class of constraints. By "relative" we mean that both the interaction and the set of allowed configurations are determined by a random environment. The result includes many special cases that are well known. We give several applications including (1) Gibbsian properties of measures that maximize pressure among all those that project to a given measure via a topological factor map from one symbolic system to another; (2) Gibbsian properties of equilibrium measures for group shifts defined on arbitrary countable amenable groups; (3) A Gibbsian characterization of equilibrium measures in terms of equilibrium condition on lattice slices rather than on finite sets; (4) A relative extension of a theorem of Meyerovitch, who proved a version of the Lanford--Ruelle theorem which shows that every equilibrium measure on an arbitrary subshift satisfies a Gibbsian property on interchangeable patterns.
△ Less
Submitted 5 December, 2019; v1 submitted 31 August, 2018;
originally announced September 2018.
-
Permanental processes with kernels that are not equivalent to a symmetric matrix
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Kernels of $α$-permanental processes of the form
\[ v(x,y)=u(x,y)+f(y),\qquad x,y\in S, \]
in which $u(x,y)$ is symmetric, and $f$ is an excessive function for the Borel right process with potential densities $u(x,y)$, are considered. Conditions are given that determine whether $\{v(x,y);x,y\in S\}$ is symmetrizable or asymptotically symmetrizable.
Kernels of $α$-permanental processes of the form
\[ v(x,y)=u(x,y)+f(y),\qquad x,y\in S, \]
in which $u(x,y)$ is symmetric, and $f$ is an excessive function for the Borel right process with potential densities $u(x,y)$, are considered. Conditions are given that determine whether $\{v(x,y);x,y\in S\}$ is symmetrizable or asymptotically symmetrizable.
△ Less
Submitted 21 February, 2018;
originally announced February 2018.
-
Sample path properties of permanental processes
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $X_α=\{X_α(t),t\in T\}$, $α>0$, be an $α$-permanental process with kernel $u(s,t)$. We show that $X^{1/2}_α$ is a subgaussian process with respect to the metric $σ(s,t)= (u(s,s)+u(t,t)-2(u(s,t)u(t,s))^{1/2})^{1/2}$. This allows us to use the vast literature on sample path properties of subgaussian processes to extend these properties to $α$-permanental processes. Local and uniform moduli of co…
▽ More
Let $X_α=\{X_α(t),t\in T\}$, $α>0$, be an $α$-permanental process with kernel $u(s,t)$. We show that $X^{1/2}_α$ is a subgaussian process with respect to the metric $σ(s,t)= (u(s,s)+u(t,t)-2(u(s,t)u(t,s))^{1/2})^{1/2}$. This allows us to use the vast literature on sample path properties of subgaussian processes to extend these properties to $α$-permanental processes. Local and uniform moduli of continuity are obtained as well as the behavior of the processes at infinity. Examples are given of permanental processes with kernels that are the potential density of transient Lévy processes that are not necessarily symmetric, or with kernels of the form $ \hat u(x,y)= u(x,y)+f(y)$, where $u$ is the potential density of a symmetric transient Borel right process and $f$ is an excessive function for the process.
△ Less
Submitted 2 November, 2017; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Mixing Properties for Hom-Shifts and the Distance between Walks on Associated Graphs
Authors:
Nishant Chandgotia,
Brian Marcus
Abstract:
Let $\mathcal H$ be a finite connected undirected graph and $\mathcal H_{walk}$ be the graph of bi-infinite walks on $\mathcal H$; two such walks $\{x_i\}_{i\in \mathbb Z}$ and $\{y_i\}_{i \in \mathbb Z}$ are said to be adjacent if $x_i$ is adjacent to $y_i$ for all $i \in \mathbb Z$. We consider the question: Given a graph $\mathcal H$ when is the diameter (with respect to the graph metric) of…
▽ More
Let $\mathcal H$ be a finite connected undirected graph and $\mathcal H_{walk}$ be the graph of bi-infinite walks on $\mathcal H$; two such walks $\{x_i\}_{i\in \mathbb Z}$ and $\{y_i\}_{i \in \mathbb Z}$ are said to be adjacent if $x_i$ is adjacent to $y_i$ for all $i \in \mathbb Z$. We consider the question: Given a graph $\mathcal H$ when is the diameter (with respect to the graph metric) of $\mathcal H_{walk}$ finite? Such questions arise while studying mixing properties of hom-shifts (shift spaces which arise as the space of graph homomorphisms from the Cayley graph of $\mathbb Z^d$ with respect to the standard generators to $\mathcal H$) and are the subject of this paper.
△ Less
Submitted 1 November, 2017; v1 submitted 28 July, 2016;
originally announced July 2016.
-
Permanental random variables, ${M}$-matrices and $α$-permanents
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
We explore some properties of a recent representation of permanental vectors which expresses them as sums of independent vectors with components that are independent gamma random variables.
We explore some properties of a recent representation of permanental vectors which expresses them as sums of independent vectors with components that are independent gamma random variables.
△ Less
Submitted 20 April, 2016;
originally announced April 2016.
-
Conditions for permanental processes to be unbounded
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
An $\al$-permanental process $\{X_{ t},t\in T \}$ is a stochastic process determined by a kernel $K=\{K(s,t),s,t\in T \}$, with the property that for all $t_{1},\ldots,t_{n}\in T $, $ |I+K( t_{1},\ldots,t_{n}) S|^{- \al} $ is the Laplace transform of $(X_{t_{1}},\ldots,X_{t_{n}})$, where $ K( t_{1},\ldots,t_{n})$ denotes the matrix $\{K(t_{i}, t_{j})\}_{i,j=1}^{n}$ and $S$ is the diagonal matrix w…
▽ More
An $\al$-permanental process $\{X_{ t},t\in T \}$ is a stochastic process determined by a kernel $K=\{K(s,t),s,t\in T \}$, with the property that for all $t_{1},\ldots,t_{n}\in T $, $ |I+K( t_{1},\ldots,t_{n}) S|^{- \al} $ is the Laplace transform of $(X_{t_{1}},\ldots,X_{t_{n}})$, where $ K( t_{1},\ldots,t_{n})$ denotes the matrix $\{K(t_{i}, t_{j})\}_{i,j=1}^{n}$ and $S$ is the diagonal matrix with entries $s_{1},\ldots,s_{n} $. $ (X_{t_{1}},\ldots,X_{t_{n}})$ is called a permanental vector.
Under the condition that $K$ is the potential density of a transient Markov process,
$(X_{t_{1}},\ldots,X_{t_{n}})$ is represented as a random mixture of
$n$-dimensional random variables with components that are independent gamma random variables. This representation leads to a Sudakov type inequality for the sup-norm of $(X_{t_{1}},\ldots,X_{t_{n}})$ that is used to obtain sufficient conditions for a large class of permanental processes to be unbounded almost surely. These results are used to obtain conditions for permanental processes associated with certain Lévy processes to be unbounded.
Because $K$ is the potential density of a transient Markov process, for all $t_{1},\ldots,t_{n}\in T $, $A( t_{1},\ldots,t_{n}):= (K( t_{1},\ldots,t_{n}))^{-1}$ are $M$-matrices. The results in this paper are obtained by working with these $M$-matrices.
△ Less
Submitted 16 November, 2015;
originally announced November 2015.
-
Mean sensitive, mean equicontinuous and almost periodic functions for dynamical systems
Authors:
Felipe García-Ramos,
Brian Marcus
Abstract:
We show that an $R^d$-topological dynamical system equipped with an invariant ergodic measure has discrete spectrum if and only it is $μ$-mean equicontinuous (proven for $Z^d$ before). In order to do this we introduce mean equicontinuity and mean sensitivity with respect to a function. We study this notion in the topological and measure theoretic setting. In the measure theoretic case we character…
▽ More
We show that an $R^d$-topological dynamical system equipped with an invariant ergodic measure has discrete spectrum if and only it is $μ$-mean equicontinuous (proven for $Z^d$ before). In order to do this we introduce mean equicontinuity and mean sensitivity with respect to a function. We study this notion in the topological and measure theoretic setting. In the measure theoretic case we characterize almost periodic functions and in the topological case we show that weakly almost periodic functions are mean equicontinuous (the converse does not hold).
△ Less
Submitted 3 November, 2019; v1 submitted 17 September, 2015;
originally announced September 2015.
-
Representation and poly-time approximation for pressure of $\mathbb{Z}^2$ lattice models in the non-uniqueness region
Authors:
Stefan Adams,
Raimundo Briceño,
Brian Marcus,
Ronnie Pavlov
Abstract:
We develop a new pressure representation theorem for nearest-neighbour Gibbs interactions and apply this to obtain the existence of efficient algorithms for approximating the pressure in the $2$-dimensional ferromagnetic Potts, multi-type Widom-Rowlinson and hard-core models. For Potts, our results apply to every inverse temperature but the critical. For Widom-Rowlinson and hard-core, they apply t…
▽ More
We develop a new pressure representation theorem for nearest-neighbour Gibbs interactions and apply this to obtain the existence of efficient algorithms for approximating the pressure in the $2$-dimensional ferromagnetic Potts, multi-type Widom-Rowlinson and hard-core models. For Potts, our results apply to every inverse temperature but the critical. For Widom-Rowlinson and hard-core, they apply to certain subsets of both the subcritical and supercritical regions. The main novelty of our work is in the latter.
△ Less
Submitted 26 August, 2015;
originally announced August 2015.
-
An integral representation for topological pressure in terms of conditional probabilities
Authors:
Brian Marcus,
Ronnie Pavlov
Abstract:
Given an equilibrium state $μ$ for a continuous function $f$ on a shift of finite type $X$, the pressure of $f$ is the integral, with respect to $μ$, of the sum of $f$ and the information function of $μ$. We show that under certain assumptions on $f$, $X$ and an invariant measure $ν$, the pressure of $f$ can also be represented as the integral with respect to $ν$ of the same integrand. Under stron…
▽ More
Given an equilibrium state $μ$ for a continuous function $f$ on a shift of finite type $X$, the pressure of $f$ is the integral, with respect to $μ$, of the sum of $f$ and the information function of $μ$. We show that under certain assumptions on $f$, $X$ and an invariant measure $ν$, the pressure of $f$ can also be represented as the integral with respect to $ν$ of the same integrand. Under stronger hypotheses we show that this representation holds for all invariant measures $ν$. We establish an algorithmic implication for approximation of pressure, and we relate our results to a result in thermodynamic formalism.
△ Less
Submitted 13 January, 2014; v1 submitted 7 September, 2013;
originally announced September 2013.
-
Intersection local times, loop soups and permanental Wick powers
Authors:
Yves Le Jan,
Michael B. Marcus,
Jay Rosen
Abstract:
Several stochastic processes related to transient Lévy processes with potential densities $u(x,y)=u(y-x)$, that need not be symmetric nor bounded on the diagonal, are defined and studied.
They are real valued processes on a space of measures $V$ endowed with a metric $d$. Sufficient conditions are obtained for the continuity of these processes on $(V,d)$. The processes include $n$-fold self-inte…
▽ More
Several stochastic processes related to transient Lévy processes with potential densities $u(x,y)=u(y-x)$, that need not be symmetric nor bounded on the diagonal, are defined and studied.
They are real valued processes on a space of measures $V$ endowed with a metric $d$. Sufficient conditions are obtained for the continuity of these processes on $(V,d)$. The processes include $n$-fold self-intersection local times of transient Lévy processes and permanental chaoses, which are `loop soup $n$-fold self-intersection local times' constructed from the loop soup of the Lévy process. Loop soups are also used to define permanental Wick powers, which generalizes standard Wick powers, a class of $n$-th order Gaussian chaoses. Dynkin type isomorphism theorems are obtained that relate the various processes.
Poisson chaos processes are defined and permanental Wick powers are shown to have a Poisson chaos decomposition. Additional properties of Poisson chaos processes are studied and a martingale extension is obtained for many of the processes described above.
△ Less
Submitted 7 November, 2013; v1 submitted 12 August, 2013;
originally announced August 2013.
-
Permanental fields, loop soups and continuous additive functionals
Authors:
Yves Le Jan,
Michael B. Marcus,
Jay Rosen
Abstract:
A permanental field, $ψ=\{ψ(ν),ν\in {\mathcal{V}}\}$, is a particular stochastic process indexed by a space of measures on a set $S$. It is determined by a kernel $u(x,y)$, $x,y\in S$, that need not be symmetric and is allowed to be infinite on the diagonal. We show that these fields exist when $u(x,y)$ is a potential density of a transient Markov process $X$ in $S$. A permanental field $ψ$ can be…
▽ More
A permanental field, $ψ=\{ψ(ν),ν\in {\mathcal{V}}\}$, is a particular stochastic process indexed by a space of measures on a set $S$. It is determined by a kernel $u(x,y)$, $x,y\in S$, that need not be symmetric and is allowed to be infinite on the diagonal. We show that these fields exist when $u(x,y)$ is a potential density of a transient Markov process $X$ in $S$. A permanental field $ψ$ can be realized as the limit of a renormalized sum of continuous additive functionals determined by a loop soup of $X$, which we carefully construct. A Dynkin-type isomorphism theorem is obtained that relates $ψ$ to continuous additive functionals of $X$ (continuous in $t$), $L=\{L_t^ν,(ν,t)\in {\mathcal{V}}\times R_+\}$. Sufficient conditions are obtained for the continuity of $L$ on ${\mathcal{V}}\times R_+$. The metric on ${\mathcal{V}}$ is given by a proper norm.
△ Less
Submitted 8 January, 2015; v1 submitted 9 September, 2012;
originally announced September 2012.
-
Analyticity of Entropy Rate of Continuous-State Hidden Markov Chains
Authors:
Guangyue Han,
Brian Marcus
Abstract:
We prove that under certain mild assumptions, the entropy rate of a hidden Markov chain, observed when passing a finite-state stationary Markov chain through a discrete-time continuous-output channel, is jointly analytic as a function of the input Markov chain parameters and the channel parameters. In particular, as consequences of the main theorems, we obtain analyticity for the entropy rate asso…
▽ More
We prove that under certain mild assumptions, the entropy rate of a hidden Markov chain, observed when passing a finite-state stationary Markov chain through a discrete-time continuous-output channel, is jointly analytic as a function of the input Markov chain parameters and the channel parameters. In particular, as consequences of the main theorems, we obtain analyticity for the entropy rate associated with representative channels: Cauchy and Gaussian.
△ Less
Submitted 15 August, 2012;
originally announced August 2012.
-
Computing bounds for entropy of stationary Z^d Markov random fields
Authors:
Brian Marcus,
Ronnie Pavlov
Abstract:
For any stationary $\mZ^d$-Gibbs measure that satisfies strong spatial mixing, we obtain sequences of upper and lower approximations that converge to its entropy. In the case, $d=2$, these approximations are efficient in the sense that the approximations are accurate to within $ε$ and can be computed in time polynomial in $1/ε$.
For any stationary $\mZ^d$-Gibbs measure that satisfies strong spatial mixing, we obtain sequences of upper and lower approximations that converge to its entropy. In the case, $d=2$, these approximations are efficient in the sense that the approximations are accurate to within $ε$ and can be computed in time polynomial in $1/ε$.
△ Less
Submitted 8 August, 2012; v1 submitted 12 April, 2012;
originally announced April 2012.
-
One dimensional Markov random fields, Markov chains and Topological Markov fields
Authors:
Nishant Chandgotia,
Guangyue Han,
Brian Marcus,
Tom Meyerovitch,
Ronnie Pavlov
Abstract:
In this paper we show that any one-dimensional stationary, finite-valued Markov Random Field (MRF) is a Markov chain, without any mixing condition or condition on the support.
Our proof makes use of two properties of the support $X$ of a finite-valued stationary MRF: 1) $X$ is non-wandering (this is a property of the support of any finite-valued stationary process) and 2) $X$ is a topological Ma…
▽ More
In this paper we show that any one-dimensional stationary, finite-valued Markov Random Field (MRF) is a Markov chain, without any mixing condition or condition on the support.
Our proof makes use of two properties of the support $X$ of a finite-valued stationary MRF: 1) $X$ is non-wandering (this is a property of the support of any finite-valued stationary process) and 2) $X$ is a topological Markov field (TMF). The latter is a new property that sits in between the classes of shifts of finite type and sofic shifts, which are well-known objects of study in symbolic dynamics. Here, we develop the TMF property in one dimension, and we will develop this property in higher dimensions in a future paper.
While we are mainly interested in discrete-time finite-valued stationary MRF's, we also consider continuous-time, finite-valued stationary MRF's, and show that these are (continuous-time) Markov chains as well.
△ Less
Submitted 19 December, 2011;
originally announced December 2011.
-
Permanental Vectors
Authors:
Hana Kogan,
Michael B. Marcus
Abstract:
A permanental vector is a generalization of a vector with components that are squares of the components of a Gaussian vector, in the sense that the matrix that appears in the Laplace transform of the vector of Gaussian squares is not required to be either symmetric or positive definite. In addition the power of the determinant in the Laplace transform of the vector of Gaussian squares, which is -1…
▽ More
A permanental vector is a generalization of a vector with components that are squares of the components of a Gaussian vector, in the sense that the matrix that appears in the Laplace transform of the vector of Gaussian squares is not required to be either symmetric or positive definite. In addition the power of the determinant in the Laplace transform of the vector of Gaussian squares, which is -1/2, is allowed to be any number less than zero.
It was not at all clear what vectors are permanental vectors. In this paper we characterize all permanental vectors in $R^{3}_{+}$ and give applications to permanental vectors in $R^{n}_{+}$ and to the study of permanental processes.
△ Less
Submitted 6 July, 2011;
originally announced July 2011.
-
Approximating entropy for a class of $\zz^2$ Markov Random Fields and pressure for a class of functions on $\zz^2$ shifts of finite type
Authors:
Brian Marcus,
Ronnie Pavlov
Abstract:
For a class of $\zz^2$ Markov Random Fields (MRFs) $μ$, we show that the sequence of successive differences of entropies of induced MRFs on strips of height $n$ converges exponentially fast (in $n$) to the entropy of $μ$. These strip entropies can be computed explicitly when $μ$ is a Gibbs state given by a nearest-neighbor interaction on a strongly irreducible nearest-neighbor $\zz^2$ shift of fin…
▽ More
For a class of $\zz^2$ Markov Random Fields (MRFs) $μ$, we show that the sequence of successive differences of entropies of induced MRFs on strips of height $n$ converges exponentially fast (in $n$) to the entropy of $μ$. These strip entropies can be computed explicitly when $μ$ is a Gibbs state given by a nearest-neighbor interaction on a strongly irreducible nearest-neighbor $\zz^2$ shift of finite type $X$. We state this result in terms of approximations to the (topological) pressures of certain functions on such an $X$, and we show that these pressures are computable if the values taken on by the functions are computable. Finally, we show that our results apply to the hard core model and Ising model for certain parameter values of the corresponding interactions, as well as to the topological entropy of certain nearest-neighbor $\zz^2$ shifts of finite type, generalizing a result in \cite{Pa}.
△ Less
Submitted 15 September, 2010;
originally announced September 2010.
-
Permanental Processes
Authors:
Hana Kogan,
Michael B. Marcus,
Jay Rosen
Abstract:
This is a survey of results about permanental processes, real valued positive processes which are a generalization of squares of Gaussian processes. In a certain sense the symmetric positive definite function that determines a Gaussian process is replaced by a function that is not necessarily symmetric nor positive definite, but that nevertheless determines a stochastic process. This is a new aven…
▽ More
This is a survey of results about permanental processes, real valued positive processes which are a generalization of squares of Gaussian processes. In a certain sense the symmetric positive definite function that determines a Gaussian process is replaced by a function that is not necessarily symmetric nor positive definite, but that nevertheless determines a stochastic process. This is a new avenue of research with very many open problems.
△ Less
Submitted 20 August, 2010;
originally announced August 2010.
-
A sufficient condition for the continuity of permanental processes with applications to local times of Markov processes
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
We provide a sufficient condition for the continuity of real valued permanental processes. When applied to the subclass of permanental processes which consists of squares of Gaussian processes, we obtain the sufficient condition for continuity which is also known to be necessary. Using an isomorphism theorem of Eisenbaum and Kaspi which relates Markov local times and permanental processes, we obta…
▽ More
We provide a sufficient condition for the continuity of real valued permanental processes. When applied to the subclass of permanental processes which consists of squares of Gaussian processes, we obtain the sufficient condition for continuity which is also known to be necessary. Using an isomorphism theorem of Eisenbaum and Kaspi which relates Markov local times and permanental processes, we obtain a general sufficient condition for the joint continuity of local times.
△ Less
Submitted 15 March, 2013; v1 submitted 31 May, 2010;
originally announced May 2010.
-
An almost sure limit theorem for Wick powers of Gaussian differences quotients
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let G={G(x), x\in R_+}, G(0)=0, be a mean zero Gaussian process with $E(G(x)-G(y))^2=σ^2(x-y) $. Let $
ρ(x)= \frac12{d^{2}\over dx^2}σ^2(x)$, $x\ne 0 $. When $ρ^{k}$ is integrable at zero and satisfies some additional regularity conditions,
\[ \lim_{h\downarrow 0} \int :(\frac{G(x+h)-G(x)}{h})^{k}:g(x) dx=:(G') ^{k}:(g){.3 in}a.s. \] for all $g\in B_{0}(R^{+})$, the set of bounded Lebesgue m…
▽ More
Let G={G(x), x\in R_+}, G(0)=0, be a mean zero Gaussian process with $E(G(x)-G(y))^2=σ^2(x-y) $. Let $
ρ(x)= \frac12{d^{2}\over dx^2}σ^2(x)$, $x\ne 0 $. When $ρ^{k}$ is integrable at zero and satisfies some additional regularity conditions,
\[ \lim_{h\downarrow 0} \int :(\frac{G(x+h)-G(x)}{h})^{k}:g(x) dx=:(G') ^{k}:(g){.3 in}a.s. \] for all $g\in B_{0}(R^{+})$, the set of bounded Lebesgue measurable functions on $R_+$ with compact support. Here $G'$ is a generalized derivative of $G$ and $:(\cd)^{k}:$ is the $k$--th order Wick power.
△ Less
Submitted 15 October, 2009;
originally announced October 2009.
-
A CLT for the $L^{2}$ norm of increments of local times of Lévy processes as time goes to infinity
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $X=\{X_{t},t\in R_{+}\}$ be a symmetric Lévy process with local time $\{L^{x}_{t} ; (x,t)\in R^{1}\times R^{1}_{+}\}$. When the Lévy exponent $ψ(\la)$ is regularly varying at zero with index $1<β\leq 2$, and satisfies some additional regularity conditions, \begin{eqnarray*} && {\int_{-\infty}^{\infty} (L^{x+1}_{t}- L^{x}_{t})^{2} dx- E(\int_{-\infty}^{\infty} (L^{x+1}_{t}- L^{x}_{t})^{2} dx)…
▽ More
Let $X=\{X_{t},t\in R_{+}\}$ be a symmetric Lévy process with local time $\{L^{x}_{t} ; (x,t)\in R^{1}\times R^{1}_{+}\}$. When the Lévy exponent $ψ(\la)$ is regularly varying at zero with index $1<β\leq 2$, and satisfies some additional regularity conditions, \begin{eqnarray*} && {\int_{-\infty}^{\infty} (L^{x+1}_{t}- L^{x}_{t})^{2} dx- E(\int_{-\infty}^{\infty} (L^{x+1}_{t}- L^{x}_{t})^{2} dx)\over t\sqrt{ψ^{-1}(1/t)}}\label{r5.0tweaksabs} && \stackrel{\mathcal{L}}{\Longrightarrow}(8c_{ψ,1 })^{1/2}(\int_{-\infty}^{\finfty} (L_{β,1}^{x})^{2} dx)^{1/2} η\end{eqnarray*} as $t\rar\infty$, where $L_{\bb,1}=\{L^{x}_{β, 1} ; x \in R^{1} \}$ denotes the local time, at time 1, of a symmetric stable process with index $β$, $η$ is a normal random variable with mean zero and variance one that is independent of $L_{β,1}$, and $c_{ψ,1}$ is a known constant that depends on $ψ$.
△ Less
Submitted 6 September, 2009;
originally announced September 2009.
-
A CLT for the $L^{2}$ moduli of continuity of local times of Levy processes
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $X=\{X_{t},t\in R_{+}\}$ be a symmetric Lévy process with local time $\{L^{x}_{t} ; (x,t)\in R^{1}\times R^{1}_{+}\}$. When the Lévy exponent $ψ(\la)$ is regularly varying at infinity with index $1<β\leq 2$ and satisfies some additional regularity conditions && \sqrt{hψ^{2}(1/h)} \lc \int (L^{x+h}_{1}- L^{x}_{1})^{2} dx- E(\int (L^{x+h}_{1}- L^{x}_{1})^{2} dx)\rc\nn && {1 in} \stackrel{\math…
▽ More
Let $X=\{X_{t},t\in R_{+}\}$ be a symmetric Lévy process with local time $\{L^{x}_{t} ; (x,t)\in R^{1}\times R^{1}_{+}\}$. When the Lévy exponent $ψ(\la)$ is regularly varying at infinity with index $1<β\leq 2$ and satisfies some additional regularity conditions && \sqrt{hψ^{2}(1/h)} \lc \int (L^{x+h}_{1}- L^{x}_{1})^{2} dx- E(\int (L^{x+h}_{1}- L^{x}_{1})^{2} dx)\rc\nn && {1 in} \stackrel{\mathcal{L}}{\Longrightarrow} (8c_{β,1})^{1/2} η(\int (L_{1}^{x})^{2} dx)^{1/2} \nn, as $h\rar 0$, where $η$ is a normal random variable with mean zero and variance one that is independent of $L^{x}_{t}$, and $c_{β,1}$ is a known constant.
△ Less
Submitted 25 June, 2009;
originally announced June 2009.
-
A note on a complex Hilbert metric with application to domain of analyticity for entropy rate of hidden Markov processes
Authors:
Guangyue Han,
Brian Marcus,
Yuval Peres
Abstract:
In this note, we show that small complex perturbations of positive matrices are contractions, with respect to a complex version of the Hilbert metric, on the standard complex simplex. We show that this metric can be used to obtain estimates of the domain of analyticity of entropy rate for a hidden Markov process when the underlying Markov chain has strictly positive transition probabilities.
In this note, we show that small complex perturbations of positive matrices are contractions, with respect to a complex version of the Hilbert metric, on the standard complex simplex. We show that this metric can be used to obtain estimates of the domain of analyticity of entropy rate for a hidden Markov process when the underlying Markov chain has strictly positive transition probabilities.
△ Less
Submitted 15 May, 2009;
originally announced May 2009.
-
Improved Lower Bounds on Capacities of Symmetric 2-Dimensional Constraints using Rayleigh Quotients
Authors:
Erez Louidor,
Brian Marcus
Abstract:
A method for computing lower bounds on capacities of 2-dimensional constraints having a symmetric presentation in either the horizontal or the vertical direction is presented. The method is a generalization of the method of Calkin and Wilf (SIAM J. Discrete Math., 1998). Previous best lower bounds on capacities of certain constraints are improved using the method. It is also shown how this metho…
▽ More
A method for computing lower bounds on capacities of 2-dimensional constraints having a symmetric presentation in either the horizontal or the vertical direction is presented. The method is a generalization of the method of Calkin and Wilf (SIAM J. Discrete Math., 1998). Previous best lower bounds on capacities of certain constraints are improved using the method. It is also shown how this method, as well as their method for computing upper bounds on the capacity, can be applied to constraints which are not of finite-type. Additionally, capacities of 2 families of multi-dimensional constraints are given exactly.
△ Less
Submitted 10 March, 2009;
originally announced March 2009.
-
A CLT for the L^{2} modulus of continuity of Brownian local time
Authors:
Xia Chen,
Wenbo Li,
Michael B. Marcus,
Jay Rosen
Abstract:
Let $\{L^{x}_{t} ; (x,t)\in R^{1}\times R^{1}_{+}\}$ denote the local time of Brownian motion and \[ α_{t}:=\int_{-\infty}^{\infty} (L^{x}_{t})^{2} dx . \] Let $η=N(0,1)$ be independent of $α_{t}$. For each fixed $t$ \[ {\int_{-\infty}^{\infty} (L^{x+h}_{t}- L^{x}_{t})^{2} dx- 4ht\over h^{3/2}} \stackrel{\mathcal{L}}{\to}({64 \over 3})^{1/2}\sqrt{α_{t}} η, \] as $h\rar 0$. Equivalently \[ {\int_…
▽ More
Let $\{L^{x}_{t} ; (x,t)\in R^{1}\times R^{1}_{+}\}$ denote the local time of Brownian motion and \[ α_{t}:=\int_{-\infty}^{\infty} (L^{x}_{t})^{2} dx . \] Let $η=N(0,1)$ be independent of $α_{t}$. For each fixed $t$ \[ {\int_{-\infty}^{\infty} (L^{x+h}_{t}- L^{x}_{t})^{2} dx- 4ht\over h^{3/2}} \stackrel{\mathcal{L}}{\to}({64 \over 3})^{1/2}\sqrt{α_{t}} η, \] as $h\rar 0$. Equivalently \[ {\int_{-\infty}^{\infty} (L^{x+1}_{t}- L^{x}_{t})^{2} dx- 4t\over t^{3/4}} \stackrel{\mathcal{L}}{\to}({64 \over 3} )^{1/2}\sqrt{α_{1}} η, \] as $t\rar\infty$.
△ Less
Submitted 8 January, 2009;
originally announced January 2009.
-
Existence of a critical point for the infinite divisibility of squares of Gaussian vectors in $R^{2}$ with non--zero mean
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $G=(G_{1},G_{2})$ be a Gaussian vector in $R^{2}$ with $EG_{1}G_{2}\neq 0$. Let $c_{1},c_{2}\in R^{1}$. A necessary and sufficient condition for $G=((G_{1}+c_{1}α)^{2},(G_{2}+c_{2}α)^{2})$ to be infinitely divisible for all $α\in R^{1}$ is that \[ \Ga_{i,i}\geq \frac{c_{i}}{c_{j}}\Ga_{i,j}>0\qquad\forall 1\le i\ne j\le 2.\] In this paper we show that when this does not hold there exists an…
▽ More
Let $G=(G_{1},G_{2})$ be a Gaussian vector in $R^{2}$ with $EG_{1}G_{2}\neq 0$. Let $c_{1},c_{2}\in R^{1}$. A necessary and sufficient condition for $G=((G_{1}+c_{1}α)^{2},(G_{2}+c_{2}α)^{2})$ to be infinitely divisible for all $α\in R^{1}$ is that \[ \Ga_{i,i}\geq \frac{c_{i}}{c_{j}}\Ga_{i,j}>0\qquad\forall 1\le i\ne j\le 2.\] In this paper we show that when this does not hold there exists an $0<α_{0}<\ff $ such that $G=((G_{1}+c_{1}α)^{2},(G_{2}+c_{2}α)^{2})$ is infinitely divisible for all $|α|\leq α_{0}$ but not for any $|\al|>\al_{0}$.
△ Less
Submitted 19 June, 2008;
originally announced June 2008.
-
Asymptotics of input-constrained binary symmetric channel capacity
Authors:
Guangyue Han,
Brian Marcus
Abstract:
We study the classical problem of noisy constrained capacity in the case of the binary symmetric channel (BSC), namely, the capacity of a BSC whose inputs are sequences chosen from a constrained set. Motivated by a result of Ordentlich and Weissman [In Proceedings of IEEE Information Theory Workshop (2004) 117--122], we derive an asymptotic formula (when the noise parameter is small) for the ent…
▽ More
We study the classical problem of noisy constrained capacity in the case of the binary symmetric channel (BSC), namely, the capacity of a BSC whose inputs are sequences chosen from a constrained set. Motivated by a result of Ordentlich and Weissman [In Proceedings of IEEE Information Theory Workshop (2004) 117--122], we derive an asymptotic formula (when the noise parameter is small) for the entropy rate of a hidden Markov chain, observed when a Markov chain passes through a BSC. Using this result, we establish an asymptotic formula for the capacity of a BSC with input process supported on an irreducible finite type constraint, as the noise parameter tends to zero.
△ Less
Submitted 10 August, 2009; v1 submitted 24 March, 2008;
originally announced March 2008.
-
CLT for L^{p} moduli of continuity of Gaussian processes
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let G=\{G(x),x\in R^1\} be a mean zero Gaussian processes with stationary increments and set \si ^2(|x-y|)= E(G(x)-G(y))^2. Let f be a symmetric function with Ef(η)<\ff, where η=N(0,1). When \si^2(s) is concave or when \si^2(s)=s^r$, $1<r\leq 3/2 we have
\lim_{h\downarrow 0}{\int_a^b f(\frac{G(x+h)-G(x)}{\si (h)}) dx - (b-a)Ef(η)\over \sqrt{Φ(h,\si(h),f,a,b)}}= N(0,1) in law where Φ(h,\si(h),f…
▽ More
Let G=\{G(x),x\in R^1\} be a mean zero Gaussian processes with stationary increments and set \si ^2(|x-y|)= E(G(x)-G(y))^2. Let f be a symmetric function with Ef(η)<\ff, where η=N(0,1). When \si^2(s) is concave or when \si^2(s)=s^r$, $1<r\leq 3/2 we have
\lim_{h\downarrow 0}{\int_a^b f(\frac{G(x+h)-G(x)}{\si (h)}) dx - (b-a)Ef(η)\over \sqrt{Φ(h,\si(h),f,a,b)}}= N(0,1) in law where Φ(h,\si(h),f,a,b) is the variance of the numerator.
This result continues to hold when \si^2(s)=s^r, 3/2<r<2, for certain functions f, depending on the nature of the coefficients in their Hermite polynomial expansion.
The asymptotic behavior of Φ(h,\si(h),f,a,b) at zero, is described in a very large number of cases.
△ Less
Submitted 29 October, 2006;
originally announced October 2006.
-
$L^p$ moduli of continuity of Gaussian processes and local times of symmetric Lévy processes
Authors:
Michael B. Marcus,
Jay Rosen
Abstract:
Let $X=\{X(t),t\in R_+\}$ be a real-valued symmetric Lévy process with continuous local times $\{L^x_t,(t,x)\in R_+\times R\}$ and characteristic function $Ee^{iλX(t)}=e^{-tψ(λ)}$. Let \[σ^2_0(x-y)=\frac{4}π\int^{\infty}_0\frac{\sin^2({λ(x- y)}/{2})}{ψ(λ)} dλ.\] If $σ^2_0(h)$ is concave, and satisfies some additional very weak regularity conditions, then for any $p\ge1$, and all $t\in R_+$, \[\l…
▽ More
Let $X=\{X(t),t\in R_+\}$ be a real-valued symmetric Lévy process with continuous local times $\{L^x_t,(t,x)\in R_+\times R\}$ and characteristic function $Ee^{iλX(t)}=e^{-tψ(λ)}$. Let \[σ^2_0(x-y)=\frac{4}π\int^{\infty}_0\frac{\sin^2({λ(x- y)}/{2})}{ψ(λ)} dλ.\] If $σ^2_0(h)$ is concave, and satisfies some additional very weak regularity conditions, then for any $p\ge1$, and all $t\in R_+$, \[\lim_{h\downar row0}\int_a^b\biggl|{\frac{L^{x+h}_t-L^x_t}{σ_0(h)}}\biggr|^p dx =2^{p/2}E|η|^p\int_a^b|L^x_t|^{p/2} dx\] for all $a,b$ in the extended real line almost surely, and also in $L^m$, $m\ge1$. (Here $η$ is a normal random variable with mean zero and variance one.) This result is obtained via the Eisenbaum Isomorphism Theorem and depends on the related result for Gaussian processes with stationary increments, $\{G(x),x\in R^1\}$, for which $E(G(x)-G(y))^2=σ_0^2(x-y)$; \[\lim_{h\to0}\int_a^b\biggl|\frac{G (x+h)-G(x)}{σ_0(h)}\biggr|^p dx=E|η|^p(b-a)\] for all $a,b\in R^1$, almost surely.
△ Less
Submitted 12 May, 2008; v1 submitted 26 July, 2006;
originally announced July 2006.
-
Derivatives of Entropy Rate in Special Families of Hidden Markov Chains
Authors:
Guangyue Han,
Brian Marcus
Abstract:
Consider a hidden Markov chain obtained as the observation process of an ordinary Markov chain corrupted by noise. Zuk, et. al. [13], [14] showed how, in principle, one can explicitly compute the derivatives of the entropy rate of at extreme values of the noise. Namely, they showed that the derivatives of standard upper approximations to the entropy rate actually stabilize at an explicit finite…
▽ More
Consider a hidden Markov chain obtained as the observation process of an ordinary Markov chain corrupted by noise. Zuk, et. al. [13], [14] showed how, in principle, one can explicitly compute the derivatives of the entropy rate of at extreme values of the noise. Namely, they showed that the derivatives of standard upper approximations to the entropy rate actually stabilize at an explicit finite time. We generalize this result to a natural class of hidden Markov chains called ``Black Holes.'' We also discuss in depth special cases of binary Markov chains observed in binary symmetric noise, and give an abstract formula for the first derivative in terms of a measure on the simplex due to Blackwell.
△ Less
Submitted 3 April, 2006; v1 submitted 14 March, 2006;
originally announced March 2006.
-
Analyticity of Entropy Rate of Hidden Markov Chains
Authors:
Guangyue Han,
Brian Marcus
Abstract:
We prove that under mild positivity assumptions the entropy rate of a hidden Markov chain varies analytically as a function of the underlying Markov chain parameters. A general principle to determine the domain of analyticity is stated. An example is given to estimate the radius of convergence for the entropy rate. We then show that the positivity assumptions can be relaxed, and examples are giv…
▽ More
We prove that under mild positivity assumptions the entropy rate of a hidden Markov chain varies analytically as a function of the underlying Markov chain parameters. A general principle to determine the domain of analyticity is stated. An example is given to estimate the radius of convergence for the entropy rate. We then show that the positivity assumptions can be relaxed, and examples are given for the relaxed conditions. We study a special class of hidden Markov chains in more detail: binary hidden Markov chains with an unambiguous symbol, and we give necessary and sufficient conditions for analyticity of the entropy rate for this case. Finally, we show that under the positivity assumptions the hidden Markov chain {\em itself} varies analytically, in a strong sense, as a function of the underlying Markov chain parameters.
△ Less
Submitted 3 April, 2006; v1 submitted 12 July, 2005;
originally announced July 2005.
