Showing 1–50 of 51 results for author: King, J

Connections Between Frames with Rational Eigensteps and Semistandard Young Tableaux

Authors: Emily J. King, Kylie Schnoor

Abstract: In this paper, we explore a correspondence between frames with rational eigensteps and semistandard Young tableaux (SSYT), via the relation assigning a Gelfand-Tsetlin pattern to a frame via the frame's eigensteps. We will identify how certain key structures in SSYTs correlate with particular frame properties. For example, the weight of an SSYT yields the sequence of norms of any compatible frame.… ▽ More In this paper, we explore a correspondence between frames with rational eigensteps and semistandard Young tableaux (SSYT), via the relation assigning a Gelfand-Tsetlin pattern to a frame via the frame's eigensteps. We will identify how certain key structures in SSYTs correlate with particular frame properties. For example, the weight of an SSYT yields the sequence of norms of any compatible frame. Additionally, this correspondence leads to a novel way to construct the eigensteps of a frame coming solely from tableaux. This is an alternative to the Top Kill algorithm which may be viewed as a combinatorial reinterpretation of the algorithm. We further employ other combinatorial techniques such as the boxcomp method to generate a ``complement" SSYT. On the frame side, this corresponds to a tight frame's Naimark complement as well as to a generalization of the Naimark complement for non-tight frames. Further research points to an analysis of equiangular tight frames and their corresponding tableaux, as well as using more combinatorial operations to further analyze frames. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Redundancy of Probabilistic Frames and Approximately Dual Probabilistic Frames

Authors: Dongwei Chen, Emily J. King, Clayton Shonkwiler

Abstract: This paper studies the redundancy of probabilistic frames and introduces approximately dual probabilistic frames. The redundancy of a probabilistic frame is defined as the dimension of the kernel of the associated synthesis operator, which turns out to be the semi-Fredholm index of the synthesis operator. For a given non-redundant probabilistic frame, we claim that the canonical dual probabilistic… ▽ More This paper studies the redundancy of probabilistic frames and introduces approximately dual probabilistic frames. The redundancy of a probabilistic frame is defined as the dimension of the kernel of the associated synthesis operator, which turns out to be the semi-Fredholm index of the synthesis operator. For a given non-redundant probabilistic frame, we claim that the canonical dual probabilistic frame is the only dual frame of pushforward type. Furthermore, we show that probabilistic frames with finite redundancy are atomic. In the second part, we introduce approximately dual probabilistic frames and characterize all the approximate duals of pushforward type. We also study the approximately dual frames of perturbed probabilistic frames, and show that if a probability measure is close to a probabilistic dual pair in some sense, then this probability measure is an approximately dual probabilistic frame. In particular, this yields discrete approximate duals of any probabilistic frame. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 26 pages

MSC Class: 42C15

On the Structure of Frames and Equiangular Lines over Finite Fields and their Connections to Design Theory

Authors: Ian Jorquera, Emily J. King

Abstract: This paper concerns frames and equiangular lines over finite fields. We find a necessary and sufficient condition for systems of equiangular lines over finite fields to be equiangular tight frames (ETFs). As is the case over subfields of $\mathbb{C}$, it is necessary for the Welch bound to be saturated, but there is an additional condition required involving sums of triple products. We also prove… ▽ More This paper concerns frames and equiangular lines over finite fields. We find a necessary and sufficient condition for systems of equiangular lines over finite fields to be equiangular tight frames (ETFs). As is the case over subfields of $\mathbb{C}$, it is necessary for the Welch bound to be saturated, but there is an additional condition required involving sums of triple products. We also prove that similar to the case over $\mathbb{C}$, collections of vectors are similar to a regular simplex essentially when the triple products of their scalar products satisfy a certain property. Finally, we investigate switching equivalence classes of frames and systems of lines focusing on systems of equiangular lines in finite orthogonal geometries with maximal incoherent sets, drawing connections to combinatorial design theory. △ Less

Submitted 17 May, 2025; originally announced May 2025.

Comments: 37 pages

$k$-Homogeneous Equiangular Tight Frames

Authors: Emily J. King

Abstract: Equiangular tight frames (ETFs) are optimal packings in projective space which also yield useful decompositions of signals. Paley ETFs are constructed using number theory. In this article, we present the doubly homogeneous automorphism groups of the Paley ETFs of prime order. We also prove some properties of doubly homogeneous frames, namely that they are always ETFs and that their short circuits… ▽ More Equiangular tight frames (ETFs) are optimal packings in projective space which also yield useful decompositions of signals. Paley ETFs are constructed using number theory. In this article, we present the doubly homogeneous automorphism groups of the Paley ETFs of prime order. We also prove some properties of doubly homogeneous frames, namely that they are always ETFs and that their short circuits -- i.e., dependent subsets of minimum size -- form a balanced incomplete block design. We additionally characterize all $k$-homogeneous ETFs for $3 \leq k \leq 5$. Finally, we revisit David Larson's AMS Memoirs \emph{Frames, Bases, and Group Representations} coauthored with Deguang Han and \emph{Wandering Vectors for Unitary Systems and Orthogonal Wavelets} coauthored with Xingde Dai with a modern eye and focus on finite-dimensional Hilbert spaces. △ Less

Submitted 30 April, 2025; originally announced May 2025.

MSC Class: 42C15; 20B25; 05B10; 05B35

The impossibility of extending the Naimark complement

Authors: Emily J. King, Dustin G. Mixon

Abstract: We show that there is no extension of the Naimark complement to arbitrary frames that satisfies three fundamental properties of the Naimark complement of Parseval frames. We show that there is no extension of the Naimark complement to arbitrary frames that satisfies three fundamental properties of the Naimark complement of Parseval frames. △ Less

Submitted 13 April, 2025; originally announced April 2025.

Interface dynamics in a degenerate Cahn-Hilliard model for viscoelastic phase separation

Authors: Katharina Hopf, John King, Andreas Münch, Barbara Wagner

Abstract: The formal sharp-interface asymptotics in a degenerate Cahn-Hilliard model for viscoelastic phase separation with cross-diffusive coupling to a bulk stress variable are shown to lead to non-local lower-order counterparts of the classical surface diffusion flow. The diffuse-interface model is a variant of the Zhou-Zhang-E model and has an Onsager gradient-flow structure with a rank-deficient mobili… ▽ More The formal sharp-interface asymptotics in a degenerate Cahn-Hilliard model for viscoelastic phase separation with cross-diffusive coupling to a bulk stress variable are shown to lead to non-local lower-order counterparts of the classical surface diffusion flow. The diffuse-interface model is a variant of the Zhou-Zhang-E model and has an Onsager gradient-flow structure with a rank-deficient mobility matrix reflecting the ODE character of stress relaxation. In the case of constant coupling, we find that the evolution of the zero level set of the order parameter approximates the so-called intermediate surface diffusion flow. For non-constant coupling functions monotonically connecting the two phases, our asymptotic analysis leads to a family of third order whose propagation operator behaves like the square root of the minus Laplace-Beltrami operator at leading order. In this case, the normal velocity of the moving sharp interface arises as the Lagrange multiplier in a constrained elliptic equation, which is at the core of our derivation. The constrained elliptic problem can be solved rigorously by a variational argument, and is shown to encode the gradient structure of the effective geometric evolution law. The asymptotics are presented for deep quench, an intermediate free boundary problem based on the double-obstacle potential. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Smoothing of the higher-order Stokes phenomenon

Authors: Chris J. Howls, John R. King, Gergő Nemes, Adri B. Olde Daalhuis

Abstract: For nearly a century and a half the Stokes phenomenon had been perceived as a discontinuous change in the asymptotic representation of a function. In 1989 Berry demonstrated how it is possible to smooth out this discontinuity in broad classes of problems with the prefactor for the exponentially small contribution that is being switched on/off taking the universal form of an error function. Followi… ▽ More For nearly a century and a half the Stokes phenomenon had been perceived as a discontinuous change in the asymptotic representation of a function. In 1989 Berry demonstrated how it is possible to smooth out this discontinuity in broad classes of problems with the prefactor for the exponentially small contribution that is being switched on/off taking the universal form of an error function. Following pioneering work of Berk {\it et al.} \cite{BNR82} and the Japanese school of formally exact asymptotics \cite{Aokietal1994,AKT01}, the concept of the higher-order Stokes phenomenon was introduced in \cite{HLO04} and \cite{CM05}, whereby the ability for the exponentially small terms to cause a Stokes phenomenon may change, depending on the values of parameters in the problem, corresponding to the associated singularities in the Borel plane transitioning between different Riemann sheets. Until now, the higher-order Stokes phenomenon has also been treated as a discontinuous event. In this paper we show how the higher-order Stokes phenomenon is, in fact, also smooth and occurs universally with a prefactor that takes the form of a new special function, based on a Gaussian convolution of an error function that gives rise to a rich structure. We provide a rigorous derivation of the result, with examples spanning the gamma function, a second-order nonlinear ODE and the telegraph equation, giving rise to a ghost-like smooth contribution that is present in the vicinity of a Stokes line, but which rapidly tends to zero on either side. We also include a rigorous derivation and example of the effect of the smoothed higher-order Stokes phenomenon on the individual terms in the asymptotic series, where the additional contributions appear prefactored by an error function. △ Less

