Showing 1–30 of 30 results for author: Smart, K

Optimization of array encoding for ultrasound imaging

Authors: Jacob Spainhour, Korben Smart, Stephen Becker, Nick Bottenus

Abstract: Objective: The transmit encoding model for synthetic aperture imaging is a robust and flexible framework for understanding the effects of acoustic transmission on ultrasound image reconstruction. Our objective is to use machine learning (ML) to construct scanning sequences, parameterized by time delays and apodization weights, that produce high-quality B-mode images. Approach: We use a custom ML m… ▽ More Objective: The transmit encoding model for synthetic aperture imaging is a robust and flexible framework for understanding the effects of acoustic transmission on ultrasound image reconstruction. Our objective is to use machine learning (ML) to construct scanning sequences, parameterized by time delays and apodization weights, that produce high-quality B-mode images. Approach: We use a custom ML model in PyTorch with simulated RF data from Field II to probe the space of possible encoding sequences for those that minimize a loss function that describes image quality. This approach is made computationally feasible by a novel formulation of the derivative for delay-and-sum beamforming. Main Results: When trained for a specified experimental setting (imaging domain, hardware restrictions, etc.), our ML model produces optimized encoding sequences that, when deployed in the REFoCUS imaging framework, improve a number of standard quality metrics over conventional sequences including resolution, field of view, and contrast. We demonstrate these results experimentally on both wire targets and a tissue-mimicking phantom. Significance: This work demonstrates that the set of commonly used encoding schemes represent only a narrow subset of those available. Additionally, it demonstrates the value for ML tasks in synthetic transmit aperture imaging to consider the beamformer within the model, instead of purely as a post-processing step. △ Less

Submitted 20 June, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

Comments: 31 pages, 12 figures

ACM Class: J.3

Journal ref: Phys. Med. Biol. 69 125024 (2024)

Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies

Authors: James Paul Mason, Alexandra Werth, Colin G. West, Allison A. Youngblood, Donald L. Woodraska, Courtney Peck, Kevin Lacjak, Florian G. Frick, Moutamen Gabir, Reema A. Alsinan, Thomas Jacobsen, Mohammad Alrubaie, Kayla M. Chizmar, Benjamin P. Lau, Lizbeth Montoya Dominguez, David Price, Dylan R. Butler, Connor J. Biron, Nikita Feoktistov, Kai Dewey, N. E. Loomis, Michal Bodzianowski, Connor Kuybus, Henry Dietrick, Aubrey M. Wolfe , et al. (977 additional authors not shown)

Abstract: Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th… ▽ More Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 1,002 authors, 14 pages, 4 figures, 3 tables, published by The Astrophysical Journal on 2023-05-09, volume 948, page 71

Random band matrix localization by scalar fluctuations

Authors: Nixia Chen, Charles K Smart

Abstract: We show the eigenvectors of a Gaussian random band matrix are localized when the band width is less than the 1/4 power of the matrix size. Our argument is essentially an optimized version of Schenker's proof of the 1/8 exponent. We show the eigenvectors of a Gaussian random band matrix are localized when the band width is less than the 1/4 power of the matrix size. Our argument is essentially an optimized version of Schenker's proof of the 1/8 exponent. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: 9 pages

An ultra-wide bandwidth (704 to 4032 MHz) receiver for the Parkes radio telescope

Authors: G. Hobbs, R. N. Manchester, A. Dunning, A. Jameson, P. Roberts, D. George, J. A. Green, J. Tuthill, L. Toomey, J. F. Kaczmarek, S. Mader, M. Marquarding, A. Ahmed, S. W. Amy, M. Bailes, R. Beresford, N. D. R. Bhat, D. C. -J. Bock, M. Bourne, M. Bowen, M. Brothers, A. D. Cameron, E. Carretti, N. Carter, S. Castillo , et al. (47 additional authors not shown)

Abstract: We describe an ultra-wide-bandwidth, low-frequency receiver ("UWL") recently installed on the Parkes radio telescope. The receiver system provides continuous frequency coverage from 704 to 4032 MHz. For much of the band (~60%) the system temperature is approximately 22K and the receiver system remains in a linear regime even in the presence of strong mobile phone transmissions. We discuss the scie… ▽ More We describe an ultra-wide-bandwidth, low-frequency receiver ("UWL") recently installed on the Parkes radio telescope. The receiver system provides continuous frequency coverage from 704 to 4032 MHz. For much of the band (~60%) the system temperature is approximately 22K and the receiver system remains in a linear regime even in the presence of strong mobile phone transmissions. We discuss the scientific and technical aspects of the new receiver including its astronomical objectives, as well as the feed, receiver, digitiser and signal-processor design. We describe the pipeline routines that form the archive-ready data products and how those data files can be accessed from the archives. The system performance is quantified including the system noise and linearity, beam shape, antenna efficiency, polarisation calibration and timing stability. △ Less

