Source author record

Greg Markowsky

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

29works
5topics
4close collaborators

Published work

29 publications

preprint2026arXiv

An improved bound for strongly regular graphs with smallest eigenvalue −m-m

In 1979, Neumaier gave a bound on λλ in terms of mm and μμ, where −m-m is the smallest eigenvalue of a primitive strongly regular graph, unless the graph in question belongs to one of the two infinite families of strongly regular graphs. We improve this result. We also indicate how our methods can be used to give an alternate derivation of Bruck's Completion Theorem for orthogonal arrays.

preprint2022arXiv

A theory of integration for Cesàro limits

The Cesàro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and analysis. Surprisingly, spaces of sequences with Cesàro limits have not previously been studied. This paper introduces spaces of such sequences, denoted Kp(A)K_p(\mathcal{A}), with the Cesàro limit acting as a kind of integral. The space F\mathcal{F} comprised of all binary sequences with a Cesàro limit is studied first, along with the associated functional ν:F→[0,1]ν: \mathcal{F} \rightarrow [0,1] mapping each such sequence to its Cesàro limit. It is shown that F\mathcal{F} can be factored to produce a monotone class on which νν induces a countably additive set function. The space Kp(A)K_p(\mathcal{A}) is then defined, and a quotient denoted Kp(A)\mathcal{K}_p(\mathcal{A}) is shown to be isometrically isomorphic, under certain conditions, to the function space Lp(N,A,ν)\mathcal{L}_p(\mathbb{N},\mathcal{A},ν), where A\mathcal{A} is a field of sets isomorphic to a subset of F\mathcal{F}, and νν is a finitely additive measure induced by the functional mentioned above. The Cesàro limit of an element of Kp(A)K_p(\mathcal{A}) is shown to be equal to its integral. The complete Lp(N,A,ν)\mathcal{L}_p(\mathbb{N},\mathcal{A},ν) spaces (and by implication, the Kp(A)\mathcal{K}_p(\mathcal{A}) spaces isomorphic to them) are characterised, and a sufficient condition for these spaces to be separable is identified.

preprint2021arXiv

Binary sequences with a Cesàro limit

The Cesàro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and mathematical analysis. To better understand sequences with Cesàro limits, this paper considers the space F\mathcal{F} comprised of all binary sequences with a Cesàro limit, and the associated functional ν:F→[0,1]ν: \mathcal{F} \rightarrow [0,1] mapping each such sequence to its Cesàro limit. The basic properties of F\mathcal{F} and νν are enumerated, and chains (totally ordered sets) in F\mathcal{F} on which νν is countably additive are studied in detail. The main result of the paper concerns a structural property of the pair (F,ν)(\mathcal{F},ν), specifically that F\mathcal{F} can be factored (in a certain sense) to produce a monotone class on which νν is countably additive. In the process, a slight generalisation and clarification of the monotone class theorem for Boolean algebras is proved.

preprint2021arXiv

Existence, renormalization, and regularity properties of higher order derivatives of self-intersection local time of fractional Brownian motion

In a recent paper by Yu (arXiv:2008.05633, 2020), higher order derivatives of self-intersection local time of fractional Brownian motion were defined, and existence over certain regions of the Hurst parameter HH was proved. Utilizing the Wiener chaos expansion, we provide new proofs of Yu's results, and show how a Varadhan-type renormalization can be used to extend the range of convergence for the even derivatives.

preprint2021arXiv

On the finiteness of moments of the exit time of planar Brownian motion from comb domains

A comb domain is defined to be the entire complex plain with a collection of vertical slits, symmetric over the real axis, removed. In this paper, we consider the question of determining whether the exit time of planar Brownian motion from such a domain has finite pp-th moment. This question has been addressed before in relation to starlike domains, but these previous results do not apply to comb domains. Our main result is a sufficient condition on the location of the slits which ensures that the pp-th moment of the exit time is finite. Several auxiliary results are also presented, including a construction of a comb domain whose exit time has infinite pp-th moment for all p≥1/2p \geq 1/2.

preprint2020arXiv

Maximizing the pp-th moment of exit time of planar Brownian motion from a given domain

In this paper we address the question of finding the point which maximizes the pp-th moment of the exit time of planar Brownian motion from a given domain. We present a geometrical method of excluding parts of the domain from consideration which makes use of a coupling argument and the conformal invariance of Brownian motion. In many cases the maximizing point can be localized to a relatively small region. Several illustrative examples are presented.

preprint2020arXiv