Submitted 20 December, 2024; v1 submitted 7 October, 2024; originally announced October 2024.

Comments: 49 pages, 15 figures

MSC Class: 30E15; 41A60; 34E05; 35C20

Journal ref: Studies in Applied Mathematics, Volume 154 (2025), Issue 2, Article e70008, 31 pp

Conservation laws that depend on functions and PDE reduction: extending Noether $1\tfrac{1}{2}$

Authors: Peter E. Hydon, John R. King

Abstract: This paper develops methods for simplifying systems of partial differential equations that have families of conservation laws which depend on functions of the independent or dependent variables. In some cases, such methods can be combined with reduction using families of symmetries, giving a multiple reduction that is analogous to the double reduction of order for ordinary differential equations w… ▽ More This paper develops methods for simplifying systems of partial differential equations that have families of conservation laws which depend on functions of the independent or dependent variables. In some cases, such methods can be combined with reduction using families of symmetries, giving a multiple reduction that is analogous to the double reduction of order for ordinary differential equations with variational symmetries. Applications are given, including a widely-used class of pseudoparabolic equations and several mean curvature equations. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 18 pages

MSC Class: 37K06 (Primary) 35A15; 35A25; 70H33; 53E10 (Secondary)

Complex-plane singularity dynamics for blow up in a nonlinear heat equation: analysis and computation

Authors: M. Fasondini, J. R. King, J. A. C. Weideman

Abstract: Blow-up solutions to a heat equation with spatial periodicity and a quadratic nonlinearity are studied through asymptotic analyses and a variety of numerical methods. The focus is on the dynamics of the singularities in the complexified space domain. Blow up in finite time is caused by these singularities eventually reaching the real axis. The analysis provides a distinction between small and larg… ▽ More Blow-up solutions to a heat equation with spatial periodicity and a quadratic nonlinearity are studied through asymptotic analyses and a variety of numerical methods. The focus is on the dynamics of the singularities in the complexified space domain. Blow up in finite time is caused by these singularities eventually reaching the real axis. The analysis provides a distinction between small and large nonlinear effects, as well as insight into the various time scales on which blow up is approached. It is shown that an ordinary differential equation with quadratic nonlinearity plays a central role in the asymptotic analysis. This equation is studied in detail, including its numerical computation on multiple Riemann sheets, and the far-field solutions are shown to be given at leading order by a Weierstrass elliptic function. △ Less

Submitted 7 August, 2023; originally announced August 2023.

MSC Class: 35B44; 32S99; 35C20; 41A21; 65N99

Mathematical modelling and numerical simulation of reverse-osmosis desalination

Authors: Nicodemo Di Pasquale, Mayo Akele, Federico Municchi, John King, Matteo Icardi

Abstract: The reverse osmosis membrane module is an integral element of a desalination system as it determines the overall performance of the desalination plant. The fraction of clean water that can be recovered via this process is often limited by salt precipitation which plays a critical role in its sustainability. In this work, we present a model to study the complex interplay between flow, transport and… ▽ More The reverse osmosis membrane module is an integral element of a desalination system as it determines the overall performance of the desalination plant. The fraction of clean water that can be recovered via this process is often limited by salt precipitation which plays a critical role in its sustainability. In this work, we present a model to study the complex interplay between flow, transport and precipitation processes in reverse osmosis membranes, which together influence recovery and in turn process sustainability. A reactive porous interface model describes the membrane with a dynamic evolving porosity and permeability to capture the scaling and clogging of the membrane. An open-source finite-volume numerical solver is implemented within the OpenFOAM library and numerical tests are presented here showing the effect of the various parameters of the model and the robustness of the model to describe a wide range of operating conditions. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 16 pages, 6 figures

Electrochemical transport modelling and open-source simulation of pore-scale solid-liquid systems

Authors: Robert Barnett, Federico Municchi, John King, Matteo Icardi

Abstract: The modelling of electrokinetic flows is a critical aspect spanning many industrial applications and research fields. This has introduced great demand in flexible numerical solvers to describe these flows. The underlying phenomena are microscopic, non-linear, and often involve multiple domains. Therefore often model assumptions and several numerical approximations are introduced to simplify the so… ▽ More The modelling of electrokinetic flows is a critical aspect spanning many industrial applications and research fields. This has introduced great demand in flexible numerical solvers to describe these flows. The underlying phenomena are microscopic, non-linear, and often involve multiple domains. Therefore often model assumptions and several numerical approximations are introduced to simplify the solution. In this work, we present a multi-domain multi-species electrokinetic flow model including complex interface and bulk reactions. After a dimensional analysis and an overview of some limiting regimes, we present a set of general purpose finite-volume solvers, based on \of, capable of describing an arbitrary number of electrochemical species over multiple interacting (solid or fluid) domains \cite{spnpfoam}. We provide verification of the computational approach for several cases involving electrokinetic flows, reactions between species, and complex geometries. We first present three one-dimensional verification test cases, and then show the capability of the solver to tackle two- and three-dimensional electrically driven flows and ionic transport in random porous structures. The purpose of this work is to lay the foundation for a general-purpose open-source flexible modelling tool for problems in electrochemistry and electrokinetics at different scales. △ Less

Submitted 6 November, 2023; v1 submitted 27 December, 2022; originally announced December 2022.

Blow up in a periodic semilinear heat equation

Authors: Marco Fasondini, John R. King, J. A. C. Weideman

Abstract: Blow up in a one-dimensional semilinear heat equation is studied using a combination of numerical and analytical tools. The focus is on problems periodic in the space variable and starting out from a nearly flat, positive initial condition. Novel results include various asymptotic approximations that are, in combination, valid over the entire space and time interval right up to and including the b… ▽ More Blow up in a one-dimensional semilinear heat equation is studied using a combination of numerical and analytical tools. The focus is on problems periodic in the space variable and starting out from a nearly flat, positive initial condition. Novel results include various asymptotic approximations that are, in combination, valid over the entire space and time interval right up to and including the blow-up time. Preliminary results on continuing a numerical solution beyond the singularity are also presented. △ Less

Submitted 30 August, 2022; originally announced August 2022.

MSC Class: 35B40; 34M35; 65M70

Burgers' equation in the complex plane

Authors: Daniel J. VandenHeuvel, Christopher J. Lustri, John R. King, Ian W. Turner, Scott W. McCue

Abstract: Burgers' equation is a well-studied model in applied mathematics with connections to the Navier-Stokes equations in one spatial direction and traffic flow, for example. Following on from previous work, we analyse solutions to Burgers' equation in the complex plane, concentrating on the dynamics of the complex singularities and their relationship to the solution on the real line. For an initial con… ▽ More Burgers' equation is a well-studied model in applied mathematics with connections to the Navier-Stokes equations in one spatial direction and traffic flow, for example. Following on from previous work, we analyse solutions to Burgers' equation in the complex plane, concentrating on the dynamics of the complex singularities and their relationship to the solution on the real line. For an initial condition with a simple pole in each of the upper- and lower-half planes, we apply formal asymptotics in the small- and large-time limits in order to characterise the initial and later motion of the singularities. The small-time limit highlights how infinitely many singularities are born at $t=0$ and how they orientate themselves to lie increasingly close to anti-Stokes lines in the far-field of the inner problem. This inner problem also reveals whether or not the closest singularity to the real axis moves toward the axis or away. For intermediate times, we use the exact solution, apply method of steepest descents, and implement the AAA approximation to track the complex singularities. Connections are made between the motion of the closest singularity to the real axis and the steepness of the solution on the real line. While Burgers' equation has an exact solution, we deliberately apply a mix of techniques in our analysis in an attempt to develop methodology that can be applied to other nonlinear partial differential equations that do not. △ Less