Submitted 2 November, 2019; originally announced November 2019.

Comments: submitted to PASA

Localization near the edge for the Anderson Bernoulli model on the two dimensional lattice

Authors: Jian Ding, Charles K Smart

Abstract: We consider a Hamiltonian given by the Laplacian plus a Bernoulli potential on the two dimensional lattice. We prove that, for energies sufficiently close to the edge of the spectrum, the resolvent on a large square is likely to decay exponentially. This implies almost sure Anderson localization for energies sufficiently close to the edge of the spectrum. Our proof follows the program of Bourgain-… ▽ More We consider a Hamiltonian given by the Laplacian plus a Bernoulli potential on the two dimensional lattice. We prove that, for energies sufficiently close to the edge of the spectrum, the resolvent on a large square is likely to decay exponentially. This implies almost sure Anderson localization for energies sufficiently close to the edge of the spectrum. Our proof follows the program of Bourgain--Kenig, using a new unique continuation result inspired by a Liouville theorem of Buhovsky--Logunov--Malinnikova--Sodin. △ Less

Submitted 22 July, 2019; v1 submitted 24 September, 2018; originally announced September 2018.

Comments: 30 pages, 4 figures, latest version addresses comments from anonymous referees

The limit shape of convex hull peeling

Authors: Jeff Calder, Charles K Smart

Abstract: We prove that the convex peeling of a random point set in dimension d approximates motion by the 1/(d + 1) power of Gaussian curvature. We use viscosity solution theory to interpret the limiting partial differential equation. We use the Martingale method to solve the cell problem associated to convex peeling. Our proof follows the program of Armstrong-Cardaliaguet for homogenization of geometric m… ▽ More We prove that the convex peeling of a random point set in dimension d approximates motion by the 1/(d + 1) power of Gaussian curvature. We use viscosity solution theory to interpret the limiting partial differential equation. We use the Martingale method to solve the cell problem associated to convex peeling. Our proof follows the program of Armstrong-Cardaliaguet for homogenization of geometric motions, but with completely different ingredients. △ Less

Submitted 13 February, 2020; v1 submitted 21 May, 2018; originally announced May 2018.

MSC Class: 35D40; 68Q87; 97K50; 53C44; 35B27; 91A05

Journal ref: Duke Math. J. 169, no. 11 (2020), 2079-2124

A free boundary problem with facets

Authors: William M Feldman, Charles K Smart

Abstract: We study a free boundary problem on the lattice whose scaling limit is a harmonic free boundary problem with a discontinuous Hamiltonian. We find an explicit formula for the Hamiltonian, prove the solutions are unique, and prove that the limiting free boundary has a facets in every rational direction. Our choice of problem presents difficulties that require the development of a new uniqueness proo… ▽ More We study a free boundary problem on the lattice whose scaling limit is a harmonic free boundary problem with a discontinuous Hamiltonian. We find an explicit formula for the Hamiltonian, prove the solutions are unique, and prove that the limiting free boundary has a facets in every rational direction. Our choice of problem presents difficulties that require the development of a new uniqueness proof for certain free boundary problems. The problem is motivated by physical experiments involving liquid drops on patterned solid surfaces. △ Less

Submitted 2 November, 2017; originally announced November 2017.

Comments: 38 pages, 2 figures

Stability of patterns in the Abelian sandpile

Authors: Wesley Pegden, Charles K Smart

Abstract: We show that the patterns in the Abelian sandpile are stable. The proof combines the structure theory for the patterns with the regularity machinery for non-divergence form elliptic equations. The stability results allows one to improve weak-* convergence of the Abelian sandpile to pattern convergence for certain classes of solutions. We show that the patterns in the Abelian sandpile are stable. The proof combines the structure theory for the patterns with the regularity machinery for non-divergence form elliptic equations. The stability results allows one to improve weak-* convergence of the Abelian sandpile to pattern convergence for certain classes of solutions. △ Less

Submitted 26 January, 2020; v1 submitted 30 August, 2017; originally announced August 2017.

Comments: 16 pages, 4 figures Corrected rate of growth in Theorem 1 item (1); other minor corrections

Singular integrals and a problem on mixing flows

