On the Conservativeness of Some Markov Processes

We give a unified method to obtain the conservativeness of a class of Markov processes associated with lower bounded semi-Dirichlet forms on L ²(X;m), including symmetric diffusion processes, some non-symmetric diffusion processes and jump type Markov processes on X, where X is a locally compact separable metric space and m is a positive Radon measure on X with full topological support. Using the method, we give an example in each section, providing the conservativeness of the processes, that are given by the “increasingness of the volume of some sets(balls)” and “that of the coefficients on the sets” of the Markov processes.     

Average-value tverberg partitions via finite fourier analysis

The long-standing topological Tverberg conjecture claimed, for any continuous map from the boundary of an N(q, d):= (q-1)(d+1)-simplex to d-dimensional Euclidian space, the existence of q pairwise disjoint subfaces whose images have non-empty q-fold intersection. The affine cases, true for all q, constitute Tverberg’s famous 1966 generalization of the classical Radon’s Theorem. Although established for all prime powers in 1987 by Özaydin, counterexamples to the conjecture, relying on 2014 work of Mabillard and Wagner, were first shown to exist for all non-prime-powers in 2015 by Frick. Starting with a reformulation of the topological Tverberg conjecture in terms of harmonic analysis on finite groups, we show that despite the failure of the conjecture, continuous maps below the tight dimension N(q, d) are nonetheless guaranteed q pairwise disjoint subfaces–including when q is not a prime power–which satisfy a variety of “average value” coincidences, the latter obtained as the vanishing of prescribed Fourier transforms.     

Adjoining batch Markov arrival processes of a Markov chain

A batch Markov arrival process (BMAP) X* = (N, J) is a 2-dimensional Markov process with two components, one is the counting process N and the other one is the phase process J. It is proved that the phase process is a time-homogeneous Markov chain with a finite state-space, or for short, Markov chain. In this paper, a new and inverse problem is proposed firstly: given a Markov chain J, can we deploy a process N such that the 2-dimensional process X* = (N, J) is a BMAP? The process X* = (N, J) is said to be an adjoining BMAP for the Markov chain J. For a given Markov chain the adjoining processes exist and they are not unique. Two kinds of adjoining BMAPs have been constructed. One is the BMAPs with fixed constant batches, the other one is the BMAPs with independent and identically distributed (i.i.d) random batches. The method we used in this paper is not the usual matrix-analytic method of studying BMAP, it is a path-analytic method. We constructed directly sample paths of adjoining BMAPs. The expressions of characteristic (D _k , k = 0, 1, 2 · · ·) and transition probabilities of the adjoining BMAP are obtained by the density matrix Q of the given Markov chain J. Moreover, we obtained two frontal Theorems. We present these expressions in the first time.     

Long monotone paths on simple 4-polytopes

TheMonotone Upper Bound Problem (Klee, 1965) asks if the maximal numberM(d,n) of vertices in a monotone path along edges of ad-dimensional polytope withn facets can be as large as conceivably possible: IsM(d,n)=M _ubt (d,n), the maximal number of vertices that ad-polytope withn facets can have according to the Upper Bound Theorem?We show that in dimensiond=4, the answer is “yes”, despite the fact that it is “no” if we restrict ourselves to the dual-to-cyclic polytopes. For eachn≥5, we exhibit a realization of a polar-to-neighborly 4-dimensional polytope withn facets and a Hamilton path through its vertices that is monotone with respect to a linear objective function.This constrasts an earlier result, by which no polar-to-neighborly 6-dimensional polytope with 9 facets admits a monotone Hamilton path.     

Interpretation of the Evolution of the Homogeneous Markov System (or,equivalently, of the Embedded Markov Chain) as the Deformation of a Viscoelastic Medium. The 3-D Case

Every attainable structure of a continuous time homogeneous Markov chain (HMC) with n states, or of a closed Markov system with an embedded HMC with n states, or more generally of a Markov system driven by an HMC, is considered as a point-particle of ? ⁿ . Then, the motion of the attainable structure corresponds to the motion of the respective point-particle in ? ⁿ . Under the assumption that “the motion of every particle at every time point is due to the interaction with its surroundings”, ? ⁿ (and equivalently the set of the accosiated attainable structures of the homogeneous Markov system (HMS), or alternatively of the underlying embedded HMC) becomes a continuum. Thus, the evolution of the set of the attainable structures corresponds to the motion of the continuum. In this paper it is shown that the evolution of a three-dimensional HMS (n = 3) or simply of an HMC, can be interpreted through the evolution of a two-dimensional isotropic viscoelastic medium.     

Ergodic theorems for coset spaces