Submitted 26 February, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

A Primer on Topological Data Analysis to Support Image Analysis Tasks in Environmental Science

Authors: Lander Ver Hoef, Henry Adams, Emily J. King, Imme Ebert-Uphoff

Abstract: Topological data analysis (TDA) is a tool from data science and mathematics that is beginning to make waves in environmental science. In this work, we seek to provide an intuitive and understandable introduction to a tool from TDA that is particularly useful for the analysis of imagery, namely persistent homology. We briefly discuss the theoretical background but focus primarily on understanding t… ▽ More Topological data analysis (TDA) is a tool from data science and mathematics that is beginning to make waves in environmental science. In this work, we seek to provide an intuitive and understandable introduction to a tool from TDA that is particularly useful for the analysis of imagery, namely persistent homology. We briefly discuss the theoretical background but focus primarily on understanding the output of this tool and discussing what information it can glean. To this end, we frame our discussion around a guiding example of classifying satellite images from the Sugar, Fish, Flower, and Gravel Dataset produced for the study of mesocale organization of clouds by Rasp et. al. in 2020 (arXiv:1906:01906). We demonstrate how persistent homology and its vectorization, persistence landscapes, can be used in a workflow with a simple machine learning algorithm to obtain good results, and explore in detail how we can explain this behavior in terms of image-level features. One of the core strengths of persistent homology is how interpretable it can be, so throughout this paper we discuss not just the patterns we find, but why those results are to be expected given what we know about the theory of persistent homology. Our goal is that a reader of this paper will leave with a better understanding of TDA and persistent homology, be able to identify problems and datasets of their own for which persistent homology could be helpful, and gain an understanding of results they obtain from applying the included GitHub example code. △ Less

Submitted 21 July, 2022; originally announced July 2022.

Comments: This work has been submitted to Artificial Intelligence for the Earth Systems (AIES). Copyright in this work may be transferred without further notice

MSC Class: 55N31 (Primary) 62R40 (Secondary) ACM Class: J.2

Formulating Beurling LASSO for Source Separation via Proximal Gradient Iteration

Authors: Sören Schulze, Emily J. King

Abstract: Beurling LASSO generalizes the LASSO problem to finite Radon measures regularized via their total variation. Despite its theoretical appeal, this space is hard to parametrize, which poses an algorithmic challenge. We propose a formulation of continuous convolutional source separation with Beurling LASSO that avoids the explicit computation of the measures and instead employs the duality transform… ▽ More Beurling LASSO generalizes the LASSO problem to finite Radon measures regularized via their total variation. Despite its theoretical appeal, this space is hard to parametrize, which poses an algorithmic challenge. We propose a formulation of continuous convolutional source separation with Beurling LASSO that avoids the explicit computation of the measures and instead employs the duality transform of the proximal mapping. △ Less

Submitted 16 February, 2022; originally announced February 2022.

Sets of Low Correlation Sequences from Cyclotomy

Authors: Jonathan M. Castello, Daniel J. Katz, Jacob M. King, Alain Olavarrieta

Abstract: Low correlation (finite length) sequences are used in communications and remote sensing. One seeks codebooks of sequences in which each sequence has low aperiodic autocorrelation at all nonzero shifts, and each pair of distinct sequences has low aperiodic crosscorrelation at all shifts. An overall criterion of codebook quality is the demerit factor, which normalizes all sequences to unit Euclidean… ▽ More Low correlation (finite length) sequences are used in communications and remote sensing. One seeks codebooks of sequences in which each sequence has low aperiodic autocorrelation at all nonzero shifts, and each pair of distinct sequences has low aperiodic crosscorrelation at all shifts. An overall criterion of codebook quality is the demerit factor, which normalizes all sequences to unit Euclidean norm, sums the squared magnitudes of all the correlations between every pair of sequences in the codebook (including sequences with themselves to cover autocorrelations), and divides by the square of the number of sequences in the codebook. This demerit factor is expected to be $1+1/N-1/(\ell N)$ for a codebook of $N$ randomly selected binary sequences of length $\ell$, but we want demerit factors much closer to the absolute minimum value of $1$. For each $N$ such that there is an $N\times N$ Hadamard matrix, we use cyclotomy to construct an infinite family of codebooks of binary sequences, in which each codebook has $N-1$ sequences of length $p$, where $p$ runs through the primes with $N\mid p-1$. As $p$ tends to infinity, the demerit factor of the codebooks tends to $1+1/(6(N-1))$, and the maximum magnitude of the undesirable correlations (crosscorrelations between distinct sequences and off-peak autocorrelations) is less than a small constant times $\sqrt{p}\log(p)$. This construction also generalizes to nonbinary sequences. △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 52 pages

Solutions with snaking singularities for the fast diffusion equation

Authors: M. Fila, J. R. King, J. Takahashi, E. Yanagida

Abstract: We construct solutions of the fast diffusion equation, which exist for all $t\in\mathbb{R}$ and are singular on the set $Γ(t):= \{ ξ(s) ; -\infty <s \leq ct \}$, $c>0$, where $ξ\in C^3(\mathbb{R};\mathbb{R}^n)$, $n\geq 2$. We also give a precise description of the behavior of the solutions near $Γ(t)$. We construct solutions of the fast diffusion equation, which exist for all $t\in\mathbb{R}$ and are singular on the set $Γ(t):= \{ ξ(s) ; -\infty <s \leq ct \}$, $c>0$, where $ξ\in C^3(\mathbb{R};\mathbb{R}^n)$, $n\geq 2$. We also give a precise description of the behavior of the solutions near $Γ(t)$. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: To appear in Transactions of the American Mathematical Society

Testing isomorphism between tuples of subspaces

Authors: Emily J. King, Dustin G. Mixon, Shayne Waldron

Abstract: Given two tuples of subspaces, can you tell whether the tuples are isomorphic? We develop theory and algorithms to address this fundamental question. We focus on isomorphisms in which the ambient vector space is acted on by either a unitary group or general linear group. If isomorphism also allows permutations of the subspaces, then the problem is at least as hard as graph isomorphism. Otherwise,… ▽ More Given two tuples of subspaces, can you tell whether the tuples are isomorphic? We develop theory and algorithms to address this fundamental question. We focus on isomorphisms in which the ambient vector space is acted on by either a unitary group or general linear group. If isomorphism also allows permutations of the subspaces, then the problem is at least as hard as graph isomorphism. Otherwise, we provide a variety of polynomial-time algorithms with Matlab implementations to test for isomorphism. Keywords: subspace isomorphism, Grassmannian, Bargmann invariants, $H^\ast$-algebras, quivers, graph isomorphism △ Less

Submitted 10 November, 2021; v1 submitted 7 May, 2021; originally announced May 2021.

MSC Class: 14M15; 05C60; 81R05; 16G20

A note on tight projective 2-designs

Authors: Joseph W. Iverson, Emily J. King, Dustin G. Mixon

Abstract: We study tight projective 2-designs in three different settings. In the complex setting, Zauner's conjecture predicts the existence of a tight projective 2-design in every dimension. Pandey, Paulsen, Prakash, and Rahaman recently proposed an approach to make quantitative progress on this conjecture in terms of the entanglement breaking rank of a certain quantum channel. We show that this quantity… ▽ More We study tight projective 2-designs in three different settings. In the complex setting, Zauner's conjecture predicts the existence of a tight projective 2-design in every dimension. Pandey, Paulsen, Prakash, and Rahaman recently proposed an approach to make quantitative progress on this conjecture in terms of the entanglement breaking rank of a certain quantum channel. We show that this quantity is equal to the size of the smallest weighted projective 2-design. Next, in the finite field setting, we introduce a notion of projective 2-designs, we characterize when such projective 2-designs are tight, and we provide a construction of such objects. Finally, in the quaternionic setting, we show that every tight projective 2-design for H^d determines an equi-isoclinic tight fusion frame of d(2d-1) subspaces of R^d(2d+1) of dimension 3. △ Less

Submitted 11 February, 2021; v1 submitted 27 January, 2021; originally announced January 2021.

Grassmannian codes from paired difference sets

Authors: Matthew Fickus, Joseph W. Iverson, John Jasper, Emily J. King