On the Dirichlet eigenvalue problem and the conformal Skorokhod embedding problem

In a recent work by Gross, the following problem was stated and solved: given a measure μμ with finite second moment, find a simply connected domain UU in $\CC$ such that the real part of a Brownian motion stopped when it leaves UU is distributed as μμ. The construction developed by Gross yields a domain which is symmetric with respect to the real axis, but it has been noted by other authors that other domains are also possible, in particular there are a number of examples which have the property that a vertical ray starting at a point in the domain lies entirely within the domain. In this paper we give a new solution to the problem posed by Gross, and show that these other cases noted before are special cases of this method. We further show that the domain generated by this method has the property that it always has the minimal rate (as defined in terms of the spectrum of the Laplacian operator) among all possible domains corresponding to a fixed distribution μμ, which gives a partial solution to a question posed by Mariano and Panzo. We show that the domain is unique, provided certain conditions are imposed, and use this to give several examples. We also describe a method for identifying the boundary curve of the domain, and discuss several other related topics.

preprint2020arXiv

On the probability of fast exits and long stays of planar Brownian motion in simply connected domains

Let TDT^D denote the first exit time of a planar Brownian motion from a domain DD. Given two simply connected planar domains $U,W \neq \SC$ containing 00, we investigate the cases in which we are more likely to have fast exits (meaning for instance P(TU<t)>P(TW<t){\bf P}(T^U<t) > {\bf P}(T^W<t) for tt small) from UU than from WW, or long stays (meaning P(TU>t)>P(TW>t){\bf P}(T^U>t) > {\bf P}(T^W>t) for tt large). We prove several results on these questions. In particular, we show that the primary factor in the probability of fast exits is the proximity of the boundary to the origin, while for long stays an important factor is the moments of the exit time. The complex analytic theory that motivated our inquiry is also discussed.

preprint2020arXiv

Remarks on the speeds of a class of random walks on the integers

In recent years, there has been an interest in deriving certain important probabilistic results as consequences of deterministic ones; see for instance \cite{beig} and \cite{acc}. In this work, we continue on this path by deducing a well known equivalence between the speed of random walks on the integers and the growth of the size of their ranges. This result is an immediate consequence of the Kesten-Spitzer-Whitman theorem, and by appearances is probabilistic in nature, but we will show that it follows easily from an elementary deterministic result. We also investigate the common property of recurrent random walks of having speed zero, and show by example that this property need not be shared by deterministic sequences. However, if we consider the inter-arrival times (times at which the sequence is equal to 0) then we find a sufficient deterministic condition for a sequence to have zero speed, and show that this can be used to derive several probabilistic results.

preprint2016arXiv

Symmetry in the Green's function for birth-death chains

A symmetric relation in the probabilistic Green's function for birth-death chains is explored. Two proofs are given, each of which makes use of the known symmetry of the Green's functions in other contexts. The first uses as primary tool the local time of Brownian motion, while the second uses the reciprocity principle from electric network theory. We also show that the the second proof extends easily to cover birth-death chains (a.k.a. state-dependent random walks) on trees.

preprint2014arXiv

On the Tanaka formula for the derivative of self-intersection local time of fBm

The derivative of self-intersection local time (DSLT) for Brownian motion was introduced by Rosen and subsequently used by others to study the L2L^2 and L3L^3 moduli of continuity of Brownian local time. A version of the DSLT for fractional Brownian motion (fBm) has also appeared in the literature. In the present work, we further its study by proving a Tanaka-style formula for it. In the course of this endeavor we provide a Fubini theorem for integrals with respect to fBm. The Fubini theorem may be of independent interest, as it generalizes (to Hida distributions) similar results previously seen in the literature. Finally, we also give an explicit Wiener chaos expansion for the DSLT of fBm

preprint2014arXiv

The exit time of planar Brownian motion and the Phragmen-Lindelof principle

In this note, we prove a version of the Phragmen-Lindelof principle using probabilistic techniques. In particular, we will show that if the p-th moment of the exit time of Brownian motion from a planar domain is finite, then an analytic function on that domain is either bounded by its supremum on the boundary or else goes to infinity along some sequence more rapidly than e∣z∣2pe^{|z|^{2p}}. We also present a method for constructing domains whose exit time has finite p-th moment, thereby giving a general Phragmen-Lindelof principle for spiral-like and star-like domains, and in the process giving a probabilistic proof of a theorem of Hansen. A number of auxiliary results are presented as well.

preprint2013arXiv

Random walks at random times: Convergence to iterated Lévy motion, fractional stable motions, and other self-similar processes