We study in this paper the validity of the Mean Ergodic Theorem along left Følner sequences in a countable amenable group G. Although the Weak Ergodic Theorem always holds along any left Følner sequence in G, we provide examples where the Mean Ergodic Theorem fails in quite dramatic ways. On the other hand, if G does not admit any ICC quotients, e.g., if G is virtually nilpotent, then the Mean Ergodic Theorem holds along any left Følner sequence. In the case when a unitary representation of a countable amenable group is induced from a unitary representation of a “sufficiently thin” subgroup, we show that the Mean Ergodic Theorem holds for the induced representation along any left Følner sequence. Furthermore, we show that every countable (infinite) amenable group L embeds into a countable (not necessarily amenable) group G which admits a unitary representation with the property that for any left Følner sequence (F_n) in L, there exists a sequence (s_n) in G such that the Mean (but not the Weak) Ergodic Theorem fails in a rather strong sense along the (right-translated) sequence (F_ns_n) in G. Finally, we provide examples of countable (not necessarily amenable) groups G with proper, infinite-index subgroups H, so that the Pointwise Ergodic Theorem holds for averages along any strictly increasing and nested sequence of finite subsets of the coset G/H.     

Extended Lorentz Transformations in Clifford Space Relativity Theory

Some novel physical consequences of the Extended Relativity Theory in C-spaces (Clifford spaces) were explored recently. In particular, generalized photon dispersion relations allowed for energy-dependent speeds of propagation while still retaining the Lorentz symmetry in ordinary spacetimes, but breaking the extended Lorentz symmetry in C-spaces. In this work we analyze in further detail the extended Lorentz transformations in Clifford Space and their physical implications. Based on the notion of “extended events” one finds a very different physical explanation of the phenomenon of “relativity of locality” than the one described by the Doubly Special Relativity (DSR) framework. A generalized Weyl-Heisenberg algebra, involving polyvector-valued coordinates and momenta operators, furnishes a realization of an extended Poincare algebra in C-spaces. In addition to the Planck constant ?, one finds that the commutator of the Clifford scalar components of the Weyl-Heisenberg algebra requires the introduction of a dimensionless parameter which is expressed in terms of the ratio of two length scales : the Planck and Hubble scales. We finalize by discussing the concept of “photons”, null intervals, effective temporal variables and the addition/subtraction laws of generalized velocities in C-space.     

Spaces of Dirichlet series with the complete Pick property

We consider reproducing kernel Hilbert spaces of Dirichlet series with kernels of the form \(k\left( {s,u} \right) = \sum {{a_n}} {n^{ - s - \overline u }}\), and characterize when such a space is a complete Pick space. We then discuss what it means for two reproducing kernel Hilbert spaces to be “the same”, and introduce a notion of weak isomorphism. Many of the spaces we consider turn out to be weakly isomorphic as reproducing kernel Hilbert spaces to the Drury–Arveson space H _d ² in d variables, where d can be any number in {1, 2,...,∞}, and in particular their multiplier algebras are unitarily equivalent to the multiplier algebra of H _d ² . Thus, a family of multiplier algebras of Dirichlet series is exhibited with the property that every complete Pick algebra is a quotient of each member of this family. Finally, we determine precisely when such a space of Dirichlet series is weakly isomorphic as a reproducing kernel Hilbert space to H _d ² and when its multiplier algebra is isometrically isomorphic to Mult(H _d ² ).     

Local reconstruction for sampling in shift-invariant spaces

The local reconstruction from samples is one of most desirable properties for many applications in signal processing, but it has not been given as much attention. In this paper, we will consider the local reconstruction problem for signals in a shift-invariant space. In particular, we consider finding sampling sets X such that signals in a shift-invariant space can be locally reconstructed from their samples on X. For a locally finite-dimensional shift-invariant space V we show that signals in V can be locally reconstructed from its samples on any sampling set with sufficiently large density. For a shift-invariant space V(? ₁, ..., ? _N ) generated by finitely many compactly supported functions ? ₁, ..., ? _N , we characterize all periodic nonuniform sampling sets X such that signals in that shift-invariant space V(? ₁, ..., ? _N ) can be locally reconstructed from the samples taken from X. For a refinable shift-invariant space V(?) generated by a compactly supported refinable function ?, we prove that for almost all \((x_0, x_1)\in [0,1]^2\), any signal in V(?) can be locally reconstructed from its samples from \(\{x_0, x_1\}+{\mathbb Z}\) with oversampling rate 2. The proofs of our results on the local sampling and reconstruction in the refinable shift-invariant space V(?) depend heavily on the linear independent shifts of a refinable function on measurable sets with positive Lebesgue measure and the almost ripplet property for a refinable function, which are new and interesting by themselves.     

