BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mathew Joseph appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider a system of interacting SDEs on the integer lattice with multiplicative noise and a drift satisfying the finite Osgood's condition. We show instantaneous everywhere blowup for initial profiles decaying slower than $\exp \left( -\sqrt{\big|\log |x|\big|}\right)$. We employ the splitting-up method to compare the interacting system to a one-dimensional SDE which blows up.
We consider the stochastic heat equation on $[0,\,1]$ with periodic boundary conditions and driven by space-time white noise. Under various natural conditions, we study small ball probabilities for the Hölder semi-norms of the solutions, and provide near optimal bounds on these probabilities. As an application, we prove a support theorem in these Hölder semi-norms.
We consider the following stochastic partial differential equation on $t \geq 0, x\in[0,J], J \geq 1$ where we consider $[0,J]$ to be the circle with end points identified: \begin{equation*} \partial_t{\mathbf u}(t,x) =\frac{1}{2}\,\partial_x^2 {\mathbf u}(t,x) + {\mathbf g}(t,x,\mathbf u) + {\mathbf σ}(t,x, {\mathbf u})\dot {\mathbf W}(t,x) , \end{equation*} and $\dot {\mathbf W }(t,x)$ is 2-parameter $d$-dimensional vector valued white noise and ${\mathbf σ}$ is function from ${\mathbb R}_+\times {\mathbb R} \times {\mathbb R}^d \rightarrow {\mathbb R}^d$ to space of symmetric $d\times d$ matrices which is Lipschitz in $\mathbf u$. We assume that $σ$ is uniformly elliptic and that $\mathbf g$ is uniformly bounded. Assuming that ${\mathbf u}(0,x) \equiv \mathbf 0$, we prove small-ball probabilities for the solution $\mathbf u$. We also prove a support theorem for solutions, when ${\mathbf u}(0,x)$ is not necessarily zero.
We show that a large class of stochastic heat equations can be approximated by systems of interacting stochastic differential equations. As a consequence, we prove various comparison principles extending earlier results. Among other things, our results enable us to obtain sharp estimates on the moments of the solution. A main technical ingredient of our method is a local limit theorem which is of independent interest.
The proliferation of contextualized knowledge in the Semantic Web (SW) has led to the popularity of knowledge formats such as \emph{quads} in the SW community. A quad is an extension of an RDF triple with contextual information of the triple. In this paper, we study the problem of query answering over quads augmented with forall-existential bridge rules that enable interoperability of reasoning between triples in various contexts. We call a set of quads together with such expressive bridge rules, a quad-system. Query answering over quad-systems is undecidable, in general. We derive decidable classes of quad-systems, for which query answering can be done using forward chaining. Sound, complete and terminating procedures, which are adaptations of the well known chase algorithm, are provided for these classes for deciding query entailment. Safe, msafe, and csafe class of quad-systems restrict the structure of blank nodes generated during the chase computation process to be directed acyclic graphs (DAGs) of bounded depth. RR and restricted RR classes do not allow the generation of blank nodes during the chase computation process. Both data and combined complexity of query entailment has been established for the classes derived. We further show that quad-systems are equivalent to forall-existential rules whose predicates are restricted to ternary arity, modulo polynomial time translations. We subsequently show that the technique of safety, strictly subsumes in expressivity, some of the well known and expressive techniques, such as joint acyclicity and model faithful acyclicity, used for decidability guarantees in the realm of forall-existential rules.
Consider an infinite system \[\partial_tu_t(x)=(\mathscr{L}u_t)(x)+ σ\bigl(u_t(x)\bigr)\partial_tB_t(x)\] of interacting Itô diffusions, started at a nonnegative deterministic bounded initial profile. We study local and global features of the solution under standard regularity assumptions on the nonlinearity $σ$. We will show that, locally in time, the solution behaves as a collection of independent diffusions. We prove also that the $k$th moment Lyapunov exponent is frequently of sharp order $k^2$, in contrast to the continuous-space stochastic heat equation whose $k$th moment Lyapunov exponent can be of sharp order $k^3$. When the underlying walk is transient and the noise level is sufficiently low, we prove also that the solution is a.s. uniformly dissipative provided that the initial profile is in $\ell^1(\mathbf {Z}^d)$.
The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the `context' of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts. Although this distinction separates the triples in an RDF graph into various contexts, and allows the reasoning to be decoupled across various contexts, bridge rules need to be provided for inter-operating the knowledge across these contexts. We call a set of quads together with the bridge rules, a quad-system. In this paper, we discuss the problem of query answering over quad-systems with expressive forall-existential bridge rules. It turns out the query answering over quad-systems is undecidable, in general. We derive a decidable class of quad-systems, namely context-acyclic quad-systems, for which query answering can be done using forward chaining. Tight bounds for data and combined complexity of query entailment has been established for the derived class.
We consider nonlinear parabolic SPDEs of the form $\partial_t u=Δu + λσ(u)\dot w$ on the interval $(0, L)$, where $\dot w$ denotes space-time white noise, $σ$ is Lipschitz continuous. Under Dirichlet boundary conditions and a linear growth condition on $σ$, we show that the expected $L^2$-energy is of order $\exp[\text{const}\timesλ^4]$ as $λ\rightarrow \infty$. This significantly improves a recent result of Khoshnevisan and Kim. Our method is very different from theirs and it allows us to arrive at the same conclusion for the same equation but with Neumann boundary condition. This improves over another result of Khoshnevisan and Kim.
We consider a system of interacting diffusions on the integer lattice. By letting the mesh size go to zero and by using a suitable scaling, we show that the system converges (in a strong sense) to a solution of the stochastic heat equation on the real line. As a consequence, we obtain comparison inequalities for product moments of the stochastic heat equation with different nonlinearities.
We consider a nonlinear stochastic heat equation $\partial_tu=\frac{1}{2}\partial_{xx}u+σ(u)\partial_{xt}W$, where $\partial_{xt}W$ denotes space-time white noise and $σ:\mathbf {R}\to \mathbf {R}$ is Lipschitz continuous. We establish that, at every fixed time $t>0$, the global behavior of the solution depends in a critical manner on the structure of the initial function $u_0$: under suitable conditions on $u_0$ and $σ$, $\sup_{x\in \mathbf {R}}u_t(x)$ is a.s. finite when $u_0$ has compact support, whereas with probability one, $\limsup_{|x|\to\infty}u_t(x)/({\log}|x|)^{1/6}>0$ when $u_0$ is bounded uniformly away from zero. This sensitivity to the initial data of the stochastic heat equation is a way to state that the solution to the stochastic heat equation is chaotic at fixed times, well before the onset of intermittency.
We consider the nonlinear stochastic heat equation in one dimension. Under some conditions on the nonlinearity, we show that the "peaks" of the solution are rare, almost fractal like. We also provide an upper bound on the length of the "islands," the regions of large values. These results are obtained by analyzing the correlation length of the solution.
We consider a family of nonlinear stochastic heat equations of the form $\partial_t u=\mathcal{L}u + σ(u)\dot{W}$, where $\dot{W}$ denotes space-time white noise, $\mathcal{L}$ the generator of a symmetric Lévy process on $\R$, and $σ$ is Lipschitz continuous and zero at 0. We show that this stochastic PDE has a random-field solution for every finite initial measure $u_0$. Tight a priori bounds on the moments of the solution are also obtained. In the particular case that $\mathcal{L}f=cf"$ for some $c>0$, we prove that if $u_0$ is a finite measure of compact support, then the solution is with probability one a bounded function for all times $t>0$.
We consider a non-linear stochastic wave equation driven by space-time white noise in dimension 1. First of all, we state some results about the intermittency of the solution, which have only been carefully studied in some particular cases so far. Then, we establish a comparison principle for the solution, following the ideas of Mueller. We think it is of particular interest to obtain such a result for a hyperbolic equation. Finally, using the results mentioned above, we aim to show that the solution exhibits a chaotic behavior, in a similar way as was established by Conus, Joseph, and Khoshnevisan for the heat equation. We study the two cases where 1. the initial conditions have compact support, where the global maximum of the solution remains bounded and 2. the initial conditions are bounded away from 0, where the global maximum is almost surely infinite. Interesting estimates are also provided on the behavior of the global maximum of the solution.
Consider the stochastic heat equation $\partial_t u = (\frac{\varkappa}{2})Δu+σ(u)\dot{F}$, where the solution $u:=u_t(x)$ is indexed by $(t,x)\in (0, \infty)\times\R^d$, and $\dot{F}$ is a centered Gaussian noise that is white in time and has spatially-correlated coordinates. We analyze the large-$|x|$ fixed-$t$ behavior of the solution $u$ in different regimes, thereby study the effect of noise on the solution in various cases. Among other things, we show that if the spatial correlation function $f$ of the noise is of Riesz type, that is $f(x)\propto \|x\|^{-α}$, then the "fluctuation exponents" of the solution are $ψ$ for the spatial variable and $2ψ-1$ for the time variable, where $ψ:=2/(4-α)$. Moreover, these exponent relations hold as long as $α\in(0, d\wedge 2)$; that is precisely when Dalang's theory implies the existence of a solution to our stochastic PDE. These findings bolster earlier physical predictions.
We consider a random walk on $\R^d$ in a polynomially mixing random environment that is refreshed at each time step. We use a martingale approach to give a necessary and sufficient condition for the almost-sure functional central limit theorem to hold.