Authors: Mahir Hadžić, Andreas Seeger, Charles K. Smart, Brian Street

Abstract: We prove a result related to Bressan's mixing problem. We establish an inequality for the change of Bianchini semi-norms of characteristic functions under the flow generated by a divergence free time dependent vector field. The approach leads to a bilinear singular integral operator for which we prove bounds on Hardy spaces. We include additional observations about the approach and a discrete toy… ▽ More We prove a result related to Bressan's mixing problem. We establish an inequality for the change of Bianchini semi-norms of characteristic functions under the flow generated by a divergence free time dependent vector field. The approach leads to a bilinear singular integral operator for which we prove bounds on Hardy spaces. We include additional observations about the approach and a discrete toy version of Bressan's problem. △ Less

Submitted 1 September, 2017; v1 submitted 11 December, 2016; originally announced December 2016.

Comments: To appear in Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire

MSC Class: 34C11; 35Q35; 37C10; 42B20

Journal ref: Annales de l'Institut Henri Poincare / Analyse non lineaire. 35, No. 4 (2018), 921--943

Recent Developments in Measuring Signal and Noise in Phased Array Feeds at CSIRO

Authors: A. P. Chippendale, D. McConnell, K. Bannister, N. Nikolic, A. W. Hotan, K. W. Smart, R. D. Shaw, D. B. Hayman, S. G. Hay

Abstract: We describe recent developments in measuring both signal and noise in phased array feeds for radio astronomy at CSIRO. We introduce new techniques including aperture array noise measurements with beamforming weights matched to a reflector's focal field. Weights are calculated via antenna-range and in-reflector measurements. We also describe the separation of system temperature and aperture efficie… ▽ More We describe recent developments in measuring both signal and noise in phased array feeds for radio astronomy at CSIRO. We introduce new techniques including aperture array noise measurements with beamforming weights matched to a reflector's focal field. Weights are calculated via antenna-range and in-reflector measurements. We also describe the separation of system temperature and aperture efficiency via drift scans. △ Less

Submitted 12 February, 2016; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: 5 pages, 7 figures, accepted for publication in Antennas and Propagation (EuCAP), 2016 10th European Conference on (updated abstract)

Report number: EP16564

Journal ref: 2016 10th European Conference on Antennas and Propagation (EuCAP), Davos, Switzerland, 2016, pp. 1-5

Variable Selection for Latent Class Analysis with Application to Low Back Pain Diagnosis

Authors: Michael Fop, Keith Smart, Thomas Brendan Murphy

Abstract: The identification of most relevant clinical criteria related to low back pain disorders may aid the evaluation of the nature of pain suffered in a way that usefully informs patient assessment and treatment. Data concerning low back pain can be of categorical nature, in the form of a check-list in which each item denotes presence or absence of a clinical condition. Latent class analysis is a model… ▽ More The identification of most relevant clinical criteria related to low back pain disorders may aid the evaluation of the nature of pain suffered in a way that usefully informs patient assessment and treatment. Data concerning low back pain can be of categorical nature, in the form of a check-list in which each item denotes presence or absence of a clinical condition. Latent class analysis is a model-based clustering method for multivariate categorical responses, which can be applied to such data for a preliminary diagnosis of the type of pain. In this work, we propose a variable selection method for latent class analysis applied to the selection of the most useful variables in detecting the group structure in the data. The method is based on the comparison of two different models and allows the discarding of those variables with no group information and those variables carrying the same information as the already selected ones. We consider a swap-stepwise algorithm where at each step the models are compared through an approximation to their Bayes factor. The method is applied to the selection of the clinical criteria most useful for the clustering of patients in different classes. It is shown to perform a parsimonious variable selection and to give a clustering performance comparable to the expert-based classification of patients into three classes of pain. △ Less

Submitted 5 February, 2018; v1 submitted 10 December, 2015; originally announced December 2015.

Comments: Published in The Annals of Applied Statistics by the Institute of Mathematical Statistics

MSC Class: 62H30

Journal ref: The Annals of Applied Statistics 2017, Vol. 11, No. 4, 2085-2115

Multilinear singular integral forms of Christ-Journé type

Authors: Andreas Seeger, Charles K. Smart, Brian Street

Abstract: We prove $L^{p_1}(\mathbb R^d)\times \dots \times L^{p_{n+2}}(\mathbb R^{d})$ polynomial growth estimates for the Christ-Journé multilinear singular integral forms and suitable generalizations. We prove $L^{p_1}(\mathbb R^d)\times \dots \times L^{p_{n+2}}(\mathbb R^{d})$ polynomial growth estimates for the Christ-Journé multilinear singular integral forms and suitable generalizations. △ Less

