-
Minimal surfaces in the Riemannian product of surfaces
Authors:
Nikos Georgiou,
Brendan Guilfoyle
Abstract:
Minimal surfaces in the Riemannian product of surfaces of constant curvature have been considered recently, particularly as these products arise as spaces of oriented geodesics of 3-dimensional space-forms. This papers considers more general Riemannian products of surfaces and explores geometric and topological restrictions that arise for minimal surfaces. We show that generically, a totally geode…
▽ More
Minimal surfaces in the Riemannian product of surfaces of constant curvature have been considered recently, particularly as these products arise as spaces of oriented geodesics of 3-dimensional space-forms. This papers considers more general Riemannian products of surfaces and explores geometric and topological restrictions that arise for minimal surfaces. We show that generically, a totally geodesic surface in a Riemannian product is locally either a slice or a product of geodesics. If the Gauss curvatures of the factors are negative, it is proven that there are no minimal 2-spheres, while minimal 2-tori are Lagrangian with respect to both product symplectic structures. If the surfaces have non-zero bounded curvatures, we establish a sharp lower bound on the area of minimal 2-spheres and explore the properties of the Gauss and normal curvatures of general compact minimal surfaces.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Insights from exact social contagion dynamics on networks with higher-order structures
Authors:
István Z. Kiss,
Iacopo Iacopini,
Péter L. Simon,
Nicos Georgiou
Abstract:
Recently there has been an increasing interest in studying dynamical processes on networks exhibiting higher-order structures, such as simplicial complexes, where the dynamics acts above and beyond dyadic interactions. Using simulations or heuristically derived epidemic spreading models it was shown that new phenomena can emerge, such as bi-stability/multistability. Here, we show that such new eme…
▽ More
Recently there has been an increasing interest in studying dynamical processes on networks exhibiting higher-order structures, such as simplicial complexes, where the dynamics acts above and beyond dyadic interactions. Using simulations or heuristically derived epidemic spreading models it was shown that new phenomena can emerge, such as bi-stability/multistability. Here, we show that such new emerging phenomena do not require complex contact patterns, such as community structures, but naturally result from the higher-order contagion mechanisms. We show this by deriving an exact higher-order SIS model and its limiting mean-field equivalent for fully connected simplicial complexes. Going beyond previous results, we also give the global bifurcation picture for networks with 3- and 4-body interactions, with the latter allowing for two non-trivial stable endemic steady states. Differently from previous approaches, we are able to study systems featuring interactions of arbitrary order. In addition, we characterise the contributions from higher-order infections to the endemic equilibrium as perturbations of the pairwise baseline, finding that these diminish as the pairwise rate of infection increases. Our approach represents a first step towards a principled understanding of higher-order contagion processes beyond triads and opens up further directions for analytical investigations.
△ Less
Submitted 22 September, 2023;
originally announced September 2023.
-
Null hypersurfaces in 4-manifolds endowed with a product structure
Authors:
Nikos Georgiou
Abstract:
In a 4-manifold, the composition of a Riemannian Einstein metric with an almost paracomplex structure that is isometric and parallel, defines a neutral metric that is conformally flat and scalar flat. In this paper, we study hypersurfaces that are null with respect to this neutral metric and in particular we study their geometric properties with respect to the Einstein metric. Firstly, we show tha…
▽ More
In a 4-manifold, the composition of a Riemannian Einstein metric with an almost paracomplex structure that is isometric and parallel, defines a neutral metric that is conformally flat and scalar flat. In this paper, we study hypersurfaces that are null with respect to this neutral metric and in particular we study their geometric properties with respect to the Einstein metric. Firstly, we show that all totally geodesic null hypersurfaces are scalar flat and their existence implies that the Einstein metric in the ambient manifold must be Ricci-flat. Then, we find a necessary condition for the existence of null hypersurface with equal non-trivial principal curvatures and finally, we give a necessary condition on the ambient scalar curvature, for the existence of null (non-minimal) hypersurfaces that are of constant mean curvature.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Queuing models with Mittag-Leffler inter-event times
Authors:
Jacob Butt,
Nicos Georgiou,
Enrico Scalas
Abstract:
We study three non-equivalent queueing models in continuous time that each generalise the classical M/M/1 queue in a different way. Inter-event times in all models are Mittag-Leffler distributed, which is a heavy tail distribution with no moments. For each of the models we answer the question of the queue being at zero infinitely often (the `recurrence' or `stable' regime) or not (the transient re…
▽ More
We study three non-equivalent queueing models in continuous time that each generalise the classical M/M/1 queue in a different way. Inter-event times in all models are Mittag-Leffler distributed, which is a heavy tail distribution with no moments. For each of the models we answer the question of the queue being at zero infinitely often (the `recurrence' or `stable' regime) or not (the transient regime). Aside from this question, the different analytical properties of each models allow us to answer a number of questions such as existence and description of equilibrium distributions, mixing times, asymptotic behaviour of return probabilities and moments and functional limit theorems.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
Coupling derivation of optimal-order central moment bounds in exponential last-passage percolation
Authors:
Elnur Emrah,
Nicos Georgiou,
Janosch Ortmann
Abstract:
We introduce new probabilistic arguments to derive optimal-order central moment bounds in planar directed last-passage percolation. Our technique is based on couplings with the increment-stationary variants of the model, and is presented in the context of i.i.d. exponential weights for both zero and near-stationary boundary conditions. A main technical novelty in our approach is a new proof of the…
▽ More
We introduce new probabilistic arguments to derive optimal-order central moment bounds in planar directed last-passage percolation. Our technique is based on couplings with the increment-stationary variants of the model, and is presented in the context of i.i.d. exponential weights for both zero and near-stationary boundary conditions. A main technical novelty in our approach is a new proof of the left-tail fluctuation upper bound with exponent 3/2 for the last-passage times.
△ Less
Submitted 1 February, 2025; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Bounds for mixing times for finite semi-Markov processes with heavy-tail jump distribution
Authors:
Nicos Georgiou,
Enrico Scalas
Abstract:
Consider a Markov chain with finite state space and suppose you wish to change time replacing the integer step index $n$ with a random counting process $N(t)$. What happens to the mixing time of the Markov chain? We present a partial reply in a particular case of interest in which $N(t)$ is a counting renewal process with power-law distributed inter-arrival times of index $β$. We then focus on…
▽ More
Consider a Markov chain with finite state space and suppose you wish to change time replacing the integer step index $n$ with a random counting process $N(t)$. What happens to the mixing time of the Markov chain? We present a partial reply in a particular case of interest in which $N(t)$ is a counting renewal process with power-law distributed inter-arrival times of index $β$. We then focus on $β\in (0,1)$, leading to infinite expectation for inter-arrival times and further study the situation in which inter-arrival times follow the Mittag-Leffler distribution of order $β$.
△ Less
Submitted 16 November, 2021;
originally announced November 2021.
-
Almost Paracomplex Structures on 4-Manifolds
Authors:
Nikos Georgiou,
Brendan Guilfoyle
Abstract:
Reflection in a line in Euclidean 3-space defines an almost paracomplex structure on the space of all oriented lines, isometric with respect to the canonical neutral Kaehler metric. Beyond Euclidean 3-space, the space of oriented geodesics of any real 3-dimensional space form admits both isometric and anti-isometric paracomplex structures.
This paper considers the existence or otherwise of isome…
▽ More
Reflection in a line in Euclidean 3-space defines an almost paracomplex structure on the space of all oriented lines, isometric with respect to the canonical neutral Kaehler metric. Beyond Euclidean 3-space, the space of oriented geodesics of any real 3-dimensional space form admits both isometric and anti-isometric paracomplex structures.
This paper considers the existence or otherwise of isometric and anti-isometric almost paracomplex structures $j$ on a pseudo-Riemannian 4-manifold $(M,g)$, such that $j$ is parallel with respect to the Levi-Civita connection of $g$. It is shown that if an isometric or anti-isometric almost paracomplex structure on a conformally flat manifold is parallel, then the scalar curvature of the metric must be zero. In addition, it is found that $j$ is parallel iff the eigenplanes are tangent to a pair of mutually orthogonal foliations by totally geodesic surfaces.
The composition of a Riemannian metric with an isometric almost paracomplex structure $j$ yields a neutral metric $g'$. It is proven that if $j$ is parallel, then $g$ is Einstein iff $g'$ is conformally flat and scalar flat.
The vanishing of the Hirzebruch signature is found to be a necessary topological condition for a closed 4-manifold to admit an Einstein metric with a parallel isometric paracomplex structure. Thus, while the K3 manifold admits an Einstein metric with an isometric paracomplex structure, it cannot be parallel. The same holds true for certain connected sums of complex projective 2-space and its conjugate.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Deposition, diffusion, and nucleation on an interval
Authors:
Nicholas Georgiou,
Andrew R. Wade
Abstract:
Motivated by nanoscale growth of ultra-thin films, we study a model of deposition, on an interval substrate, of particles that perform Brownian motions until any two meet, when they nucleate to form a static island, which acts as an absorbing barrier to subsequent particles. This is a continuum version of a lattice model studied in the applied literature. We show that the associated interval-split…
▽ More
Motivated by nanoscale growth of ultra-thin films, we study a model of deposition, on an interval substrate, of particles that perform Brownian motions until any two meet, when they nucleate to form a static island, which acts as an absorbing barrier to subsequent particles. This is a continuum version of a lattice model studied in the applied literature. We show that the associated interval-splitting process converges in the sparse deposition limit to a Markovian process (in the vein of Brennan and Durrett) governed by a splitting density with a compact Fourier series expansion but, apparently, no simple closed form. We show that the same splitting density governs the fixed deposition rate, large time asymptotics of the normalized gap distribution, so these asymptotics are independent of deposition rate. The splitting density is derived by solving an exit problem for planar Brownian motion from a right-angled triangle, extending work of Smith and Watson.
△ Less
Submitted 2 March, 2022; v1 submitted 1 October, 2020;
originally announced October 2020.
-
The TASEP on Galton-Watson trees
Authors:
Nina Gantert,
Nicos Georgiou,
Dominik Schmid
Abstract:
We study the totally asymmetric simple exclusion process (TASEP) on trees where particles are generated at the root. Particles can only jump away from the root, and they jump from $x$ to $y$ at rate $r_{x,y}$ provided $y$ is empty. Starting from the all empty initial condition, we show that the distribution of the configuration at time $t$ converges to an equilibrium. We study the current and give…
▽ More
We study the totally asymmetric simple exclusion process (TASEP) on trees where particles are generated at the root. Particles can only jump away from the root, and they jump from $x$ to $y$ at rate $r_{x,y}$ provided $y$ is empty. Starting from the all empty initial condition, we show that the distribution of the configuration at time $t$ converges to an equilibrium. We study the current and give conditions on the transition rates such that the current is of linear order or such that there is zero current, i.e. the particles block each other. A key step, which is of independent interest, is to bound the first generation at which the particle trajectories of the first $n$ particles decouple.
△ Less
Submitted 28 September, 2024; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Continuum and thermodynamic limits for a simple random-exchange model
Authors:
Bertram Düring,
Nicos Georgiou,
Sara Merino-Aceituno,
Enrico Scalas
Abstract:
We discuss various limits of a simple random exchange model that can be used for the distribution of wealth. We start from a discrete state space - discrete time version of this model and, under suitable scaling, we show its functional convergence to a continuous space - discrete time model. Then, we show a thermodynamic limit of the empirical distribution to the solution of a kinetic equation of…
▽ More
We discuss various limits of a simple random exchange model that can be used for the distribution of wealth. We start from a discrete state space - discrete time version of this model and, under suitable scaling, we show its functional convergence to a continuous space - discrete time model. Then, we show a thermodynamic limit of the empirical distribution to the solution of a kinetic equation of Boltzmann type. We solve this equation and we show that the solutions coincide with the appropriate limits of the invariant measure for the Markov chain. In this way we complete Boltzmann's program of deriving kinetic equations from random dynamics for this simple model. Three families of invariant measures for the mean field limit are discovered and we show that only two of those families can be obtained as limits of the discrete system and the third is extraneous. Finally, we cast our results in the framework of integer partitions and strengthen some results already available in the literature.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
A para-Kaehler structure in the space of oriented geodesics in a real space form
Authors:
Nikos Georgiou
Abstract:
In this article, we construct a new para-Kähler structure $({\mathcal G},{\mathcal J},Ω)$ in the space of oriented geodesics ${\mathbb L}(M)$ in a non-flat, real space form $M$. We first show that the para-Kähler metric ${\mathcal G}$ is scalar flat and when $M$ is a 3-dimensional real space form, ${\mathcal G}$ is locally conformally flat. Furthermore, we prove that the space of oriented geodesic…
▽ More
In this article, we construct a new para-Kähler structure $({\mathcal G},{\mathcal J},Ω)$ in the space of oriented geodesics ${\mathbb L}(M)$ in a non-flat, real space form $M$. We first show that the para-Kähler metric ${\mathcal G}$ is scalar flat and when $M$ is a 3-dimensional real space form, ${\mathcal G}$ is locally conformally flat. Furthermore, we prove that the space of oriented geodesics in hyperbolic $n$-space, equipped with the constructed metric ${\mathcal G}$, is minimally isometric embedded in the tangent bundle of the hyperbolic $n$-space. We then study the submanifold theory, and we show that ${\mathcal G}$-geodesics correspond to minimal ruled surfaces in the real space form. Lagrangian submanifolds (with respect to the canonical symplectic structure $Ω$) play an important role in the geometry of the space of oriented geodesics as they are the Gauss map of hypersurfaces in the corresponding space form. We demonstrate that the Gauss map of a non-flat hypersurface of constant Gauss curvature is a minimal Lagrangian submanifold. Finally, we show that a Hamiltonian minimal submanifold is locally the Gauss map of a hypersurface $Σ$ that is a critical point of the functional $\mathcal{F}(Σ)=\int_Σ\sqrt{|K|}\,dV$, where $K$ denotes the Gaussian curvature of $Σ$.
△ Less
Submitted 23 November, 2019;
originally announced November 2019.
-
A new method for the robust characterisation of pairwise statistical dependency between point processes
Authors:
Antoine Messager,
Nicos Georgiou,
Luc Berthouze
Abstract:
The robust detection of statistical dependencies between the components of a complex system is a key step in gaining a network-based understanding of the system. Because of their simplicity and low computation cost, pairwise statistics are commonly used in a variety of fields. Those approaches, however, typically suffer from one or more limitations such as lack of confidence intervals requiring re…
▽ More
The robust detection of statistical dependencies between the components of a complex system is a key step in gaining a network-based understanding of the system. Because of their simplicity and low computation cost, pairwise statistics are commonly used in a variety of fields. Those approaches, however, typically suffer from one or more limitations such as lack of confidence intervals requiring reliance on surrogate data, sensitivity to binning, sparsity of the signals, or short duration of the records. In this paper we develop a method for assessing pairwise dependencies in point processes that overcomes these challenges. Given two point processes $X$ and $Y$ each emitting a given number of events $m$ and $n$ in a fixed period of time $T$, we derive exact analytical expressions for the expected value and standard deviation of the number of pairs events $X_i,Y_j$ separated by a delay of less than $τ$ one should expect to observe if $X$ and $Y$ were i.i.d. uniform random variables. We prove that this statistic is normally distributed in the limit of large $T$, which enables the definition of a Z-score characterising the likelihood of the observed number of coincident events happening by chance. We numerically confirm the analytical results and show that the property of normality is robust in a wide range of experimental conditions. We then experimentally demonstrate the predictive power of the method using a noisy version of the common shock model. Our results show that our approach has excellent behaviour even in scenarios with low event density and/or when the recordings are short.
△ Less
Submitted 30 July, 2019; v1 submitted 9 April, 2019;
originally announced April 2019.
-
A Large deviation principle for last passage times in an asymmetric Bernoulli potential
Authors:
Federico Ciech,
Nicos Georgiou
Abstract:
We prove a large deviation principle and give an expression for the rate function, for the last passage time in a Bernoulli environment. The model is exactly solvable and its invariant version satisfies a Burke-type property. Finally, we compute explicit limiting logarithmic moment generating functions for both the classical and the invariant models. The shape function of this model exhibits a fla…
▽ More
We prove a large deviation principle and give an expression for the rate function, for the last passage time in a Bernoulli environment. The model is exactly solvable and its invariant version satisfies a Burke-type property. Finally, we compute explicit limiting logarithmic moment generating functions for both the classical and the invariant models. The shape function of this model exhibits a flat edge in certain directions, and we also discuss the rate function and limiting log-moment generating functions in those directions.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
Last passage percolation in an exponential environment with discontinuous rates
Authors:
Federico Ciech,
Nicos Georgiou
Abstract:
We prove a strong law of large numbers for directed last passage times in an independent but inhomogeneous exponential environment. Rates for the exponential random variables are obtained from a discretisation of a speed function that may be discontinuous on a locally finite set of discontinuity curves. The limiting shape is cast as a variational formula that maximises a certain functional over a…
▽ More
We prove a strong law of large numbers for directed last passage times in an independent but inhomogeneous exponential environment. Rates for the exponential random variables are obtained from a discretisation of a speed function that may be discontinuous on a locally finite set of discontinuity curves. The limiting shape is cast as a variational formula that maximises a certain functional over a set of weakly increasing curves.
Using this result, we present two examples that allow for partial analytical tractability and show that the shape function may not be strictly concave, and it may exhibit points of non-differentiability, flat segments, and non-uniqueness of the optimisers of the variational formula. Finally, in a specific example, we analyse further the macroscopic optimisers and uncover a phase transition for their behaviour.
△ Less
Submitted 2 August, 2018;
originally announced August 2018.
-
Markov chains with heavy-tailed increments and asymptotically zero drift
Authors:
Nicholas Georgiou,
Mikhail V. Menshikov,
Dimitri Petritis,
Andrew R. Wade
Abstract:
We study the recurrence/transience phase transition for Markov chains on $\mathbb{R}_+$, $\mathbb{R}$, and $\mathbb{R}^2$ whose increments have heavy tails with exponent in $(1,2)$ and asymptotically zero mean. This is the infinite-variance analogue of the classical Lamperti problem. On $\mathbb{R}_+$, for example, we show that if the tail of the positive increments is about $c y^{-α}$ for an expo…
▽ More
We study the recurrence/transience phase transition for Markov chains on $\mathbb{R}_+$, $\mathbb{R}$, and $\mathbb{R}^2$ whose increments have heavy tails with exponent in $(1,2)$ and asymptotically zero mean. This is the infinite-variance analogue of the classical Lamperti problem. On $\mathbb{R}_+$, for example, we show that if the tail of the positive increments is about $c y^{-α}$ for an exponent $α\in (1,2)$ and if the drift at $x$ is about $b x^{-γ}$, then the critical regime has $γ= α-1$ and recurrence/transience is determined by the sign of $b + cπ\textrm{cosec} (πα)$. On $\mathbb{R}$ we classify whether transience is directional or oscillatory, and extend an example of Rogozin \& Foss to a class of transient martingales which oscillate between $\pm \infty$. In addition to our recurrence/transience results, we also give sharp results on the existence/non-existence of moments of passage times.
△ Less
Submitted 19 June, 2018;
originally announced June 2018.
-
A new geometric structure on tangent bundles
Authors:
Nikos Georgiou,
Brendan Guilfoyle
Abstract:
For a Riemannian manifold $(N,g)$, we construct a scalar flat metric $G$ in the tangent bundle $TN$. It is locally conformally flat if and only if either, $N$ is a 2-dimensional manifold or, $(N,g)$ is a real space form. It is also shown that $G$ is locally symmetric if and only if $g$ is locally symmetric. We then study submanifolds in $TN$ and, in particular, find the conditions for a curve to b…
▽ More
For a Riemannian manifold $(N,g)$, we construct a scalar flat metric $G$ in the tangent bundle $TN$. It is locally conformally flat if and only if either, $N$ is a 2-dimensional manifold or, $(N,g)$ is a real space form. It is also shown that $G$ is locally symmetric if and only if $g$ is locally symmetric. We then study submanifolds in $TN$ and, in particular, find the conditions for a curve to be geodesic. The conditions for a Lagrangian graph to be minimal or Hamiltonian minimal in the tangent bundle $T{\mathbb R}^n$ of the Euclidean real space ${\mathbb R}^n$ are studied. Finally, using the cross product in ${\mathbb R}^3$ we show that the space of oriented lines in ${\mathbb R}^3$ can be minimally isometrically embedded in $T{\mathbb R}^3$.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
Invariance principle for non-homogeneous random walks
Authors:
Nicholas Georgiou,
Aleksandar Mijatović,
Andrew R. Wade
Abstract:
We prove an invariance principle for a class of zero-drift spatially non-homogeneous random walks in $\mathbb{R}^d$, which may be recurrent in any dimension. The limit $\mathcal{X}$ is an elliptic martingale diffusion, which may be point-recurrent at the origin for any $d\geq2$. To characterise $\mathcal{X}$, we introduce a (non-Euclidean) Riemannian metric on the unit sphere in $\mathbb{R}^d$ and…
▽ More
We prove an invariance principle for a class of zero-drift spatially non-homogeneous random walks in $\mathbb{R}^d$, which may be recurrent in any dimension. The limit $\mathcal{X}$ is an elliptic martingale diffusion, which may be point-recurrent at the origin for any $d\geq2$. To characterise $\mathcal{X}$, we introduce a (non-Euclidean) Riemannian metric on the unit sphere in $\mathbb{R}^d$ and use it to express a related spherical diffusion as a Brownian motion with drift. This representation allows us to establish the skew-product decomposition of the excursions of $\mathcal{X}$ and thus develop the excursion theory of $\mathcal{X}$ without appealing to the strong Markov property. This leads to the uniqueness in law of the stochastic differential equation for $\mathcal{X}$ in $\mathbb{R}^d$, whose coefficients are discontinuous at the origin. Using the Riemannian metric we can also detect whether the angular component of the excursions of $\mathcal{X}$ is time-reversible. If so, the excursions of $\mathcal{X}$ in $\mathbb{R}^d$ generalise the classical Pitman-Yor splitting-at-the-maximum property of Bessel excursions.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Order of the variance in the discrete Hammersley process with boundaries
Authors:
Federico Ciech,
Nicos Georgiou
Abstract:
We discuss the order of the variance on a lattice analogue of the Hammersley process with boundaries, for which the environment on each site has independent, Bernoulli distributed values. The last passage time is the maximum number of Bernoulli points that can be collected on a piecewise linear path, where each segment has strictly positive but finite slope. We show that along characteristic direc…
▽ More
We discuss the order of the variance on a lattice analogue of the Hammersley process with boundaries, for which the environment on each site has independent, Bernoulli distributed values. The last passage time is the maximum number of Bernoulli points that can be collected on a piecewise linear path, where each segment has strictly positive but finite slope. We show that along characteristic directions the order of the variance of the last passage time is of order $N^{2/3}$ in the model with boundary. These characteristic directions are restricted in a cone starting at the origin, and along any direction outside the cone, the order of the variance changes to $O(N)$ in the boundary model and to $O(1)$ for the non-boundary model. This behaviour is the result of the two flat edges of the shape function.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
A radial invariance principle for non-homogeneous random walks
Authors:
Nicholas Georgiou,
Aleksandar Mijatović,
Andrew R. Wade
Abstract:
Consider non-homogeneous zero-drift random walks in $\mathbb{R}^d$, $d \geq 2$, with the asymptotic increment covariance matrix $σ^2 (\mathbf{u})$ satisfying $\mathbf{u}^\top σ^2 (\mathbf{u}) \mathbf{u} = U$ and $\mathrm{tr}\ σ^2 (\mathbf{u}) = V$ in all in directions $\mathbf{u}\in\mathbb{S}^{d-1}$ for some positive constants $U<V$. In this paper we establish weak convergence of the radial compon…
▽ More
Consider non-homogeneous zero-drift random walks in $\mathbb{R}^d$, $d \geq 2$, with the asymptotic increment covariance matrix $σ^2 (\mathbf{u})$ satisfying $\mathbf{u}^\top σ^2 (\mathbf{u}) \mathbf{u} = U$ and $\mathrm{tr}\ σ^2 (\mathbf{u}) = V$ in all in directions $\mathbf{u}\in\mathbb{S}^{d-1}$ for some positive constants $U<V$. In this paper we establish weak convergence of the radial component of the walk to a Bessel process with dimension $V/U$. This can be viewed as an extension of an invariance principle of Lamperti.
△ Less
Submitted 25 August, 2017;
originally announced August 2017.
-
Optimality Regions and Fluctuations for Bernoulli Last Passage Models
Authors:
Nicos Georgiou,
Janosch Ortmann
Abstract:
We study the sequence alignment problem and its independent version, the discrete Hammersley process with an exploration penalty. We obtain rigorous upper bounds for the number of optimality regions in both models near the soft edge. At zero penalty the independent model becomes an exactly solvable model and we identify cases for which the law of the last passage time converges to a Tracy-Widom la…
▽ More
We study the sequence alignment problem and its independent version, the discrete Hammersley process with an exploration penalty. We obtain rigorous upper bounds for the number of optimality regions in both models near the soft edge. At zero penalty the independent model becomes an exactly solvable model and we identify cases for which the law of the last passage time converges to a Tracy-Widom law.
△ Less
Submitted 13 March, 2018; v1 submitted 10 October, 2016;
originally announced October 2016.
-
A stylized model for wealth distribution
Authors:
Bertram Düring,
Nicos Georgiou,
Enrico Scalas
Abstract:
The recent book by T. Piketty (Capital in the Twenty-First Century) promoted the important issue of wealth inequality. In the last twenty years, physicists and mathematicians developed models to derive the wealth distribution using discrete and continuous stochastic processes (random exchange models) as well as related Boltzmann-type kinetic equations. In this literature, the usual concept of equi…
▽ More
The recent book by T. Piketty (Capital in the Twenty-First Century) promoted the important issue of wealth inequality. In the last twenty years, physicists and mathematicians developed models to derive the wealth distribution using discrete and continuous stochastic processes (random exchange models) as well as related Boltzmann-type kinetic equations. In this literature, the usual concept of equilibrium in Economics is either replaced or completed by statistical equilibrium.
In order to illustrate this activity with a concrete example, we present a stylised random exchange model for the distribution of wealth. We first discuss a fully discrete version (a Markov chain with finite state space). We then study its discrete-time continuous-state-space version and we prove the existence of the equilibrium distribution. Finally, we discuss the connection of these models with Boltzmann-like kinetic equations for the marginal distribution of wealth. This paper shows in practice how it is possible to start from a finitary description and connect it to continuous models following Boltzmann's original research program.
△ Less
Submitted 16 July, 2021; v1 submitted 28 September, 2016;
originally announced September 2016.
-
Hopf hypersurfaces in spaces of oriented geodesics
Authors:
Nikos Georgiou,
Brendan Guilfoyle
Abstract:
A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector.
We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater than 2. For spherical and hyperbolic space forms, the oriented geodesic space adm…
▽ More
A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector.
We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater than 2. For spherical and hyperbolic space forms, the oriented geodesic space admits a canonical Kaehler-Einstein and para-Kaehler-Einstein structure, respectively, so that a natural notion of a Hopf hypersurface exists.
The particular hypersurfaces considered are formed by the oriented geodesics that are tangent to a given convex hypersurface in the underlying space form. We prove that a tangent hypersurface is Hopf in the space of oriented geodesics with respect to this canonical (para-)Kaehler structure iff the underlying convex hypersurface is totally umbilic and non-flat.
In the case of 3 dimensional space forms, however, there exists a second canonical complex structure which can also be used to define Hopf hypersurfaces. We prove that in this dimension, the tangent hypersurface of a convex hypersurface in the space form is always Hopf with respect to this second complex structure.
△ Less
Submitted 23 August, 2016;
originally announced August 2016.
-
The causal topology of neutral 4-manifolds with null boundary
Authors:
Nikos Georgiou,
Brendan Guilfoyle
Abstract:
This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null boundaries that arise from canonical 3- and 4-dimensional settings.
A null hypersurface is foliated by its normal and, in the neutral case, inherits a pair of tot…
▽ More
This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null boundaries that arise from canonical 3- and 4-dimensional settings.
A null hypersurface is foliated by its normal and, in the neutral case, inherits a pair of totally null planes at each point. This paper focuses on these plane bundles in a number of classical settings
The first construction is the conformal compactification of flat neutral 4-space into the 4-ball. The null foliation on the boundary in this case is the Hopf fibration on the 3-sphere and the totally null planes in the boundary are integrable. The metric on the 4-ball is a conformally flat, scalar-flat, positive Ricci curvature neutral metric.
The second constructions are subsets of the 4-dimensional space of oriented geodesics in a 3-dimensional space-form, equipped with its canonical neutral metric. We consider all oriented geodesics tangent to a given embedded strictly convex 2-sphere.
The third is a neutral geometric model for the intersection of two surfaces in a 4-manifold. The surfaces are the sets of oriented normal lines to two round spheres in Euclidean 3-space, which form Lagrangian surfaces in the 4-dimensional space of all oriented lines. The intersection of the boundaries of their normal neighbourhoods form tori that we prove are totally real and Lorentz if the spheres do not intersect.
We conclude with possible topological applications of the three constructions, including neutral Kirby calculus, neutral knot invariants and neutral Casson handles, respectively.
△ Less
Submitted 24 October, 2016; v1 submitted 31 May, 2016;
originally announced May 2016.
-
Minimal surfaces in the product of two dimensional real space forms endowed with a neutral metric
Authors:
Martha P. Dussan,
Nikos Georgiou,
Martin Magid
Abstract:
We investigate minimal surfaces in products of two-spheres ${\mathbb S}^2_p\times {\mathbb S}^2_p$, with the neutral metric given by $(g,-g)$. Here ${\mathbb S}^2_p\subset {\mathbb R}^{p,3-p}$ , and $g$ is the induced metric on the sphere. We compute all totally geodesic surfaces and we give a relation between minimal surfaces and the solutions of the Gordon equations. Finally, in some cases we gi…
▽ More
We investigate minimal surfaces in products of two-spheres ${\mathbb S}^2_p\times {\mathbb S}^2_p$, with the neutral metric given by $(g,-g)$. Here ${\mathbb S}^2_p\subset {\mathbb R}^{p,3-p}$ , and $g$ is the induced metric on the sphere. We compute all totally geodesic surfaces and we give a relation between minimal surfaces and the solutions of the Gordon equations. Finally, in some cases we give a topological classification of compact minimal surfaces.
△ Less
Submitted 12 March, 2016;
originally announced March 2016.
-
Geodesics and the competition interface for the corner growth model
Authors:
Nicos Georgiou,
Firas Rassoul-Agha,
Timo Seppäläinen
Abstract:
We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. In a previous paper we constructed stationary cocycles and Busemann functions for this model. Using these objects, we prove new results on the competition interface, on existence, uniqueness, and coa…
▽ More
We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. In a previous paper we constructed stationary cocycles and Busemann functions for this model. Using these objects, we prove new results on the competition interface, on existence, uniqueness, and coalescence of directional semi-infinite geodesics, and on nonexistence of doubly infinite geodesics.
△ Less
Submitted 24 July, 2016; v1 submitted 3 October, 2015;
originally announced October 2015.
-
Stationary cocycles and Busemann functions for the corner growth model
Authors:
Nicos Georgiou,
Firas Rassoul-Agha,
Timo Seppäläinen
Abstract:
We study the directed last-passage percolation model on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside of the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, solve variational for…
▽ More
We study the directed last-passage percolation model on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside of the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, solve variational formulas that characterize limit shapes, and yield existence of Busemann functions in directions where the shape has some regularity. In a sequel to this paper the cocycles will be used to prove results about semi-infinite geodesics and the competition interface.
△ Less
Submitted 24 July, 2016; v1 submitted 3 October, 2015;
originally announced October 2015.
-
Anomalous recurrence properties of many-dimensional zero-drift random walks
Authors:
Nicholas Georgiou,
Mikhail V. Menshikov,
Aleksandar Mijatović,
Andrew R. Wade
Abstract:
Famously, a $d$-dimensional, spatially homogeneous random walk whose increments are non-degenerate, have finite second moments, and have zero mean is recurrent if $d \in \{1,2\}$ but transient if $d \geq 3$. Once spatial homogeneity is relaxed, this is no longer true. We study a family of zero-drift spatially non-homogeneous random walks (Markov processes) whose increment covariance matrix is asym…
▽ More
Famously, a $d$-dimensional, spatially homogeneous random walk whose increments are non-degenerate, have finite second moments, and have zero mean is recurrent if $d \in \{1,2\}$ but transient if $d \geq 3$. Once spatial homogeneity is relaxed, this is no longer true. We study a family of zero-drift spatially non-homogeneous random walks (Markov processes) whose increment covariance matrix is asymptotically constant along rays from the origin, and which, in any ambient dimension $d \geq 2$, can be adjusted so that the walk is either transient or recurrent. Natural examples are provided by random walks whose increments are supported on ellipsoids that are symmetric about the ray from the origin through the walk's current position; these \emph{elliptic random walks} generalize the classical homogeneous Pearson--Rayleigh walk (the spherical case). Our proof of the recurrence classification is based on fundamental work of Lamperti.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Solvable non-Markovian dynamic network
Authors:
Nicos Georgiou,
Istvan Z. Kiss,
Enrico Scalas
Abstract:
Non-Markovian processes are widespread in natural and human-made systems, yet explicit model- ling and analysis of such systems is underdeveloped. We consider a non-Markovian dynamic network with random link activation and deletion (RLAD) and heavy tailed Mittag-Leffler distribution for the inter-event times. We derive an analytically and computationally tractable system of Kolmogorov- like forwar…
▽ More
Non-Markovian processes are widespread in natural and human-made systems, yet explicit model- ling and analysis of such systems is underdeveloped. We consider a non-Markovian dynamic network with random link activation and deletion (RLAD) and heavy tailed Mittag-Leffler distribution for the inter-event times. We derive an analytically and computationally tractable system of Kolmogorov- like forward equations utilising the Caputo derivative for the probability of having a given number of active links in the network and solve them. Simulations for the RLAD are also studied for power-law inter-event times and we show excellent agreement with the Mittag-Leffler model. This agreement holds even when the RLAD network dynamics is coupled with the susceptible-infected-susceptible (SIS) spreading dynamics. Thus, the analytically solvable Mittag-Leffler model provides an excel- lent approximation to the case when the network dynamics is characterised by power-law distributed inter-event times. We further discuss possible generalizations of our result.
△ Less
Submitted 11 September, 2015; v1 submitted 13 February, 2015;
originally announced February 2015.
-
On Hamiltonian minimal submanifolds in the space of oriented geodesics in real space forms
Authors:
Nikos Georgiou,
Guillermo Antonio Lobos Villagra
Abstract:
We prove that a deformation of a hypersurface in a $(n+1)$-dimensional real space form ${\mathbb S}^{n+1}_{p,1}$ induce a Hamiltonian variation of the normal congruence in the space ${\mathbb L}({\mathbb S}^{n+1}_{p,1})$ of oriented geodesics. As an application, we show that every Hamiltonian minimal sumbanifold in ${\mathbb L}({\mathbb S}^{n+1})$ (resp. ${\mathbb L}({\mathbb H}^{n+1})$) with resp…
▽ More
We prove that a deformation of a hypersurface in a $(n+1)$-dimensional real space form ${\mathbb S}^{n+1}_{p,1}$ induce a Hamiltonian variation of the normal congruence in the space ${\mathbb L}({\mathbb S}^{n+1}_{p,1})$ of oriented geodesics. As an application, we show that every Hamiltonian minimal sumbanifold in ${\mathbb L}({\mathbb S}^{n+1})$ (resp. ${\mathbb L}({\mathbb H}^{n+1})$) with respect to the (para-) Kaehler Einstein structure is locally the normal congruence of a hypersurface $Σ$ in ${\mathbb S}^{n+1}$ (resp. ${\mathbb H}^{n+1}$) that is a critical point of the functional ${\cal W}(Σ)=\int_Σ\left(Π_{i=1}^n|ε+k_i^2|\right)^{1/2}$, where $k_i$ denote the principal curvatures of $Σ$ and $ε\in\{-1,1\}$. In addition, for $n=2$, we prove that every Hamiltonian minimal surface in ${\mathbb L}({\mathbb S}^{3})$ (resp. ${\mathbb L}({\mathbb H}^{3})$) with respect to the (para-) Kaehler conformally flat structure is locally the normal congruence of a surface in ${\mathbb S}^{3}$ (resp. ${\mathbb H}^{3}$) that is a critical point of the functional ${\cal W}'(Σ)=\int_Σ\sqrt{H^2-K+1}$ (resp. ${\cal W}'(Σ)=\int_Σ\sqrt{H^2-K-1}\; $), where $H$ and $K$ denote, respectively, the mean and Gaussian curvature of $Σ$.
△ Less
Submitted 29 November, 2014;
originally announced December 2014.
-
The dimension of the range of a transient random walk
Authors:
Nicos Georgiou,
Davar Khoshnevisan,
Kunwoo Kim,
Alex D. Ramos
Abstract:
We find formulas for the macroscopic Minkowski and Hausdorff dimensions of the range of an arbitrary transient walk in Z^d. This endeavor solves a problem of Barlow and Taylor (1991).
We find formulas for the macroscopic Minkowski and Hausdorff dimensions of the range of an arbitrary transient walk in Z^d. This endeavor solves a problem of Barlow and Taylor (1991).
△ Less
Submitted 30 October, 2014;
originally announced October 2014.
-
Stationary cocycles for the corner growth model
Authors:
Nicos Georgiou,
Firas Rassoul-Agha,
Timo Seppäläinen
Abstract:
We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, define solutions to var…
▽ More
We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, define solutions to variational formulas that characterize limit shapes, and yield new results for Busemann functions, geodesics and the competition interface.
△ Less
Submitted 6 October, 2015; v1 submitted 30 April, 2014;
originally announced April 2014.
-
Lagrangian immersions in the product of Lorentzian two manifold
Authors:
Nikos Georgiou
Abstract:
For Lorentzian 2-manifolds $(Σ_1,g_1)$ and $(Σ_2,g_2)$ we consider the two product para-Kähler structures $(G^ε,J,Ω^ε)$ defined on the product four manifold $Σ_1\timesΣ_2$, with $ε=\pm 1$. We show that the metric $G^ε$ is locally conformally flat (resp. Einstein) if and only if the Gauss curvatures $κ_1,κ_2$ of $g_1,g_2$, respectively, are both constants satisfying $κ_1=-εκ_2$ (resp. $κ_1=εκ_2$).…
▽ More
For Lorentzian 2-manifolds $(Σ_1,g_1)$ and $(Σ_2,g_2)$ we consider the two product para-Kähler structures $(G^ε,J,Ω^ε)$ defined on the product four manifold $Σ_1\timesΣ_2$, with $ε=\pm 1$. We show that the metric $G^ε$ is locally conformally flat (resp. Einstein) if and only if the Gauss curvatures $κ_1,κ_2$ of $g_1,g_2$, respectively, are both constants satisfying $κ_1=-εκ_2$ (resp. $κ_1=εκ_2$). We give the conditions on the Gauss curvatures for which every Lagrangian surface with parallel mean curvature vector is the product $γ_1\timesγ_2\subsetΣ_1\timesΣ_2$, where $γ_1$ and $γ_2$ are curves of constant curvature. We study Lagrangian surfaces in the product $d{\mathbb S}^2\times d{\mathbb S}^2$ with non null parallel mean curvature vector and finally, we explore the stability and Hamiltonian stability of certain minimal Lagrangian surfaces and $H$-minimal surfaces.
△ Less
Submitted 26 March, 2014; v1 submitted 2 March, 2014;
originally announced March 2014.
-
Non-homogeneous random walks on a semi-infinite strip
Authors:
Nicholas Georgiou,
Andrew R. Wade
Abstract:
We study the asymptotic behaviour of Markov chains $(X_n,η_n)$ on $\mathbb{Z}_+ \times S$, where $\mathbb{Z}_+$ is the non-negative integers and $S$ is a finite set. Neither coordinate is assumed to be Markov. We assume a moments bound on the jumps of $X_n$, and that, roughly speaking, $η_n$ is close to being Markov when $X_n$ is large. This departure from much of the literature, which assumes tha…
▽ More
We study the asymptotic behaviour of Markov chains $(X_n,η_n)$ on $\mathbb{Z}_+ \times S$, where $\mathbb{Z}_+$ is the non-negative integers and $S$ is a finite set. Neither coordinate is assumed to be Markov. We assume a moments bound on the jumps of $X_n$, and that, roughly speaking, $η_n$ is close to being Markov when $X_n$ is large. This departure from much of the literature, which assumes that $η_n$ is itself a Markov chain, enables us to probe precisely the recurrence phase transitions by assuming asymptotically zero drift for $X_n$ given $η_n$. We give a recurrence classification in terms of increment moment parameters for $X_n$ and the stationary distribution for the large-$X$ limit of $η_n$. In the null case we also provide a weak convergence result, which demonstrates a form of asymptotic independence between $X_n$ (rescaled) and $η_n$. Our results can be seen as generalizations of Lamperti's results for non-homogeneous random walks on $\mathbb{Z}_+$ (the case where $S$ is a singleton). Motivation arises from modulated queues or processes with hidden variables where $η_n$ tracks an internal state of the system.
△ Less
Submitted 11 February, 2014;
originally announced February 2014.
-
Variational formulas and cocycle solutions for directed polymer and percolation models
Authors:
Nicos Georgiou,
Firas Rassoul-Agha,
Timo Seppäläinen
Abstract:
We discuss variational formulas for the limits of certain models of motion in a random medium: namely, the limiting time constant for last-passage percolation and the limiting free energy for directed polymers. The results are valid for models in arbitrary dimension, steps of the admissible paths can be general, the environment process is ergodic under shifts, and the potential accumulated along a…
▽ More
We discuss variational formulas for the limits of certain models of motion in a random medium: namely, the limiting time constant for last-passage percolation and the limiting free energy for directed polymers. The results are valid for models in arbitrary dimension, steps of the admissible paths can be general, the environment process is ergodic under shifts, and the potential accumulated along a path can depend on the environment and the next step of the path. The variational formulas come in two types: one minimizes over gradient-like cocycles, and another one maximizes over invariant measures on the space of environments and paths. Minimizing cocycles can be obtained from Busemann functions when these can be proved to exist. The results are illustrated through 1+1 dimensional exactly solvable examples, periodic examples, and polymers in weak disorder.
△ Less
Submitted 21 January, 2016; v1 submitted 12 November, 2013;
originally announced November 2013.
-
Semi-discrete semi-linear parabolic SPDEs
Authors:
Nicos Georgiou,
Mathew Joseph,
Davar Khoshnevisan,
Shang-Yuan Shiu
Abstract:
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 independe…
▽ More
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)$.
△ Less
Submitted 9 September, 2015; v1 submitted 9 November, 2013;
originally announced November 2013.
-
New constructions and bounds for Winkler's hat game
Authors:
Maximilien Gadouleau,
Nicholas Georgiou
Abstract:
Hat problems have recently become a popular topic in combinatorics and discrete mathematics. These have been shown to be strongly related to coding theory, network coding, and auctions. We consider the following version of the hat game, introduced by Winkler and studied by Butler et al. A team is composed of several players; each player is assigned a hat of a given colour; they do not see their ow…
▽ More
Hat problems have recently become a popular topic in combinatorics and discrete mathematics. These have been shown to be strongly related to coding theory, network coding, and auctions. We consider the following version of the hat game, introduced by Winkler and studied by Butler et al. A team is composed of several players; each player is assigned a hat of a given colour; they do not see their own colour, but can see some other hats, according to a directed graph. The team wins if they have a strategy such that, for any possible assignment of colours to their hats, at least one player guesses their own hat colour correctly. In this paper, we discover some new classes of graphs which allow a winning strategy, thus answering some of the open questions in Butler et al. We also derive upper bounds on the maximal number of possible hat colours that allow for a winning strategy for a given graph.
△ Less
Submitted 8 November, 2013;
originally announced November 2013.
-
Marginally trapped surfaces in spaces of oriented geodesics
Authors:
Brendan Guilfoyle,
Nikos Georgiou
Abstract:
We investigate the geometric properties of marginally trapped surfaces (surfaces which have null mean curvature vector) in the spaces of oriented geodesics of Euclidean 3-space and hyperbolic 3-space, endowed with their canonical neutral Kaehler structures.
We prove that every rank one surface in these four manifolds is marginally trapped. In the Euclidean case we show that Lagrangian rotational…
▽ More
We investigate the geometric properties of marginally trapped surfaces (surfaces which have null mean curvature vector) in the spaces of oriented geodesics of Euclidean 3-space and hyperbolic 3-space, endowed with their canonical neutral Kaehler structures.
We prove that every rank one surface in these four manifolds is marginally trapped. In the Euclidean case we show that Lagrangian rotationally symmetric sections are marginally trapped and construct an explicit family of marginally trapped Lagrangian tori.
In the hyperbolic case we explore the relationship between marginally trapped and Weingarten surfaces, and construct examples of marginally trapped surfaces with various properties.
△ Less
Submitted 28 May, 2013;
originally announced May 2013.
-
On minimal Lagrangian surfaces in the product of Riemannian two manifolds
Authors:
Nikos Georgiou
Abstract:
Let $(Σ_1,g_1)$ and $(Σ_2,g_2)$ be connected, complete and orientable Riemannian two manifolds. Consider the two canonical Kähler structures $(G^ε,J,Ω^ε)$ on the product 4-manifold $Σ_1\timesΣ_2$ given by $ G^ε=g_1\oplus εg_2$, $ε=\pm 1$ and $J$ is the canonical product complex structure. Thus for $ε=1$ the Kähler metric $G^+$ is Riemannian while for $ε=-1$, $G^-$ is of neutral signature. We show…
▽ More
Let $(Σ_1,g_1)$ and $(Σ_2,g_2)$ be connected, complete and orientable Riemannian two manifolds. Consider the two canonical Kähler structures $(G^ε,J,Ω^ε)$ on the product 4-manifold $Σ_1\timesΣ_2$ given by $ G^ε=g_1\oplus εg_2$, $ε=\pm 1$ and $J$ is the canonical product complex structure. Thus for $ε=1$ the Kähler metric $G^+$ is Riemannian while for $ε=-1$, $G^-$ is of neutral signature. We show that the metric $G^ε$ is locally conformally flat iff the Gauss curvatures $κ(g_1)$ and $κ(g_2)$ are both constants satisfying $κ(g_1)=-εκ(g_2)$. We also give conditions on the Gauss curvatures for which every $G^ε$-minimal Lagrangian surface is the product $γ_1\timesγ_2\subsetΣ_1\timesΣ_2$, where $γ_1$ and $γ_2$ are geodesics of $(Σ_1,g_1)$ and $(Σ_2,g_2)$, respectively. Finally, we explore the Hamiltonian stability of projected rank one Hamiltonian $G^ε$-minimal surfaces.
△ Less
Submitted 27 May, 2013; v1 submitted 7 May, 2013;
originally announced May 2013.
-
Ratios of partition functions for the log-gamma polymer
Authors:
Nicos Georgiou,
Firas Rassoul-Agha,
Timo Seppäläinen,
Atilla Yilmaz
Abstract:
We introduce a random walk in random environment associated to an underlying directed polymer model in $1+1$ dimensions. This walk is the positive temperature counterpart of the competition interface of percolation and arises as the limit of quenched polymer measures. We prove this limit for the exactly solvable log-gamma polymer, as a consequence of almost sure limits of ratios of partition funct…
▽ More
We introduce a random walk in random environment associated to an underlying directed polymer model in $1+1$ dimensions. This walk is the positive temperature counterpart of the competition interface of percolation and arises as the limit of quenched polymer measures. We prove this limit for the exactly solvable log-gamma polymer, as a consequence of almost sure limits of ratios of partition functions. These limits of ratios give the Busemann functions of the log-gamma polymer, and furnish centered cocycles that solve a variational formula for the limiting free energy. Limits of ratios of point-to-point and point-to-line partition functions manifest a duality between tilt and velocity that comes from quenched large deviations under polymer measures. In the log-gamma case, we identify a family of ergodic invariant distributions for the random walk in random environment.
△ Less
Submitted 28 October, 2015; v1 submitted 5 March, 2013;
originally announced March 2013.
-
Positive and zero temperature polymer models
Authors:
Nicos Georgiou
Abstract:
We present results about large deviations and laws of large numbers for various polymer related quantities.
In a completely general setting and strictly positive temperature, we present results about large deviations for directed polymers in random environment. We prove quenched large deviations (and compute the rate functions explicitly) for the exit point of the polymer chain and the polymer c…
▽ More
We present results about large deviations and laws of large numbers for various polymer related quantities.
In a completely general setting and strictly positive temperature, we present results about large deviations for directed polymers in random environment. We prove quenched large deviations (and compute the rate functions explicitly) for the exit point of the polymer chain and the polymer chain itself.
We also prove existence of the upper tail large deviation rate function for the logarithm of the partition function. In the case where the environment weights have certain log-gamma distributions the computations are tractable and allow us to compute the rate function explicitly.
At zero temperature, the polymer model is now called a last passage model. With a particular choice of random weights, the last passage model has an equivalent representation as a particle system called Totally Asymmetric Simple Exclusion Process (TASEP). We prove a hydrodynamic limit for the macroscopic particle density and current for TASEP with spatially inhomogeneous jump rates given by a speed function that may admit discontinuities. The limiting density profiles are described with a variational formula. This formula enables us to compute explicit density profiles even though we have no information about the invariant distributions of the process. In the case of a two-phase flux for which a suitable p.d.e. theory has been developed we also observe that the limit profiles are entropy solutions of the corresponding scalar conservation law with a discontinuous speed function.
△ Less
Submitted 1 October, 2012;
originally announced October 2012.
-
Hamiltonian stability of Hamiltonian minimal Lagrangian submanifolds in pseudo- and para-Kähler manifolds
Authors:
Henri Anciaux,
Nikos Georgiou
Abstract:
Let L be a Lagrangian submanifold of a pseudo- or para-Kähler manifold which is H-minimal, i.e. a critical point of the volume functional restricted to Hamiltonian variations. We derive the second variation of the volume of L with respect to Hamiltonian variations. We apply this formula to several cases.
In particular we observe that a minimal Lagrangian submanifold L in a Ricci-flat pseudo- or…
▽ More
Let L be a Lagrangian submanifold of a pseudo- or para-Kähler manifold which is H-minimal, i.e. a critical point of the volume functional restricted to Hamiltonian variations. We derive the second variation of the volume of L with respect to Hamiltonian variations. We apply this formula to several cases.
In particular we observe that a minimal Lagrangian submanifold L in a Ricci-flat pseudo- or para-Kähler manifold is H-stable, i.e. its second variation is definite and L therefore a local extremizer of the volume with respect to Hamiltonian variations. We also give a stability criterion for spacelike minimal Lagrangian submanifolds in para-Kähler manifolds, similar to Oh's stability criterion for minimal Lagrangian manifolds in Kähler-Einstein manifolds.
Finally, we determine the H-stability of a series of examples of H-minimal Lagrangian submanifolds: the product of n circles of arbitrary radii in complex space C^n is H-unstable with respect to any indefinite flat Hermitian metric, while the product of n hyperbolas in para-complex vector space D^n is H-stable for n=1,2 and H-unstable for n > 2. Recently, minimal Lagrangian surfaces in the space of geodesics of three-dimensional space forms have been characterized; on the other hand, a class of H-minimal Lagrangian surfaces in the tangent bundle of a Riemannian, oriented surface has been identified. We discuss the H-stability of all these examples.
△ Less
Submitted 13 May, 2012; v1 submitted 8 May, 2012;
originally announced May 2012.
-
Modular Decomposition and the Reconstruction Conjecture
Authors:
Robert Brignall,
Nicholas Georgiou,
Robert J. Waters
Abstract:
We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs.
We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs.
△ Less
Submitted 27 February, 2012; v1 submitted 7 December, 2011;
originally announced December 2011.
-
Large deviation rate functions for the partition function in a log-gamma distributed random potential
Authors:
Nicos Georgiou,
Timo Seppäläinen
Abstract:
We study right tail large deviations of the logarithm of the partition function for directed lattice paths in i.i.d. random potentials. The main purpose is the derivation of explicit formulas for the $1+1$-dimensional exactly solvable case with log-gamma distributed random weights. Along the way we establish some regularity results for this rate function for general distributions in arbitrary dime…
▽ More
We study right tail large deviations of the logarithm of the partition function for directed lattice paths in i.i.d. random potentials. The main purpose is the derivation of explicit formulas for the $1+1$-dimensional exactly solvable case with log-gamma distributed random weights. Along the way we establish some regularity results for this rate function for general distributions in arbitrary dimensions.
△ Less
Submitted 16 December, 2013; v1 submitted 16 October, 2011;
originally announced October 2011.
-
Soft edge results for longest increasing paths on the planar lattice
Authors:
Nicos Georgiou
Abstract:
For two-dimensional last-passage time models of weakly increasing paths, interesting scaling limits have been proved for points close the axis (the hard edge). For strictly increasing paths of Bernoulli($p$) marked sites, the relevant boundary is the line $y=px$. We call this the soft edge to contrast it with the hard edge. We prove laws of large numbers for the maximal cardinality of a strictly i…
▽ More
For two-dimensional last-passage time models of weakly increasing paths, interesting scaling limits have been proved for points close the axis (the hard edge). For strictly increasing paths of Bernoulli($p$) marked sites, the relevant boundary is the line $y=px$. We call this the soft edge to contrast it with the hard edge. We prove laws of large numbers for the maximal cardinality of a strictly increasing path in the rectangle $[\fl{p^{-1}n -xn^a}]\times[n]$ as the parameters $a$ and $x$ vary. The results change qualitatively as $a$ passes through the value 1/2.
△ Less
Submitted 16 March, 2010;
originally announced March 2010.
-
TASEP with Discontinuous Jump Rates
Authors:
Nicos Georgiou,
Rohini Kumar,
Timo Seppalainen
Abstract:
We prove a hydrodynamic limit for the totally asymmetric simple exclusion process with spatially inhomogeneous jump rates given by a speed function that may admit discontinuities. The limiting density profiles are described with a variational formula. This formula enables us to compute explicit density profiles even though we have no information about the invariant distributions of the process. In…
▽ More
We prove a hydrodynamic limit for the totally asymmetric simple exclusion process with spatially inhomogeneous jump rates given by a speed function that may admit discontinuities. The limiting density profiles are described with a variational formula. This formula enables us to compute explicit density profiles even though we have no information about the invariant distributions of the process. In the case of a two-phase flow for which a suitable p.d.e. theory has been developed we also observe that the limit profiles are entropy solutions of the corresponding scalar conservation law with a discontinuous speed function.
△ Less
Submitted 11 August, 2010; v1 submitted 16 March, 2010;
originally announced March 2010.
-
On maximal surfaces in the space of oriented geodesics of hyperbolic 3-space
Authors:
Nikos Georgiou
Abstract:
We study area-stationary, or maximal, surfaces in the space ${\mathbb L}({\mathbb H}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. We prove that every holomorphic curve in ${\mathbb L}({\mathbb H}^3)$ is a maximal surface. We then classify Lagrangian maximal surfaces $Σ$ in ${\mathbb L}({\mathbb H}^3)$ and prove that the family of parallel…
▽ More
We study area-stationary, or maximal, surfaces in the space ${\mathbb L}({\mathbb H}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. We prove that every holomorphic curve in ${\mathbb L}({\mathbb H}^3)$ is a maximal surface. We then classify Lagrangian maximal surfaces $Σ$ in ${\mathbb L}({\mathbb H}^3)$ and prove that the family of parallel surfaces in ${\mathbb H}^3$ orthogonal to the geodesics $γ\inΣ$ form a family of equidistant tubes around a geodesic.
△ Less
Submitted 10 February, 2010; v1 submitted 13 January, 2010;
originally announced January 2010.
-
The simple harmonic urn
Authors:
Edward Crane,
Nicholas Georgiou,
Stanislav Volkov,
Andrew R. Wade,
Robert J. Waters
Abstract:
We study a generalized Pólya urn model with two types of ball. If the drawn ball is red, it is replaced together with a black ball, but if the drawn ball is black it is replaced and a red ball is thrown out of the urn. When only black balls remain, the roles of the colors are swapped and the process restarts. We prove that the resulting Markov chain is transient but that if we throw out a ball eve…
▽ More
We study a generalized Pólya urn model with two types of ball. If the drawn ball is red, it is replaced together with a black ball, but if the drawn ball is black it is replaced and a red ball is thrown out of the urn. When only black balls remain, the roles of the colors are swapped and the process restarts. We prove that the resulting Markov chain is transient but that if we throw out a ball every time the colors swap, the process is recurrent. We show that the embedded process obtained by observing the number of balls in the urn at the swapping times has a scaling limit that is essentially the square of a Bessel diffusion. We consider an oriented percolation model naturally associated with the urn process, and obtain detailed information about its structure, showing that the open subgraph is an infinite tree with a single end. We also study a natural continuous-time embedding of the urn process that demonstrates the relation to the simple harmonic oscillator; in this setting, our transience result addresses an open problem in the recurrence theory of two-dimensional linear birth and death processes due to Kesten and Hutton. We obtain results on the area swept out by the process. We make use of connections between the urn process and birth--death processes, a uniform renewal process, the Eulerian numbers, and Lamperti's problem on processes with asymptotically small drifts; we prove some new results on some of these classical objects that may be of independent interest. For instance, we give sharp new asymptotics for the first two moments of the counting function of the uniform renewal process. Finally, we discuss some related models of independent interest, including a "Poisson earthquakes" Markov chain on the homeomorphisms of the plane.
△ Less
Submitted 16 January, 2012; v1 submitted 2 November, 2009;
originally announced November 2009.
-
The Blaschke-Lebesgue problem for constant width bodies of revolution
Authors:
Henri Anciaux,
Nikos Georgiou
Abstract:
We prove that among all constant width bodies of revolution, the minimum of the ratio of the volume to the cubed width is attained by the constant width body obtained by rotation of the Reuleaux triangle about an axis of symmetry.
We prove that among all constant width bodies of revolution, the minimum of the ratio of the volume to the cubed width is attained by the constant width body obtained by rotation of the Reuleaux triangle about an axis of symmetry.
△ Less
Submitted 25 March, 2009;
originally announced March 2009.
-
Totally Null Surfaces in Neutral Kaehler 4-Manifolds
Authors:
Nikos Georgiou,
Brendan Guilfoyle,
Wilhelm Klingenberg
Abstract:
We study the totally null surfaces of the neutral Kaehler metric on certain 4-manifolds. The tangent spaces of totally null surfaces are either self-dual ($α$-planes) or anti-self-dual ($β$-planes) and so we consider $α$-surfaces and $β$-surfaces. The metric of the examples we study, which include the spaces of oriented geodesics of 3-manifolds of constant curvature, are anti-self-dual, and so i…
▽ More
We study the totally null surfaces of the neutral Kaehler metric on certain 4-manifolds. The tangent spaces of totally null surfaces are either self-dual ($α$-planes) or anti-self-dual ($β$-planes) and so we consider $α$-surfaces and $β$-surfaces. The metric of the examples we study, which include the spaces of oriented geodesics of 3-manifolds of constant curvature, are anti-self-dual, and so it is well-known that the $α$-planes are integrable and $α$-surfaces exist. These are holomorphic Lagrangian surfaces, which for the geodesic spaces correspond to totally umbilic foliations of the underlying 3-manifold.
The $β$-surfaces are less known and our interest is mainly in their description. In particular, we classify the $β$-surfaces of the neutral Kaehler metric on $TN$, the tangent bundle to a Riemannian 2-manifold $N$. These include the spaces of oriented geodesics in Euclidean and Lorentz 3-space, for which we show that the $β$-surfaces are affine tangent bundles to curves of constant geodesic curvature on $S^2$ and $H^2$, respectively. In addition, we construct the $β$-surfaces of the space of oriented geodesics of hyperbolic 3-space.
△ Less
Submitted 22 October, 2008;
originally announced October 2008.
-
A characterization of Weingarten surfaces in hyperbolic 3-space
Authors:
Nikos Georgiou,
Brendan Guilfoyle
Abstract:
We study 2-dimensional submanifolds of the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. Such a surface is Lagrangian iff there exists a surface in ${\mathbb{H}}^3$ orthogonal to the geodesics of $Σ$.
We prove that the induced metric on a Lagrangian surface in ${\mathbb{L}}({\mathbb{H}}^3)$ has zero Gauss…
▽ More
We study 2-dimensional submanifolds of the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. Such a surface is Lagrangian iff there exists a surface in ${\mathbb{H}}^3$ orthogonal to the geodesics of $Σ$.
We prove that the induced metric on a Lagrangian surface in ${\mathbb{L}}({\mathbb{H}}^3)$ has zero Gauss curvature iff the orthogonal surfaces in ${\mathbb{H}}^3$ are Weingarten: the eigenvalues of the second fundamental form are functionally related. We then classify the totally null surfaces in ${\mathbb{L}}({\mathbb{H}}^3)$ and recover the well-known holomorphic constructions of flat and CMC 1 surfaces in ${\mathbb{H}}^3$.
△ Less
Submitted 8 March, 2009; v1 submitted 15 September, 2007;
originally announced September 2007.