Some Sufficient Conditions for Stochastic Comparisons Between Hitting Times for Skip-free Markov Chains

We develop some sufficient conditions for the usual stochastic ordering between hitting times, of a fixed state, for two finite Markov chains with the same state-space. Our attention will be focused on the so called skip-free case and, for the proof of our results, we develop a special type of coupling. We also analyze some special cases of applications in the frame of reliability degradation and of times to occurrence of words under random sampling of letters from a finite alphabet. As will be briefly discussed such fields give rise, in a natural way, to skip-free Markov chains.     

Computability-theoretic and proof-theoretic aspects of partial and linear orderings

Szpilrajn’s Theorem states that any partial orderP=〈S,<p〉 has a linear extensionP=〈S,<L〉. This is a central result in the theory of partial orderings, allowing one to define, for instance, the dimension of a partial ordering. It is now natural to ask questions like “Does a well-partial ordering always have a well-ordered linear extension?” Variations of Szpilrajn’s Theorem state, for various (but not for all) linear order typesτ, that ifP does not contain a subchain of order typeτ, then we can chooseL so thatL also does not contain a subchain of order typeτ. In particular, a well-partial ordering always has a well-ordered extension.We show that several effective versions of variations of Szpilrajn’s Theorem fail, and use this to narrow down their proof-theoretic strength in the spirit of reverse mathematics.     

Kirchberger-type theorems for separation by convex domains

We say that a convex set K in ? ^d strictly separates the set A from the set B if A ? int(K) and B ? cl K = ø. The well-known Theorem of Kirchberger states the following. If A and B are finite sets in ? ^d with the property that for every T ? A?B of cardinality at most d + 2, there is a half space strictly separating T ? A and T ? B, then there is a half space strictly separating A and B. In short, we say that the strict separation number of the family of half spaces in ? ^d is d + 2.In this note we investigate the problem of strict separation of two finite sets by the family of positive homothetic (resp., similar) copies of a closed, convex set. We prove Kirchberger-type theorems for the family of positive homothets of planar convex sets and for the family of homothets of certain polyhedral sets. Moreover, we provide examples that show that, for certain convex sets, the family of positive homothets (resp., the family of similar copies) has a large strict separation number, in some cases, infinity. Finally, we examine how our results translate to the setting of non-strict separation.     

Recurrent Dirichlet Forms and Markov Property of Associated Gaussian Fields

For the extended Dirichlet space \(\mathcal {F}_{e}\) of a general irreducible recurrent regular Dirichlet form \((\mathcal {E},\mathcal {F})\) on L ²(E;m), we consider the family \(\mathbb {G}(\mathcal {E})=\{X_{u};u\in \mathcal {F}_{e}\}\) of centered Gaussian random variables defined on a probability space \(({\Omega }, \mathcal {B}, \mathbb {P})\) indexed by the elements of \(\mathcal {F}_{e}\) and possessing the Dirichlet form \(\mathcal {E}\) as its covariance. We formulate the Markov property of the Gaussian field \(\mathbb {G}(\mathcal {E})\) by associating with each set A ? E the sub-σ-field σ(A) of \(\mathcal {B}\) generated by X _u for every \(u\in \mathcal {F}_{e}\) whose spectrum s(u) is contained in A. Under a mild absolute continuity condition on the transition function of the Hunt process associated with \((\mathcal {E}, \mathcal {F})\), we prove the equivalence of the Markov property of \(\mathbb {G}(\mathcal {E})\) and the local property of \((\mathcal {E},\mathcal {F})\). One of the key ingredients in the proof is in that we construct potentials of finite signed measures of zero total mass and show that, for any Borel set B with m(B) >?0, any function \(u\in \mathcal {F}_{e}\) with s(u) ? B can be approximated by a sequence of potentials of measures supported by B.     

Right Markov Processes and Systems of Semilinear Equations with Measure Data

In the paper we prove the existence of probabilistic solutions to systems of the form ?Au = F(x, u) + μ, where F satisfies a generalized sign condition and μ is a smooth measure. As for A we assume that it is a generator of a Markov semigroup determined by a right Markov process whose resolvent is order compact on L¹. This class includes local and nonlocal operators corresponding to Dirichlet forms as well as some operators which are not in the variational form. To study the problem we introduce new concept of compactness property relating the underlying Markov process to almost everywhere convergence. We prove some useful properties of the compactness property and provide its characterization in terms of Meyer’s property (L) of Markov processes and in terms of order compactness of the associated resolvent.     

Canonical ensemble of particles in a self-avoiding random walk