Submitted 2 May, 2016; v1 submitted 23 October, 2015; originally announced October 2015.

Comments: To appear in Memoirs of the AMS

MSC Class: 42B20

Journal ref: Memoirs of the American Mathematical Society, vol. 257, No. 1231 (2019)

Algebraic Error Estimates for the Stochastic Homogenization of Uniformly Parabolic Equations

Authors: Jessica Lin, Charles K. Smart

Abstract: This article establishes an algebraic error estimate for the stochastic homogenization of fully nonlinear uniformly parabolic equations in stationary ergodic spatio-temporal media. The approach is similar to that of Armstrong and Smart in the study of quantitative stochastic homogenization of uniformly elliptic equations. This article establishes an algebraic error estimate for the stochastic homogenization of fully nonlinear uniformly parabolic equations in stationary ergodic spatio-temporal media. The approach is similar to that of Armstrong and Smart in the study of quantitative stochastic homogenization of uniformly elliptic equations. △ Less

Submitted 24 July, 2015; v1 submitted 15 January, 2015; originally announced January 2015.

Comments: 41 pages, minor edits, to appear in Analysis and PDE

MSC Class: 35K55

Journal ref: Anal. PDE 8 (2015) 1497-1539

Quantitative stochastic homogenization of convex integral functionals

Authors: Scott N. Armstrong, Charles K. Smart

Abstract: We present quantitative results for the homogenization of uniformly convex integral functionals with random coefficients under independence assumptions. The main result is an error estimate for the Dirichlet problem which is algebraic (but sub-optimal) in the size of the error, but optimal in stochastic integrability. As an application, we obtain quenched $C^{0,1}$ estimates for local minimizers o… ▽ More We present quantitative results for the homogenization of uniformly convex integral functionals with random coefficients under independence assumptions. The main result is an error estimate for the Dirichlet problem which is algebraic (but sub-optimal) in the size of the error, but optimal in stochastic integrability. As an application, we obtain quenched $C^{0,1}$ estimates for local minimizers of such energy functionals. △ Less

Submitted 27 January, 2015; v1 submitted 4 June, 2014; originally announced June 2014.

Comments: 59 pages, revised version

MSC Class: 35B27; 60H25; 35J20; 35J62

A Gaussian upper bound for martingale small-ball probabilities

Authors: James R. Lee, Yuval Peres, Charles K. Smart