Abstract: An equiangular tight frame (ETF) is a sequence of vectors in a Hilbert space that achieves equality in the Welch bound and so has minimal coherence. More generally, an equichordal tight fusion frame (ECTFF) is a sequence of equi-dimensional subspaces of a Hilbert space that achieves equality in Conway, Hardin and Sloane's simplex bound. Every ECTFF is a type of optimal Grassmannian code, that is,… ▽ More An equiangular tight frame (ETF) is a sequence of vectors in a Hilbert space that achieves equality in the Welch bound and so has minimal coherence. More generally, an equichordal tight fusion frame (ECTFF) is a sequence of equi-dimensional subspaces of a Hilbert space that achieves equality in Conway, Hardin and Sloane's simplex bound. Every ECTFF is a type of optimal Grassmannian code, that is, an optimal packing of equi-dimensional subspaces of a Hilbert space. We construct ECTFFs by exploiting new relationships between known ETFs. Harmonic ETFs equate to difference sets for finite abelian groups. We say that a difference set for such a group is "paired" with a difference set for its Pontryagin dual when the corresponding subsequence of its harmonic ETF happens to be an ETF for its span. We show that every such pair yields an ECTFF. We moreover construct an infinite family of paired difference sets using quadratic forms over the field of two elements. Together this yields two infinite families of real ECTFFs. △ Less

Submitted 9 May, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

MSC Class: 42C15

Uniquely optimal codes of low complexity are symmetric

Authors: Christopher Cox, Emily J. King, Dustin G. Mixon, Hans Parshall

Abstract: We formulate explicit predictions concerning the symmetry of optimal codes in compact metric spaces. This motivates the study of optimal codes in various spaces where these predictions can be tested. We formulate explicit predictions concerning the symmetry of optimal codes in compact metric spaces. This motivates the study of optimal codes in various spaces where these predictions can be tested. △ Less

Submitted 15 September, 2020; v1 submitted 28 August, 2020; originally announced August 2020.

Asymptotic Analysis of a Two-Phase Model of Solid Tumour Growth

Authors: Andrea Genovese de Oliveira, John R. King

Abstract: We investigate avascular tumour growth as a two-phase process consisting of cells and liquid. Based on the one-dimensional continuum moving-boundary model formulated by (Byrne, King, McElwain, Preziosi, Applied Mathematics Letters, 2003, 16, 567-573), we defined boundary conditions for the analogous model of tumour growth in two dimensions. We investigate linear stability of one dimensional time-d… ▽ More We investigate avascular tumour growth as a two-phase process consisting of cells and liquid. Based on the one-dimensional continuum moving-boundary model formulated by (Byrne, King, McElwain, Preziosi, Applied Mathematics Letters, 2003, 16, 567-573), we defined boundary conditions for the analogous model of tumour growth in two dimensions. We investigate linear stability of one dimensional time-dependent solution profiles in the moving-boundary formulation of a limit case (with negligible nutrient consumption and cell drag). For this, we obtain an asymptotic limit of the two-dimensional perturbations for large time (in the case where the tumour is growing) by using the method of matched asymptotic approximations. Having characterised an asymptotic limit of the perturbations, we compare it to the time-dependent solution profile in order to analytically obtain a condition for instability. Numerical simulations are mentioned. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 19 pages, 2 figures

Termination points and homoclinic glueing for a class of inhomogeneous nonlinear ordinary differential equations

Authors: Jack S. Keeler, Mark G. Blyth, John R. King

Abstract: Solutions $u(x)$ to the class of inhomogeneous nonlinear ordinary differential equations taking the form \[u'' + u^2 = αf(x) \] for parameter $α$ are studied. The problem is defined on the $x$ line with decay of both the solution $u(x)$ and the imposed forcing $f(x)$ as $|x| \to \infty $. The rate of decay of $f(x)$ is important and has a strong influence on the structure of the solution space. Th… ▽ More Solutions $u(x)$ to the class of inhomogeneous nonlinear ordinary differential equations taking the form \[u'' + u^2 = αf(x) \] for parameter $α$ are studied. The problem is defined on the $x$ line with decay of both the solution $u(x)$ and the imposed forcing $f(x)$ as $|x| \to \infty $. The rate of decay of $f(x)$ is important and has a strong influence on the structure of the solution space. Three particular forcings are examined primarily: a rectilinear top-hat, a Gaussian, and a Lorentzian, the latter two exhibiting exponential and algebraic decay, respectively, for large $x$. The problem for the top hat can be solved exactly, but for the Gaussian and the Lorentzian it must be computed numerically in general. Calculations suggest that an infinite number of solution branches exist in each case. For the top-hat and the Gaussian the solution branches terminate at a discrete set of $α$ values starting from zero. A general asymptotic description of the solutions near to a termination point is constructed that also provides information on the existence of local fold behaviour. The solution branches for the Lorentzian forcing do not terminate in general. For large $α$ the asymptotic analysis of Keeler, Binder $\&$ Blyth (2018 "On the critical free-surface flow over localised topography", J. Fluid Mech., 832, 73-96) is extended to describe the behaviour on any given solution branch using a method for glueing homoclinic connections. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 31 pages

Multiscale analysis of nutrient uptake by plant roots with sparse distribution of root hairs: Nonstandard scaling

Authors: John R. King, Jakub Köry, Mariya Ptashnyk

Abstract: In this paper we undertake a multiscale analysis of nutrient uptake by plant root hairs, considering different scale relations between the radius of hairs and the distance between them. We combine the method of formal asymptotic expansions and rigorous derivation of macroscopic equations. The former prompt us to study a distinguished limit (which yields a distinct effective equation), allow us to… ▽ More In this paper we undertake a multiscale analysis of nutrient uptake by plant root hairs, considering different scale relations between the radius of hairs and the distance between them. We combine the method of formal asymptotic expansions and rigorous derivation of macroscopic equations. The former prompt us to study a distinguished limit (which yields a distinct effective equation), allow us to determine higher order correctors and provide motivation for the construction of correctors essential for rigorous derivation of macroscopic equations. In the final section, we validate the results of our asymptotic analysis by direct comparison with full-geometry numerical simulations. △ Less

Submitted 10 May, 2021; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: 30 pages, 6 figures, accepted for publication in SIAM Journal on Applied Mathematics

MSC Class: 35Bxx; 35K20; 35Q92; 35K60; 92C80

Learning-Accelerated ADMM for Distributed Optimal Power Flow

Authors: David Biagioni, Peter Graf, Xiangyu Zhang, Ahmed Zamzam, Kyri Baker, Jennifer King

Abstract: We propose a novel data-driven method to accelerate the convergence of Alternating Direction Method of Multipliers (ADMM) for solving distributed DC optimal power flow (DC-OPF) where lines are shared between independent network partitions. Using previous observations of ADMM trajectories for a given system under varying load, the method trains a recurrent neural network (RNN) to predict the conver… ▽ More We propose a novel data-driven method to accelerate the convergence of Alternating Direction Method of Multipliers (ADMM) for solving distributed DC optimal power flow (DC-OPF) where lines are shared between independent network partitions. Using previous observations of ADMM trajectories for a given system under varying load, the method trains a recurrent neural network (RNN) to predict the converged values of dual and consensus variables. Given a new realization of system load, a small number of initial ADMM iterations is taken as input to infer the converged values and directly inject them into the iteration. We empirically demonstrate that the online injection of these values into the ADMM iteration accelerates convergence by a significant factor for partitioned 14-, 118- and 2848-bus test systems under differing load scenarios. The proposed method has several advantages: it maintains the security of private decision variables inherent in consensus ADMM; inference is fast and so may be used in online settings; RNN-generated predictions can dramatically improve time to convergence but, by construction, can never result in infeasible ADMM subproblems; it can be easily integrated into existing software implementations. While we focus on the ADMM formulation of distributed DC-OPF in this paper, the ideas presented are naturally extended to other distributed optimization problems. △ Less

Submitted 15 September, 2020; v1 submitted 7 November, 2019; originally announced November 2019.

Game of Sloanes: Best known packings in complex projective space

Authors: John Jasper, Emily J. King, Dustin G. Mixon

Abstract: It is often of interest to identify a given number of points in projective space such that the minimum distance between any two points is as large as possible. Such configurations yield representations of data that are optimally robust to noise and erasures. The minimum distance of an optimal configuration not only depends on the number of points and the dimension of the projective space, but also… ▽ More It is often of interest to identify a given number of points in projective space such that the minimum distance between any two points is as large as possible. Such configurations yield representations of data that are optimally robust to noise and erasures. The minimum distance of an optimal configuration not only depends on the number of points and the dimension of the projective space, but also on whether the space is real or complex. For decades, Neil Sloane's online Table of Grassmannian Packings has been the go-to resource for putatively or provably optimal packings of points in real projective spaces. Using a variety of numerical algorithms, we have created a similar table for complex projective spaces. This paper surveys the relevant literature, explains some of the methods used to generate the table, presents some new putatively optimal packings, and invites the reader to competitively contribute improvements to this table. △ Less