We consider an ensemble of particles not interacting with each other and randomly walking in the d-dimensional Euclidean space ? ^d . The individual moves of each particle are governed by the same distribution, but after the completion of each such move of a particle, its position in the medium is “marked” as a region in the form of a ball of diameter r ₀, which is not available for subsequent visits by this particle. As a result, we obtain the corresponding ensemble in ? ^d of marked trajectories in each of which the distance between the centers of any pair of these balls is greater than r ₀. We describe a method for computing the asymptotic form of the probability density W _n (r) of the distance r between the centers of the initial and final balls of a trajectory consisting of n individual moves of a particle of the ensemble. The number n, the trajectory modulus, is a random variable in this model in addition to the distance r. This makes it necessary to determine the distribution of n, for which we use the canonical distribution obtained from the most probable distribution of particles in the ensemble over the moduli of their trajectories. Averaging the density W _n (r) over the canonical distribution of the modulus n allows finding the asymptotic behavior of the probability density of the distance r between the ends of the paths of the canonical ensemble of particles in a self-avoiding random walk in ? ^d for 2 ≤ d < 4.     

A Common Generalization to Theorems on Set Systems with <Emphasis Type="Italic">L</Emphasis>-intersections

In this paper, we provide a common generalization to the well-known Erdös–Ko–Rado Theorem, Frankl–Wilson Theorem, Alon–Babai–Suzuki Theorem, and Snevily Theorem on set systems with L-intersections. As a consequence, we derive a result which strengthens substantially the well-known theorem on set systems with k-wise L-intersections by Füredi and Sudakov [J. Combin. Theory, Ser. A, 105, 143–159 (2004)]. We will also derive similar results on L-intersecting families of subspaces of an n-dimensional vector space over a finite field F _q , where q is a prime power.     

On vanishing coefficients of algebraic power series over fields of positive characteristic

Let K be a field of characteristic p>0 and let f(t ₁,…,t _d ) be a power series in d variables with coefficients in K that is algebraic over the field of multivariate rational functions K(t ₁,…,t _d ). We prove a generalization of both Derksen’s recent analogue of the Skolem–Mahler–Lech theorem in positive characteristic and a classical theorem of Christol, by showing that the set of indices (n ₁,…,n _d )∈? ^d for which the coefficient of \(t_{1}^{n_{1}}\cdots t_{d}^{n_{d}}\) in f(t ₁,…,t _d ) is zero is a p-automatic set. Applying this result to multivariate rational functions leads to interesting effective results concerning some Diophantine equations related to S-unit equations and more generally to the Mordell–Lang Theorem over fields of positive characteristic.     

Asymmetry of Outer space

We study the asymmetry of the Lipschitz metric d on Outer space. We introduce an (asymmetric) Finsler norm \({\|\cdot\|^L}\) that induces d. There is an Out(F _n )-invariant “potential” Ψ defined on Outer space such that when \({\|\cdot\|^L}\) is corrected by dΨ, the resulting norm is quasi-symmetric. As an application, we give new proofs of two theorems of Handel-Mosher, that d is quasi-symmetric when restricted to a thick part of Outer space, and that there is a uniform bound, depending only on the rank, on the ratio of logs of growth rates of any irreducible \({f\in Out(F_n)}\) and its inverse.     

Martin Kernels for Markov Processes with Jumps

We prove the existence of boundary limits of ratios of positive harmonic functions for a wide class of Markov processes with jumps and irregular (possibly disconnected) domains of harmonicity, in the context of general metric measure spaces. As a corollary, we prove the uniqueness of the Martin kernel at each boundary point, that is, we identify the Martin boundary with the topological boundary. We also prove a Martin representation theorem for harmonic functions. Examples covered by our results include: strictly stable Lévy processes in R ^d with positive continuous density of the Lévy measure; stable-like processes in R ^d and in domains; and stable-like subordinate diffusions in metric measure spaces.     

Random conformal weldings

We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle. The homeomorphism is constructed using the exponential of βX, where X is the restriction of the 2-dimensional free field on the circle and the parameter β is in the “high temperature” regime \( \beta < \sqrt {2} \). The welding problem is solved by studying a non-uniformly elliptic Beltrami equation with a random complex dilatation. For the existence a method of Lehto is used. This requires sharp probabilistic estimates to control conformal moduli of annuli and they are proven by decomposing the free field as a sum of independent fixed scale fields and controlling the correlations of the complex dilatation restricted to dyadic cells of various scales. For the uniqueness we invoke a result by Jones and Smirnov on conformal removability of Hölder curves. Our curves are closely related to SLE(?) for ?<4.