Showing 1–50 of 90 results for author: Green, R

$L^p$ boundedness of wave operators for higher order schrödinger operators with threshold eigenvalues

Authors: M. Burak Erdogan, William R. Green, Kevin LaMaster

Abstract: We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>2m$, $m\in \mathbb N$ when $H$ has a threshold eigenvalue. We adapt our recent results for $m\geq 1$ when $n>4m$ to lower dimensions $2m<n\leq 4m$ to show that when $H$ has a threshold eigenvalue and no resonances, the wave operators are bounded on $L^p(\mathbb R^n)$ for the n… ▽ More We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>2m$, $m\in \mathbb N$ when $H$ has a threshold eigenvalue. We adapt our recent results for $m\geq 1$ when $n>4m$ to lower dimensions $2m<n\leq 4m$ to show that when $H$ has a threshold eigenvalue and no resonances, the wave operators are bounded on $L^p(\mathbb R^n)$ for the natural range $1\leq p<\frac{2n}{n-1}$ when $n$ is odd and $1\leq p<\frac{2n}{n-2}$ when $n$ is even. We further show that if the zero energy eigenfunctions are orthogonal to $x^αV(x)$ for all $|α|<k_0$, then the wave operators are bounded on $1\leq p<\frac{n}{2m-k_0}$ when $k_0<2m$ in all dimensions $n>2m$. The range is $p\in [1,\infty)$ and $p\in[1,\infty]$ when $k_0=2m$ and $k_0>2m$ respectively. The proofs apply in the classical $m=1$ case as well and streamlines existing arguments in the eigenvalue only case, in particular the $L^\infty(\mathbb R^n)$ boundedness is new when $n>3$. △ Less

Submitted 19 June, 2025; originally announced June 2025.

Comments: 29 pages. arXiv admin note: text overlap with arXiv:2407.07069

Dispersive estimates for Dirac Operators in dimension four with obstructions at threshold energies

Authors: William R. Green, Connor Lane, Benjamin Lyons

Abstract: We investigate $L^1\to L^\infty$ dispersive estimates for the Dirac equation with a potential in four spatial dimensions. We classify the structure of the obstructions at the thresholds as being composed of an at most two dimensional space of resonances per threshold, and finitely many eigenfunctions. Similar to the Schrödinger evolution, we prove the natural $t^{-2}$ decay rate when the threshold… ▽ More We investigate $L^1\to L^\infty$ dispersive estimates for the Dirac equation with a potential in four spatial dimensions. We classify the structure of the obstructions at the thresholds as being composed of an at most two dimensional space of resonances per threshold, and finitely many eigenfunctions. Similar to the Schrödinger evolution, we prove the natural $t^{-2}$ decay rate when the thresholds are regular. When there is a threshold resonance or eigenvalue, we show that there is a time dependent, finite rank operator satisfying $\|F_t\|_{L^1\to L^\infty}\lesssim (\log t)^{-1}$ for $t>2$ such that $$ \|e^{it\mathcal H}P(\mathcal H)-F_t\|_{L^1\to L^\infty}\lesssim t^{-1} \quad \text{for } t>2, $$ with $P$ a projection onto a subspace of the absolutely continuous spectrum in a small neighborhood of the thresholds. We further show that the operator $F_t=0$ if there is a threshold eigenvalue but no threshold resonance. We pair this with high energy bounds for the evolution and provide a complete description of the dispersive bounds. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Comments: 59 pages, submitted

The Topological Structures of the Orders of Hypergraphs

Authors: Robert E. Green, Cliff A. Joslyn, Audun Myers, Michael G. Rawson, Michael Robinson

Abstract: We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framewo… ▽ More We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framework combining previously known with three new results: 1) given a binary relation, there are order isomorphisms among the bounded edge order of the intersection complexes of its dual hypergraphs and its concept lattice; 2) the concept lattice of a context is an isomorphism invariant of the Dowker cosheaf (of abstract simplicial complexes) of that context; and 3) a novel Dowker cosheaf (of chain complexes) of a relation is an isomorphism invariant of the concept lattice of the context that generalizes Dowker's original homological result. We illustrate these concepts throughout with a running example, and demonstrate relationships to past results. △ Less

Submitted 18 April, 2025; v1 submitted 16 April, 2025; originally announced April 2025.

Report number: Information release PNNL-SA-210092

Orthogonal roots, Macdonald representations, and quasiparabolic sets

Authors: R. M. Green, Tianyuan Xu

Abstract: Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, th… ▽ More Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains--Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings, and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system. △ Less

Submitted 16 June, 2025; v1 submitted 3 September, 2024; originally announced September 2024.

Comments: Final version; to appear in Forum of Mathematics, Sigma

MSC Class: Primary: 20F55; Secondary: 05E18; 05E10; 06A07

$L^p$-continuity of wave operators for higher order Schrödinger operators with threshold eigenvalues in high dimensions

Authors: M. Burak Erdogan, William R. Green, Kevin LaMaster

Abstract: We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>4m$, $m\in \mathbb N$. We adapt our recent results for $m>1$ to show that when $H$ has a threshold eigenvalue the wave operators are bounded on $L^p(\mathbb R^n)$ for the natural range $1\leq p<\frac{n}{2m}$ in both even and odd dimensions. The approach used works without dist… ▽ More We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>4m$, $m\in \mathbb N$. We adapt our recent results for $m>1$ to show that when $H$ has a threshold eigenvalue the wave operators are bounded on $L^p(\mathbb R^n)$ for the natural range $1\leq p<\frac{n}{2m}$ in both even and odd dimensions. The approach used works without distinguishing even and odd cases, and matches the range of boundedness in the classical case when $m=1$. The proof applies in the classical $m=1$ case as well and simplifies the argument. △ Less

Submitted 11 March, 2025; v1 submitted 9 July, 2024; originally announced July 2024.

Comments: Updated to reflect referee comments, to appear in Discrete and Continuous Dynamical Systems. arXiv admin note: text overlap with arXiv:2207.14264

Understanding High-Order Network Structure using Permissible Walks on Attributed Hypergraphs

Authors: Enzo Battistella, Sean English, Robert Green, Cliff Joslyn, Evgeniya Lagoda, Van Magnan, Audun Myers, Evan D. Nash, Michael Robinson

Abstract: Hypergraphs have been a recent focus of study in mathematical data science as a tool to understand complex networks with high-order connections. One question of particular relevance is how to leverage information carried in hypergraph attributions when doing walk-based techniques. In this work, we focus on a new generalization of a walk in a network that recovers previous approaches and allows for… ▽ More Hypergraphs have been a recent focus of study in mathematical data science as a tool to understand complex networks with high-order connections. One question of particular relevance is how to leverage information carried in hypergraph attributions when doing walk-based techniques. In this work, we focus on a new generalization of a walk in a network that recovers previous approaches and allows for a description of permissible walks in hypergraphs. Permissible walk graphs are constructed by intersecting the attributed $s$-line graph of a hypergraph with a relation respecting graph. The attribution of the hypergraph's line graph commonly carries over information from categorical and temporal attributions of the original hypergraph. To demonstrate this approach on a temporally attributed example, we apply our framework to a Reddit data set composed of hyperedges as threads and authors as nodes where post times are tracked. △ Less

Submitted 7 May, 2024; originally announced May 2024.

The Massless Dirac Equation in Three Dimensions: Dispersive estimates and zero energy obstructions

Authors: William R. Green, Connor Lane, Benjamin Lyons, Shyam Ravishankar, Aden Shaw

Abstract: We investigate dispersive estimates for the massless three dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies a $\langle t\rangle^{-1}$ decay rate as an operator from $L^1$ to $L^\infty$ regardless of the existence of zero energy eigenfunctions. We also show this decay rate may be improved to $\langle t\rangle ^{-1-γ}$ for any $0\leq γ< 1/2$ at t… ▽ More We investigate dispersive estimates for the massless three dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies a $\langle t\rangle^{-1}$ decay rate as an operator from $L^1$ to $L^\infty$ regardless of the existence of zero energy eigenfunctions. We also show this decay rate may be improved to $\langle t\rangle ^{-1-γ}$ for any $0\leq γ< 1/2$ at the cost of spatial weights. This estimate, along with the $L^2$ conservation law allows one to deduce a family of Strichartz estimates in the case of a threshold eigenvalue. We classify the structure of threshold obstructions as being composed of zero energy eigenfunctions. Finally, we show the Dirac evolution is bounded for all time with minimal requirements on the decay of the potential and smoothness of initial data. △ Less