Submitted 17 July, 2019; originally announced July 2019.

MSC Class: 42C15; 51F99; 14M15

Constructing Subspace Packings from Other Packings

Authors: Emily J. King

Abstract: The desirable properties when constructing collections of subspaces often include the algebraic constraint that the projections onto the subspaces yield a resolution of the identity like the projections onto lines spanned by vectors of an orthonormal basis (the so-called tightness condition) and the geometric constraint that the subspaces form an optimal packing of the Grassmannian, again like the… ▽ More The desirable properties when constructing collections of subspaces often include the algebraic constraint that the projections onto the subspaces yield a resolution of the identity like the projections onto lines spanned by vectors of an orthonormal basis (the so-called tightness condition) and the geometric constraint that the subspaces form an optimal packing of the Grassmannian, again like the one-dimensional subspaces spanned by vectors in an orthonormal basis. In this article a generalization of related constructions which use known packings to build new configurations and which appear in numerous forms in the literature is given, as well as the characterization of a long list of desirable algebraic and geometric properties which the construction preserves. Another construction based on subspace complementation is similarly analyzed. While many papers on subspace packings focus only on so-called equiisoclinic or equichordal arrangements, attention is also given to other configurations like those which saturate the orthoplex bound and thus are optimal but lie outside of the parameter regime where equiisoclinic and equichordal packings can occur. Keywords: fusion frame, Grassmannian packing, simplex bound, orthoplex bound, equichordal, strongly simplicial, equiisoclinic △ Less

Submitted 3 April, 2021; v1 submitted 17 February, 2019; originally announced February 2019.

MSC Class: 42C15; 14M15

2- and 3-Covariant Equiangular Tight Frames

Authors: Emily J. King

Abstract: Equiangular tight frames (ETFs) are configurations of vectors which are optimally geometrically spread apart and provide resolutions of the identity. Many known constructions of ETFs are group covariant, meaning they result from the action of a group on a vector, like all known constructions of symmetric, informationally complete, positive operator-valued measures. In this short article, some resu… ▽ More Equiangular tight frames (ETFs) are configurations of vectors which are optimally geometrically spread apart and provide resolutions of the identity. Many known constructions of ETFs are group covariant, meaning they result from the action of a group on a vector, like all known constructions of symmetric, informationally complete, positive operator-valued measures. In this short article, some results characterizing the transitivity of the symmetry groups of ETFs will be presented as well as a proof that an infinite class of so-called Gabor-Steiner ETFs are roux lines, where roux lines are a generalization of doubly transitive lines. △ Less

Submitted 21 May, 2019; v1 submitted 29 January, 2019; originally announced January 2019.

MSC Class: 05E18; 05E30; 42C15

Moving boundary problems for quasi-steady conduction limited melting

Authors: Liam C. Morrow, John R. King, Timothy J. Moroney, Scott W. McCue

Abstract: The problem of melting a crystal dendrite is modelled as a quasi-steady Stefan problem. By employing the Baiocchi transform, asymptotic results are derived in the limit that the crystal melts completely, extending previous results that hold for a special class of initial and boundary conditions. These new results, together with predictions for whether the crystal pinches off and breaks into two, a… ▽ More The problem of melting a crystal dendrite is modelled as a quasi-steady Stefan problem. By employing the Baiocchi transform, asymptotic results are derived in the limit that the crystal melts completely, extending previous results that hold for a special class of initial and boundary conditions. These new results, together with predictions for whether the crystal pinches off and breaks into two, are supported by numerical calculations using the level set method. The effects of surface tension are subsequently considered, leading to a canonical problem for near-complete-melting which is studied in linear stability terms and then solved numerically. Our study is motivated in part by experiments undertaken as part of the Isothermal Dendritic Growth Experiment, in which dendritic crystals of pivalic acid were melted in a microgravity environment: these crystals were found to be prolate spheroidal in shape, with an aspect ratio initially increasing with time then rather abruptly decreasing to unity. By including a kinetic undercooling-type boundary condition in addition to surface tension, our model suggests the aspect ratio of a melting crystal can reproduce the same non-monotonic behaviour as that which was observed experimentally. △ Less

Submitted 7 July, 2019; v1 submitted 4 January, 2019; originally announced January 2019.

Comments: 26 pages, 8 figures

MSC Class: 35R37; 80A22; 65M99

Optimal arrangements of classical and quantum states with limited purity

Authors: Bernhard Bodmann, Emily J. King

Abstract: We consider sets of trace-normalized non-negative operators in Hilbert-Schmidt balls that maximize their mutual Hilbert-Schmidt distance; these are optimal arrangements in the sets of purity-limited classical or quantum states on a finite-dimensional Hilbert space. Classical states are understood to be represented by diagonal matrices, with the diagonal entries forming a probability vector. We als… ▽ More We consider sets of trace-normalized non-negative operators in Hilbert-Schmidt balls that maximize their mutual Hilbert-Schmidt distance; these are optimal arrangements in the sets of purity-limited classical or quantum states on a finite-dimensional Hilbert space. Classical states are understood to be represented by diagonal matrices, with the diagonal entries forming a probability vector. We also introduce the concept of spectrahedron arrangements which provides a unified framework for classical and quantum arrangements and the flexibility to define new types of optimal packings. Continuing a prior work, we combine combinatorial structures and line packings associated with frames to arrive at optimal arrangements of higher-rank quantum states. One new construction that is presented involves generating an optimal arrangement we call a Gabor-Steiner equiangular tight frame as the orbit of a projective representation of the Weyl-Heisenberg group over any finite abelian group. The minimal sets of linearly dependent vectors, the so-called binder, of the Gabor-Steiner equiangular tight frames are then characterized; under certain conditions these form combinatorial block designs and in one case generate a new class of block designs. The projections onto the span of minimal linearly dependent sets in the Gabor-Steiner equiangular tight frame are then used to generate further optimal spectrahedron arrangements. △ Less

Submitted 10 January, 2020; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: 39 pages

MSC Class: 81P45; 05Bxx; 42C15

Type II Singularities on complete non-compact Yamabe flow

Authors: Beomjun Choi, Panagiota Daskalopoulos, John King

Abstract: This work concerns with the existence and detailed asymptotic analysis of Type II singularities for solutions to complete non-compact conformally flat Yamabe flow with cylindrical behavior at infinity. We provide the specific blow-up rate of the maximum curvature and show that the solution converges, after blowing-up around the curvature maximum points, to a rotationally symmetric steady soliton.… ▽ More This work concerns with the existence and detailed asymptotic analysis of Type II singularities for solutions to complete non-compact conformally flat Yamabe flow with cylindrical behavior at infinity. We provide the specific blow-up rate of the maximum curvature and show that the solution converges, after blowing-up around the curvature maximum points, to a rotationally symmetric steady soliton. It is the first time that the steady soliton is shown to be a finite time singularity model of the Yamabe flow. △ Less

Submitted 14 September, 2018; originally announced September 2018.

Comments: 36 pages, 2 figures

MSC Class: 53C44; 35R01

Equiangular tight frames that contain regular simplices

Authors: Matthew Fickus, John Jasper, Emily J. King, Dustin G. Mixon

Abstract: An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. A regular simplex is a special type of ETF in which the number of vectors is one more than the dimension of the space they span. In this paper, we consider ETFs that contain a regular simplex, that is, have the property that a subset of its vectors forms a regular simplex. As we explain, such ETFs are charac… ▽ More An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. A regular simplex is a special type of ETF in which the number of vectors is one more than the dimension of the space they span. In this paper, we consider ETFs that contain a regular simplex, that is, have the property that a subset of its vectors forms a regular simplex. As we explain, such ETFs are characterized as those that achieve equality in a certain well-known bound from the theory of compressed sensing. We then consider the so-called binder of such an ETF, namely the set of all regular simplices that it contains. We provide a new algorithm for computing this binder in terms of products of entries of the ETF's Gram matrix. In certain circumstances, we show this binder can be used to produce a particularly elegant Naimark complement of the corresponding ETF. Other times, an ETF is a disjoint union of regular simplices, and we show this leads to a certain type of optimal packing of subspaces known as an equichordal tight fusion frame. We conclude by considering the extent to which these ideas can be applied to numerous known constructions of ETFs, including harmonic ETFs. △ Less