For a random walk defined for a doubly infinite sequence of times, we let the time parameter itself be an integer-valued process, and call the orginal process a random walk at random time. We find the scaling limit which generalizes the so-called iterated Brownian motion. Khoshnevisan and Lewis [Ann. Appl. Probab. 9 (1999) 629-667] suggested "the existence of a form of measure-theoretic duality" between iterated Brownian motion and a Brownian motion in random scenery. We show that a random walk at random time can be considered a random walk in "alternating" scenery, thus hinting at a mechanism behind this duality. Following Cohen and Samorodnitsky [Ann. Appl. Probab. 16 (2006) 1432-1461], we also consider alternating random reward schema associated to random walks at random times. Whereas random reward schema scale to local time fractional stable motions, we show that the alternating random reward schema scale to indicator fractional stable motions. Finally, we show that one may recursively "subordinate" random time processes to get new local time and indicator fractional stable motions and new stable processes in random scenery or at random times. When α=2α=2, the fractional stable motions given by the recursion are fractional Brownian motions with dyadic H∈(0,1)H\in(0,1). Also, we see that "un-subordinating" via a time-change allows one to, in some sense, extract Brownian motion from fractional Brownian motions with H<1/2H<1/2.

preprint2013arXiv

Simple random walk on distance-regular graphs

A survey is presented of known results concerning simple random walk on the class of distance-regular graphs. One of the highlights is that electric resistance and hitting times between points can be explicitly calculated and given strong bounds for, which leads in turn to bounds on cover times, mixing times, etc. Also discussed are harmonic functions, moments of hitting and cover times, the Green's function, and the cutoff phenomenon. The main goal of the paper is to present these graphs as a natural setting in which to study simple random walk, and to stimulate further research in the field.

preprint2012arXiv

A method for deriving hypergeometric and related identities from the H2H^2 Hardy norm of conformal maps

We explore a method which is implicit in a paper of Burkholder of identifying the H2H^2 Hardy norm of a conformal map with the explicit solution of Dirichlet's problem in the complex plane. Using the series form of the Hardy norm, we obtain an identity for the sum of a series obtained from the conformal map. We use this technique to evaluate several hypergeometric sums, as well as several sums that can be expressed as convolutions of the terms in a hypergeometric series.

preprint2012arXiv

Holder continuity and occupation-time formulas for fBm self-intersection local time and its derivative

We prove joint Holder continuity and an occupation-time formula for the self-intersection local time of fractional Brownian motion. Motivated by an occupation-time formula, we also introduce a new version of the derivative of self-intersection local time for fractional Brownian motion and prove Holder conditions for this process. This process is related to a different version of the derivative of self-intersection local time studied by the authors in a previous work.

preprint2012arXiv

The rate of convergence of the hyperbolic density on sequences of domains

It is known that if a sequence of domains UnU_n converges to a domain UU in the Caratheodory sense then the hyperbolic densities on UnU_n converge to the hyperbolic density on UU. In this paper, we study the rate of convergence of the hyperbolic density under a slightly different mode of convergence. In doing so, we are led to consider two other densities on domains, the Teichmueller density and the three-point density. We obtain several results which give rates of convergence in various scenarios.

preprint2011arXiv

On the expected exit time of planar Brownian motion from simply connected domains

This paper presents some results on the expected exit time of Brownian motion from simply connected domains in $\CC$. We indicate a way in which Brownian motion sees the identity function and the Koebe function as the smallest and largest analytic functions, respectively, in the Schlicht class. We also give a sharpening of a result of McConnell's concerning the moments of exit times of Schlicht domains. We then show how a simple formula for expected exit time can be applied in a series of examples. Included in the examples given are the expected exit times from given points of a cardioid and regular mm-gon, as well as bounds on the expected exit time of an infinite wedge. We also calculate the expected exit time of an infinite strip, and in the process obtain a probabilistic derivation of Euler's result that $ζ(2)=\sum_{n=1}^\ff \frac{1}{n^2}= \frac{π^2}{6}$. We conclude by showing how the formula can be applied to some domains which are not simply connected.

preprint2010arXiv

A conjecture of Biggs concerning the resistance of a distance-regular graph

Previously, Biggs has conjectured that the resistance between any two points on a distance-regular graph of valency greater than 2 is bounded by twice the resistance between adjacent points. We prove this conjecture, give the sharp constant for the inequality, and display the graphs for which the conjecture most nearly fails. Some necessary background material is included, as well as some consequences.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.