Submitted 9 October, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: Updated to reflect referee comments. Published in the Journal of Differential Equations

Journal ref: Journal of Differential Equations, Volume 416, Part 1, 2025, Pages 449-490

A partial order on antichains of a fixed size

Authors: R. M. Green, Tianyuan Xu

Abstract: We introduce a new partial order on the set of all antichains of a fixed size in a given poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of simply laced complex simple Lie algebras. We introduce a new partial order on the set of all antichains of a fixed size in a given poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of simply laced complex simple Lie algebras. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 12 pages, 2 figures

MSC Class: Primary: 06A07; Secondary: 05E10; 06A11

Dispersive estimates for higher order Schrödinger operators with scaling-critical potentials

Authors: M. Burak Erdogan, Michael Goldberg, William R. Green

Abstract: We prove a family of dispersive estimates for the higher order Schrödinger equation $iu_t=(-Δ)^mu +Vu$ for $m\in \mathbb N$ with $m>1$ and $2m<n<4m$. Here $V$ is a real-valued potential belonging to the closure of $C_0$ functions with respect to the generalized Kato norm, which has critical scaling. Under standard assumptions on the spectrum, we show that $e^{-itH}P_{ac}(H)$ satisfies a… ▽ More We prove a family of dispersive estimates for the higher order Schrödinger equation $iu_t=(-Δ)^mu +Vu$ for $m\in \mathbb N$ with $m>1$ and $2m<n<4m$. Here $V$ is a real-valued potential belonging to the closure of $C_0$ functions with respect to the generalized Kato norm, which has critical scaling. Under standard assumptions on the spectrum, we show that $e^{-itH}P_{ac}(H)$ satisfies a $|t|^{-\frac{n}{2m}}$ bound mapping $L^1$ to $L^\infty$ by adapting a Wiener inversion theorem. We further show the lack of positive resonances for the operator $(-Δ)^m +V$ and a family of dispersive estimates for operators of the form $|H|^{β-\frac{n}{2m}}e^{-itH}P_{ac}(H)$ for $0<β\leq \frac{n}{2}$. The results apply in both even and odd dimensions in the allowed range. △ Less

Submitted 11 March, 2025; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: Updated to reflect referee comments. To appear in Mathematische Annalen, 25 pages

Algebraic and Geometric Models for Space Networking

Authors: William Bernardoni, Robert Cardona, Jacob Cleveland, Justin Curry, Robert Green, Brian Heller, Alan Hylton, Tung Lam, Robert Kassouf-Short

Abstract: In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. Th… ▽ More In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. This leads to novel statistics on the communication capacity of TVGs called lifetime curves, which we generate for large samples of randomly chosen STARLINK satellites, whose connectivity is modeled over day-long simulations. Determining when a large subsample of STARLINK is temporally strongly connected is further analyzed using novel metrics introduced here that are inspired by topological data analysis (TDA). To better model networking scenarios between the Earth and Mars, we introduce various semi-rings capable of modeling propagation delay as well as protocols common to Delay Tolerant Networking (DTN), such as store-and-forward. Finally, we illustrate the applicability of zigzag persistence for featurizing different space networks and demonstrate the efficacy of K-Nearest Neighbors (KNN) classification for distinguishing Earth-Mars and Earth-Moon satellite systems using time-varying topology alone. △ Less

Submitted 5 October, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: Figures updated and improved based on more exhaustive simulations. Conjecture 2.27 now has weak and strong variations

MSC Class: 55N31 (Primary) 68M10; 16Y60 (Secondary)

Measurements and linearized models for golf ball bounce

Authors: Stanisław W. Biber, Kristian M. Jones, Alan R. Champneys, Riku Green, Robert Szalai

Abstract: A detailed set of experiments are described that capture over a 1000 different instances of the bounce of a golf ball. Video analysis is used to capture velocity and spin immediately prior to and subsequent to each bounce for a wide variety of landing conditions. Data are presented from two different turfs; one artificial and one from a typical tee. Measurement errors and repeatability are analyse… ▽ More A detailed set of experiments are described that capture over a 1000 different instances of the bounce of a golf ball. Video analysis is used to capture velocity and spin immediately prior to and subsequent to each bounce for a wide variety of landing conditions. Data are presented from two different turfs; one artificial and one from a typical tee. Measurement errors and repeatability are analysed. The data are compared to predictions from models of rigid bounce with friction, including Penner's modification to account for elasto-plasticity. Coefficients of restitution and friction, and Penner's effective contact angle are fit from the data. A better fit to the data is found using a non-physical piecewise-affine landing to lift-off relationship, which distinguishes between cases that bounce in pure slip from those that undergo rolling. Nevertheless, even balls that undergo rolling are typically found to lift off slipping, having undergone spin reversal. The findings suggest that further effort needs to be spent on finding simple physics-based models of golf-ball bounce. △ Less

Submitted 13 January, 2023; originally announced February 2023.

Comments: 15 pages, 9 figures, 3 tables, 2 data files

On Representations of Affine Temperley--Lieb Algebras

Authors: R. M. Green

Abstract: We study the finite-dimensional simple modules, over an algebraically closed field, of the affine Temperley--Lieb algebra corresponding to the affine Weyl group of type $A$. These turn out to be closely related to the simple modules for a certain $q$-analogue of the annular algebra of V.F.R. Jones. We study the finite-dimensional simple modules, over an algebraically closed field, of the affine Temperley--Lieb algebra corresponding to the affine Weyl group of type $A$. These turn out to be closely related to the simple modules for a certain $q$-analogue of the annular algebra of V.F.R. Jones. △ Less

Submitted 29 January, 2023; originally announced January 2023.

Comments: 24 pages, 3 figures. This paper was published in 1998 in the Proceedings of the 8th International Conference on Representations of Algebras

Journal ref: Algebras and modules II, Canadian Mathematical Society Conference Proceedings 24 (1998), 245--261

Positivity properties for spherical functions of maximal Young subgroups

Authors: R. M. Green

Abstract: Let $S_k \times S_{n-k}$ be a maximal Young subgroup of the symmetric group $S_n$. We introduce a basis ${\mathcal B}_{n,k}$ for the coset space $S_n/S_k \times S_{n-k}$ that is naturally parametrized by the set of standard Young tableaux with $n$ boxes, at most two rows, and at most $k$ boxes in the second row. The basis ${\mathcal B}_{n,k}$ has positivity properties that resemble those of a root… ▽ More Let $S_k \times S_{n-k}$ be a maximal Young subgroup of the symmetric group $S_n$. We introduce a basis ${\mathcal B}_{n,k}$ for the coset space $S_n/S_k \times S_{n-k}$ that is naturally parametrized by the set of standard Young tableaux with $n$ boxes, at most two rows, and at most $k$ boxes in the second row. The basis ${\mathcal B}_{n,k}$ has positivity properties that resemble those of a root system, and there is a composition series of the coset space in which each term is spanned by the basis elements that it contains. We prove that the spherical functions of the associated Gelfand pair are nonnegative linear combinations of the ${\mathcal B}_{n,k}$. △ Less

Submitted 15 November, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 17 pages, one TikZ figure. Sections renumbered to agree with the published version in the Annals of Combinatorics

MSC Class: 20C30; 05E10

A note on endpoint $L^p$-continuity of wave operators for classical and higher order Schrödinger operators

Authors: M. Burak Erdogan, William R. Green

Abstract: We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>2m$, $m\in \mathbb N$. We adapt our recent results for $m>1$ to show that the wave operators are bounded on $L^p(\mathbb R^n)$ for the full the range $1\leq p\leq \infty$ in both even and odd dimensions without assuming the potential is small. The approach used works without d… ▽ More We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>2m$, $m\in \mathbb N$. We adapt our recent results for $m>1$ to show that the wave operators are bounded on $L^p(\mathbb R^n)$ for the full the range $1\leq p\leq \infty$ in both even and odd dimensions without assuming the potential is small. The approach used works without distinguishing even and odd cases, captures the endpoints $p=1,\infty$, and somehow simplifies the low energy argument even in the classical case of $m=1$. △ Less

Submitted 24 January, 2023; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: 16 pages, revised. This paper extends the authors' work in arXiv:2107.09620 to capture endpoints in even dimensions. Updated according to referee comments, to appear in the J. of Differential Equations

Journal ref: Journal of Differential Equations Volume 355, 15 May 2023, Pages 144-161

Counterexamples to $L^p$ boundedness of wave operators for classical and higher order Schrödinger operators

Authors: M. Burak Erdogan, Michael Goldberg, William R. Green