Abstract: Consider a discrete-time martingale $\{X_t\}$ taking values in a Hilbert space $\mathcal H$. We show that if for some $L \geq 1$, the bounds $\mathbb{E} \left[\|X_{t+1}-X_t\|_{\mathcal H}^2 \mid X_t\right]=1$ and $\|X_{t+1}-X_t\|_{\mathcal H} \leq L$ are satisfied for all times $t \geq 0$, then there is a constant $c = c(L)$ such that for $1 \leq R \leq \sqrt{t}$, \[\mathbb{P}(\|X_t\|_{\mathcal H}… ▽ More Consider a discrete-time martingale $\{X_t\}$ taking values in a Hilbert space $\mathcal H$. We show that if for some $L \geq 1$, the bounds $\mathbb{E} \left[\|X_{t+1}-X_t\|_{\mathcal H}^2 \mid X_t\right]=1$ and $\|X_{t+1}-X_t\|_{\mathcal H} \leq L$ are satisfied for all times $t \geq 0$, then there is a constant $c = c(L)$ such that for $1 \leq R \leq \sqrt{t}$, \[\mathbb{P}(\|X_t\|_{\mathcal H} \leq R \mid X_0 = x_0) \leq c \frac{R}{\sqrt{t}} e^{-\|x_0\|_{\mathcal H}^2/(6 L^2 t)}\,.\] Following [Lee-Peres, Ann. Probab. 2013], this has applications to diffusive estimates for random walks on vertex-transitive graphs. △ Less

Submitted 9 September, 2015; v1 submitted 23 May, 2014; originally announced May 2014.

The Apollonian structure of integer superharmonic matrices

Authors: Lionel Levine, Wesley Pegden, Charles K. Smart

Abstract: We prove that the set of quadratic growths attainable by integer-valued superharmonic functions on the lattice $\mathbb{Z}^2$ has the structure of an Apollonian circle packing. This completely characterizes the PDE which determines the continuum scaling limit of the Abelian sandpile on the lattice $\mathbb{Z}^2$. We prove that the set of quadratic growths attainable by integer-valued superharmonic functions on the lattice $\mathbb{Z}^2$ has the structure of an Apollonian circle packing. This completely characterizes the PDE which determines the continuum scaling limit of the Abelian sandpile on the lattice $\mathbb{Z}^2$. △ Less

Submitted 17 July, 2017; v1 submitted 12 September, 2013; originally announced September 2013.

Comments: 56 pages, many figures. Typo in T1.1 corrected (2 -> 0)

Quantitative stochastic homogenization of elliptic equations in nondivergence form

Authors: Scott N. Armstrong, Charles K. Smart

Abstract: We introduce a new method for studying stochastic homogenization of elliptic equations in nondivergence form. The main application is an algebraic error estimate, asserting that deviations from the homogenized limit are at most proportional to a power of the microscopic length scale, assuming a finite range of dependence. The results are new even for linear equations. The arguments rely on a new g… ▽ More We introduce a new method for studying stochastic homogenization of elliptic equations in nondivergence form. The main application is an algebraic error estimate, asserting that deviations from the homogenized limit are at most proportional to a power of the microscopic length scale, assuming a finite range of dependence. The results are new even for linear equations. The arguments rely on a new geometric quantity which is controlled in part by adapting elements of the regularity theory for the Monge-Ampère equation. △ Less

Submitted 7 December, 2019; v1 submitted 22 June, 2013; originally announced June 2013.

Comments: 40 pages. This version correctors some minor mistakes in the published version of the article, which are described in Section 1.5. Compared to v4, a typo has been fixed in (4.4) and (4.5)

Journal ref: Arch. Ration. Mech. Anal., 214 (2014), 867-911

Stochastic homogenization of fully nonlinear uniformly elliptic equations revisited

Authors: Scott N. Armstrong, Charles K. Smart

Abstract: We give a simplified presentation of the obstacle problem approach to stochastic homogenization for elliptic equations in nondivergence form. Our argument also applies to equations which depend on the gradient of the unknown function. In the latter case, we overcome difficulties caused by a lack of estimates for the first derivatives of approximate correctors by modifying the perturbed test functi… ▽ More We give a simplified presentation of the obstacle problem approach to stochastic homogenization for elliptic equations in nondivergence form. Our argument also applies to equations which depend on the gradient of the unknown function. In the latter case, we overcome difficulties caused by a lack of estimates for the first derivatives of approximate correctors by modifying the perturbed test function argument to take advantage of the spreading of the contact set. △ Less

Submitted 21 September, 2012; originally announced September 2012.

Comments: 14 pages

MSC Class: 35B27

Apollonian structure in the Abelian sandpile

Authors: Lionel Levine, Wesley Pegden, Charles K. Smart

Abstract: The Abelian sandpile process evolves configurations of chips on the integer lattice by toppling any vertex with at least 4 chips, distributing one of its chips to each of its 4 neighbors. When begun from a large stack of chips, the terminal state of the sandpile has a curious fractal structure which has remained unexplained. Using a characterization of the quadratic growths attainable by integer-s… ▽ More The Abelian sandpile process evolves configurations of chips on the integer lattice by toppling any vertex with at least 4 chips, distributing one of its chips to each of its 4 neighbors. When begun from a large stack of chips, the terminal state of the sandpile has a curious fractal structure which has remained unexplained. Using a characterization of the quadratic growths attainable by integer-superharmonic functions, we prove that the sandpile PDE recently shown to characterize the scaling limit of the sandpile admits certain fractal solutions, giving a precise mathematical perspective on the fractal nature of the sandpile. △ Less

Submitted 22 May, 2014; v1 submitted 23 August, 2012; originally announced August 2012.

Comments: 27 Pages, 7 Figures

MSC Class: 60K35; 35R35

Regularity and stochastic homogenization of fully nonlinear equations without uniform ellipticity

Authors: Scott N. Armstrong, Charles K. Smart

Abstract: We prove regularity and stochastic homogenization results for certain degenerate elliptic equations in nondivergence form. The equation is required to be strictly elliptic, but the ellipticity may oscillate on the microscopic scale and is only assumed to have a finite $d$th moment, where $d$ is the dimension. In the general stationary-ergodic framework, we show that the equation homogenizes to a d… ▽ More We prove regularity and stochastic homogenization results for certain degenerate elliptic equations in nondivergence form. The equation is required to be strictly elliptic, but the ellipticity may oscillate on the microscopic scale and is only assumed to have a finite $d$th moment, where $d$ is the dimension. In the general stationary-ergodic framework, we show that the equation homogenizes to a deterministic, uniformly elliptic equation, and we obtain an explicit estimate of the effective ellipticity, which is new even in the uniformly elliptic context. Showing that such an equation behaves like a uniformly elliptic equation requires a novel reworking of the regularity theory. We prove deterministic estimates depending on averaged quantities involving the distribution of the ellipticity, which are controlled in the macroscopic limit by the ergodic theorem. We show that the moment condition is sharp by giving an explicit example of an equation whose ellipticity has a finite $p$th moment, for every $p<d$, but for which regularity and homogenization break down. In probabilistic terms, the homogenization results correspond to quenched invariance principles for diffusion processes in random media, including linear diffusions as well as diffusions controlled by one controller or two competing players. △ Less

Submitted 28 October, 2014; v1 submitted 22 August, 2012; originally announced August 2012.

Comments: Published in at http://dx.doi.org/10.1214/13-AOP833 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP833

Journal ref: Annals of Probability 2014, Vol. 42, No. 6, 2558-2594

Nonuniqueness of infinity ground states

Authors: Ryan Hynd, Charles K. Smart, Yifeng Yu

Abstract: In this paper, we construct a dumbbell domain for which the associated principle $\infty$-eigenvalue is not simple. This gives a negative answer to the outstanding problem posed by Juutinen-Lindquivst-Manfredi ("The $\infty$-eigenvalue problem", Arch. Ration. Mech. Anal. 148, 1999, no.2, 89-105). It remains a challenge to determine whether simplicity holds for convex domains. In this paper, we construct a dumbbell domain for which the associated principle $\infty$-eigenvalue is not simple. This gives a negative answer to the outstanding problem posed by Juutinen-Lindquivst-Manfredi ("The $\infty$-eigenvalue problem", Arch. Ration. Mech. Anal. 148, 1999, no.2, 89-105). It remains a challenge to determine whether simplicity holds for convex domains. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Comments: 11 pages

MSC Class: 35J60; 35J92; 35P30

Convergence of the Abelian sandpile

Authors: Wesley Pegden, Charles K. Smart

Abstract: The Abelian sandpile growth model is a diffusion process for configurations of chips placed on vertices of the integer lattice $\mathbb{Z}^d$, in which sites with at least 2d chips {\em topple}, distributing 1 chip to each of their neighbors in the lattice, until no more topplings are possible. From an initial configuration consisting of $n$ chips placed at a single vertex, the rescaled stable con… ▽ More The Abelian sandpile growth model is a diffusion process for configurations of chips placed on vertices of the integer lattice $\mathbb{Z}^d$, in which sites with at least 2d chips {\em topple}, distributing 1 chip to each of their neighbors in the lattice, until no more topplings are possible. From an initial configuration consisting of $n$ chips placed at a single vertex, the rescaled stable configuration seems to converge to a particular fractal pattern as $n\to \infty$. However, little has been proved about the appearance of the stable configurations. We use PDE techniques to prove that the rescaled stable configurations do indeed converge to a unique limit as $n \to \infty$. We characterize the limit as the Laplacian of the solution to an elliptic obstacle problem. △ Less

Submitted 7 March, 2012; v1 submitted 30 April, 2011; originally announced May 2011.

Comments: 12 pages, 2 figures, acroread recommended for figure display

MSC Class: 60K35; 35R35

Journal ref: Duke Math. J. 162, no. 4 (2013), 627-642

Singular solutions of fully nonlinear elliptic equations and applications

Authors: Scott N. Armstrong, Boyan Sirakov, Charles K. Smart

Abstract: We study the properties of solutions of fully nonlinear, positively homogeneous elliptic equations near boundary points of Lipschitz domains at which the solution may be singular. We show that these equations have two positive solutions in each cone of $\mathbb{R}^n$, and the solutions are unique in an appropriate sense. We introduce a new method for analyzing the behavior of solutions near certai… ▽ More We study the properties of solutions of fully nonlinear, positively homogeneous elliptic equations near boundary points of Lipschitz domains at which the solution may be singular. We show that these equations have two positive solutions in each cone of $\mathbb{R}^n$, and the solutions are unique in an appropriate sense. We introduce a new method for analyzing the behavior of solutions near certain Lipschitz boundary points, which permits us to classify isolated boundary singularities of solutions which are bounded from either above or below. We also obtain a sharp Phragmén-Lindelöf result as well as a principle of positive singularities in certain Lipschitz domains. △ Less

Submitted 28 April, 2011; originally announced April 2011.

Comments: 41 pages, 2 figures

MSC Class: 35J60; 35J25

Partial regularity of solutions of fully nonlinear uniformly elliptic equations

Authors: Scott N. Armstrong, Luis Silvestre, Charles K. Smart

Abstract: We prove that a viscosity solution of a uniformly elliptic, fully nonlinear equation is $C^{2,α}$ on the compliment of a closed set of Hausdorff dimension at most $ε$ less than the dimension. The equation is assumed to be $C^1$, and the constant $ε> 0$ depends only on the dimension and the ellipticity constants. The argument combines the $W^{2,ε}$ estimates of Lin with a result of Savin on the… ▽ More We prove that a viscosity solution of a uniformly elliptic, fully nonlinear equation is $C^{2,α}$ on the compliment of a closed set of Hausdorff dimension at most $ε$ less than the dimension. The equation is assumed to be $C^1$, and the constant $ε> 0$ depends only on the dimension and the ellipticity constants. The argument combines the $W^{2,ε}$ estimates of Lin with a result of Savin on the $C^{2,α}$ regularity of viscosity solutions which are close to quadratic polynomials. △ Less

Submitted 18 March, 2011; originally announced March 2011.

Comments: 13 pages

MSC Class: 35B65

Vector-valued optimal Lipschitz extensions

Authors: Scott Sheffield, Charles K. Smart

Abstract: Consider a bounded open set $U$ in $R^n$ and a Lipschitz function g from the boundary of $U$ to $R^m$. Does this function always have a canonical optimal Lipschitz extension to all of $U$? We propose a notion of optimal Lipschitz extension and address existence and uniqueness in some special cases. In the case $n=m=2$, we show that smooth solutions have two phases: in one they are conformal and in… ▽ More Consider a bounded open set $U$ in $R^n$ and a Lipschitz function g from the boundary of $U$ to $R^m$. Does this function always have a canonical optimal Lipschitz extension to all of $U$? We propose a notion of optimal Lipschitz extension and address existence and uniqueness in some special cases. In the case $n=m=2$, we show that smooth solutions have two phases: in one they are conformal and in the other they are variants of infinity harmonic functions called infinity harmonic fans. We also prove existence and uniqueness for the extension problem on finite graphs. △ Less

Submitted 9 June, 2010; originally announced June 2010.

Comments: 24 pages, 10 figures

Convexity criteria and uniqueness of absolutely minimizing functions

Authors: Scott N. Armstrong, Michael G. Crandall, Vesa Julin, Charles K. Smart

Abstract: We show that absolutely minimizing functions relative to a convex Hamiltonian $H:\mathbb{R}^n \to \mathbb{R}$ are uniquely determined by their boundary values under minimal assumptions on $H.$ Along the way, we extend the known equivalences between comparison with cones, convexity criteria, and absolutely minimizing properties, to this generality. These results perfect a long development in the un… ▽ More We show that absolutely minimizing functions relative to a convex Hamiltonian $H:\mathbb{R}^n \to \mathbb{R}$ are uniquely determined by their boundary values under minimal assumptions on $H.$ Along the way, we extend the known equivalences between comparison with cones, convexity criteria, and absolutely minimizing properties, to this generality. These results perfect a long development in the uniqueness/existence theory of the archetypal problem of the calculus of variations in $L^\infty.$ △ Less

Submitted 16 March, 2010; originally announced March 2010.

Comments: 34 pages

MSC Class: 49K20; 35J70; 49K40.

Fundamental solutions of homogeneous fully nonlinear elliptic equations

Authors: Scott N. Armstrong, Boyan Sirakov, Charles K. Smart

Abstract: We prove the existence of two fundamental solutions $Φ$ and $\tilde Φ$ of the PDE \[ F(D^2Φ) = 0 \quad {in} \mathbb{R}^n \setminus \{0 \} \] for any positively homogeneous, uniformly elliptic operator $F$. Corresponding to $F$ are two unique scaling exponents $α^*, \tildeα^* > -1$ which describe the homogeneity of $Φ$ and $\tilde Φ$. We give a sharp characterization of the isolated singularities… ▽ More We prove the existence of two fundamental solutions $Φ$ and $\tilde Φ$ of the PDE \[ F(D^2Φ) = 0 \quad {in} \mathbb{R}^n \setminus \{0 \} \] for any positively homogeneous, uniformly elliptic operator $F$. Corresponding to $F$ are two unique scaling exponents $α^*, \tildeα^* > -1$ which describe the homogeneity of $Φ$ and $\tilde Φ$. We give a sharp characterization of the isolated singularities and the behavior at infinity of a solution of the equation $F(D^2u) = 0$, which is bounded on one side. A Liouville-type result demonstrates that the two fundamental solutions are the unique nontrivial solutions of $F(D^2u) = 0$ in $\mathbb{R}^n \setminus \{0 \}$ which are bounded on one side in a neighborhood of the origin as well as at infinity. Finally, we show that the sign of each scaling exponent is related to the recurrence or transience of a stochastic process for a two-player differential game. △ Less

Submitted 28 October, 2009; v1 submitted 21 October, 2009; originally announced October 2009.

Comments: 35 pages, typos and minor mistakes corrected

MSC Class: 35A08; 35J60; 91A15; 49N70; 35P30

An infinity Laplace equation with gradient term and mixed boundary conditions

Authors: Scott N. Armstrong, Charles K. Smart, Stephanie J. Somersille

Abstract: We obtain existence, uniqueness, and stability results for the modified 1-homogeneous infinity Laplace equation \[ -Δ_\infty u - β|Du| = f, \] subject to Dirichlet or mixed Dirichlet-Neumann boundary conditions. Our arguments rely on comparing solutions of the PDE to subsolutions and supersolutions of a certain finite difference approximation. We obtain existence, uniqueness, and stability results for the modified 1-homogeneous infinity Laplace equation \[ -Δ_\infty u - β|Du| = f, \] subject to Dirichlet or mixed Dirichlet-Neumann boundary conditions. Our arguments rely on comparing solutions of the PDE to subsolutions and supersolutions of a certain finite difference approximation. △ Less

Submitted 29 October, 2009; v1 submitted 20 October, 2009; originally announced October 2009.

Comments: 13 pages, minor mistakes and typos corrected

MSC Class: 35J70

An easy proof of Jensen's theorem on the uniqueness of infinity harmonic functions

Authors: Scott N. Armstrong, Charles K. Smart

Abstract: We present a new, easy, and elementary proof of Jensen's Theorem on the uniqueness of infinity harmonic functions. The idea is to pass to a finite difference equation by taking maximums and minimums over small balls. We present a new, easy, and elementary proof of Jensen's Theorem on the uniqueness of infinity harmonic functions. The idea is to pass to a finite difference equation by taking maximums and minimums over small balls. △ Less

Submitted 29 June, 2009; v1 submitted 17 June, 2009; originally announced June 2009.

Comments: 4 pages; comments added, proof simplified

MSC Class: 35J70

Journal ref: Calc. Var. Partial Differential Equations 37 (2010), 381-384.

A finite difference approach to the infinity Laplace equation and tug-of-war games

Authors: Scott N. Armstrong, Charles K. Smart

Abstract: We present a modified version of the two-player "tug-of-war" game introduced by Peres, Schramm, Sheffield, and Wilson. This new tug-of-war game is identical to the original except near the boundary of the domain $\partial Ω$, but its associated value functions are more regular. The dynamic programming principle implies that the value functions satisfy a certain finite difference equation. By study… ▽ More We present a modified version of the two-player "tug-of-war" game introduced by Peres, Schramm, Sheffield, and Wilson. This new tug-of-war game is identical to the original except near the boundary of the domain $\partial Ω$, but its associated value functions are more regular. The dynamic programming principle implies that the value functions satisfy a certain finite difference equation. By studying this difference equation directly and adapting techniques from viscosity solution theory, we prove a number of new results. We show that the finite difference equation has unique maximal and minimal solutions, which are identified as the value functions for the two tug-of-war players. We demonstrate uniqueness, and hence the existence of a value for the game, in the case that the running payoff function is nonnegative. We also show that uniqueness holds in certain cases for sign-changing running payoff functions which are sufficiently small. In the limit $ε\to 0$, we obtain the convergence of the value functions to a viscosity solution of the normalized infinity Laplace equation. We also obtain several new results for the normalized infinity Laplace equation $-Δ_\infty u = f$. In particular, we demonstrate the existence of solutions to the Dirichlet problem for any bounded continuous $f$, and continuous boundary data, as well as the uniqueness of solutions to this problem in the generic case. We present a new elementary proof of uniqueness in the case that $f>0$, $f< 0$, or $f\equiv 0$. The stability of the solutions with respect to $f$ is also studied, and an explicit continuous dependence estimate from $f\equiv 0$ is obtained. △ Less

Submitted 27 August, 2011; v1 submitted 16 June, 2009; originally announced June 2009.

Comments: 42 pages; some minor corrections. To appear in Trans. Amer. Math. Soc

MSC Class: 35J70; 91A15