-
On the complementary Arthur representations and unitary dual for p-adic classical groups
Authors:
Alexander Hazeltine,
Dihua Jiang,
Baiying Liu,
Chi-Heng Lo,
Qing Zhang
Abstract:
In [HJLLZ24], we proposed a new conjecture on the structure of the unitary dual of connected reductive groups over non-Archimedean local fields of characteristic zero based on their Arthur representations and verified it for all the known cases on the unitary dual problem. One step towards this conjecture involves the question whether certain complementary Arthur representations are unitary. In th…
▽ More
In [HJLLZ24], we proposed a new conjecture on the structure of the unitary dual of connected reductive groups over non-Archimedean local fields of characteristic zero based on their Arthur representations and verified it for all the known cases on the unitary dual problem. One step towards this conjecture involves the question whether certain complementary Arthur representations are unitary. In this paper, we give an explicit characterization of the complementary Arthur representations for symplectic and split odd special orthogonal groups. As applications, we obtain interesting constraints on local components of irreducible self-dual cuspidal automorphic representations of GL(N), especially when N=2,3.
△ Less
Submitted 23 May, 2025; v1 submitted 16 May, 2025;
originally announced May 2025.
-
Determining evolutionary equations by a single passive boundary observation
Authors:
Hongyu Liu,
Catharine W. K. Lo,
Longyue Tao
Abstract:
This work presents a comprehensive study of inverse boundary problems for evolutionary equations with a single passive boundary observation, focusing on hyperbolic and parabolic equations. We establish unique identifiability results for simultaneously determining several key parameters, including the wave/diffusion speed $c$, causal sources $f$ and $h$, and conductivity tensor $σ$, under generic c…
▽ More
This work presents a comprehensive study of inverse boundary problems for evolutionary equations with a single passive boundary observation, focusing on hyperbolic and parabolic equations. We establish unique identifiability results for simultaneously determining several key parameters, including the wave/diffusion speed $c$, causal sources $f$ and $h$, and conductivity tensor $σ$, under generic conditions. As a central application, we provide a complete resolution to the joint reconstruction problem in thermoacoustic and photoacoustic tomography (TAT/PAT), proving for the first time that both the initial pressure distribution $f$ and the heterogeneous sound speed $c$ can be uniquely and simultaneously determined from just a single, passive, partial boundary observation. We develop a novel, state-of-the-art framework that exploits the full spectral content of the wave field, combining both low-frequency and high-frequency asymptotics. Our approach avoids artificial decoupling assumptions and extends to general domain geometries and general evolutionary equations. This result resolves a long-standing open problem in coupled-physics imaging and provides a rigorous mathematical framework for addressing similar inverse problems in more sophisticated evolutionary setups.
△ Less
Submitted 2 June, 2025; v1 submitted 13 May, 2025;
originally announced May 2025.
-
Inverse Problems for Mean Field Games
Authors:
Hongyu Liu,
Catharine W. K. Lo,
Shen Zhang
Abstract:
In this book, we present a curated collection of existing results on inverse problems for Mean Field Games (MFGs), a cutting-edge and rapidly evolving field of research. Our aim is to provide fresh insights, novel perspectives, and a comprehensive foundation for future investigations into this fascinating area. MFGs, a class of differential games involving a continuum of non-atomic players, offer…
▽ More
In this book, we present a curated collection of existing results on inverse problems for Mean Field Games (MFGs), a cutting-edge and rapidly evolving field of research. Our aim is to provide fresh insights, novel perspectives, and a comprehensive foundation for future investigations into this fascinating area. MFGs, a class of differential games involving a continuum of non-atomic players, offer a powerful framework for analyzing the collective behavior of large populations of symmetric agents as the number of agents approaches infinity. This framework has proven to be an invaluable tool for quantitatively modeling the macroscopic dynamics of agents striving to minimize specific costs in complex systems, such as crowd dynamics, financial markets, traffic flows, and social networks.
The study of MFGs has traditionally focused on forward problems, where the goal is to determine the equilibrium behavior of agents given a set of model parameters, such as cost functions, interaction mechanisms, and initial conditions. However, the inverse problems for MFGs -- which seek to infer these underlying parameters from observed data -- have received comparatively less attention in the literature. This book seeks to address this gap by delving into the fundamental aspects of MFG inverse problems, with a particular emphasis on issues of unique identifiability, stability, and reconstruction of unknown parameters. These problems are not only mathematically challenging but also of immense practical significance, as they enable the calibration and validation of MFG models using real-world data.
This book is intended to serve as a valuable resource for researchers interested in the theory and applications of MFGs, particularly in inverse problems. Through this book, we hope to inspire further exploration and innovation in this dynamic and interdisciplinary area of study.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Simultaneously decoding the unknown stationary state and function parameters for mean field games
Authors:
Hongyu Liu,
Catharine W. K. Lo
Abstract:
Mean field games (MFGs) offer a versatile framework for modeling large-scale interactive systems across multiple domains. This paper builds upon a previous work, by developing a state-of-the-art unified approach to decode or design the unknown stationary state of MFGs, in addition to the underlying parameter functions governing their behavior. This result is novel, even in the general realm of inv…
▽ More
Mean field games (MFGs) offer a versatile framework for modeling large-scale interactive systems across multiple domains. This paper builds upon a previous work, by developing a state-of-the-art unified approach to decode or design the unknown stationary state of MFGs, in addition to the underlying parameter functions governing their behavior. This result is novel, even in the general realm of inverse problems for nonlinear PDEs. By enabling agents to distill crucial insights from observed data and unveil intricate hidden structures and unknown states within MFG systems, our approach surmounts a significant obstacle, enhancing the applicability of MFGs in real-world scenarios. This advancement not only enriches our understanding of MFG dynamics but also broadens the scope for their practical deployment in various contexts.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Homogenisation for the Robin eigenvalue problem on manifolds and flexibility of optimal Schrödinger potentials
Authors:
Chia-Chun Lo
Abstract:
We show that the spectrum of a Schrödinger eigenvalue problem posed on a closed Riemannian manifold $M$ with non-negative potential can be approached by that of Robin eigenvalue problems with constant positive boundary parameter posed on a sequence of domains in $M$. We construct these Robin problems by means of a homogenisation procedure. We show a similar result for compact manifolds with non-em…
▽ More
We show that the spectrum of a Schrödinger eigenvalue problem posed on a closed Riemannian manifold $M$ with non-negative potential can be approached by that of Robin eigenvalue problems with constant positive boundary parameter posed on a sequence of domains in $M$. We construct these Robin problems by means of a homogenisation procedure. We show a similar result for compact manifolds with non-empty boundary and sign-indefinite potential; in this case the Robin boundary parameter can be taken to be constant on each boundary component and to have constant magnitude. As an application, we prove a flexibility result for optimal Schrödinger potentials: for certain problems where it is known that there exists some potential $V$ which extremises some Schrödinger eigenvalue, we show that this extremal eigenvalue is also approached by the corresponding eigenvalues for a sequence of smooth potentials which remain bounded away from $V$ in some dual Sobolev space.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
Arthur representations and unitary dual for classical groups
Authors:
Alexander Hazeltine,
Dihua Jiang,
Baiying Liu,
Chi-Heng Lo,
Qing Zhang
Abstract:
In this paper, we propose a new conjecture (Conjecture 1.1) on the structure of the unitary dual by means of the Arthur representations for general reductive algebraic groups defined over any non-Archimedean local field of characteristic zero. We also propose a conjecture (Conjecture 1.2) refining Conjecture 1.1 for representations of good parity. The relations among the two conjectures and specia…
▽ More
In this paper, we propose a new conjecture (Conjecture 1.1) on the structure of the unitary dual by means of the Arthur representations for general reductive algebraic groups defined over any non-Archimedean local field of characteristic zero. We also propose a conjecture (Conjecture 1.2) refining Conjecture 1.1 for representations of good parity. The relations among the two conjectures and special families of representations are explained in Figure 1. The main results include a partial approval of Conjecture 1.1 and the verification of Conjectures 1.1 and 1.2 for representations of corank at most 3 for symplectic or split odd special orthogonal groups, based on Tadi{ć}'s classification (Theorem 1.4). To prove the main results, we develop new algorithms to determine whether a given irreducible representation is of Arthur type and give an inductive approach to classify the family of unitary representations that are of Arthur type for classical groups. We explicate this approach towards the unitary dual problem for representations of corank 3 and several new families of representations.
△ Less
Submitted 16 May, 2025; v1 submitted 15 October, 2024;
originally announced October 2024.
-
Inverse problems for coupled nonlocal nonlinear systems arising in mathematical biology
Authors:
Ming-Hui Ding,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we propose and study several inverse problems of determining unknown parameters in nonlocal nonlinear coupled PDE systems, including the potentials, nonlinear interaction functions and time-fractional orders. In these coupled systems, we enforce non-negativity of the solutions, aligning with realistic scenarios in biology and ecology. There are several salient features of our invers…
▽ More
In this paper, we propose and study several inverse problems of determining unknown parameters in nonlocal nonlinear coupled PDE systems, including the potentials, nonlinear interaction functions and time-fractional orders. In these coupled systems, we enforce non-negativity of the solutions, aligning with realistic scenarios in biology and ecology. There are several salient features of our inverse problem study: the drastic reduction in measurement/observation data due to averaging effects, the nonlinear coupling between multiple equations, and the nonlocality arising from fractional-type derivatives. These factors present significant challenges to our inverse problem, and such inverse problems have never been explored in previous literature. To address these challenges, we develop new and effective schemes. Our approach involves properly controlling the injection of different source terms to obtain multiple sets of mean flux data. This allows us to achieve unique identifiability results and accurately determine the unknown parameters. Finally, we establish a connection between our study and practical applications in biology, further highlighting the relevance of our work in real-world contexts.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Determining state space anomalies in mean field games
Authors:
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we are concerned with the inverse problem of determining anomalies in the state space associated with the stationary mean field game (MFG) system. We establish novel unique identifiability results for the intrinsic structure of these anomalies in mean field games systems, including their topological structure and parameter configurations, in several general scenarios of practical in…
▽ More
In this paper, we are concerned with the inverse problem of determining anomalies in the state space associated with the stationary mean field game (MFG) system. We establish novel unique identifiability results for the intrinsic structure of these anomalies in mean field games systems, including their topological structure and parameter configurations, in several general scenarios of practical interest, including traffic flow, market economics and epidemics. To the best of our knowledge, this is the first work that considers anomalies in the state space for the nonlinear coupled MFG system.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Decoding a mean field game by the Cauchy data around its unknown stationary states
Authors:
Hongyu Liu,
Catharine W. K. Lo,
Shen Zhang
Abstract:
In recent years, mean field games (MFGs) have garnered considerable attention and emerged as a dynamic and actively researched field across various domains, including economics, social sciences, finance, and transportation. The inverse design and decoding of MFGs offer valuable means to extract information from observed data and gain insights into the intricate underlying dynamics and strategies o…
▽ More
In recent years, mean field games (MFGs) have garnered considerable attention and emerged as a dynamic and actively researched field across various domains, including economics, social sciences, finance, and transportation. The inverse design and decoding of MFGs offer valuable means to extract information from observed data and gain insights into the intricate underlying dynamics and strategies of these complex physical systems. This paper presents a novel approach to the study of inverse problems in MFGs by analyzing the Cauchy data around their unknown stationary states. This study distinguishes itself from existing inverse problem investigations in three key significant aspects: Firstly, we consider MFG problems in a highly general form. Secondly, we address the technical challenge of the probability measure constraint by utilizing Cauchy data in our inverse problem study. Thirdly, we enhance existing high order linearization methods by introducing a novel approach that involves conducting linearization around non-trivial stationary states of the MFG system, which are not a-priori known. These contributions provide new insights and offer promising avenues for studying inverse problems for MFGs. By unraveling the hidden structure of MFGs, researchers and practitioners can make informed decisions, optimize system performance, and address real-world challenges more effectively.
△ Less
Submitted 1 October, 2024; v1 submitted 29 May, 2024;
originally announced May 2024.
-
Rigidity on horocycles and hypercycles
Authors:
Cheikh Lo,
Abdoul Karim Sane
Abstract:
We show that a bijection $f:\mathbb{H}^2\rightarrow\mathbb{H}^2$ of the hyperbolic plane that sends horocycles to horocycles (respectively hypercycles to hypercycles) is an isometry. This extends a previous result of J. Jeffers on geodesics to all curves with constant curvature in $\mathbb{H}^2$. We go beyond by showing that every abstract automorphism of the geodesic graph (respectively horocycle…
▽ More
We show that a bijection $f:\mathbb{H}^2\rightarrow\mathbb{H}^2$ of the hyperbolic plane that sends horocycles to horocycles (respectively hypercycles to hypercycles) is an isometry. This extends a previous result of J. Jeffers on geodesics to all curves with constant curvature in $\mathbb{H}^2$. We go beyond by showing that every abstract automorphism of the geodesic graph (respectively horocycles and hypercycles graphs) is induced by an earthquake map (respectively an isometry) of $\mathbb{H}^2$. This shadowed the difference between the geometry of geodesics and that of horocycles/hypercycles.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
On anti-tempered local Arthur packets and a lemma of Arthur
Authors:
Baiying Liu,
Chi-Heng Lo,
Freydoon Shahidi
Abstract:
In this paper, following Arthur's ideas, we rework the process of constructing the anti-tempered local Arthur packets for quasi-split classical groups and their pure inner forms. In particular, we present explicit examples illustrating certain gap in a consequential lemma of Arthur and provide a uniform modification, based on the work of Moeglin, Waldspurger, and Xu.
In this paper, following Arthur's ideas, we rework the process of constructing the anti-tempered local Arthur packets for quasi-split classical groups and their pure inner forms. In particular, we present explicit examples illustrating certain gap in a consequential lemma of Arthur and provide a uniform modification, based on the work of Moeglin, Waldspurger, and Xu.
△ Less
Submitted 20 August, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
On the Obstacle Problem in Fractional Generalised Orlicz Spaces
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
We consider the one and the two obstacles problems for the nonlocal nonlinear anisotropic $g$-Laplacian $\mathcal{L}_g^s$, with $0<s<1$. We prove the strict T-monotonicity of $\mathcal{L}_g^s$ and we obtain the Lewy-Stampacchia inequalities. We consider the approximation of the solutions through semilinear problems, for which we prove a global $L^\infty$-estimate, and we extend the local Hölder re…
▽ More
We consider the one and the two obstacles problems for the nonlocal nonlinear anisotropic $g$-Laplacian $\mathcal{L}_g^s$, with $0<s<1$. We prove the strict T-monotonicity of $\mathcal{L}_g^s$ and we obtain the Lewy-Stampacchia inequalities. We consider the approximation of the solutions through semilinear problems, for which we prove a global $L^\infty$-estimate, and we extend the local Hölder regularity to the solutions of the obstacle problems in the case of the fractional $p(x,y)$-Laplacian operator. We make further remarks on a few elementary properties of related capacities in the fractional generalised Orlicz framework, with a special reference to the Hilbertian nonlinear case in fractional Sobolev spaces.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
On inverse problems in multi-population aggregation models
Authors:
Yuhan Li,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
This paper focuses on inverse problems arising in studying multi-population aggregations. The goal is to reconstruct the diffusion coefficient, advection coefficient, and interaction kernels of the aggregation system, which characterize the dynamics of different populations. In the theoretical analysis of the physical setup, it is crucial to ensure non-negativity of solutions. To address this, we…
▽ More
This paper focuses on inverse problems arising in studying multi-population aggregations. The goal is to reconstruct the diffusion coefficient, advection coefficient, and interaction kernels of the aggregation system, which characterize the dynamics of different populations. In the theoretical analysis of the physical setup, it is crucial to ensure non-negativity of solutions. To address this, we employ the high-order variation method and introduce modifications to the systems. Additionally, we propose a novel approach called transformative asymptotic technique that enables the recovery of the diffusion coefficient preceding the Laplace operator, presenting a pioneering method for this type of problems. Through these techniques, we offer comprehensive insights into the unique identifiability aspect of inverse problems associated with multi-population aggregation models.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
On the enhanced Shahidi conjecture and global applications
Authors:
Alexander Hazeltine,
Baiying Liu,
Chi-Heng Lo
Abstract:
In this paper, applying the intersection theory of local Arthur packets, for symplectic and split odd special orthogonal groups G_n, we give the first complete proof of the enhanced Shahidi conjecture on generic representations in local Arthur packets. We also classify unramified representations of Arthur type for G_n, and show that they lie in exactly one local Arthur packet, which is anti-generi…
▽ More
In this paper, applying the intersection theory of local Arthur packets, for symplectic and split odd special orthogonal groups G_n, we give the first complete proof of the enhanced Shahidi conjecture on generic representations in local Arthur packets. We also classify unramified representations of Arthur type for G_n, and show that they lie in exactly one local Arthur packet, which is anti-generic. Then, we discuss the global applications of these results.
△ Less
Submitted 18 June, 2024; v1 submitted 7 April, 2024;
originally announced April 2024.
-
On the upper bound of wavefront sets of representations of p-adic groups
Authors:
Alexander Hazeltine,
Baiying Liu,
Chi-Heng Lo,
Freydoon Shahidi
Abstract:
In this paper we study the upper bound of wavefront sets of irreducible admissible representations of connected reductive groups defined over non-Archimedean local fields of characteristic zero. We formulate a new conjecture on the upper bound and show that it can be reduced to that of anti-discrete series representations, namely, those whose Aubert-Zelevinsky duals are discrete series. Then, we s…
▽ More
In this paper we study the upper bound of wavefront sets of irreducible admissible representations of connected reductive groups defined over non-Archimedean local fields of characteristic zero. We formulate a new conjecture on the upper bound and show that it can be reduced to that of anti-discrete series representations, namely, those whose Aubert-Zelevinsky duals are discrete series. Then, we show that this conjecture is equivalent to the Jiang conjecture on the upper bound of wavefront sets of representations in local Arthur packets and also equivalent to an analogous conjecture on the upper bound of wavefront sets of representations in local ABV packets.
△ Less
Submitted 5 April, 2024; v1 submitted 18 March, 2024;
originally announced March 2024.
-
On the Stability of the $s$-Nonlocal $p$-Obstacle Problem and their Coincidence Sets and Free Boundaries
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
We show that the solutions to the nonlocal obstacle problems for the nonlocal $-Δ_p^s$ operator, when the fractional parameter $s\toσ$ for $0<σ\leq1$, converge to the solution of the corresponding obstacle problem for $-Δ_p^σ$, being $σ=1$ the classical obstacle problem for the local $p$-Laplacian. We discuss the weak stability of the quasi-characteristic functions of coincidence sets of the solut…
▽ More
We show that the solutions to the nonlocal obstacle problems for the nonlocal $-Δ_p^s$ operator, when the fractional parameter $s\toσ$ for $0<σ\leq1$, converge to the solution of the corresponding obstacle problem for $-Δ_p^σ$, being $σ=1$ the classical obstacle problem for the local $p$-Laplacian. We discuss the weak stability of the quasi-characteristic functions of coincidence sets of the solution with the obstacle, which is a strong convergence of their characteristic functions when $s\nearrow 1$ under a nondegeneracy condition. This stability can be shown also in terms of the convergence of the free boundaries, as well as of the coincidence sets, in Hausdorff distance when $s\nearrow 1$, under non-degeneracy local assumptions on the external force and a local topological property of the coincidence set of the limit classical obstacle problem for the local $p$-Laplacian, essentially when the limit coincidence set is the closure of its interior.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
On inverse problems in predator-prey models
Authors:
Yuhan Li,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we consider the inverse problem of determining the coefficients of interaction terms within some Lotka-Volterra models, with support from boundary observation of its non-negative solutions. In the physical background, the solutions to the predator-prey model stand for the population densities for predator and prey and are non-negative, which is a critical challenge in our inverse pr…
▽ More
In this paper, we consider the inverse problem of determining the coefficients of interaction terms within some Lotka-Volterra models, with support from boundary observation of its non-negative solutions. In the physical background, the solutions to the predator-prey model stand for the population densities for predator and prey and are non-negative, which is a critical challenge in our inverse problem study. We mainly focus on the unique identifiability issue and tackle it with the high-order variation method, a relatively new technique introduced by the second author and his collaborators. This method can ensure the positivity of solutions and has broader applicability in other physical models with non-negativity requirements. Our study improves this method by choosing a more general solution $(u_0,v_0)$ to expand around, achieving recovery for all interaction terms. By this means, we improve on the previous results and apply this to physical models to recover coefficients concerning compression, prey attack, crowding, carrying capacity, and many other interaction factors in the system. Finally, we apply our results to study three specific cases: the hydra-effects model, the Holling-Tanner model and the classic Lotka-Volterra model.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Determining Sources in the Bioluminescence Tomography Problem
Authors:
Ming-Hui Ding,
Rongfang Gong,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we revisit the bioluminescence tomography (BLT) problem, where one seeks to reconstruct bioluminescence signals (an internal light source) from external measurements of the Cauchy data. As one kind of optical imaging, the BLT has many merits such as high signal-to-noise ratio, non-destructivity and cost-effectiveness etc., and has potential applications such as cancer diagnosis, dru…
▽ More
In this paper, we revisit the bioluminescence tomography (BLT) problem, where one seeks to reconstruct bioluminescence signals (an internal light source) from external measurements of the Cauchy data. As one kind of optical imaging, the BLT has many merits such as high signal-to-noise ratio, non-destructivity and cost-effectiveness etc., and has potential applications such as cancer diagnosis, drug discovery and development as well as gene therapies and so on. In the literature, BLT is extensively studied based on diffusion approximation (DA) equation, where the distribution of peak sources is to be reconstructed and no solution uniqueness is guaranteed without adequate a priori information. Motivated by the solution uniqueness issue, several theoretical results are explored. The major contributions in this work that are new to the literature are two-fold: first, we show the theoretical uniqueness of the BLT problem where the light sources are in the shape of $C^2$ domains or polyhedral- or corona-shaped; second, we support our results with plenty of problem-orientated numerical experiments.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Vogan's Conjecture on local Arthur packets of $p$-adic $\mathrm{GL}_n$ and a combinatorial Lemma
Authors:
Chi-Heng Lo
Abstract:
For $\mathrm{GL}_n$ over a $p$-adic field, Cunningham and Ray proved Vogan's conjecture, that is, local Arthur packets are the same as ABV packets. They used the endoscopic theory to reduce the general case to a combinatorial lemma for irreducible local Arthur parameters, and their proof implies that one can also prove Vogan's conjecture for $p$-adic $\mathrm{GL}_n$ by proving a generalized versio…
▽ More
For $\mathrm{GL}_n$ over a $p$-adic field, Cunningham and Ray proved Vogan's conjecture, that is, local Arthur packets are the same as ABV packets. They used the endoscopic theory to reduce the general case to a combinatorial lemma for irreducible local Arthur parameters, and their proof implies that one can also prove Vogan's conjecture for $p$-adic $\mathrm{GL}_n$ by proving a generalized version of this combinatorial lemma. Riddlesden recently proved this generalized lemma. In this paper, we give a new proof of it, which has its own interest.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
On the weak local Arthur packets conjecture for split classical groups
Authors:
Baiying Liu,
Chi-Heng Lo
Abstract:
Recently, motivated by the theory of real local Arthur packets, making use of the wavefront sets of representations over non-Archimedean local fields $F$, Ciubotaru, Mason-Brown, and Okada defined the weak local Arthur packets consisting of certain unipotent representations and conjectured that they are unions of local Arthur packets. In this paper, we prove this conjecture for split classical gro…
▽ More
Recently, motivated by the theory of real local Arthur packets, making use of the wavefront sets of representations over non-Archimedean local fields $F$, Ciubotaru, Mason-Brown, and Okada defined the weak local Arthur packets consisting of certain unipotent representations and conjectured that they are unions of local Arthur packets. In this paper, we prove this conjecture for split classical groups with the assumption of the residue field characteristic of $F$ being large. In particular, this implies the unitarity of these unipotent representations. We also discuss the generalization of the weak local Arthur packets beyond unipotent representations which reveals the implications of a conjecture of Jiang on the structure of wavefront sets for representations in local Arthur packets.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Strong uniqueness principle for fractional polyharmonic operators and applications to inverse problems
Authors:
Ching-Lung Lin,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this work, we are concerned with inverse problems involving poly-fractional operators, where the poly-fractional operator is of the form
\[P( (-Δ_g)^s)u := \sum_{i=1}^M α_i(-Δ_{g_i})^{s_i}u\]
for $s=(s_1,\dots,s_M)$, $0<s_1<\cdots<s_M<\infty$, $s_M\in\mathbb{R}_+\backslash\mathbb{Z}$, $g=(g_1,\dots,g_M)$. There are three major contributions in this work that are new to the literature. First…
▽ More
In this work, we are concerned with inverse problems involving poly-fractional operators, where the poly-fractional operator is of the form
\[P( (-Δ_g)^s)u := \sum_{i=1}^M α_i(-Δ_{g_i})^{s_i}u\]
for $s=(s_1,\dots,s_M)$, $0<s_1<\cdots<s_M<\infty$, $s_M\in\mathbb{R}_+\backslash\mathbb{Z}$, $g=(g_1,\dots,g_M)$. There are three major contributions in this work that are new to the literature. First, we propose equations involving such poly-fractional operators $P$, which have not been previously considered in the general setting. Such equations arise naturally from the superposition of multiple stochastic processes with different scales, including classical random walks and Lévy flights. Secondly, we give novel results for the unique continuation properties for fractional polyharmonic $u$, in the sense that $u$ satisfies $\tilde{P}((-Δ_{\tilde{g}})^{\tilde{s}})=0$ in a bounded Lipschitz domain $Ω$ for some $\tilde{P}$. With these results in hand, we consider the inverse problems for $P$, and proved the uniqueness in recovering the potential, the source function in the semilinear case, and the coefficients associated to the non-isotropy of the fractional operator.
△ Less
Submitted 2 August, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
Diffusion enhancement and Taylor dispersion for rotationally symmetric flows in discs and pipes
Authors:
Michele Coti Zelati,
Michele Dolce,
Chia-Chun Lo
Abstract:
In this note, we study the long-time dynamics of passive scalars driven by rotationally symmetric flows. We focus on identifying precise conditions on the velocity field in order to prove enhanced dissipation and Taylor dispersion in three-dimensional infinite pipes. As a byproduct of our analysis, we obtain an enhanced decay for circular flows on a disc of arbitrary radius.
In this note, we study the long-time dynamics of passive scalars driven by rotationally symmetric flows. We focus on identifying precise conditions on the velocity field in order to prove enhanced dissipation and Taylor dispersion in three-dimensional infinite pipes. As a byproduct of our analysis, we obtain an enhanced decay for circular flows on a disc of arbitrary radius.
△ Less
Submitted 29 May, 2023;
originally announced May 2023.
-
Determining a parabolic system by boundary observation of its non-negative solutions with biological applications
Authors:
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we consider the inverse problem of determining some coefficients within a coupled nonlinear parabolic system, through boundary observation of its non-negative solutions. In the physical setup, the non-negative solutions represent certain probability densities in different contexts. We innovate the successive linearisation method by further developing a high-order variation scheme wh…
▽ More
In this paper, we consider the inverse problem of determining some coefficients within a coupled nonlinear parabolic system, through boundary observation of its non-negative solutions. In the physical setup, the non-negative solutions represent certain probability densities in different contexts. We innovate the successive linearisation method by further developing a high-order variation scheme which can both ensure the positivity of the solutions and effectively tackle the nonlinear inverse problem. This enables us to establish several novel unique identifiability results for the inverse problem in a rather general setup. For a theoretical perspective, our study addresses an important topic in PDE analysis on how to characterise the function spaces generated by the products of non-positive solutions of parabolic PDEs. As a typical and practically interesting application, we apply our general results to inverse problems for ecological population models, where the positive solutions signify the population densities.
△ Less
Submitted 17 April, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
The closure ordering conjecture on local Arthur packets of classical groups
Authors:
Alexander Hazeltine,
Baiying Liu,
Chi-Heng Lo,
Qing Zhang
Abstract:
In this paper, we prove the closure ordering conjecture on the local $L$-parameters of representations in local Arthur packets of $\mathrm{G}_n=\mathrm{Sp}_{2n}, \mathrm{SO}_{2n+1}$ over a non-Archimedean local field of characteristic zero. Precisely, given any representation $π$ in a local Arthur packet $Π_ψ$, the closure of the local $L$-parameter of $π$ in the Vogan variety must contain the loc…
▽ More
In this paper, we prove the closure ordering conjecture on the local $L$-parameters of representations in local Arthur packets of $\mathrm{G}_n=\mathrm{Sp}_{2n}, \mathrm{SO}_{2n+1}$ over a non-Archimedean local field of characteristic zero. Precisely, given any representation $π$ in a local Arthur packet $Π_ψ$, the closure of the local $L$-parameter of $π$ in the Vogan variety must contain the local $L$-parameter corresponding to $ψ$. This conjecture reveals a geometric nature of local Arthur packets and is inspired by the work of Adams, Barbasch, and Vogan, and the work of Cunningham, Fiori, Moussaoui, Mracek, and Xu, on ABV-packets. As an application, for general quasi-split connected reductive groups, we show that the closure ordering conjecture implies the enhanced Shahidi conjecture, under certain reasonable assumptions. This provides a framework towards the enhanced Shahidi conjecture in general. We verify these assumptions for $\mathrm{G}_n$, hence give a new proof of the enhanced Shahidi conjecture. At last, we show that local Arthur packets cannot be fully contained in other ones, which is in contrast to the situation over Archimedean local fields and has its own interests.
△ Less
Submitted 5 April, 2024; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Dimensions of projected sets and measures on typical self-affine sets
Authors:
De-Jun Feng,
Chiu-Hong Lo,
Cai-Yun Ma
Abstract:
Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in \Bbb R^{md}$, let $π^{\bf a}:\; Σ=\{1,\ldots, m\}^{\Bbb N}\to \Bbb R^d$ denote the coding map associated with the affine IFS $\{T_ix+a_i\}_{i=1}^m$. We show that for every Borel probability measure $μ$ on $Σ$, each of the following dimensions (lower an…
▽ More
Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in \Bbb R^{md}$, let $π^{\bf a}:\; Σ=\{1,\ldots, m\}^{\Bbb N}\to \Bbb R^d$ denote the coding map associated with the affine IFS $\{T_ix+a_i\}_{i=1}^m$. We show that for every Borel probability measure $μ$ on $Σ$, each of the following dimensions (lower and upper Hausdorff dimensions, lower and upper packing dimensions) of $π^{\bf a}_*μ$ is constant for $\mathcal L^{md}$-a.e.~${\bf a}\in \Bbb R^{md}$, where $π^{\bf a}_*μ$ stands for the push-forward of $μ$ by $π^{\bf a}$. In particular, we give a necessary and sufficient condition on $μ$ so that $π^{\bf a}_*μ$ is exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in \Bbb R^{md}$. Moreover, for every analytic set $E\subset Σ$, each of the Hausdorff, packing, lower and upper box-counting dimensions of $π^{\bf a}(E)$ is constant for $\mathcal L^{md}$-a.e.~${\bf a}\in \Bbb R^{md}$. Formal dimension formulas of these projected measures and sets are given. The Hausdorff dimensions of exceptional sets are estimated.
△ Less
Submitted 20 July, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Strong transience for one-dimensional Markov chains with asymptotically zero drifts
Authors:
Chak Hei Lo,
Mikhail V. Menshikov,
Andrew R. Wade
Abstract:
For near-critical, transient Markov chains on the non-negative integers in the Lamperti regime, where the mean drift at $x$ decays as $1/x$ as $x \to \infty$, we quantify degree of transience via existence of moments for conditional return times and for last exit times, assuming increments are uniformly bounded. Our proof uses a Doob $h$-transform, for the transient process conditioned to return,…
▽ More
For near-critical, transient Markov chains on the non-negative integers in the Lamperti regime, where the mean drift at $x$ decays as $1/x$ as $x \to \infty$, we quantify degree of transience via existence of moments for conditional return times and for last exit times, assuming increments are uniformly bounded. Our proof uses a Doob $h$-transform, for the transient process conditioned to return, and we show that the conditioned process is also of Lamperti type with appropriately transformed parameters. To do so, we obtain an asymptotic expansion for the ratio of two return probabilities, evaluated at two nearby starting points; a consequence of this is that the return probability for the transient Lamperti process is a regularly-varying function of the starting point.
△ Less
Submitted 10 November, 2023; v1 submitted 27 August, 2022;
originally announced August 2022.
-
Global Existence for Nonlocal Quasilinear Diffusion Systems in Non-Isotropic Non-Divergence Form
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
Consider the quasilinear diffusion problem \[\begin{cases}\mathbf{u}'+Π(t,x,\mathbf{u},Σ\mathbf{u})\mathbb{A}\mathbf{u}=\mathbf{f}(t,x,\mathbf{u},Σ\mathbf{u})&\text{ in }]0,T[\timesΩ,\\\mathbf{u}=\mathbf{0}&\text{ in }]0,T[\timesΩ^c,\\\mathbf{u}(0,\cdot)=\mathbf{u}_0(\cdot)&\text{ in }Ω\end{cases}\] for an open set $Ω\subset\mathbb{R}^n$, $\mathbf{u}_0\in \mathbf{H}^s_0(Ω):=[H^s_0(Ω)]^m$ and any…
▽ More
Consider the quasilinear diffusion problem \[\begin{cases}\mathbf{u}'+Π(t,x,\mathbf{u},Σ\mathbf{u})\mathbb{A}\mathbf{u}=\mathbf{f}(t,x,\mathbf{u},Σ\mathbf{u})&\text{ in }]0,T[\timesΩ,\\\mathbf{u}=\mathbf{0}&\text{ in }]0,T[\timesΩ^c,\\\mathbf{u}(0,\cdot)=\mathbf{u}_0(\cdot)&\text{ in }Ω\end{cases}\] for an open set $Ω\subset\mathbb{R}^n$, $\mathbf{u}_0\in \mathbf{H}^s_0(Ω):=[H^s_0(Ω)]^m$ and any $T\in]0,\infty[$, where $Σ\mathbf{u}\in \mathbb{R}^q$ for $0<q\leq m\times n$ represents fractional or nonlocal derivatives with order $σ$ with $σ<2s$ for all $0<s\leq1$, including the classical gradient and derivatives of order greater than 1. We show global existence results for various quasilinear diffusion systems in non-divergence form, for different linear operators $\mathbb{A}$, including local elliptic systems, anisotropic fractional equations and systems, and anisotropic nonlocal operators, of the following type \[(\mathbb{A}\mathbf{u})^i=-\sum _{α,β,j} \partial_α(A^{αβ}_{ij}\partial_βu^j),\quad \mathbb{A}u=- D^s(A(x)D^su),\quad\text{ and }\quad (\mathbb{A}\mathbf{u})^i=\int_{\mathbb{R}^n}A_{ij}(x,y)\frac{u^j(x)-u^j(y)}{|x-y|^{n+2s}}\,dy,\] for coercive, invertible matrices $Π$ and suitable vectorial functions $\mathbf{f}$.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
On the intersection of local Arthur packets for classical groups and applications
Authors:
Alexander Hazeltine,
Baiying Liu,
Chi-Heng Lo
Abstract:
In this paper, for symplectic and split odd special orthogonal groups, we develop an account of theory on the intersection problem of local Arthur packets. Specifically, following Atobe's reformulation on Mœglin's construction of local Arthur packets, we give a complete set of operators on the construction data, based on which, we provide algorithms and Sage codes to determine whether a given repr…
▽ More
In this paper, for symplectic and split odd special orthogonal groups, we develop an account of theory on the intersection problem of local Arthur packets. Specifically, following Atobe's reformulation on Mœglin's construction of local Arthur packets, we give a complete set of operators on the construction data, based on which, we provide algorithms and Sage codes to determine whether a given representation is of Arthur type. Furthermore, for any representation $π$ of Arthur type, we give a precise formula for the set $$ Ψ(π)=\{ \text{local Arthur parameter }ψ\ | \ \text{the local Arthur packet } Π_ψ \text{ contains } π\}.$$
Our results have many applications, including the precise counting of tempered representations in any local Arthur packet, specifying and characterizing "the" local Arthur parameter in $Ψ(π)$ for $π$, especially when $π$ belongs to several local Arthur packets but does not belong to any local $L$-packet of Arthur type.
△ Less
Submitted 15 April, 2024; v1 submitted 25 January, 2022;
originally announced January 2022.
-
On an Anisotropic Fractional Stefan-Type Problem with Dirichlet Boundary Conditions
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
In this work, we consider the fractional Stefan-type problem in a Lipschitz bounded domain $Ω\subset\mathbb{R}^d$ with time-dependent Dirichlet boundary condition for the temperature $\vartheta=\vartheta(x,t)$, $\vartheta=g$ on $Ω^c\times]0,T[$, and initial condition $η_0$ for the enthalpy $η=η(x,t)$, given in $Ω\times]0,T[$ by \[\frac{\partial η}{\partial t} +\mathcal{L}_A^s \vartheta= f\quad\tex…
▽ More
In this work, we consider the fractional Stefan-type problem in a Lipschitz bounded domain $Ω\subset\mathbb{R}^d$ with time-dependent Dirichlet boundary condition for the temperature $\vartheta=\vartheta(x,t)$, $\vartheta=g$ on $Ω^c\times]0,T[$, and initial condition $η_0$ for the enthalpy $η=η(x,t)$, given in $Ω\times]0,T[$ by \[\frac{\partial η}{\partial t} +\mathcal{L}_A^s \vartheta= f\quad\text{ with }η\in β(\vartheta),\] where $\mathcal{L}_A^s$ is an anisotropic fractional operator defined in the distributional sense by \[\langle\mathcal{L}_A^su,v\rangle=\int_{\mathbb{R}^d}AD^su\cdot D^sv\,dx,\] $β$ is a maximal monotone graph, $A(x)$ is a symmetric, strictly elliptic and uniformly bounded matrix, and $D^s$ is the distributional Riesz fractional gradient for $0<s<1$. We show the existence of a unique weak solution with its corresponding weak regularity. We also consider the convergence as $s\nearrow 1$ towards the classical local problem, the asymptotic behaviour as $t\to\infty$, and the convergence of the two-phase Stefan-type problem to the one-phase Stefan-type problem by varying the maximal monotone graph $β$.
△ Less
Submitted 20 July, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Estimating Discretization Error with Preset Orders of Accuracy and Fractional Refinement Ratios
Authors:
Sharp Chim Yui Lo
Abstract:
Verification of solutions is crucial for establishing the reliability of simulations. A central challenge is to find an accurate and reliable estimate of the discretization error. Current approaches to this estimation rely on the observed order of accuracy; however, studies have shown that it may alter irregularly or become undefined. Therefore, we propose a grid refinement method which adopts con…
▽ More
Verification of solutions is crucial for establishing the reliability of simulations. A central challenge is to find an accurate and reliable estimate of the discretization error. Current approaches to this estimation rely on the observed order of accuracy; however, studies have shown that it may alter irregularly or become undefined. Therefore, we propose a grid refinement method which adopts constant orders given by the user, called the Preset Orders Expansion Method (POEM). The user is guaranteed to obtain the optimal set of orders through iterations and hence an accurate estimate of the discretization error. This method evaluates the reliability of the estimation by assessing the convergence of the expansion terms, which is fundamental for all grid refinement methods. We demonstrate these capabilities using advection and diffusion problems along different refinement paths. POEM requires a lower computational cost when the refinement ratio is higher. However, the estimated error suffers from higher uncertainty due to the reduced number of shared grid points. We circumvent this by using fractional refinement ratios and the Method of Interpolating Differences between Approximate Solutions (MIDAS). As a result, we can obtain a global estimate of the discretization error of lower uncertainty at a reduced computational cost.
△ Less
Submitted 11 April, 2022; v1 submitted 1 January, 2022;
originally announced January 2022.
-
On a Class of Nonlocal Obstacle Type Problems Related to the Distributional Riesz Fractional Derivative
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
In this work, we consider the nonlocal obstacle problem with a given obstacle $ψ$ in a bounded Lipschitz domain $Ω$ in $\mathbb{R}^{d}$, such that $\mathbb{K}_ψ^s=\{v\in H^s_0(Ω):v\geqψ\text{ a.e. in }Ω\}\neq\emptyset$, given by \[u\in\mathbb{K}_ψ^s:\langle\mathcal{L}_au,v-u\rangle\geq\langle F,v-u\rangle\quad\forall v\in\mathbb{K}^s_ψ,\] for $F\in H^{-s}(Ω)$, the dual space of $H^s_0(Ω)$,…
▽ More
In this work, we consider the nonlocal obstacle problem with a given obstacle $ψ$ in a bounded Lipschitz domain $Ω$ in $\mathbb{R}^{d}$, such that $\mathbb{K}_ψ^s=\{v\in H^s_0(Ω):v\geqψ\text{ a.e. in }Ω\}\neq\emptyset$, given by \[u\in\mathbb{K}_ψ^s:\langle\mathcal{L}_au,v-u\rangle\geq\langle F,v-u\rangle\quad\forall v\in\mathbb{K}^s_ψ,\] for $F\in H^{-s}(Ω)$, the dual space of $H^s_0(Ω)$, $0<s<1$. The nonlocal operator $\mathcal{L}_a:H^s_0(Ω)\to H^{-s}(Ω)$ is defined with a measurable, bounded, strictly positive singular kernel $a(x,y)$, possibly not symmetric, by \[\langle\mathcal{L}_au,v\rangle=P.V.\int_{\mathbb{R}^d}\int_{\mathbb{R}^d}v(x)(u(x)-u(y))a(x,y)dydx=\mathcal{E}_a(u,v),\] with $\mathcal{E}_a$ being a Dirichlet form. Also, the fractional operator $\tilde{\mathcal{L}}_A=-D^s\cdot AD^s$ defined with the distributional Riesz $s$-fractional derivative and a bounded matrix $A(x)$ gives a well defined integral singular kernel. The corresponding $s$-fractional obstacle problem converges as $s\nearrow1$ to the obstacle problem in $H^1_0(Ω)$ with the operator $-D\cdot AD$ given with the gradient $D$.
We mainly consider problems involving the bilinear form $\mathcal{E}_a$ with one or two obstacles, and the N-membranes problem, deriving a weak maximum principle, comparison properties, approximation by bounded penalization, and the Lewy-Stampacchia inequalities. This provides regularity of the solutions, including a global estimate in $L^\infty(Ω)$, local Hölder regularity when $a$ is symmetric, and local regularity in $W^{2s,p}_{loc}(Ω)$ and $C^1(Ω)$ for fractional $s$-Laplacian obstacle-type problems. These novel results are complemented with the extension of the Lewy-Stampacchia inequalities to the order dual of $H^s_0(Ω)$ and some remarks on the associated $s$-capacity for general $\mathcal{L}_a$.
△ Less
Submitted 15 September, 2021; v1 submitted 17 January, 2021;
originally announced January 2021.
-
A Ramsey Type problem for highly connected subgraphs
Authors:
Chunlok Lo,
Hehui Wu,
Qiqin Xie
Abstract:
Bollobás and Gyárfás conjectured that for any $k, n \in \mathbb{Z}^+$ with $n > 4(k-1)$, every 2-edge-coloring of the complete graph on $n$ vertices leads to a $k$-connected monochromatic subgraph with at least $n-2k+2$ vertices. We find a counterexample with $n = \lfloor 5k-2.5-\sqrt{8k-\frac{31}{4}} \rfloor$, thus disproving the conjecture, and we show the conclusion holds for…
▽ More
Bollobás and Gyárfás conjectured that for any $k, n \in \mathbb{Z}^+$ with $n > 4(k-1)$, every 2-edge-coloring of the complete graph on $n$ vertices leads to a $k$-connected monochromatic subgraph with at least $n-2k+2$ vertices. We find a counterexample with $n = \lfloor 5k-2.5-\sqrt{8k-\frac{31}{4}} \rfloor$, thus disproving the conjecture, and we show the conclusion holds for $n > 5k-2.5-\sqrt{8k-\frac{31}{4}}$ when $k \ge 16$.
△ Less
Submitted 21 March, 2023; v1 submitted 20 August, 2020;
originally announced August 2020.
-
Cutpoints of non-homogeneous random walks
Authors:
Chak Hei Lo,
Mikhail V. Menshikov,
Andrew R. Wade
Abstract:
We give conditions under which near-critical stochastic processes on the half-line have infinitely many or finitely many cutpoints, generalizing existing results on nearest-neighbour random walks to adapted processes with bounded increments satisfying appropriate conditional increment moments conditions. We apply one of these results to deduce that a class of transient zero-drift Markov chains in…
▽ More
We give conditions under which near-critical stochastic processes on the half-line have infinitely many or finitely many cutpoints, generalizing existing results on nearest-neighbour random walks to adapted processes with bounded increments satisfying appropriate conditional increment moments conditions. We apply one of these results to deduce that a class of transient zero-drift Markov chains in $\mathbb{R}^d$, $d \geq 2$, possess infinitely many separating annuli, generalizing previous results on spatially homogeneous random walks.
△ Less
Submitted 21 November, 2021; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Functional limit theorems for random walks
Authors:
Chak Hei Lo,
James McRedmond,
Clare Wallace
Abstract:
We survey some geometrical properties of trajectories of $d$-dimensional random walks via the application of functional limit theorems. We focus on the functional law of large numbers and functional central limit theorem (Donsker's theorem). For the latter, we survey the underlying weak convergence theory, drawing heavily on the exposition of Billingsley, but explicitly treat the multidimensional…
▽ More
We survey some geometrical properties of trajectories of $d$-dimensional random walks via the application of functional limit theorems. We focus on the functional law of large numbers and functional central limit theorem (Donsker's theorem). For the latter, we survey the underlying weak convergence theory, drawing heavily on the exposition of Billingsley, but explicitly treat the multidimensional case.
Our two main applications are to the convex hull of a random walk and the centre of mass process associated to a random walk. In particular, we establish the limit sets of the convex hull in the two distinct cases of zero and non-zero drift which provides insight into the diameter, mean width, volume and surface area functionals. For the centre of mass process, we find the limiting processes in both the law of large numbers and central limit theorem domains.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
On some random walk problems
Authors:
Chak Hei Lo
Abstract:
In the first part of this thesis, we study a Markov chain on $\mathbb{R}_+ \times S$, where $\mathbb{R}_+$ is the non-negative real numbers and $S$ is a finite set, in which when the $\mathbb{R}_+$-coordinate is large, the $S$-coordinate of the process is approximately Markov with stationary distribution $π_i$ on $S$. Denoting by $μ_i(x)$ the mean drift of the $\mathbb{R}_+$-coordinate of the proc…
▽ More
In the first part of this thesis, we study a Markov chain on $\mathbb{R}_+ \times S$, where $\mathbb{R}_+$ is the non-negative real numbers and $S$ is a finite set, in which when the $\mathbb{R}_+$-coordinate is large, the $S$-coordinate of the process is approximately Markov with stationary distribution $π_i$ on $S$. Denoting by $μ_i(x)$ the mean drift of the $\mathbb{R}_+$-coordinate of the process at $(x,i) \in \mathbb{R}_+ \times S$, we give an exhaustive recurrence classification in the case where $\sum_{i} π_i μ_i (x) \to 0$, which is the critical regime for the recurrence-transience phase transition. If $μ_i(x) \to 0$ for all $i$, it is natural to study the Lamperti case where $μ_i(x) = O(1/x)$; in that case the recurrence classification is known, but we prove new results on existence and non-existence of moments of return times. If $μ_i (x) \to d_i$ for $d_i \neq 0$ for at least some $i$, then it is natural to study the generalized Lamperti case where $μ_i (x) = d_i + O (1/x)$. By exploiting a transformation which maps the generalized Lamperti case to the Lamperti case, we obtain a recurrence classification and an existence of moments result for the former.
In the second part of the thesis, for a random walk $S_n$ on $\mathbb{R}^d$ we study the asymptotic behaviour of the associated centre of mass process $G_n = n^{-1} \sum_{i=1}^n S_i$. For lattice distributions we give conditions for a local limit theorem to hold. We prove that if the increments of the walk have zero mean and finite second moment, $G_n$ is recurrent if $d=1$ and transient if $d \geq 2$. In the transient case we show that $G_n$ has diffusive rate of escape. These results extend work of Grill, who considered simple symmetric random walk. We also give a class of random walks with symmetric heavy-tailed increments for which $G_n$ is transient in $d=1$.
△ Less
Submitted 19 February, 2018;
originally announced February 2018.
-
On the centre of mass of a random walk
Authors:
Chak Hei Lo,
Andrew R. Wade
Abstract:
For a random walk $S_n$ on $\mathbb{R}^d$ we study the asymptotic behaviour of the associated centre of mass process $G_n = n^{-1} \sum_{i=1}^n S_i$. For lattice distributions we give conditions for a local limit theorem to hold. We prove that if the increments of the walk have zero mean and finite second moment, $G_n$ is recurrent if $d=1$ and transient if $d \geq 2$. In the transient case we sho…
▽ More
For a random walk $S_n$ on $\mathbb{R}^d$ we study the asymptotic behaviour of the associated centre of mass process $G_n = n^{-1} \sum_{i=1}^n S_i$. For lattice distributions we give conditions for a local limit theorem to hold. We prove that if the increments of the walk have zero mean and finite second moment, $G_n$ is recurrent if $d=1$ and transient if $d \geq 2$. In the transient case we show that $G_n$ has diffusive rate of escape. These results extend work of Grill, who considered simple symmetric random walk. We also give a class of random walks with symmetric heavy-tailed increments for which $G_n$ is transient in $d=1$.
△ Less
Submitted 14 December, 2018; v1 submitted 15 August, 2017;
originally announced August 2017.
-
Lyapunov exponents for products of matrices
Authors:
De-Jun Feng,
Chiu-Hong Lo,
Shuang Shen
Abstract:
Let ${\bf M}=(M_1,\ldots, M_k)$ be a tuple of real $d\times d$ matrices. Under certain irreducibility assumptions, we give checkable criteria for deciding whether ${\bf M}$ possesses the following property: there exist two constants $λ\in {\Bbb R}$ and $C>0$ such that for any $n\in {\Bbb N}$ and any $i_1, \ldots, i_n \in \{1,\ldots, k\}$, either $M_{i_1} \cdots M_{i_n}={\bf 0}$ or…
▽ More
Let ${\bf M}=(M_1,\ldots, M_k)$ be a tuple of real $d\times d$ matrices. Under certain irreducibility assumptions, we give checkable criteria for deciding whether ${\bf M}$ possesses the following property: there exist two constants $λ\in {\Bbb R}$ and $C>0$ such that for any $n\in {\Bbb N}$ and any $i_1, \ldots, i_n \in \{1,\ldots, k\}$, either $M_{i_1} \cdots M_{i_n}={\bf 0}$ or $C^{-1} e^{λn} \leq \| M_{i_1} \cdots M_{i_n} \| \leq C e^{λn}$, where $\|\cdot\|$ is a matrix norm. The proof is based on symbolic dynamics and the thermodynamic formalism for matrix products. As applications, we are able to check the absolute continuity of a class of overlapping self-similar measures on ${\Bbb R}$, the absolute continuity of certain self-affine measures in ${\Bbb R}^d$ and the dimensional regularity of a class of sofic affine-invariant sets in the plane.
△ Less
Submitted 23 February, 2017;
originally announced February 2017.
-
Non-homogeneous random walks on a half strip with generalized Lamperti drifts
Authors:
Chak Hei Lo,
Andrew R. Wade
Abstract:
We study a Markov chain on $\mathbb{R}_+ \times S$, where $\mathbb{R}_+$ is the non-negative real numbers and $S$ is a finite set, in which when the $\mathbb{R}_+$-coordinate is large, the $S$-coordinate of the process is approximately Markov with stationary distribution $π_i$ on $S$. If $μ_i(x)$ is the mean drift of the $\mathbb{R}_+$-coordinate of the process at…
▽ More
We study a Markov chain on $\mathbb{R}_+ \times S$, where $\mathbb{R}_+$ is the non-negative real numbers and $S$ is a finite set, in which when the $\mathbb{R}_+$-coordinate is large, the $S$-coordinate of the process is approximately Markov with stationary distribution $π_i$ on $S$. If $μ_i(x)$ is the mean drift of the $\mathbb{R}_+$-coordinate of the process at $(x,i) \in \mathbb{R}_+ \times S$, we study the case where $\sum_{i} π_i μ_i (x) \to 0$, which is the critical regime for the recurrence-transience phase transition. If $μ_i(x) \to 0$ for all $i$, it is natural to study the Lamperti case where $μ_i(x) = O(1/x)$; in that case the recurrence classification is known, but we prove new results on existence and non-existence of moments of return times. If $μ_i (x) \to d_i$ for $d_i \neq 0$ for at least some $i$, then it is natural to study the generalized Lamperti case where $μ_i (x) = d_i + O (1/x)$. By exploiting a transformation which maps the generalized Lamperti case to the Lamperti case, we obtain a recurrence classification and existence of moments results for the former. The generalized Lamperti case is seen to be more subtle, as the recurrence classification depends on correlation terms between the two coordinates of the process.
△ Less
Submitted 29 July, 2016; v1 submitted 14 December, 2015;
originally announced December 2015.
-
On the Analyticity of the group action on the Lubin-Tate space
Authors:
Chi Yu Lo
Abstract:
In this paper we study the analyticity of the group action of the automorphism group $G$ of a formal module $\bar{F}$ of height 2 (defined over $\overline{\mathbb{F}}_q$) on the Lubin-Tate deformation space $X$ of $\bar{F}$. It is shown that a wide open congruence group of level zero attached to a non-split torus acts analytically on a particular disc in $X$ on which the period morphism is not inj…
▽ More
In this paper we study the analyticity of the group action of the automorphism group $G$ of a formal module $\bar{F}$ of height 2 (defined over $\overline{\mathbb{F}}_q$) on the Lubin-Tate deformation space $X$ of $\bar{F}$. It is shown that a wide open congruence group of level zero attached to a non-split torus acts analytically on a particular disc in $X$ on which the period morphism is not injective. For certain other discs with larger radii (defined in terms of quasi-canonical liftings) we find wide open rigid analytic groups which act analytically on these discs.
△ Less
Submitted 12 March, 2015;
originally announced March 2015.
-
Quantum Invariants of 3-manifolds and NP vs #P
Authors:
Gorjan Alagic,
Catharine Lo
Abstract:
The computational complexity class #P captures the difficulty of counting the satisfying assignments to a boolean formula. In this work, we use basic tools from quantum computation to give a proof that the SO(3) Witten-Reshetikhin-Turaev (WRT) invariant of 3-manifolds is #P-hard to calculate. We then apply this result to a question about the combinatorics of Heegaard splittings, motivated by analo…
▽ More
The computational complexity class #P captures the difficulty of counting the satisfying assignments to a boolean formula. In this work, we use basic tools from quantum computation to give a proof that the SO(3) Witten-Reshetikhin-Turaev (WRT) invariant of 3-manifolds is #P-hard to calculate. We then apply this result to a question about the combinatorics of Heegaard splittings, motivated by analogous work on link diagrams by M. Freedman. We show that, if $\#\text{P}\neq\text{FP}^\text{NP}$, then there exist infinitely many Heegaard splittings which cannot be made logarithmically thin by local WRT-preserving moves, except perhaps via a superpolynomial number of steps. We also outline two extensions of the above results. First, adapting a result of Kuperberg, we show that any presentation-independent approximation of WRT is also #P-hard. Second, we sketch out how all of our results can be translated to the setting of triangulations and Turaev-Viro invariants.
△ Less
Submitted 19 March, 2017; v1 submitted 21 November, 2014;
originally announced November 2014.
-
Domains of Injectivity for the Gross-Hopkins Period Map
Authors:
Chi Yu Lo
Abstract:
We determine the domain of injectivity of the Gross-Hopkins Period map around each points in the deformation space for a fixed formal module $\bar{F}$ of height 2 that defined over a finite field. And then we will use this to conclude some local analyticity result of the group action for the automorphism group of $\bar{F}$ on the deformation space.
We determine the domain of injectivity of the Gross-Hopkins Period map around each points in the deformation space for a fixed formal module $\bar{F}$ of height 2 that defined over a finite field. And then we will use this to conclude some local analyticity result of the group action for the automorphism group of $\bar{F}$ on the deformation space.
△ Less
Submitted 11 March, 2015; v1 submitted 29 November, 2013;
originally announced December 2013.
-
F-zeta geometry, Tate motives, and the Habiro ring
Authors:
Catharine Wing Kwan Lo,
Matilde Marcolli
Abstract:
In this paper we propose different notions of F_zeta-geometry, for zeta a root of unity, generalizing notions of F_1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate F_zeta-geometry to formal roots of Tate motives, and to functions in the Habiro ring,…
▽ More
In this paper we propose different notions of F_zeta-geometry, for zeta a root of unity, generalizing notions of F_1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate F_zeta-geometry to formal roots of Tate motives, and to functions in the Habiro ring, seen as counting functions of certain ind-varieties. We investigate the existence of F_zeta-structures in examples arising from general linear groups, matrix equations over finite fields, and some quantum modular forms.
△ Less
Submitted 8 October, 2013;
originally announced October 2013.
-
A Blowup Problem of Reaction Diffusion Equation Related to the Diffusion Induced Blowup Phenomenon
Authors:
Chu-Pin Lo
Abstract:
This work studies nonnegative solutions for the Cauchy, Neumann, and Dirichlet problems of a logistic type reaction-diffusion equation. The finite time blowup results for nonnegative solutions under various restrictions on the coefficients of this equation are presented. Applying the results allows one to construct some reaction diffusion systems with the so-called diffusion-induced blowup pheno…
▽ More
This work studies nonnegative solutions for the Cauchy, Neumann, and Dirichlet problems of a logistic type reaction-diffusion equation. The finite time blowup results for nonnegative solutions under various restrictions on the coefficients of this equation are presented. Applying the results allows one to construct some reaction diffusion systems with the so-called diffusion-induced blowup phenomenon, particularly in the case of equal diffusion rates.
△ Less
Submitted 31 July, 2003;
originally announced July 2003.
-
Classification of Steadily Rotating Spiral Waves for the Kinematic Model
Authors:
Chu-Pin Lo,
Nedialko S. Nedialkov,
Juan-Ming Yuan
Abstract:
Spiral waves arise in many biological, chemical, and physiological systems. The kinematical model can be used to describe the motion of the spiral arms approximated as curves in the plane. For this model, there appeared some results in the literature. However, these results all are based upon some simplification on the model or prior phenomenological assumptions on the solutions. In this paper,…
▽ More
Spiral waves arise in many biological, chemical, and physiological systems. The kinematical model can be used to describe the motion of the spiral arms approximated as curves in the plane. For this model, there appeared some results in the literature. However, these results all are based upon some simplification on the model or prior phenomenological assumptions on the solutions. In this paper, we use really full kinematic model to classify a generic kind of steadily rotating spiral waves, i.e., with positive (or negative) curvature. In fact, using our results (Theorem 8), we can answer the following questions: Is there any steadily rotating spiral wave for a given weakly excitable medium? If yes, what kind of information we can know about these spiral waves? e.g., the tip's curvature, the tip's tangential velocity, and the rotating frequency. Comparing our results with previous ones in the literature, there are some differences between them. There are only solutions with monotonous curvatures via simplified model but full model admits solutions with any given oscillating number of the curvatures.
△ Less
Submitted 31 July, 2003;
originally announced July 2003.