Abstract: We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>4m-1$, $m\in \mathbb N$. We show that for any $\frac{2n}{n-4m+1}<p\leq \infty$ and $0\leq α<\frac{n+1}{2}-2m-\frac{n}p$, there exists a real-valued, compactly supported potential $V\in C^α(\mathbb R^n)$ for which the wave operators $W^{\pm}$ are not bounded on… ▽ More We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>4m-1$, $m\in \mathbb N$. We show that for any $\frac{2n}{n-4m+1}<p\leq \infty$ and $0\leq α<\frac{n+1}{2}-2m-\frac{n}p$, there exists a real-valued, compactly supported potential $V\in C^α(\mathbb R^n)$ for which the wave operators $W^{\pm}$ are not bounded on $L^p(\mathbb R^n)$. As a consequence of our analysis we show that the wave operators for the usual second order Schrödinger operator $-Δ+V$ are unbounded on $L^p(\mathbb R^n)$ for $n>3$ and $\frac{2n}{n-3}<p\leq \infty$ for insufficiently differentiable potentials $V$, and show a failure of $L^{p'}\to L^p$ dispersive estimates that may be of independent interest. △ Less

Submitted 26 June, 2022; originally announced June 2022.

Comments: 16 pages, submitted

2-roots for simply laced Weyl groups

Authors: R. M. Green, Tianyuan Xu

Abstract: We introduce and study "2-roots", which are symmetrized tensor products of orthogonal roots of Kac--Moody algebras. We concentrate on the case where $W$ is the Weyl group of a simply laced Y-shaped Dynkin diagram $Y_{a,b,c}$ having $n$ vertices and with three branches of arbitrary finite lengths $a$, $b$ and $c$; special cases of this include types $D_n$, $E_n$ (for arbitrary $n \geq 6$), and affi… ▽ More We introduce and study "2-roots", which are symmetrized tensor products of orthogonal roots of Kac--Moody algebras. We concentrate on the case where $W$ is the Weyl group of a simply laced Y-shaped Dynkin diagram $Y_{a,b,c}$ having $n$ vertices and with three branches of arbitrary finite lengths $a$, $b$ and $c$; special cases of this include types $D_n$, $E_n$ (for arbitrary $n \geq 6$), and affine $E_6$, $E_7$ and $E_8$. We show that a natural codimension-$1$ submodule $M$ of the symmetric square of the reflection representation of $W$ has a remarkable canonical basis $\mathcal{B}$ that consists of 2-roots. We prove that, with respect to $\mathcal{B}$, every element of $W$ is represented by a column sign-coherent matrix in the sense of cluster algebras. If $W$ is a finite simply laced Weyl group, each $W$-orbit of 2-roots has a highest element, analogous to the highest root, and we calculate these elements explicitly. We prove that if $W$ is not of affine type, the module $M$ is completely reducible in characteristic zero and each of its nontrivial direct summands is spanned by a $W$-orbit of 2-roots. △ Less

Submitted 8 April, 2023; v1 submitted 20 April, 2022; originally announced April 2022.

Comments: Final version; to appear in Transformation Groups

MSC Class: 17B22; 20F55

Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in $\mathbf{a}(2)$-finite Coxeter systems

Authors: R. M. Green, Tianyuan Xu

Abstract: A Coxeter group is said to be \emph{$\mathbf{a}(2)$-finite} if it has finitely many elements of $\mathbf{a}$-value 2 in the sense of Lusztig. In this paper, we give explicit combinatorial descriptions of the left, right, and two-sided Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in an irreducible $\mathbf{a}(2)$-finite Coxeter group. In particular, we introduce elements we call \emph{stubs} to p… ▽ More A Coxeter group is said to be \emph{$\mathbf{a}(2)$-finite} if it has finitely many elements of $\mathbf{a}$-value 2 in the sense of Lusztig. In this paper, we give explicit combinatorial descriptions of the left, right, and two-sided Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in an irreducible $\mathbf{a}(2)$-finite Coxeter group. In particular, we introduce elements we call \emph{stubs} to parameterize the one-sided cells and we characterize the one-sided cells via both star operations and weak Bruhat orders. We also compute the cardinalities of all the one-sided and two-sided cells. △ Less

Submitted 25 May, 2023; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: Final version; to appear in Algebraic Combinatorics

MSC Class: Primary: 20F55; Secondary: 20C08

Path Optimization Sheaves

Authors: Michael Moy, Robert Cardona, Robert Green, Jacob Cleveland, Alan Hylton, Robert Short

Abstract: Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the se… ▽ More Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the second is created specifically to capture the decision making of Dijkstra's algorithm. In both cases, Dijkstra's algorithm can be described as a systematic process of extending local sections to global sections. We discuss the relationship between the two sheaves and summarize how other pathfinding algorithms can be interpreted in a similar way. While the sheaves presented here address paths and pathfinding algorithms, we suggest that future work could explore connections to other concepts from graph theory and other networking algorithms. This work was supported by the NASA Internship Project and SCaN Internship Project during the summer of 2020. △ Less

Submitted 10 December, 2020; originally announced December 2020.

On the one dimensional Dirac equation with potential

Authors: Burak Erdogan, William R. Green

Abstract: We investigate $L^1\to L^\infty$ dispersive estimates for the one dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies the natural $t^{-\frac12}$ decay rate, which may be improved to $t^{-\frac32}$ at the cost of spatial weights when the thresholds are regular. We classify the structure of threshold obstructions, showing that there is at most a one… ▽ More We investigate $L^1\to L^\infty$ dispersive estimates for the one dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies the natural $t^{-\frac12}$ decay rate, which may be improved to $t^{-\frac32}$ at the cost of spatial weights when the thresholds are regular. We classify the structure of threshold obstructions, showing that there is at most a one dimensional space at each threshold. We show that, in the presence of a threshold resonance, the Dirac evolution satisfies the natural decay rate, and satisfies the faster weighted bound except for a piece of rank at most two, one per threshold. Further, we prove high energy dispersive bounds that are near optimal with respect to the required smoothness of the initial data. To do so we use a variant of a high energy argument that was originally developed to study Kato smoothing estimates for magnetic Schrödinger operators. This method has never been used before to obtain $L^1 \to L^\infty$ estimates. As a consequence of our analysis we prove a uniform limiting absorption principle, Strichartz estimates and prove the existence of an eigenvalue free region for the one dimensional Dirac operator with a non-self-adjoint potential. △ Less

Submitted 18 July, 2023; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: This version corrects an error in Lemma~2.2 of the published version which also necessitates changes to the statement of Theorems~1.1 and 2.3 for high energies only. The authors thank Joseph Kraisler, Amir Sagiv and Michael Weinstein for pointing out the error in the published version

Journal ref: Journal de Mathématiques Pures et Appliquées Volume 151, July 2021, Pages 132-170

On the $L^p$ boundedness of the Wave Operators for fourth order Schrödinger operators

Authors: Michael Goldberg, William R. Green

Abstract: We consider the fourth order Schrödinger operator $H=Δ^2+V(x)$ in three dimensions with real-valued potential $V$. Let $H_0=Δ^2$, if $V$ decays sufficiently and there are no eigenvalues or resonances in the absolutely continuous spectrum of $H$ then the wave operators $W_{\pm}= s\,-\,\lim_{t\to \pm \infty} e^{itH}e^{-itH_0}$ extend to bounded operators on $L^p(\mathbb R^3)$ for all $1<p<\infty$. We consider the fourth order Schrödinger operator $H=Δ^2+V(x)$ in three dimensions with real-valued potential $V$. Let $H_0=Δ^2$, if $V$ decays sufficiently and there are no eigenvalues or resonances in the absolutely continuous spectrum of $H$ then the wave operators $W_{\pm}= s\,-\,\lim_{t\to \pm \infty} e^{itH}e^{-itH_0}$ extend to bounded operators on $L^p(\mathbb R^3)$ for all $1<p<\infty$. △ Less

Submitted 12 March, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 22 pages. Fixed typos and addressed comments from referee report. To appear in the Trans. Amer. Math. Soc

Journal ref: Trans. Amer. Math. Soc. 374 (2021), 4075-4092

Time integrable weighted dispersive estimates for the fourth order Schrödinger equation in three dimensions

Authors: Michael Goldberg, William R. Green

Abstract: We consider the fourth order Schrödinger operator $H=Δ^2+V$ and show that if there are no eigenvalues or resonances in the absolutely continuous spectrum of $H$ that the solution operator $e^{-itH}$ satisfies a large time integrable $|t|^{-\frac54}$ decay rate between weighted spaces. This bound improves what is possible for the free case in two directions; both better time decay and smaller spati… ▽ More We consider the fourth order Schrödinger operator $H=Δ^2+V$ and show that if there are no eigenvalues or resonances in the absolutely continuous spectrum of $H$ that the solution operator $e^{-itH}$ satisfies a large time integrable $|t|^{-\frac54}$ decay rate between weighted spaces. This bound improves what is possible for the free case in two directions; both better time decay and smaller spatial weights. In the case of a mild resonance at zero energy, we derive the operator-valued expansion $e^{-itH}P_{ac}(H)=t^{-\frac34} A_0+t^{-\frac54}A_1$ where $A_0:L^1\to L^\infty$ is an operator of rank at most four and $A_1$ maps between polynomially weighted spaces. △ Less

Submitted 2 June, 2021; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 24 pages, submitted. Revised according to referee's comments. arXiv admin note: text overlap with arXiv:1905.02890

Specht module branching rules for wreath products of symmetric groups

Authors: Reuben Green

Abstract: We review a class of modules for the wreath product S(m) wr S(n) of two symmetric groups which are analogous to the Specht modules of the symmetric group, and prove a pair of branching rules for this family of modules. These branching rules describe the behaviour of these wreath product Specht modules under restriction to the wreath products S(m-1) wr S(n) and S(m) wr S(n-1). In particular, we see… ▽ More We review a class of modules for the wreath product S(m) wr S(n) of two symmetric groups which are analogous to the Specht modules of the symmetric group, and prove a pair of branching rules for this family of modules. These branching rules describe the behaviour of these wreath product Specht modules under restriction to the wreath products S(m-1) wr S(n) and S(m) wr S(n-1). In particular, we see that these restrictions of wreath product Specht modules have Specht module filtrations, and we obtain combinatorial interpretations of the multiplicities in these filtrations. △ Less

Submitted 19 January, 2020; originally announced January 2020.

Comments: 25 pages

On theoretical upper limits for valid timesteps of implicit ODE methods

Authors: K. R. Green, G. W. Patrick, R. J. Spiteri

Abstract: Implicit methods for the numerical solution of initial-value problems may admit multiple solutions at any given time step. Accordingly, their nonlinear solvers may converge to any of these solutions. Below a critical timestep, exactly one of the solutions (the consistent solution) occurs on a solution branch (the principal branch) that can be continuously and monotonically continued back to zero t… ▽ More Implicit methods for the numerical solution of initial-value problems may admit multiple solutions at any given time step. Accordingly, their nonlinear solvers may converge to any of these solutions. Below a critical timestep, exactly one of the solutions (the consistent solution) occurs on a solution branch (the principal branch) that can be continuously and monotonically continued back to zero timestep. Standard step-size control can promote convergence to consistent solutions by adjusting the timestep to maintain an error estimate below a given tolerance. However, simulations for symplectic systems or large physical systems are often run with constant timesteps and are thus more susceptible to convergence to inconsistent solutions. Because simulations cannot be reliably continued from inconsistent solutions, the critical timestep is a theoretical upper bound for valid timesteps. △ Less

Submitted 18 December, 2019; originally announced December 2019.

Comments: 10 pages, 5 figures

Strichartz Estimates for the Schrödinger Equation with a Measure-Valued Potential

Authors: M. Burak Erdogan, Michael Goldberg, William R. Green

Abstract: We prove Strichartz estimates for the Schrödinger equation in $\mathbb R^n$, $n\geq 3$, with a Hamiltonian $H = -Δ+ μ$. The perturbation $μ$ is a compactly supported measure in $\mathbb R^n$ with dimension $α> n-(1+\frac{1}{n-1})$. The main intermediate step is a local decay estimate in $L^2(μ)$ for both the free and perturbed Schrödinger evolution. We prove Strichartz estimates for the Schrödinger equation in $\mathbb R^n$, $n\geq 3$, with a Hamiltonian $H = -Δ+ μ$. The perturbation $μ$ is a compactly supported measure in $\mathbb R^n$ with dimension $α> n-(1+\frac{1}{n-1})$. The main intermediate step is a local decay estimate in $L^2(μ)$ for both the free and perturbed Schrödinger evolution. △ Less

Submitted 7 August, 2019; originally announced August 2019.

Comments: 16 pages, submitted

On the Fourth order Schrödinger equation in three dimensions: dispersive estimates and zero energy resonances

Authors: Burak Erdogan, William R. Green, Ebru Toprak

Abstract: We study the fourth order Schrödinger operator $H=(-Δ)^2+V$ for a short range potential in three space dimensions. We provide a full classification of zero energy resonances and study the dynamic effect of each on the $L^1\to L^\infty$ dispersive bounds. In all cases, we show that the natural $|t|^{-\frac34}$ decay rate may be attained, though for some resonances this requires subtracting off a fi… ▽ More We study the fourth order Schrödinger operator $H=(-Δ)^2+V$ for a short range potential in three space dimensions. We provide a full classification of zero energy resonances and study the dynamic effect of each on the $L^1\to L^\infty$ dispersive bounds. In all cases, we show that the natural $|t|^{-\frac34}$ decay rate may be attained, though for some resonances this requires subtracting off a finite rank term, which we construct and analyze. The classification of these resonances, as well as their dynamical consequences differ from the Schrödinger operator $-Δ+V$. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: 35 pages, submitted. arXiv admin note: text overlap with arXiv:1810.03678

Journal ref: J. Differential Equations, 271, (2021), 152-185

Coxeter group actions and limits of hypergeometric series

Authors: Richard M. Green, Ilia D. Mishev, Eric Stade

Abstract: In this paper, we use combinatorial group theory and a limiting process to connect various types of hypergeometric series, and of relations among such series. We begin with a set $S$ of 56 distinct translates of a certain function $M$, which takes the form of a Barnes integral, and is expressible as a sum of two very-well-poised $_9F_8$ hypergeometric series of unit argument. We consider a known… ▽ More In this paper, we use combinatorial group theory and a limiting process to connect various types of hypergeometric series, and of relations among such series. We begin with a set $S$ of 56 distinct translates of a certain function $M$, which takes the form of a Barnes integral, and is expressible as a sum of two very-well-poised $_9F_8$ hypergeometric series of unit argument. We consider a known, transitive action of the Coxeter group $W(E_7)$ on this set. We show that, by removing from $W(E_7)$ a particular generator, we obtain a subgroup that is isomorphic to $W(D_6)$, and that acts intransitively on $S$, partitioning it into three orbits, of sizes 32, 12, and 12 respectively. Taking certain limits of the $M$ functions in the first orbit yields a set of 32 $J$ functions, each of which is a sum of two Saalschützian $_4F_3$ hypergeometric series of unit argument. The original action of $W(D_6)$ on the $M$ functions in this orbit is then seen to correspond to a known action of this group on this set of $J$ functions. In a similar way, the image of each of the size-12 orbits, under a similar limiting process, is a set of 12 $L$ functions that have been investigated in earlier works. In fact, these two image sets are the same. The limiting process is seen to preserve distance, except on pairs consisting of one $M$ function from each size-12 orbit. Finally, each known three-term relation among the $J$ and $L$ functions is seen to be obtainable as a limit of a known three-term relation among the $M$ functions. △ Less

Submitted 31 December, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

MSC Class: 33C20

Cellular Structure of Wreath Product Algebras

Authors: Reuben Green

Abstract: We apply the method of iterated inflations to show that the wreath product of a cellular algebra with a symmetric group is cellular, and obtain descriptions of the cell and simple modules together with a semisimplicity condition for such wreath products. We apply the method of iterated inflations to show that the wreath product of a cellular algebra with a symmetric group is cellular, and obtain descriptions of the cell and simple modules together with a semisimplicity condition for such wreath products. △ Less

Submitted 8 November, 2018; originally announced November 2018.

Comments: 20 pages

On the Fourth order Schrödinger equation in four dimensions: dispersive estimates and zero energy resonances

Authors: William R. Green, Ebru Toprak

Abstract: We study the fourth order Schrödinger operator $H=(-Δ)^2+V$ for a decaying potential $V$ in four dimensions. In particular, we show that the $t^{-1}$ decay rate holds in the $L^1\to L^\infty$ setting if zero energy is regular. Furthermore, if the threshold energies are regular then a faster decay rate of $t^{-1}(\log t)^{-2}$ is attained for large $t$, at the cost of logarithmic spatial weights. Z… ▽ More We study the fourth order Schrödinger operator $H=(-Δ)^2+V$ for a decaying potential $V$ in four dimensions. In particular, we show that the $t^{-1}$ decay rate holds in the $L^1\to L^\infty$ setting if zero energy is regular. Furthermore, if the threshold energies are regular then a faster decay rate of $t^{-1}(\log t)^{-2}$ is attained for large $t$, at the cost of logarithmic spatial weights. Zero is not regular for the free equation, hence the free evolution does not satisfy this bound due to the presence of a resonance at the zero energy. We provide a full classification of the different types of zero energy resonances and study the effect of each type on the time decay in the dispersive bounds. △ Less

Submitted 5 March, 2019; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: Revised according to referee suggestions. To appear in J. Differential Equations

MSC Class: 35J30

Journal ref: J. Differential Equations, 267, (2019), no. 3, 1899-1954

A presentation for the symplectic blob algebra

Authors: Richard Green, Paul Martin, Alison Parker

Abstract: The symplectic blob algebra $b_n$ ($n \in \mathbb{N}$) is a finite dimensional algebra defined by a multiplication rule on a basis of certain diagrams. The rank $r(n)$ of $b_n$ is not known in general, but $r(n)/n$ grows unboundedly with $n$. For each $b_n$ we define an algebra by presentation, such that the number of generators and relations grows linearly with $n$. We prove that these algebras… ▽ More The symplectic blob algebra $b_n$ ($n \in \mathbb{N}$) is a finite dimensional algebra defined by a multiplication rule on a basis of certain diagrams. The rank $r(n)$ of $b_n$ is not known in general, but $r(n)/n$ grows unboundedly with $n$. For each $b_n$ we define an algebra by presentation, such that the number of generators and relations grows linearly with $n$. We prove that these algebras are isomorphic. △ Less

Submitted 10 August, 2018; originally announced August 2018.

Comments: final version submitted before publication. arXiv admin note: substantial text overlap with arXiv:0807.4101

Journal ref: J. Algebra Appl. 11, (2012), no. 3

The Massless Dirac Equation in Two Dimensions: Zero-Energy Obstructions and Dispersive Estimates

Authors: Burak Erdogan, Michael Goldberg, William R. Green

Abstract: We investigate $L^1\to L^\infty$ dispersive estimates for the massless two dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies the natural $t^{-\frac12}$ decay rate, which may be improved to $t^{-\frac12-γ}$ for any $0\leq γ<\frac{3}{2}$ at the cost of spatial weights. We classify the structure of threshold obstructions as being composed of a two… ▽ More We investigate $L^1\to L^\infty$ dispersive estimates for the massless two dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies the natural $t^{-\frac12}$ decay rate, which may be improved to $t^{-\frac12-γ}$ for any $0\leq γ<\frac{3}{2}$ at the cost of spatial weights. We classify the structure of threshold obstructions as being composed of a two dimensional space of p-wave resonances and a finite dimensional space of eigenfunctions at zero energy. We show that, in the presence of a threshold resonance, the Dirac evolution satisfies the natural decay rate except for a finite-rank piece. While in the case of a threshold eigenvalue only, the natural decay rate is preserved. In both cases we show that the decay rate may be improved at the cost of spatial weights. △ Less

Submitted 2 March, 2019; v1 submitted 30 June, 2018; originally announced July 2018.

Comments: 42 pages, submitted. Added an improved version of the high energy result in Theorem 1.2, and its proof in Section 8

Classification of Coxeter groups with finitely many elements of $\mathbf{a}$-value 2

Authors: R. M. Green, Tianyuan Xu

Abstract: We consider Lusztig's $\mathbf{a}$-function on Coxeter groups (in the equal parameter case) and classify all Coxeter groups with finitely many elements of $\mathbf{a}$-value 2 in terms of Coxeter diagrams. We consider Lusztig's $\mathbf{a}$-function on Coxeter groups (in the equal parameter case) and classify all Coxeter groups with finitely many elements of $\mathbf{a}$-value 2 in terms of Coxeter diagrams. △ Less

Submitted 18 November, 2019; v1 submitted 16 May, 2018; originally announced May 2018.

Comments: 34 pages

MSC Class: 20F55

On quasi-heredity and cell module homomorphisms in the symplectic blob algebra

Authors: Richard Green, Paul Martin, Alison Parker

Abstract: This paper reports key advances in the study of the representation theory of the symplectic blob algebra. For suitable specialisations of the parameters we construct four large families of homomorphisms between cell modules. We hence find a large family of non-semisimple specialisations. We find a minimal poset (i.e. least number of relations) for the symplectic blob as a quasi-hereditary algebra. This paper reports key advances in the study of the representation theory of the symplectic blob algebra. For suitable specialisations of the parameters we construct four large families of homomorphisms between cell modules. We hence find a large family of non-semisimple specialisations. We find a minimal poset (i.e. least number of relations) for the symplectic blob as a quasi-hereditary algebra. △ Less

Submitted 18 July, 2017; originally announced July 2017.

Comments: 45 pages. arXiv admin note: text overlap with arXiv:0807.4101

Dispersive estimates for massive Dirac operators in dimension two

Authors: M. Burak Erdoğan, William R. Green, Ebru Toprak

Abstract: We study the massive two dimensional Dirac operator with an electric potential. In particular, we show that the $t^{-1}$ decay rate holds in the $L^1\to L^\infty$ setting if the threshold energies are regular. We also show these bounds hold in the presence of s-wave resonances at the threshold. We further show that, if the threshold energies are regular that a faster decay rate of… ▽ More We study the massive two dimensional Dirac operator with an electric potential. In particular, we show that the $t^{-1}$ decay rate holds in the $L^1\to L^\infty$ setting if the threshold energies are regular. We also show these bounds hold in the presence of s-wave resonances at the threshold. We further show that, if the threshold energies are regular that a faster decay rate of $t^{-1}(\log t)^{-2}$ is attained for large $t$, at the cost of logarithmic spatial weights. The free Dirac equation does not satisfy this bound due to the s-wave resonances at the threshold energies. △ Less

Submitted 18 July, 2017; originally announced July 2017.

Comments: 40 pages

Journal ref: Journal of Differential Equations Volume 264, Issue 9, 5 May 2018, Pages 5802-5837

Limiting absorption principle and Strichartz estimates for Dirac operators in two and higher dimensions

Authors: Burak Erdogan, Michael Goldberg, William R. Green

Abstract: In this paper we consider Dirac operators in $\mathbb R^n$, $n\geq2$, with a potential $V$. Under mild decay and continuity assumptions on $V$ and some spectral assumptions on the operator, we prove a limiting absorption principle for the resolvent, which implies a family of Strichartz estimates for the linear Dirac equation. For large potentials the dynamical estimates are not an immediate coroll… ▽ More In this paper we consider Dirac operators in $\mathbb R^n$, $n\geq2$, with a potential $V$. Under mild decay and continuity assumptions on $V$ and some spectral assumptions on the operator, we prove a limiting absorption principle for the resolvent, which implies a family of Strichartz estimates for the linear Dirac equation. For large potentials the dynamical estimates are not an immediate corollary of the free case since the resolvent of the free Dirac operator does not decay in operator norm on weighted $L^2$ spaces as the frequency goes to infinity. △ Less

Submitted 27 June, 2018; v1 submitted 14 June, 2017; originally announced June 2017.

Comments: Updated Corollary 1.3 with a slightly stronger statement. To appear in Comm. Math. Phys. arXiv admin note: text overlap with arXiv:0705.0546

Journal ref: Comm. Math. Phys. 367 (2019), no. 1, 241-263

On the $L^p$ boundedness of wave operators for two-dimensional Schrödinger operators with threshold obstructions

Authors: Burak Erdogan, Michael Goldberg, William R. Green

Abstract: Let $H=-Δ+V$ be a Schrödinger operator on $L^2(\mathbb R^2)$ with real-valued potential $V$, and let $H_0=-Δ$. If $V$ has sufficient pointwise decay, the wave operators $W_{\pm}=s-\lim_{t\to \pm\infty} e^{itH}e^{-itH_0}$ are known to be bounded on $L^p(\mathbb R^2)$ for all $1< p< \infty$ if zero is not an eigenvalue or resonance. We show that if there is an s-wave resonance or an eigenvalue only… ▽ More Let $H=-Δ+V$ be a Schrödinger operator on $L^2(\mathbb R^2)$ with real-valued potential $V$, and let $H_0=-Δ$. If $V$ has sufficient pointwise decay, the wave operators $W_{\pm}=s-\lim_{t\to \pm\infty} e^{itH}e^{-itH_0}$ are known to be bounded on $L^p(\mathbb R^2)$ for all $1< p< \infty$ if zero is not an eigenvalue or resonance. We show that if there is an s-wave resonance or an eigenvalue only at zero, then the wave operators are bounded on $L^p(\mathbb R^2)$ for $1 < p<\infty$. This result stands in contrast to results in higher dimensions, where the presence of zero energy obstructions is known to shrink the range of valid exponents $p$. △ Less

Submitted 6 December, 2017; v1 submitted 5 June, 2017; originally announced June 2017.

Comments: Revised according to referee's comments. 22 pages, to appear in J. Funct. Anal

Journal ref: J. Funct. Anal 274 (2018), no. 7, 2139-2161

The nil Temperley--Lieb algebra of type affine C

Authors: R. M. Green

Abstract: We introduce a type affine $C$ analogue of the nil Temperley--Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac--Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP mod… ▽ More We introduce a type affine $C$ analogue of the nil Temperley--Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac--Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP model in statistical physics. The centre of $T(n)$ consists of polynomials in a certain element $Q$, and $T(n)$ is a free module of finite rank over its centre. We show how to localize $T(n)$ by adjoining an inverse of $Q$, and prove that the resulting algebra is a full matrix ring over a ring of Laurent polynomials over a field. Although $T(n)$ has wild representation type, over an algebraically closed field we can classify all the finite dimensional indecomposable representations of $T(n)$ in which $Q$ acts invertibly. △ Less

Submitted 31 August, 2022; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: 49 pages, a few figures. Corrected to agree with published version

MSC Class: 16G30

Journal ref: Journal of Pure and Applied Algebra, 223 (2019), 4966--4993

Dispersive estimates for Dirac Operators in dimension three with obstructions at threshold energies

Authors: Burak Erdogan, William R. Green, Ebru Toprak

Abstract: We investigate $L^1\to L^\infty$ dispersive estimates for the three dimensional Dirac equation with a potential. We also classify the structure of obstructions at the thresholds of the essential spectrum as being composed of a two dimensional space of resonances and finitely many eigenfunctions. We show that, as in the case of the Schrödinger evolution, the presence of a threshold obstruction gene… ▽ More We investigate $L^1\to L^\infty$ dispersive estimates for the three dimensional Dirac equation with a potential. We also classify the structure of obstructions at the thresholds of the essential spectrum as being composed of a two dimensional space of resonances and finitely many eigenfunctions. We show that, as in the case of the Schrödinger evolution, the presence of a threshold obstruction generically leads to a loss of the natural $t^{-\frac32}$ decay rate. In this case we show that the solution operator is composed of a finite rank operator that decays at the rate $t^{-\frac12}$ plus a term that decays at the rate $t^{-\frac32}$. △ Less

Submitted 3 November, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: To appear in Amer. J. Math

Journal ref: Amer. J. Math., 141, no. 5, Oct. 2019, 1217-1258

On the $L^p$ boundedness of wave operators for four-dimensional Schrödinger Operators with a threshold eigenvalue

Authors: Michael Goldberg, William R. Green

Abstract: Let $H=-Δ+V$ be a Schrödinger operator on $L^2(\mathbb R^4)$ with real-valued potential $V$, and let $H_0=-Δ$. If $V$ has sufficient pointwise decay, the wave operators $W_{\pm}=s-\lim_{t\to \pm\infty} e^{itH}e^{-itH_0}$ are known to be bounded on $L^p(\mathbb R^4)$ for all $1\leq p\leq \infty$ if zero is not an eigenvalue or resonance, and on $\frac43<p<4$ if zero is an eigenvalue but not a reson… ▽ More Let $H=-Δ+V$ be a Schrödinger operator on $L^2(\mathbb R^4)$ with real-valued potential $V$, and let $H_0=-Δ$. If $V$ has sufficient pointwise decay, the wave operators $W_{\pm}=s-\lim_{t\to \pm\infty} e^{itH}e^{-itH_0}$ are known to be bounded on $L^p(\mathbb R^4)$ for all $1\leq p\leq \infty$ if zero is not an eigenvalue or resonance, and on $\frac43<p<4$ if zero is an eigenvalue but not a resonance. We show that in the latter case, the wave operators are also bounded on $L^p(\mathbb R^4)$ for $1\leq p\leq \frac43$ by direct examination of the integral kernel of the leading terms. Furthermore, if $\int_{\mathbb R^4} xV(x) ψ(x) \, dx=0$ for all zero energy eigenfunctions $ψ$, then the wave operators are bounded on $L^p$ for $1 \leq p<\infty$. △ Less

Submitted 10 October, 2016; v1 submitted 21 June, 2016; originally announced June 2016.

Comments: Updated references and made changes according to referee suggestions. To appear in Annales Henri Poincare, 20 pages

Journal ref: Ann. Henri. Poincaré 18 (2017), n0. 4, 1269-1288

The Dirac equation in two dimensions: Dispersive estimates and classification of threshold obstructions

Authors: M. Burak Erdogan, William R. Green

Abstract: We investigate dispersive estimates for the two dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies a $t^{-1}$ decay rate as an operator from the Hardy space $H^1$ to $BMO$, the space of functions of bounded mean oscillation. This estimate, along with the $L^2$ conservation law allows one to deduce a family of Strichartz estimates. We classify the… ▽ More We investigate dispersive estimates for the two dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies a $t^{-1}$ decay rate as an operator from the Hardy space $H^1$ to $BMO$, the space of functions of bounded mean oscillation. This estimate, along with the $L^2$ conservation law allows one to deduce a family of Strichartz estimates. We classify the structure of threshold obstructions as being composed of s-wave resonances, p-wave resonances and eigenfunctions. We show that, as in the case of the Schrödinger evolution, the presence of a threshold s-wave resonance does not destroy the $t^{-1}$ decay rate. As a consequence of our analysis we obtain a limiting absorption principle in the neighborhood of the threshold, and show that there are only finitely many eigenvalues in the spectral gap. △ Less

Submitted 7 October, 2016; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: Revised according to referee suggestions. Added several references and expanded the discussion of the spectral theory of the perturbed Dirac operator. 40 pages

Journal ref: Comm. Math. Phys. 352 (2017), no. 2, 719-757

Decay estimates for four dimensional Schrödinger, Klein-Gordon and wave equations with obstructions at zero energy

Authors: William R. Green, Ebru Toprak

Abstract: We investigate dispersive estimates for the Schrödinger operator $H=-Δ+V$ with $V$ is a real-valued decaying potential when there are zero energy resonances and eigenvalues in four spatial dimensions. If there is a zero energy obstruction, we establish the low-energy expansion $$ e^{itH}χ(H) P_{ac}(H)=O(1/(\log t)) A_0+ O(1/t)A_1+O((t\log t)^{-1})A_2+ O(t^{-1}(\log t)^{-2})A_3. $$ Here… ▽ More We investigate dispersive estimates for the Schrödinger operator $H=-Δ+V$ with $V$ is a real-valued decaying potential when there are zero energy resonances and eigenvalues in four spatial dimensions. If there is a zero energy obstruction, we establish the low-energy expansion $$ e^{itH}χ(H) P_{ac}(H)=O(1/(\log t)) A_0+ O(1/t)A_1+O((t\log t)^{-1})A_2+ O(t^{-1}(\log t)^{-2})A_3. $$ Here $A_0,A_1:L^1(\mathbb R^n)\to L^\infty (\mathbb R^n)$, while $A_2,A_3$ are operators between logarithmically weighted spaces, with $A_0,A_1,A_2$ finite rank operators, further the operators are independent of time. We show that similar expansions are valid for the solution operators to Klein-Gordon and wave equations. Finally, we show that under certain orthogonality conditions, if there is a zero energy eigenvalue one can recover the $|t|^{-2}$ bound as an operator from $L^1\to L^\infty$. Hence, recovering the same dispersive bound as the free evolution in spite of the zero energy eigenvalue. △ Less

Submitted 30 September, 2016; v1 submitted 21 September, 2015; originally announced September 2015.

Comments: Updated references. To appear in Differential and Integral Equations

Journal ref: Differential and Integral Equations, Volume 30, Number 5/6 (2017), 329-386

The $L^p$ boundedness of wave operators for Schrödinger Operators with threshold singularities

Authors: Michael Goldberg, William R. Green

Abstract: Let $H=-Δ+V$ be a Schrödinger operator on $L^2(\mathbb R^n)$ with real-valued potential $V$ for $n > 4$ and let $H_0=-Δ$. If $V$ decays sufficiently, the wave operators $W_{\pm}=s-\lim_{t\to \pm\infty} e^{itH}e^{-itH_0}$ are known to be bounded on $L^p(\mathbb R^n)$ for all $1\leq p\leq \infty$ if zero is not an eigenvalue, and on $1<p<\frac{n}{2}$ if zero is an eigenvalue. We show that these wave… ▽ More Let $H=-Δ+V$ be a Schrödinger operator on $L^2(\mathbb R^n)$ with real-valued potential $V$ for $n > 4$ and let $H_0=-Δ$. If $V$ decays sufficiently, the wave operators $W_{\pm}=s-\lim_{t\to \pm\infty} e^{itH}e^{-itH_0}$ are known to be bounded on $L^p(\mathbb R^n)$ for all $1\leq p\leq \infty$ if zero is not an eigenvalue, and on $1<p<\frac{n}{2}$ if zero is an eigenvalue. We show that these wave operators are also bounded on $L^1(\mathbb R^n)$ by direct examination of the integral kernel of the leading term. Furthermore, if $\int_{\mathbb R^n} V(x) φ(x) \, dx=0$ for all eigenfunctions $φ$, then the wave operators are $L^p$ bounded for $1\leq p<n$. If, in addition $\int_{\mathbb R^n} xV(x) φ(x) \, dx=0$, then the wave operators are bounded for $1\leq p<\infty$. △ Less

Submitted 10 August, 2016; v1 submitted 25 August, 2015; originally announced August 2015.

Comments: Incorporated referee comments and updated references. To appear in Adv. Math

MSC Class: 35J10; 35Q41; 35P25

Journal ref: Adv. Math. 303 (2016), 360-389

Dispersive Estimates for higher dimensional Schrödinger Operators with threshold eigenvalues II: The even dimensional case

Authors: Michael Goldberg, William R. Green

Abstract: We investigate $L^1(\mathbb R^n)\to L^\infty(\mathbb R^n)$ dispersive estimates for the Schrödinger operator $H=-Δ+V$ when there is an eigenvalue at zero energy in even dimensions $n\geq 6$. In particular, we show that if there is an eigenvalue at zero energy then there is a time dependent, rank one operator $F_t$ satisfying $\|F_t\|_{L^1\to L^\infty} \lesssim |t|^{2-\frac{n}{2}}$ for $|t|>1$ such… ▽ More We investigate $L^1(\mathbb R^n)\to L^\infty(\mathbb R^n)$ dispersive estimates for the Schrödinger operator $H=-Δ+V$ when there is an eigenvalue at zero energy in even dimensions $n\geq 6$. In particular, we show that if there is an eigenvalue at zero energy then there is a time dependent, rank one operator $F_t$ satisfying $\|F_t\|_{L^1\to L^\infty} \lesssim |t|^{2-\frac{n}{2}}$ for $|t|>1$ such that $$\|e^{itH}P_{ac}-F_t\|_{L^1\to L^\infty} \lesssim |t|^{1-\frac{n}{2}},\,\,\,\,\,\text{ for } |t|>1.$$ With stronger decay conditions on the potential it is possible to generate an operator-valued expansion for the evolution, taking the form \begin{align*} e^{itH} P_{ac}(H)=|t|^{2-\frac{n}{2}}A_{-2}+ |t|^{1-\frac{n}{2}} A_{-1}+|t|^{-\frac{n}{2}}A_0, \end{align*} with $A_{-2}$ and $A_{-1}$ mapping $L^1(\mathbb R^n)$ to $L^\infty(\mathbb R^n)$ while $A_0$ maps weighted $L^1$ spaces to weighted $L^\infty$ spaces. The leading-order terms $A_{-2}$ and $A_{-1}$ are both finite rank, and vanish when certain orthogonality conditions between the potential $V$ and the zero energy eigenfunctions are satisfied. We show that under the same orthogonality conditions, the remaining $|t|^{-\frac{n}{2}}A_0$ term also exists as a map from $L^1(\mathbb R^n)$ to $L^\infty(\mathbb R^n)$, hence $e^{itH}P_{ac}(H)$ satisfies the same dispersive bounds as the free evolution despite the eigenvalue at zero. △ Less

Submitted 2 April, 2015; v1 submitted 22 September, 2014; originally announced September 2014.

Comments: This article continues the work of "Dispersive Estimates for higher dimensional Schrödinger Operators with threshold eigenvalues I: The odd dimensional case" by the authors to the case of even dimensions. To appear in J. Spectr. Theory

Journal ref: J. Spectr. Theory, 7 (2017), no. 1, 33-86

Dispersive Estimates for higher dimensional Schrödinger Operators with threshold eigenvalues I: The odd dimensional case

Authors: Michael Goldberg, William R. Green

Abstract: We investigate $L^1(\mathbb R^n)\to L^\infty(\mathbb R^n)$ dispersive estimates for the Schrödinger operator $H=-Δ+V$ when there is an eigenvalue at zero energy and $n\geq 5$ is odd. In particular, we show that if there is an eigenvalue at zero energy then there is a time dependent, rank one operator $F_t$ satisfying $\|F_t\|_{L^1\to L^\infty} \lesssim |t|^{2-\frac{n}{2}}$ for $|t|>1$ such that… ▽ More We investigate $L^1(\mathbb R^n)\to L^\infty(\mathbb R^n)$ dispersive estimates for the Schrödinger operator $H=-Δ+V$ when there is an eigenvalue at zero energy and $n\geq 5$ is odd. In particular, we show that if there is an eigenvalue at zero energy then there is a time dependent, rank one operator $F_t$ satisfying $\|F_t\|_{L^1\to L^\infty} \lesssim |t|^{2-\frac{n}{2}}$ for $|t|>1$ such that $$\|e^{itH}P_{ac}-F_t\|_{L^1\to L^\infty} \lesssim |t|^{1-\frac{n}{2}},\qquad\textrm{ for } |t|>1.$$ With stronger decay conditions on the potential it is possible to generate an operator-valued expansion for the evolution, taking the form $$ e^{itH} P_{ac}(H)=|t|^{2-\frac{n}{2}}A_{-2}+ |t|^{1-\frac{n}{2}} A_{-1}+|t|^{-\frac{n}{2}}A_0, $$ with $A_{-2}$ and $A_{-1}$ finite rank operators mapping $L^1(\mathbb R^n)$ to $L^\infty(\mathbb R^n)$ while $A_0$ maps weighted $L^1$ spaces to weighted $L^\infty$ spaces. The leading order terms $A_{-2}$ and $A_{-1}$ vanish when certain orthogonality conditions between the potential $V$ and the zero energy eigenfunctions are satisfied. We show that under the same orthogonality conditions, the remaining $|t|^{-\frac{n}{2}}A_0$ term also exists as a map from $L^1(\mathbb R^n)$ to $L^\infty(\mathbb R^n)$, hence $e^{itH}P_{ac}(H)$ satisfies the same dispersive bounds as the free evolution despite the eigenvalue at zero. △ Less

Submitted 2 April, 2015; v1 submitted 22 September, 2014; originally announced September 2014.

Comments: To appear in J. Funct. Anal

Journal ref: J. Funct. Anal. 269 (2015), no. 3, 633-682

Relations among complementary and supplementary pairings of Saalschutzian 4F3(1) series

Authors: R. M. Green, Ilia D. Mishev, Eric Stade

Abstract: We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalschützian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions. The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More… ▽ More We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalschützian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions. The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More recent works have framed these relations in terms of Coxeter group actions on $\vec{x}$, and have developed a similar theory of two-term and three-term relations for $K(\vec{x})$. In this article, we derive "mixed" three-term relations, wherein any one of the $L$ (respectively, $K$) functions arising in the above context may be expressed as a linear combination of two of the above $K$ (respectively, $L$) functions. We show that, under the appropriate Coxeter group action, the resulting set of three-term relations (mixed and otherwise) among $K$ and $L$ functions partitions into eighteen orbits. We provide an explicit example of a relation from each orbit. We further classify the eighteen orbits into five types, with each type uniquely determined by the distances (under a certain natural metric) between the $K$ and $L$ functions in the relation. We show that the type of a relation dictates the complexity (in terms of both number of summands and number of factors in each summand) of the coefficients of the $K$ and $L$ functions therein. △ Less

Submitted 9 October, 2014; v1 submitted 21 September, 2014; originally announced September 2014.

MSC Class: 33C20; 20F55

Dispersive estimates for four dimensional Schrödinger and wave equations with obstructions at zero energy

Authors: M. Burak Erdogan, Michael Goldberg, William R. Green

Abstract: We investigate $L^1(\mathbb R^4)\to L^\infty(\mathbb R^4)$ dispersive estimates for the Schrödinger operator $H=-Δ+V$ when there are obstructions, a resonance or an eigenvalue, at zero energy. In particular, we show that if there is a resonance or an eigenvalue at zero energy then there is a time dependent, finite rank operator $F_t$ satisfying $\|F_t\|_{L^1\to L^\infty} \lesssim 1/\log t$ for… ▽ More We investigate $L^1(\mathbb R^4)\to L^\infty(\mathbb R^4)$ dispersive estimates for the Schrödinger operator $H=-Δ+V$ when there are obstructions, a resonance or an eigenvalue, at zero energy. In particular, we show that if there is a resonance or an eigenvalue at zero energy then there is a time dependent, finite rank operator $F_t$ satisfying $\|F_t\|_{L^1\to L^\infty} \lesssim 1/\log t$ for $t>2$ such that $$\|e^{itH}P_{ac}-F_t\|_{L^1\to L^\infty} \lesssim t^{-1},\,\,\,\,\,\text{for} t>2.$$ We also show that the operator $F_t=0$ if there is an eigenvalue but no resonance at zero energy. We then develop analogous dispersive estimates for the solution operator to the four dimensional wave equation with potential. △ Less

Submitted 23 October, 2013; originally announced October 2013.

Comments: 32 pages

Journal ref: Comm. PDE 39 (2014), no. 10, 1936-1964

A Classification of the Veldkamp Lines of the Near Hexagon L_3 times GQ(2, 2)

Authors: R. M. Green, Metod Saniga

Abstract: Using a standard technique sometimes (inaccurately) known as Burnside's Lemma, it is shown that the Veldkamp space of the near hexagon L_3 times GQ(2, 2) features 156 different types of lines. We also give an explicit description of each type of a line by listing the types of the three geometric hyperplanes it consists of and describing the properties of its core set, that is the subset of points… ▽ More Using a standard technique sometimes (inaccurately) known as Burnside's Lemma, it is shown that the Veldkamp space of the near hexagon L_3 times GQ(2, 2) features 156 different types of lines. We also give an explicit description of each type of a line by listing the types of the three geometric hyperplanes it consists of and describing the properties of its core set, that is the subset of points of L_3 times GQ(2, 2) shared by the three geometric hyperplanes in question. △ Less

Submitted 6 October, 2015; v1 submitted 10 October, 2013; originally announced October 2013.

Comments: 13 pages, 3 tables. arXiv admin note: text overlap with arXiv:0908.0989; V2 - corrected and slightly expanded version following reviewers' comments/suggestions

Journal ref: Ars Mathematica Contemporanea 12 (2017) 287-299

Time decay estimates for the wave equation with potential in dimension two

Authors: William R. Green

Abstract: We study the wave equation with potential $u_{tt}-Δu+Vu=0$ in two spatial dimensions, with $V$ a real-valued, decaying potential. With $H=-Δ+V$, we study a variety of mapping estimates of the solution operators, $\cos(t\sqrt{H})$ and $\frac{\sin(t\sqrt{H})}{\sqrt{H}}$ under the assumption that zero is a regular point of the spectrum of $H$. We prove a dispersive estimate with a time decay rate of… ▽ More We study the wave equation with potential $u_{tt}-Δu+Vu=0$ in two spatial dimensions, with $V$ a real-valued, decaying potential. With $H=-Δ+V$, we study a variety of mapping estimates of the solution operators, $\cos(t\sqrt{H})$ and $\frac{\sin(t\sqrt{H})}{\sqrt{H}}$ under the assumption that zero is a regular point of the spectrum of $H$. We prove a dispersive estimate with a time decay rate of $|t|^{-\frac{1}{2}}$, a polynomially weighted dispersive estimate which attains a faster decay rate of $|t|^{-1}(\log |t|)^{-2}$ for $|t|>2$. Finally, we prove dispersive estimates if zero is not a regular point of the spectrum of $H$. △ Less

Submitted 18 March, 2014; v1 submitted 8 July, 2013; originally announced July 2013.

Comments: Made changes according to referee suggestions and fixed typos to improve the exposition. Added more detail to the sections discussing the weighted dispersive bound and the bounds when zero is not regular

Journal ref: Journal of Differential Equations 257 (2014) pp. 868-919

Exponential Decay for dispersion managed solitons for general dispersion profiles

Authors: William R. Green, Dirk Hundertmark

Abstract: We show that any weak solution of the Gabitov-Turitsyn equation describing dispersion managed solitons together with its Fourier transform decay exponentially. This strong regularity result extends a recent result of Erdogan, Hundertmark and Lee in two directions, to arbitrary non-negative average dispersion and, more importantly, to rather general dispersion profiles, which cover most, if not all… ▽ More We show that any weak solution of the Gabitov-Turitsyn equation describing dispersion managed solitons together with its Fourier transform decay exponentially. This strong regularity result extends a recent result of Erdogan, Hundertmark and Lee in two directions, to arbitrary non-negative average dispersion and, more importantly, to rather general dispersion profiles, which cover most, if not all, physically relevant cases. △ Less

Submitted 4 September, 2013; v1 submitted 17 December, 2012; originally announced December 2012.

Dispersive estimates for matrix Schrödinger operators in dimension two

Authors: M. Burak Erdoğan, William R. Green

Abstract: We consider the non-selfadjoint operator [\cH = [{array}{cc} -Δ+ μ-V_1 & -V_2 V_2 & Δ- μ+ V_1 {array}]] where $μ>0$ and $V_1,V_2$ are real-valued decaying potentials. Such operators arise when linearizing a focusing NLS equation around a standing wave. Under natural spectral assumptions we obtain $L^1(\R^2)\times L^1(\R^2)\to L^\infty(\R^2)\times L^\infty(\R^2)$ dispersive decay estimates for the… ▽ More We consider the non-selfadjoint operator [\cH = [{array}{cc} -Δ+ μ-V_1 & -V_2 V_2 & Δ- μ+ V_1 {array}]] where $μ>0$ and $V_1,V_2$ are real-valued decaying potentials. Such operators arise when linearizing a focusing NLS equation around a standing wave. Under natural spectral assumptions we obtain $L^1(\R^2)\times L^1(\R^2)\to L^\infty(\R^2)\times L^\infty(\R^2)$ dispersive decay estimates for the evolution $e^{it\cH}P_{ac}$. We also obtain the following weighted estimate $$ \|w^{-1} e^{it\cH}P_{ac}f\|_{L^\infty(\R^2)\times L^\infty(\R^2)}\les \f1{|t|\log^2(|t|)} \|w f\|_{L^1(\R^2)\times L^1(\R^2)},\,\,\,\,\,\,\,\, |t| >2, $$ with $w(x)=\log^2(2+|x|)$. △ Less

Submitted 16 November, 2012; originally announced November 2012.

Comments: arXiv admin note: text overlap with arXiv:1202.0050

Journal ref: Discrete and Continuous Dynamical Systems - Series A, 4473 - 4495, Volume 33, Issue 10, October 2013

Open-source tools for dynamical analysis of Liley's mean-field cortex model

Authors: Kevin R. Green, Lennaert van Veen

Abstract: Mean-field models of the mammalian cortex treat this part of the brain as a two-dimensional excitable medium. The electrical potentials, generated by the excitatory and inhibitory neuron populations, are described by nonlinear, coupled, partial differential equations, that are known to generate complicated spatio-temporal behaviour. We focus on the model by Liley {\sl et al.} (Network: Comput. Neu… ▽ More Mean-field models of the mammalian cortex treat this part of the brain as a two-dimensional excitable medium. The electrical potentials, generated by the excitatory and inhibitory neuron populations, are described by nonlinear, coupled, partial differential equations, that are known to generate complicated spatio-temporal behaviour. We focus on the model by Liley {\sl et al.} (Network: Comput. Neural Syst. (2002) 13, 67-113). Several reductions of this model have been studied in detail, but a direct analysis of its spatio-temporal dynamics has, to the best of our knowledge, never been attempted before. Here, we describe the implementation of implicit time-stepping of the model and the tangent linear model, and solving for equilibria and time-periodic solutions, using the open-source library PETSc. By using domain decomposition for parallelization, and iterative solving of linear problems, the code is capable of parsing some dynamics of a macroscopic slice of cortical tissue with a sub-millimetre resolution. △ Less

Submitted 17 October, 2012; originally announced October 2012.

Comments: 25 pages, 8 figures

MSC Class: 37M05; 35B32 ACM Class: G.1.8

Journal ref: J. Comput. Sci. 5 (2014) pp. 507-516