Submitted 19 November, 2017; originally announced November 2017.

MSC Class: 42C15

Bifurcations of self-similar solutions for reversing interfaces in the slow diffusion equation with strong absorption

Authors: Jamie M. Foster, Peter Gysbers, John R. King, Dmitry E. Pelinovsky

Abstract: Bifurcations of self-similar solutions for reversing interfaces are studied in the slow diffusion equation with strong absorption. The self-similar solutions bifurcate from the time-independent solutions for standing interfaces. We show that such bifurcations occur at the bifurcation points, at which the confluent hypergeometric functions satisfying Kummer's differential equation is truncated into… ▽ More Bifurcations of self-similar solutions for reversing interfaces are studied in the slow diffusion equation with strong absorption. The self-similar solutions bifurcate from the time-independent solutions for standing interfaces. We show that such bifurcations occur at the bifurcation points, at which the confluent hypergeometric functions satisfying Kummer's differential equation is truncated into a finite polynomial. A two-scale asymptotic method is employed to obtain the asymptotic dependencies of the self-similar reversing interfaces near the bifurcation points. The asymptotic results are shown to be in excellent agreement with numerical computations. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: 20 pages, 4 figures

A theoretical guarantee for data completion via geometric separation

Authors: Emily J. King, James M. Murphy

Abstract: Scientific and commercial data is often incomplete. Recovery of the missing information is an important pre-processing step in data analysis. Real-world data can in many cases be represented as a superposition of two or more different types of structures. For example, images may often be decomposed into texture and cartoon-like components. When incomplete data comes from a distribution well-repres… ▽ More Scientific and commercial data is often incomplete. Recovery of the missing information is an important pre-processing step in data analysis. Real-world data can in many cases be represented as a superposition of two or more different types of structures. For example, images may often be decomposed into texture and cartoon-like components. When incomplete data comes from a distribution well-represented as a mixture of different structures, a sparsity-based method combining concepts from data completion and data separation can successfully recover the missing data. This short note presents a theoretical guarantee for success of the combined separation and completion approach which generalizes proofs from the distinct problems. △ Less

Submitted 30 May, 2017; originally announced May 2017.

New Constructions and Characterizations of Flat and Almost Flat Grassmannian Fusion Frames

Authors: Emily J. King

Abstract: Configurations of subspaces like equichordal and equiisoclinic tight fusion frames, which are in some sense optimally spread apart and which also have reconstruction properties emulating those of orthonormal bases, are useful in various applications, such as wireless communications and quantum information theory. In this paper, a new construction of infinite classes of equichordal tight fusion fra… ▽ More Configurations of subspaces like equichordal and equiisoclinic tight fusion frames, which are in some sense optimally spread apart and which also have reconstruction properties emulating those of orthonormal bases, are useful in various applications, such as wireless communications and quantum information theory. In this paper, a new construction of infinite classes of equichordal tight fusion frames built on semiregular divisible difference sets is presented. Sometimes this construction yields an equiisoclinic packing. Each of the constructed fusion frames is shown to have both a flat representation and a sparse representation. Furthermore, integrality conditions which characterize when equichordal and equiisoclinic fusion frames can have orthonormal bases with entries in a subring of the algebraic integers are proven. Keywords: fusion frame, Grassmannian packing, difference sets, simplex bound, equichordal, equiisoclinic △ Less

Submitted 7 May, 2021; v1 submitted 17 December, 2016; originally announced December 2016.

MSC Class: 42C15; 05B10; 14M15

New Upper Bounds for Equiangular Lines by Pillar Decomposition

Authors: Emily J. King, Xiaoxian Tang

Abstract: We derive a procedure for computing an upper bound on the number of equiangular lines in various Euclidean vector spaces by generalizing the classical pillar decomposition developed by (Lemmens and Seidel, 1973); namely, we use linear algebra and combinatorial arguments to bound the number of vectors within an equiangular set which have inner products of certain signs with a negative clique. After… ▽ More We derive a procedure for computing an upper bound on the number of equiangular lines in various Euclidean vector spaces by generalizing the classical pillar decomposition developed by (Lemmens and Seidel, 1973); namely, we use linear algebra and combinatorial arguments to bound the number of vectors within an equiangular set which have inner products of certain signs with a negative clique. After projection and rescaling, such sets are also certain spherical two-distance sets, and semidefinite programming techniques may be used to bound the size. Applying our method, we prove new relative bounds for the angle arccos(1/5). Experiments show that our relative bounds for all possible angles are considerably less than the known SDP bounds for a range of larger dimension r. Our computational results also show an explicit bound on the size of a set of equiangular lines regardless of angle, which is strictly less than the well-known Gerzon's bound if r+2 is not a square of an odd number. △ Less

Submitted 24 May, 2018; v1 submitted 10 June, 2016; originally announced June 2016.

Comments: 32 pages, 2 figures, 2 tables, 4 appendixes with 1 webpage for supplementary materials

MSC Class: 05B20; 05B40

Pattern formation in a pseudo-parabolic equation

Authors: C. M. Cuesta, J. R. King

Abstract: We address the propagation into an unstable state of a localised disturbance in a forward-backward diffusion pseudo-parabolic equation. Three asymptotic regimes are distinguished as t tends to infinity, the first being a regime ahead of the propagating disturbance that is dominated by the linearised equation. The analysis of this leads to the determination of the speed of the leading edge of the p… ▽ More We address the propagation into an unstable state of a localised disturbance in a forward-backward diffusion pseudo-parabolic equation. Three asymptotic regimes are distinguished as t tends to infinity, the first being a regime ahead of the propagating disturbance that is dominated by the linearised equation. The analysis of this leads to the determination of the speed of the leading edge of the propagating disturbance and implies that in the second, transition, regime the solution takes the form of a modulated travelling wave. In a third regime the solution approaches a nearly periodic steady state, where the period is obtained on matching with the modulated travelling wave. Detailed analysis of this pattern is also presented. The analysis is completed by contrasting the formal asymptotic description of the solution with numerical computations. It is assumed for the above analysis that the initial disturbance decays faster than an exponential rate; in this case a critical exponential decay rate at the leading edge of the front and propagation speed are found. We investigate the wave speed selection mechanism for exponentially decaying initial conditions. It is found that whenever the initial data behave as a real exponential (no matter how slow the rate of the decay) the speed selected is that selected by fast decaying initial conditions. However, for initial conditions with a complex exponential we find regimes of the decay rate and the wavelength for which the front propagates at a faster wave speed. This is investigated numerically and is worth emphasising since it gives a different scenario for wave speed behaviour than that exhibited by well-studied semilinear reaction-diffusion equations: there are initial conditions with exponential decay faster than the critical one for which the front propagates with a speed faster than the critical one. △ Less

Submitted 26 May, 2016; originally announced May 2016.

New type I ancient compact solutions of the Yamabe flow

Authors: Panagiota Daskalopoulos, Manuel del Pino, John King, Natasa Sesum

Abstract: We construct new ancient compact solutions to the Yamabe flow. Our solutions are rotationally symmetric and converge, as $t \to -\infty$, to two self-similar complete non-compact solutions to the Yamabe flow moving in opposite directions. They are type I ancient solutions. We construct new ancient compact solutions to the Yamabe flow. Our solutions are rotationally symmetric and converge, as $t \to -\infty$, to two self-similar complete non-compact solutions to the Yamabe flow moving in opposite directions. They are type I ancient solutions. △ Less

Submitted 20 January, 2016; originally announced January 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1509.08803

MSC Class: 53C44

Type I ancient compact solutions of the Yamabe flow

Authors: Panagiota Daskalopoulos, Manuel del Pino, John King, Natasa Sesum

Abstract: We construct new ancient compact solutions to the Yamabe flow. Our solutions are rotationally symmetric and converge, as $t \to -\infty$, to two self-similar complete non-compact solutions to the Yamabe flow moving in opposite directions. They are type I ancient solutions. We construct new ancient compact solutions to the Yamabe flow. Our solutions are rotationally symmetric and converge, as $t \to -\infty$, to two self-similar complete non-compact solutions to the Yamabe flow moving in opposite directions. They are type I ancient solutions. △ Less

Submitted 29 September, 2015; originally announced September 2015.

MSC Class: 53C44

Lie and conditional symmetries of a class of nonlinear (1+2)-dimensional boundary value problems

Authors: Roman Cherniha, John R King

Abstract: A new definition of conditional invariance for boundary value problems involving a wide range of boundary conditions (including initial value problems as a special case) is proposed. It is shown that other definitions worked out in order to find Lie symmetries of boundary value problems with standard boundary conditions, follow as particular cases from our definition. Simple examples of direct app… ▽ More A new definition of conditional invariance for boundary value problems involving a wide range of boundary conditions (including initial value problems as a special case) is proposed. It is shown that other definitions worked out in order to find Lie symmetries of boundary value problems with standard boundary conditions, follow as particular cases from our definition. Simple examples of direct applicability to the nonlinear problems arising in applications are demonstrated. Moreover, the successful application of the definition for the Lie and conditional symmetry classification of a class of (1+2)-dimensional nonlinear boundary value problems governed by the nonlinear diffusion equation in a semi-infinite domain is realised. In particular, it is proved that there is a special exponent, $k=-2$, for the power diffusivity $u^k$ when the problem in question with non-vanishing flux on the boundary admits additional Lie symmetry operators compared to the case $k\not=-2$. In order to demonstrate the applicability of the symmetries derived, they are used for reducing the nonlinear problems with power diffusivity $u^k$ and a constant non-zero flux on the boundary (such problems are common in applications and describing a wide range of phenomena) to (1+1)-dimensional problems. The structure and properties of the problems obtained are briefly analysed. Finally, some results demonstrating how Lie invariance of the boundary value problem in question depends on geometry of the domain are presented. △ Less

Submitted 22 December, 2014; originally announced December 2014.

Comments: 25 pages; the main results were presented at the Conference Symmetry, Methods, Applications and Related Fields, Vancouver, Canada, May 13-16, 2014

MSC Class: 35K5; 22E70; 80A20

Orientation-dependent pinning and homoclinic snaking on a planar lattice

Authors: Andrew Dean, Paul Matthews, Stephen Cox, John King

Abstract: We study homoclinic snaking of one-dimensional, localised states on two-dimensional, bistable lattices via the method of exponential asymptotics. Within a narrow region of parameter space, fronts connecting the two stable states are pinned to the underlying lattice. Localised solutions are formed by matching two such stationary fronts back-to-back; depending on the orientation relative to the latt… ▽ More We study homoclinic snaking of one-dimensional, localised states on two-dimensional, bistable lattices via the method of exponential asymptotics. Within a narrow region of parameter space, fronts connecting the two stable states are pinned to the underlying lattice. Localised solutions are formed by matching two such stationary fronts back-to-back; depending on the orientation relative to the lattice, the solution branch may `snake' back and forth within the pinning region via successive saddle-node bifurcations. Standard continuum approximations in the weakly nonlinear limit (equivalently, the limit of small mesh size) do not exhibit this behaviour, due to the resultant leading-order reaction-diffusion equation lacking a periodic spatial structure. By including exponentially small effects hidden beyond all algebraic orders in the asymptotic expansion, we find that exponentially small but exponentially growing terms are switched on via error function smoothing near Stokes lines. Eliminating these otherwise unbounded beyond-all-orders terms selects the origin (modulo the mesh size) of the front, and matching two fronts together yields a set of equations describing the snaking bifurcation diagram. This is possible only within an exponentially small region of parameter space---the pinning region. Moreover, by considering fronts orientated at an arbitrary angle $ψ$ to the $x$-axis, we show that the width of the pinning region is non-zero only if $\tanψ$ is rational or infinite. This is the first time a formula explicitly relating the orientation of a front to the width of its pinning region has been derived. The asymptotic results are compared with numerical calculations, with good agreement. △ Less

Submitted 8 December, 2014; v1 submitted 17 July, 2014; originally announced July 2014.

Rate of Convergence to Barenblatt Profiles for the Fast Diffusion Equation with a Critical Exponent

Authors: Marek Fila, John R. King, Michael Winkler

Abstract: We study the asymptotic behaviour near extinction of positive solutions of the Cauchy problem for the fast diffusion equation with a critical exponent. After a suitable rescaling which yields a non--linear Fokker--Planck equation, we find a continuum of algebraic rates of convergence to a self--similar profile. These rates depend explicitly on the spatial decay rates of initial data. This improves… ▽ More We study the asymptotic behaviour near extinction of positive solutions of the Cauchy problem for the fast diffusion equation with a critical exponent. After a suitable rescaling which yields a non--linear Fokker--Planck equation, we find a continuum of algebraic rates of convergence to a self--similar profile. These rates depend explicitly on the spatial decay rates of initial data. This improves a previous result on slow convergence for the critical fast diffusion equation ({\sc Bonforte et al}. in Arch Rat Mech Anal 196:631--680, 2010) and provides answers to some open problems. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Extinction profile of complete non-compact solutions to the Yamabe flow

Authors: Panagiota Daskalopoulos, John King, Natasa Sesum

Abstract: This work addresses the {\em singularity formation} of complete non-compact solutions to the conformally flat Yamabe flow whose conformal factors have {\em cylindrical behavior at infinity}. Their singularity profiles happen to be {\em Yamabe solitons}, which are {\em self-similar solutions} to the fast diffusion equation satisfied by the conformal factor of the evolving metric. The self-similar p… ▽ More This work addresses the {\em singularity formation} of complete non-compact solutions to the conformally flat Yamabe flow whose conformal factors have {\em cylindrical behavior at infinity}. Their singularity profiles happen to be {\em Yamabe solitons}, which are {\em self-similar solutions} to the fast diffusion equation satisfied by the conformal factor of the evolving metric. The self-similar profile is determined by the second order asymptotics at infinity of the initial data which is matched with that of the corresponding self-similar solution. Solutions may become extinct at the extinction time $T$ of the cylindrical tail or may live longer than $T$. In the first case the singularity profile is described by a {\em Yamabe shrinker} that becomes extinct at time $T$. In the second case, the singularity profile is described by a {\em singular} Yamabe shrinker slightly before $T$ and by a matching {\em Yamabe expander} slightly after $T$ . △ Less

Submitted 4 June, 2013; originally announced June 2013.

MSC Class: 53C44

Smooth Parseval frames for $L^2(\mathbb{R})$ and generalizations to $L^2(\mathbb{R}^d)$

Authors: Emily J. King

Abstract: Wavelet set wavelets were the first examples of wavelets that may not have associated multiresolution analyses. Furthermore, they provided examples of complete orthonormal wavelet systems in $L^2(\mathbb{R}^d)$ which only require a single generating wavelet. Although work had been done to smooth these wavelets, which are by definition discontinuous on the frequency domain, nothing had been explici… ▽ More Wavelet set wavelets were the first examples of wavelets that may not have associated multiresolution analyses. Furthermore, they provided examples of complete orthonormal wavelet systems in $L^2(\mathbb{R}^d)$ which only require a single generating wavelet. Although work had been done to smooth these wavelets, which are by definition discontinuous on the frequency domain, nothing had been explicitly done over $\mathbb{R}^d$, $d >1$. This paper, along with another one cowritten by the author, finally addresses this issue. Smoothing does not work as expected in higher dimensions. For example, Bin Han's proof of existence of Schwartz class functions which are Parseval frame wavelets and approximate Parseval frame wavelet set wavelets does not easily generalize to higher dimensions. However, a construction of wavelet sets in $\hat{\mathbb{R}}^d$ which may be smoothed is presented. Finally, it is shown that a commonly used class of functions cannot be the result of convolutional smoothing of a wavelet set wavelet. △ Less

Submitted 29 October, 2012; originally announced October 2012.

Comments: 15 pages

MSC Class: 42C40; 42B99; 46A11

Analysis of Inpainting via Clustered Sparsity and Microlocal Analysis

Authors: Emily J. King, Gitta Kutyniok, Xiaosheng Zhuang

Abstract: Recently, compressed sensing techniques in combination with both wavelet and directional representation systems have been very effectively applied to the problem of image inpainting. However, a mathematical analysis of these techniques which reveals the underlying geometrical content is completely missing. In this paper, we provide the first comprehensive analysis in the continuum domain utilizing… ▽ More Recently, compressed sensing techniques in combination with both wavelet and directional representation systems have been very effectively applied to the problem of image inpainting. However, a mathematical analysis of these techniques which reveals the underlying geometrical content is completely missing. In this paper, we provide the first comprehensive analysis in the continuum domain utilizing the novel concept of clustered sparsity, which besides leading to asymptotic error bounds also makes the superior behavior of directional representation systems over wavelets precise. First, we propose an abstract model for problems of data recovery and derive error bounds for two different recovery schemes, namely l_1 minimization and thresholding. Second, we set up a particular microlocal model for an image governed by edges inspired by seismic data as well as a particular mask to model the missing data, namely a linear singularity masked by a horizontal strip. Applying the abstract estimate in the case of wavelets and of shearlets we prove that -- provided the size of the missing part is asymptotically to the size of the analyzing functions -- asymptotically precise inpainting can be obtained for this model. Finally, we show that shearlets can fill strictly larger gaps than wavelets in this model. △ Less

Submitted 28 November, 2012; v1 submitted 12 June, 2012; originally announced June 2012.

Comments: 49 pages, 9 Figures

MSC Class: 41A65; 68P30; 68U10

Generating k-Facets by Induction on the Dimension

Authors: James King

Abstract: Let S be a set of n >= d points in general position in R^d. An oriented (d-1)-simplex spanned by d points from S is called a k-facet iff the positive side of its affine hull contains exactly k points from S. A (<=k)-facet is simply an i-facet for some i <= k. Let E_k(S) denote the number of (<=k)-facets. Of particular interest is the problem of bounding E_k(S) in terms of n, d, and k. We present… ▽ More Let S be a set of n >= d points in general position in R^d. An oriented (d-1)-simplex spanned by d points from S is called a k-facet iff the positive side of its affine hull contains exactly k points from S. A (<=k)-facet is simply an i-facet for some i <= k. Let E_k(S) denote the number of (<=k)-facets. Of particular interest is the problem of bounding E_k(S) in terms of n, d, and k. We present and analyze a method of generating all oriented d-tuples of points from S (and therefore all k-facets for 0 <= k <= n-d) that is inductive with regard to the dimension d. The motivation behind this is to shed light on the problem of bounding E_k(S) by drawing parallels with a simple method of sampling from certain beta distributions. In particular, we aim to provide a fresh perspective on a difficult open problem, the Generalized Upper Bound Conjecture proposed by Eckhoff, Linhart, and Welzl. After presenting our analysis of the generation technique, we apply it to obtain a simple proof of a lower bound for E_k(S). This bound was known for d=2 but holds for a wider range of k than previous bounds when d >= 3. △ Less

Submitted 13 January, 2017; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: This paper has been withdrawn pending publication of errata due to a crucial error in the proof of Theorem 4. We believe that the result is true, but the proof is not correct

Random hyperplane search trees in high dimensions

Authors: Luc Devroye, James King

Abstract: Given a set S of n \geq d points in general position in R^d, a random hyperplane split is obtained by sampling d points uniformly at random without replacement from S and splitting based on their affine hull. A random hyperplane search tree is a binary space partition tree obtained by recursive application of random hyperplane splits. We investigate the structural distributions of such random tree… ▽ More Given a set S of n \geq d points in general position in R^d, a random hyperplane split is obtained by sampling d points uniformly at random without replacement from S and splitting based on their affine hull. A random hyperplane search tree is a binary space partition tree obtained by recursive application of random hyperplane splits. We investigate the structural distributions of such random trees with a particular focus on the growth with d. A blessing of dimensionality arises--as d increases, random hyperplane splits more closely resemble perfectly balanced splits; in turn, random hyperplane search trees more closely resemble perfectly balanced binary search trees. We prove that, for any fixed dimension d, a random hyperplane search tree storing n points has height at most (1 + O(1/sqrt(d))) log_2 n and average element depth at most (1 + O(1/d)) log_2 n with high probability as n \rightarrow \infty. Further, we show that these bounds are asymptotically optimal with respect to d. △ Less

Submitted 2 June, 2011; originally announced June 2011.

Comments: 19 pages, 4 figures

MSC Class: 68Q87

Harmonic Analysis and Qualitative Uncertainty Principle

Authors: Ji King

Abstract: This paper investigates the mathematical nature of qualitative uncertainty principle (QUP), which plays an important role in mathematics, physics and engineering fields. Consider a 3-tuple (K, H1, H2) that K: H1 -> H2 is an integral operator. Suppose a signal f in H1, Ω1 and Ω2 are domains on which f, Kf define respectively. Does this signal f vanish if |Σ(f)|<|Ω1|and|Σ(Kf)|<|Ω2|? The excesses and… ▽ More This paper investigates the mathematical nature of qualitative uncertainty principle (QUP), which plays an important role in mathematics, physics and engineering fields. Consider a 3-tuple (K, H1, H2) that K: H1 -> H2 is an integral operator. Suppose a signal f in H1, Ω1 and Ω2 are domains on which f, Kf define respectively. Does this signal f vanish if |Σ(f)|<|Ω1|and|Σ(Kf)|<|Ω2|? The excesses and deficiencies of integral kernel K(ω, t) are found to be greatly related to this general formulation of QUP. The complete point theory of integral kernel is so established to deal with the QUP. This theory addresses the density and linear independence of integral kernels. Some algebraic and geometric properties of complete points are presented. It is shown that the satisfaction of QUP depends on the existence of some complete points. By recognizing complete points of their corresponding integral kernels, the QUP with Fourier transform, Wigner-Ville distribution, Gabor transform and wavelet are studied. It is shown the QUP only holds for good behaved integral operators. An investigation of full violation of QUP shows that L2 space is large for high resolution harmonic analysis. And the invertible linear integral transforms whose kernels are complete in L2 probably lead to the satisfaction of QUP. It indicates the performance limitation of linear integral transforms in harmonic analysis. Two possible ways bypassing uncertainty principle, nonlinear method and sparse representation, are thus suggested. The notion of operator family is developed and is applied to understand remarkable performances of recent sparse representation. △ Less

Submitted 8 August, 2010; originally announced August 2010.

Comments: 108 pages,no figures

MSC Class: 42Cxx(Primary); 94A12; 46N50 (Secondary)

Travelling-wave analysis of a model describing tissue degradation by bacteria

Authors: Danielle Hilhorst, John R. King, Matthias Röger

Abstract: We study travelling-wave solutions for a reaction-diffusion system arising as a model for host-tissue degradation by bacteria. This system consists of a parabolic equation coupled with an ordinary differential equation. For large values of the `degradation-rate parameter' solutions are well approximated by solutions of a Stefan-like free boundary problem, for which travelling-wave solutions can… ▽ More We study travelling-wave solutions for a reaction-diffusion system arising as a model for host-tissue degradation by bacteria. This system consists of a parabolic equation coupled with an ordinary differential equation. For large values of the `degradation-rate parameter' solutions are well approximated by solutions of a Stefan-like free boundary problem, for which travelling-wave solutions can be found explicitly. Our aim is to prove the existence of travelling waves for all sufficiently large wave-speeds for the original reaction-diffusion system and to determine the minimal speed. We prove that for all sufficiently large degradation rates the minimal speed is identical to the minimal speed of the limit problem. In particular, in this parameter range, nonlinear selection of the minimal speed occurs. △ Less

Submitted 28 February, 2007; originally announced February 2007.

Comments: 15 pages, 3 figures

MSC Class: 35K57; 92E20; 35B25; 80A22

A change-of-coordinates from Geometry to Algebra, applied to Brick Tilings

Authors: Jonathan L. King

Abstract: A proof is sketched of the Polynomial Conjecture of the author (circulated as preprint "Brick Tiling and Monotone Boolean Functions", available at the http://www.math.ufl.edu/~squash/tilingstuff.html url) which says that the family of minimal tilable-boxes grows polynomially with dimension. An important ingredient of the argument is translating the problem from its finite-dimensional geometric f… ▽ More A proof is sketched of the Polynomial Conjecture of the author (circulated as preprint "Brick Tiling and Monotone Boolean Functions", available at the http://www.math.ufl.edu/~squash/tilingstuff.html url) which says that the family of minimal tilable-boxes grows polynomially with dimension. An important ingredient of the argument is translating the problem from its finite-dimensional geometric framework to the algebraic setting of an infinite-dimensional lattice. △ Less

Submitted 29 September, 1998; originally announced September 1998.

Comments: 18 pages, 3 figures. Will appear in the proceedings of the First International Conference on Semigroups & Algebraic Engineering, held in Aizu-Wakamatsu City, Japan, in March 1997

MSC Class: 05B45