Showing 1–50 of 57 results for author: Mooney, C

Global Well-posedness and Convergence Analysis of Score-based Generative Models via Sharp Lipschitz Estimates

Authors: Connor Mooney, Zhongjian Wang, Jack Xin, Yifeng Yu

Abstract: We establish global well-posedness and convergence of the score-based generative models (SGM) under minimal general assumptions of initial data for score estimation. For the smooth case, we start from a Lipschitz bound of the score function with optimal time length. The optimality is validated by an example whose Lipschitz constant of scores is bounded at initial but blows up in finite time. This… ▽ More We establish global well-posedness and convergence of the score-based generative models (SGM) under minimal general assumptions of initial data for score estimation. For the smooth case, we start from a Lipschitz bound of the score function with optimal time length. The optimality is validated by an example whose Lipschitz constant of scores is bounded at initial but blows up in finite time. This necessitates the separation of time scales in conventional bounds for non-log-concave distributions. In contrast, our follow up analysis only relies on a local Lipschitz condition and is valid globally in time. This leads to the convergence of numerical scheme without time separation. For the non-smooth case, we show that the optimal Lipschitz bound is O(1/t) in the point-wise sense for distributions supported on a compact, smooth and low-dimensional manifold with boundary. △ Less

Submitted 25 May, 2024; originally announced May 2024.

Counterexamples to maximal regularity for operators in divergence form

Authors: Sebastian Bechtel, Connor Mooney, Mark Veraar

Abstract: In this paper, we present counterexamples to maximal $L^p$-regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions' theory that such operators admit maximal $L^2$-regularity on $H^{-1}$ under a coercivity condition on the coefficients, and without any regularity conditions in time and space. W… ▽ More In this paper, we present counterexamples to maximal $L^p$-regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions' theory that such operators admit maximal $L^2$-regularity on $H^{-1}$ under a coercivity condition on the coefficients, and without any regularity conditions in time and space. We show that in general one cannot expect maximal $L^p$-regularity on $H^{-1}(\mathbb{R}^d)$ or $L^2$-regularity on $L^2(\mathbb{R}^d)$. △ Less

Submitted 10 January, 2024; originally announced January 2024.

MSC Class: Primary: 35K90; Secondary: 35B65

VERITAS contributions to the 38th International Cosmic Ray Conference

Authors: A. Acharyya, C. B. Adams, A. Archer, P. Bangale, J. T. Bartkoske, P. Batista, W. Benbow, J. L. Christiansen, A. J. Chromey, A. Duerr, M. Errando, Q. Feng, G. M. Foote, L. Fortson, A. Furniss, W. Hanlon, O. Hervet, C. E. Hinrichs, J. Hoang, J. Holder, Z. Hughes, T. B. Humensky, W. **, M. N. Johnson, M. Kertzman , et al. (39 additional authors not shown)

Abstract: Compilation of papers presented by the VERITAS Collaboration at the 38th International Cosmic Ray Conference (ICRC), held July 26 through August 3, 2023 in Nagoya, Japan. Compilation of papers presented by the VERITAS Collaboration at the 38th International Cosmic Ray Conference (ICRC), held July 26 through August 3, 2023 in Nagoya, Japan. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: html page. ICRC 2023, Nagoya, Japan

A half-space Bernstein theorem for anisotropic minimal graphs

Authors: Wenkui Du, Connor Mooney, Yang Yang, **gze Zhu

Abstract: We prove that an anisotropic minimal graph over a half-space with flat boundary must itself be flat. This generalizes a result of Edelen-Wang to the anisotropic case. The proof uses only the maximum principle and ideas from fully nonlinear PDE theory in lieu of a monotonicity formula. We prove that an anisotropic minimal graph over a half-space with flat boundary must itself be flat. This generalizes a result of Edelen-Wang to the anisotropic case. The proof uses only the maximum principle and ideas from fully nonlinear PDE theory in lieu of a monotonicity formula. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 9 pages

Projective toric designs, difference sets, and quantum state designs

Authors: Joseph T. Iosue, T. C. Mooney, Adam Ehrenberg, Alexey V. Gorshkov

Abstract: Trigonometric cubature rules of degree $t$ are sets of points on the torus over which sums reproduce integrals of degree $t$ monomials over the full torus. They can be thought of as $t$-designs on the torus. Motivated by the projective structure of quantum mechanics, we develop the notion of $t$-designs on the projective torus, which, surprisingly, have a much more restricted structure than their… ▽ More Trigonometric cubature rules of degree $t$ are sets of points on the torus over which sums reproduce integrals of degree $t$ monomials over the full torus. They can be thought of as $t$-designs on the torus. Motivated by the projective structure of quantum mechanics, we develop the notion of $t$-designs on the projective torus, which, surprisingly, have a much more restricted structure than their counterparts on full tori. We provide various constructions of these projective toric designs and prove some bounds on their size and characterizations of their structure. We draw connections between projective toric designs and a diverse set of mathematical objects, including difference and Sidon sets from the field of additive combinatorics, symmetric, informationally complete positive operator valued measures (SIC-POVMs) and complete sets of mutually unbiased bases (MUBs) (which are conjectured to relate to finite projective geometry) from quantum information theory, and crystal ball sequences of certain root lattices. Using these connections, we prove bounds on the maximal size of dense $B_t \bmod m$ sets. We also use projective toric designs to construct families of quantum state designs. Finally, we discuss many open questions about the properties of these projective toric designs and how they relate to other questions in number theory, geometry, and quantum information. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 11+5 pages, 1 figure

A multi-wavelength investigation of PSR J2229+6114 and its pulsar wind nebula in the radio, X-ray, and gamma-ray bands

Authors: I. Pope, K. Mori, M. Abdelmaguid, J. D. Gelfand, S. P. Reynolds, S. Safi-Harb, C. J. Hailey, H. An, VERITAS Collaboration, :, P. Bangale, P. Batista, W. Benbow, J. H. Buckley, M. Capasso, J. L. Christiansen, A. J. Chromey, A. Falcone, Q. Feng, J. P. Finley, G. M Foote, G. Gallagher, W. F Hanlon, D. Hanna, O. Hervet , et al. (35 additional authors not shown)

Abstract: G106.3$+$2.7, commonly considered a composite supernova remnant (SNR), is characterized by a boomerang-shaped pulsar wind nebula (PWN) and two distinct ("head" & "tail") regions in the radio band. A discovery of very-high-energy (VHE) gamma-ray emission ($E_γ> 100$ GeV) followed by the recent detection of ultra-high-energy (UHE) gamma-ray emission ($E_γ> 100$ TeV) from the tail region suggests tha… ▽ More G106.3$+$2.7, commonly considered a composite supernova remnant (SNR), is characterized by a boomerang-shaped pulsar wind nebula (PWN) and two distinct ("head" & "tail") regions in the radio band. A discovery of very-high-energy (VHE) gamma-ray emission ($E_γ> 100$ GeV) followed by the recent detection of ultra-high-energy (UHE) gamma-ray emission ($E_γ> 100$ TeV) from the tail region suggests that G106.3$+$2.7 is a PeVatron candidate. We present a comprehensive multi-wavelength study of the Boomerang PWN (100" around PSR J2229+6114) using archival radio and Chandra data obtained from two decades ago, a new NuSTAR X-ray observation from 2020, and upper limits on gamma-ray fluxes obtained by Fermi and VERITAS observatories. The NuSTAR observation allowed us to detect a 51.67 ms spin period from the pulsar PSR J2229+6114 and the PWN emission characterized by a power-law model with $Γ= 1.52\pm0.06$ up to 20 keV. Contrary to the previous radio study by Kothes et al. 2006, we prefer a much lower PWN B-field ($B\sim3$ $μ$G) and larger distance ($d \sim 8$ kpc) based on (1) the non-varying X-ray flux over the last two decades, (2) the energy-dependent X-ray PWN size resulting from synchrotron burn-off and (3) the multi-wavelength spectral energy distribution (SED) data. Our SED model suggests that the PWN is currently re-expanding after being compressed by the SNR reverse shock $\sim 1000$ years ago. In this case, the head region should be formed by GeV--TeV electrons injected earlier by the pulsar propagating into the low density environment. △ Less

Submitted 6 October, 2023; originally announced October 2023.

On the Lawson-Osserman conjecture

Authors: Jonas Hirsch, Connor Mooney, Riccardo Tione

Abstract: We prove that if $u : B_1 \subset \mathbb{R}^2 \rightarrow \mathbb{R}^n$ is a Lipschitz critical point of the area functional with respect to outer variations, then $u$ is smooth. This solves a conjecture of Lawson and Osserman from 1977 in the planar case. We prove that if $u : B_1 \subset \mathbb{R}^2 \rightarrow \mathbb{R}^n$ is a Lipschitz critical point of the area functional with respect to outer variations, then $u$ is smooth. This solves a conjecture of Lawson and Osserman from 1977 in the planar case. △ Less

Submitted 9 August, 2023; originally announced August 2023.

MSC Class: 35B65; 49Q05; 53A10; 58E12

Multiwavelength Observations of the Blazar PKS 0735+178 in Spatial and Temporal Coincidence with an Astrophysical Neutrino Candidate IceCube-211208A

Authors: A. Acharyya, C. B. Adams, A. Archer, P. Bangale, J. T. Bartkoske, P. Batista, W. Benbow, A. Brill, J. H. Buckley, J. L. Christiansen, A. J. Chromey, M. Errando, A. Falcone, Q. Feng, G. M. Foote, L. Fortson, A. Furniss, G. Gallagher, W. Hanlon, D. Hanna, O. Hervet, C. E. Hinrichs, J. Hoang, J. Holder, T. B. Humensky , et al. (185 additional authors not shown)

Abstract: We report on multiwavelength target-of-opportunity observations of the blazar PKS 0735+178, located 2.2$^\circ$ away from the best-fit position of the IceCube neutrino event IceCube-211208A detected on December 8, 2021. The source was in a high-flux state in the optical, ultraviolet, X-ray, and GeV gamma-ray bands around the time of the neutrino event, exhibiting daily variability in the soft X-ra… ▽ More We report on multiwavelength target-of-opportunity observations of the blazar PKS 0735+178, located 2.2$^\circ$ away from the best-fit position of the IceCube neutrino event IceCube-211208A detected on December 8, 2021. The source was in a high-flux state in the optical, ultraviolet, X-ray, and GeV gamma-ray bands around the time of the neutrino event, exhibiting daily variability in the soft X-ray flux. The X-ray data from Swift-XRT and NuSTAR characterize the transition between the low-energy and high-energy components of the broadband spectral energy distribution (SED), and the gamma-ray data from Fermi -LAT, VERITAS, and H.E.S.S. require a spectral cut-off near 100 GeV. Both X-ray and gamma-ray measurements provide strong constraints on the leptonic and hadronic models. We analytically explore a synchrotron self-Compton model, an external Compton model, and a lepto-hadronic model. Models that are entirely based on internal photon fields face serious difficulties in matching the observed SED. The existence of an external photon field in the source would instead explain the observed gamma-ray spectral cut-off in both leptonic and lepto-hadronic models and allow a proton jet power that marginally agrees with the Eddington limit in the lepto-hadronic model. We show a numerical lepto-hadronic model with external target photons that reproduces the observed SED and is reasonably consistent with the neutrino event despite requiring a high jet power. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Comments: 21 pages, 3 figures, accepted by ApJ

A VERITAS/Breakthrough Listen Search for Optical Technosignatures

Authors: Atreya Acharyya, Colin Adams, Avery Archer, Priyadarshini Bangale, Pedro Batista, Wystan Benbow, Aryeh Brill, M Capasso, Manel Errando, Abraham Falcone, Qi Feng, John Finley, Gregory Foote, Lucy Fortson, Amy Furniss, Sean Griffin, William Hanlon, David Hanna, Olivier Hervet, Claire Hinrichs, John Hoang, Jamie Holder, T. Humensky, Weidong **, Philip Kaaret , et al. (43 additional authors not shown)

Abstract: The Breakthrough Listen Initiative is conducting a program using multiple telescopes around the world to search for "technosignatures": artificial transmitters of extraterrestrial origin from beyond our solar system. The VERITAS Collaboration joined this program in 2018, and provides the capability to search for one particular technosignature: optical pulses of a few nanoseconds duration detectabl… ▽ More The Breakthrough Listen Initiative is conducting a program using multiple telescopes around the world to search for "technosignatures": artificial transmitters of extraterrestrial origin from beyond our solar system. The VERITAS Collaboration joined this program in 2018, and provides the capability to search for one particular technosignature: optical pulses of a few nanoseconds duration detectable over interstellar distances. We report here on the analysis and results of dedicated VERITAS observations of Breakthrough Listen targets conducted in 2019 and 2020 and of archival VERITAS data collected since 2012. Thirty hours of dedicated observations of 136 targets and 249 archival observations of 140 targets were analyzed and did not reveal any signals consistent with a technosignature. The results are used to place limits on the fraction of stars hosting transmitting civilizations. We also discuss the minimum-pulse sensitivity of our observations and present VERITAS observations of CALIOP: a space-based pulsed laser onboard the CALIPSO satellite. The detection of these pulses with VERITAS, using the analysis techniques developed for our technosignature search, allows a test of our analysis efficiency and serves as an important proof-of-principle. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Comments: 15 pages, 7 figures

Sobolev regularity for optimal transport maps of non-convex planar domains

Authors: Connor Mooney, Arghya Rakshit

Abstract: We prove a sharp global $W^{2,\,p}$ estimate for potentials of optimal transport maps that take a certain class of non-convex planar domains to convex ones. We prove a sharp global $W^{2,\,p}$ estimate for potentials of optimal transport maps that take a certain class of non-convex planar domains to convex ones. △ Less

Submitted 13 June, 2023; originally announced June 2023.

Comments: 15 pages

VERITAS discovery of very high energy gamma-ray emission from S3 1227+25 and multiwavelength observations

Authors: Atreya Acharyya, Colin Adams, Avery Archer, Priyadarshini Bangale, Wystan Benbow, Aryeh Brill, Jodi Christiansen, Alisha Chromey, Manel Errando, Abe Falcone, Qi Feng, John Finley, Gregory Foote, Lucy Fortson, Amy Furniss, Greg Gallagher, William Hanlon, David Hanna, Olivier Hervet, Claire Hinrichs, John Hoang, Jamie Holder, Weidong **, Madalyn Johnson, Philip Kaaret , et al. (46 additional authors not shown)

Abstract: We report the detection of very high energy gamma-ray emission from the blazar S3 1227+25 (VER J1230+253) with the Very Energetic Radiation Imaging Telescope Array System (VERITAS). VERITAS observations of the source were triggered by the detection of a hard-spectrum GeV flare on May 15, 2015 with the Fermi-Large Area Telescope (LAT). A combined five-hour VERITAS exposure on May 16th and May 18th… ▽ More We report the detection of very high energy gamma-ray emission from the blazar S3 1227+25 (VER J1230+253) with the Very Energetic Radiation Imaging Telescope Array System (VERITAS). VERITAS observations of the source were triggered by the detection of a hard-spectrum GeV flare on May 15, 2015 with the Fermi-Large Area Telescope (LAT). A combined five-hour VERITAS exposure on May 16th and May 18th resulted in a strong 13$σ$ detection with a differential photon spectral index, $Γ$ = 3.8 $\pm$ 0.4, and a flux level at 9% of the Crab Nebula above 120 GeV. This also triggered target of opportunity observations with Swift, optical photometry, polarimetry and radio measurements, also presented in this work, in addition to the VERITAS and Fermi-LAT data. A temporal analysis of the gamma-ray flux during this period finds evidence of a shortest variability timescale of $τ_{obs}$ = 6.2 $\pm$ 0.9 hours, indicating emission from compact regions within the jet, and the combined gamma-ray spectrum shows no strong evidence of a spectral cut-off. An investigation into correlations between the multiwavelength observations found evidence of optical and gamma-ray correlations, suggesting a single-zone model of emission. Finally, the multiwavelength spectral energy distribution is well described by a simple one-zone leptonic synchrotron self-Compton radiation model. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Comments: 18 pages, 6 figures. Accepted for publication in the Astrophysical Journal (ApJ)

Bifurcation of homogenization and nonhomogenization of the curvature G-equation with shear flows

Authors: Hiroyoshi Mitake, Connor Mooney, Hung V. Tran, Jack Xin, Yifeng Yu

Abstract: The level-set curvature G-equation, a well-known model in turbulent combustion, has the following form $G_t + \left(1-d\, \mathrm{dvi}\left({\frac{DG}{|DG|}}\right)\right)_+|DG|+V(X)\cdot DG=0.$ Here the cutoff correction $()_+$ is imposed to avoid non-physical negative local burning velocity. The existence of the effective burning velocity has been established for a large class of physically… ▽ More The level-set curvature G-equation, a well-known model in turbulent combustion, has the following form $G_t + \left(1-d\, \mathrm{dvi}\left({\frac{DG}{|DG|}}\right)\right)_+|DG|+V(X)\cdot DG=0.$ Here the cutoff correction $()_+$ is imposed to avoid non-physical negative local burning velocity. The existence of the effective burning velocity has been established for a large class of physically relevant incompressible flows $V$ in two dimensions [13] via game theory dynamics. In this paper, we show that the effective burning velocity associated with shear flows in dimensions three or higher ceases to exist when the flow intensity surpasses a bifurcation point. The characterization of the bifurcation point in three dimensions is closely related to the regularity theory of two-dimensional minimal surface type equations due to [29]. As a consequence, a bifurcation also exists for the validity of full homogenization of the curvature G-equation associated with shear flows. △ Less

Submitted 28 March, 2023; originally announced March 2023.

MSC Class: 35B10; 35B27; 35J93

Non $C^1$ solutions to the special Lagrangian equation

Authors: Connor Mooney, Ovidiu Savin

Abstract: We construct viscosity solutions to the special Lagrangian equation that are Lipschitz but not $C^1$. We construct viscosity solutions to the special Lagrangian equation that are Lipschitz but not $C^1$. △ Less

Submitted 12 December, 2023; v1 submitted 24 March, 2023; originally announced March 2023.

Comments: final version, to appear in Duke Math. J

On the stability of solutions to Schrödinger's equation short of the adiabatic limit

Authors: Jacob Bringewatt, Michael Jarret, T. C. Mooney

Abstract: We prove an adiabatic theorem that applies at timescales short of the adiabatic limit. Our proof analyzes the stability of solutions to Schrodinger's equation under perturbation. We directly characterize cross-subspace effects of perturbation, which are typically significantly less than suggested by the perturbation's operator norm. This stability has numerous consequences: we can (1) find timesca… ▽ More We prove an adiabatic theorem that applies at timescales short of the adiabatic limit. Our proof analyzes the stability of solutions to Schrodinger's equation under perturbation. We directly characterize cross-subspace effects of perturbation, which are typically significantly less than suggested by the perturbation's operator norm. This stability has numerous consequences: we can (1) find timescales where the solution of Schrodinger's equation converges to the ground state of a block, (2) lower bound the convergence to the global ground state by demonstrating convergence to some other known quantum state, (3) guarantee faster convergence than the standard adiabatic theorem when the ground state of the perturbed Hamiltonian ($H$) is close to that of the unperturbed $H$, and (4) bound tunneling effects in terms of the global spectral gap when $H$ is ``stoquastic'' (a $Z$-matrix). Our results apply to quantum annealing protocols with faster convergence than usually guaranteed by a standard adiabatic theorem. Our upper and lower bounds demonstrate that at timescales short of the adiabatic limit, subspace dynamics can dominate over global dynamics. Thus, we see that convergence to particular target states can be understood as the result of otherwise local dynamics. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 20 pages

VTSCat: The VERITAS Catalog of Gamma-Ray Observations

Authors: A. Acharyya, C. B. Adams, A. Archer, P. Bangale, J. T. Bartkoske, P. Batista, W. Benbow, J. H. Buckley, A. Brill, M. Capasso, J. L. Christiansen, A. J. Chromey, M. K. Daniel, M. Errando, A. Falcone, K. A Farrell, Q. Feng, J. P. Finley, G. M Foote, L. Fortson, A. Furniss, G. Gallagher, A. Gent, C. Giuri, O. Gueta , et al. (64 additional authors not shown)

Abstract: The ground-based gamma-ray observatory VERITAS (Very Energetic Radiation Imaging Telescope Array System) is sensitive to photons of astrophysical origin with energies in the range between $\approx 85$ GeV to $\approx 30$ TeV. The instrument consists of four 12-m diameter imaging Cherenkov telescopes operating at the Fred Lawrence Whipple Observatory (FLWO) in southern Arizona. VERITAS started four… ▽ More The ground-based gamma-ray observatory VERITAS (Very Energetic Radiation Imaging Telescope Array System) is sensitive to photons of astrophysical origin with energies in the range between $\approx 85$ GeV to $\approx 30$ TeV. The instrument consists of four 12-m diameter imaging Cherenkov telescopes operating at the Fred Lawrence Whipple Observatory (FLWO) in southern Arizona. VERITAS started four-telescope operations in 2007 and collects about 1100 hours of good-weather data per year. The VERITAS collaboration has published over 100 journal articles since 2008 reporting on gamma-ray observations of a large variety of objects: Galactic sources like supernova remnants, pulsar wind nebulae, and binary systems; extragalactic sources like star forming galaxies, dwarf-spheroidal galaxies, and highly-variable active galactic nuclei. This note presents VTSCat: the catalog of high-level data products from all VERITAS publications. △ Less

Submitted 13 January, 2023; v1 submitted 11 January, 2023; originally announced January 2023.

Comments: Version with corrected author list

Journal ref: Research Notes of the AAS, Volume 7, Number 1, 2023

The anisotropic Bernstein problem

Authors: Connor Mooney, Yang Yang

Abstract: We construct nonlinear entire anisotropic minimal graphs over $\mathbb{R}^4$, completing the solution to the anisotropic Bernstein problem. The examples we construct have a variety of growth rates, and our approach both generalizes to higher dimensions and recovers and elucidates known examples of entire minimal graphs over $\mathbb{R}^{n},\, n \geq 8$. We construct nonlinear entire anisotropic minimal graphs over $\mathbb{R}^4$, completing the solution to the anisotropic Bernstein problem. The examples we construct have a variety of growth rates, and our approach both generalizes to higher dimensions and recovers and elucidates known examples of entire minimal graphs over $\mathbb{R}^{n},\, n \geq 8$. △ Less

Submitted 26 September, 2023; v1 submitted 30 September, 2022; originally announced September 2022.

Comments: Final version, to appear in Inventiones Mathematicae

Gradient estimates for the Lagrangian mean curvature equation with critical and supercritical phase

Authors: Arunima Bhattacharya, Connor Mooney, Ravi Shankar

Abstract: In this paper, we prove interior gradient estimates for the Lagrangian mean curvature equation, if the Lagrangian phase is critical and supercritical and $C^{2}$. Combined with the a priori interior Hessian estimates proved in [Bha21, Bha22], this solves the Dirichlet boundary value problem for the critical and supercritical Lagrangian mean curvature equation with $C^0$ boundary data. We also prov… ▽ More In this paper, we prove interior gradient estimates for the Lagrangian mean curvature equation, if the Lagrangian phase is critical and supercritical and $C^{2}$. Combined with the a priori interior Hessian estimates proved in [Bha21, Bha22], this solves the Dirichlet boundary value problem for the critical and supercritical Lagrangian mean curvature equation with $C^0$ boundary data. We also provide a uniform gradient estimate for lower regularity phases that satisfy certain additional hypotheses. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Singular structures in solutions to the Monge-Ampère equation with point masses

Authors: Connor Mooney, Arghya Rakshit

Abstract: We construct new examples of Monge-Ampère metrics with polyhedral singular structures, motivated by problems related to the optimal transport of point masses and to mirror symmetry. We also analyze the stability of the singular structures under small perturbations of the data given in the problem under consideration. We construct new examples of Monge-Ampère metrics with polyhedral singular structures, motivated by problems related to the optimal transport of point masses and to mirror symmetry. We also analyze the stability of the singular structures under small perturbations of the data given in the problem under consideration. △ Less

Submitted 24 April, 2022; originally announced April 2022.

Comments: 10 pages

Homogeneous functions with nowhere vanishing Hessian determinant

Authors: Connor Mooney

Abstract: We prove that functions that are homogeneous of degree $α\in (0,\,1)$ on $\mathbb{R}^n$ and have nowhere vanishing Hessian determinant cannot change sign. We prove that functions that are homogeneous of degree $α\in (0,\,1)$ on $\mathbb{R}^n$ and have nowhere vanishing Hessian determinant cannot change sign. △ Less

Submitted 4 January, 2022; originally announced January 2022.

Comments: 6 pages

Lefschetz Thimble Quantum Monte Carlo for Spin Systems

Authors: T. C. Mooney, Jacob Bringewatt, Neill C. Warrington, Lucas T. Brady

Abstract: Monte Carlo simulations are useful tools for modeling quantum systems, but in some cases they suffer from a sign problem, leading to an exponential slow down in their convergence to a value. While solving the sign problem is generically NP-hard, many techniques exist for mitigating the sign problem in specific cases; in particular, the technique of deforming the Monte Carlo simulation's plane of i… ▽ More Monte Carlo simulations are useful tools for modeling quantum systems, but in some cases they suffer from a sign problem, leading to an exponential slow down in their convergence to a value. While solving the sign problem is generically NP-hard, many techniques exist for mitigating the sign problem in specific cases; in particular, the technique of deforming the Monte Carlo simulation's plane of integration onto Lefschetz thimbles (complex hypersurfaces of stationary phase) has seen significant success in the context of quantum field theories. We extend this methodology to spin systems by utilizing spin coherent state path integrals to re-express the spin system's partition function in terms of continuous variables. Using some toy systems, we demonstrate its effectiveness at lessening the sign problem in this setting, despite the fact that the initial map** to spin coherent states introduces its own sign problem. The standard formulation of the spin coherent path integral is known to make use of uncontrolled approximations; despite this, for large spins they are typically considered to yield accurate results, so it is somewhat surprising that our results show significant systematic errors. Therefore, possibly of independent interest, our use of Lefschetz thimbles to overcome the intrinsic sign problem in spin coherent state path integral Monte Carlo enables a novel numerical demonstration of a breakdown in the spin coherent path integral. △ Less

Submitted 27 October, 2022; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 11 pages, 5 figures

Report number: INT-PUB-22-015

Journal ref: Phys. Rev. B. 106, 214416 (2022)

Hilbert's $19^{\text{th}}$ problem revisited

Authors: Connor Mooney

Abstract: In this survey article we revisit Hilbert's $19^{\text{th}}$ problem concerning the regularity of minimizers of variational integrals. We first discuss the classical theory (that is, the statement and resolution of Hilbert's problem in all dimensions). We then discuss recent results concerning the regularity of minimizers of degenerate convex functionals. Finally, we discuss some open problems. Ex… ▽ More In this survey article we revisit Hilbert's $19^{\text{th}}$ problem concerning the regularity of minimizers of variational integrals. We first discuss the classical theory (that is, the statement and resolution of Hilbert's problem in all dimensions). We then discuss recent results concerning the regularity of minimizers of degenerate convex functionals. Finally, we discuss some open problems. Exercises are included for the benefit of researchers who are entering the subject. △ Less

Submitted 4 January, 2022; v1 submitted 4 June, 2021; originally announced June 2021.

Comments: 25 pages, to appear in Boll. Unione Mat. Ital

A proof by foliation that Lawson's cones are $A_Φ$-minimizing

Authors: Connor Mooney, Yang Yang

Abstract: We give a proof by foliation that the cones over $\mathbb{S}^k \times \mathbb{S}^l$ minimize parametric elliptic functionals for each $k,\,l \geq 1$. We also analyze the behavior at infinity of the leaves in the foliations. This analysis motivates conjectures related to the existence and growth rates of nonlinear entire solutions to equations of minimal surface type that arise in the study of such… ▽ More We give a proof by foliation that the cones over $\mathbb{S}^k \times \mathbb{S}^l$ minimize parametric elliptic functionals for each $k,\,l \geq 1$. We also analyze the behavior at infinity of the leaves in the foliations. This analysis motivates conjectures related to the existence and growth rates of nonlinear entire solutions to equations of minimal surface type that arise in the study of such functionals. △ Less

Submitted 1 April, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: To appear in Discrete Contin. Dyn. Syst

Strict $2$-convexity of convex solutions to the quadratic Hessian equation

Authors: Connor Mooney

Abstract: We prove that convex viscosity solutions to the quadratic Hessian inequality $σ_2(D^2u) \geq 1$ are strictly $2$-convex. As a consequence we obtain short proofs of smoothness and interior $C^2$ estimates for convex viscosity solutions to $σ_2(D^2u) = 1$, which were proven using different methods in recent works of Guan-Qiu \cite{GQ}, McGonagle-Song-Yuan \cite{MSY} and Shankar-Yuan \cite{SY2}. We prove that convex viscosity solutions to the quadratic Hessian inequality $σ_2(D^2u) \geq 1$ are strictly $2$-convex. As a consequence we obtain short proofs of smoothness and interior $C^2$ estimates for convex viscosity solutions to $σ_2(D^2u) = 1$, which were proven using different methods in recent works of Guan-Qiu \cite{GQ}, McGonagle-Song-Yuan \cite{MSY} and Shankar-Yuan \cite{SY2}. △ Less

Submitted 10 June, 2020; originally announced June 2020.

Solutions to the Monge-Ampère equation with polyhedral and Y-shaped singularities

Authors: Connor Mooney

Abstract: We construct convex functions on $\mathbb{R}^3$ and $\mathbb{R}^4$ that are smooth solutions to the Monge-Ampère equation $\det D^2u = 1$ away from compact one-dimensional singular sets, which can be Y-shaped or form the edges of a convex polytope. The examples solve the equation in the Alexandrov sense away from finitely many points. Our approach is based on solving an obstacle problem where the… ▽ More We construct convex functions on $\mathbb{R}^3$ and $\mathbb{R}^4$ that are smooth solutions to the Monge-Ampère equation $\det D^2u = 1$ away from compact one-dimensional singular sets, which can be Y-shaped or form the edges of a convex polytope. The examples solve the equation in the Alexandrov sense away from finitely many points. Our approach is based on solving an obstacle problem where the graph of the obstacle is a convex polytope. △ Less

Submitted 14 April, 2020; originally announced April 2020.

Entire solutions to equations of minimal surface type in six dimensions

Authors: Connor Mooney

Abstract: We construct nonlinear entire solutions in $\mathbb{R}^6$ to equations of minimal surface type that correspond to parametric elliptic functionals. We construct nonlinear entire solutions in $\mathbb{R}^6$ to equations of minimal surface type that correspond to parametric elliptic functionals. △ Less

Submitted 30 October, 2019; v1 submitted 24 October, 2019; originally announced October 2019.

Comments: Some remarks added

Minimizers of convex functionals with small degeneracy set

Authors: Connor Mooney

Abstract: We study the question whether Lipschitz minimizers of $\int F(\nabla u)\,dx$ in $\mathbb{R}^n$ are $C^1$ when $F$ is strictly convex. Building on work of De Silva-Savin, we confirm the $C^1$ regularity when $D^2F$ is positive and bounded away from finitely many points that lie in a $2$-plane. We then construct a counterexample in $\mathbb{R}^4$, where $F$ is strictly convex but $D^2F$ degenerates… ▽ More We study the question whether Lipschitz minimizers of $\int F(\nabla u)\,dx$ in $\mathbb{R}^n$ are $C^1$ when $F$ is strictly convex. Building on work of De Silva-Savin, we confirm the $C^1$ regularity when $D^2F$ is positive and bounded away from finitely many points that lie in a $2$-plane. We then construct a counterexample in $\mathbb{R}^4$, where $F$ is strictly convex but $D^2F$ degenerates on the intersection of a Simons cone with $S^3$. Finally we highlight a connection between the case $n = 3$ and a result of Alexandrov in classical differential geometry, and we make a conjecture about this case. △ Less

Submitted 15 March, 2019; v1 submitted 7 March, 2019; originally announced March 2019.

Comments: 18 pages, 3 figures, references added, typos corrected

Sharpening the triangle inequality: envelopes between $L^{2}$ and $L^{p}$ spaces

Authors: Paata Ivanisvili, Connor Mooney

Abstract: Motivated by the inequality $\|f+g\|_{2}^{2} \leq \|f\|_{2}^{2}+2\|fg\|_{1}+\|g\|^{2}_{2}$, Carbery (2006) raised the question what is the "right" analogue of this estimate in $L^{p}$ for $p \neq 2$. Carlen, Frank, Ivanisvili and Lieb (2018) recently obtained an $L^{p}$ version of this inequality by providing upper bounds for $\|f+g\|_{p}^{p}$ in terms of the quantities… ▽ More Motivated by the inequality $\|f+g\|_{2}^{2} \leq \|f\|_{2}^{2}+2\|fg\|_{1}+\|g\|^{2}_{2}$, Carbery (2006) raised the question what is the "right" analogue of this estimate in $L^{p}$ for $p \neq 2$. Carlen, Frank, Ivanisvili and Lieb (2018) recently obtained an $L^{p}$ version of this inequality by providing upper bounds for $\|f+g\|_{p}^{p}$ in terms of the quantities $\|f\|_{p}^{p}, \|g\|_{p}^{p}$ and $\|fg\|_{p/2}^{p/2}$ when $p \in(0,1] \cup [2,\infty)$, and lower bounds when $p \in (-\infty,0) \cup (1,2)$, thereby proving (and improving) the suggested possible inequalities of Carbery. We continue investigation in this direction by refining the estimates of Carlen, Frank, Ivanisvili and Lieb. We obtain upper bounds for $\|f + g\|_p^p$ also when $p \in (-\infty,0) \cup (1,2)$ and lower bounds when $p \in (0,1] \cup [2,\infty)$. For $p \in [1,2]$ we extend our upper bounds to any finite number of functions. In addition, we show that all our upper and lower bounds of $\|f+g\|_{p}^{p}$ for $p \in \mathbb{R}$, $p\neq 0$, are the best possible in terms of the quantities $\|f\|_{p}^{p}, \|g\|_{p}^{p}$ and $\|fg\|_{p/2}^{p/2}$, and we characterize the equality cases. △ Less

Submitted 6 February, 2019; originally announced February 2019.

Comments: 12 pages

Journal ref: Analysis & PDE 13 (2020) 1591-1603

A proof of the Krylov-Safonov theorem without localization

Authors: Connor Mooney

Abstract: The Krylov-Safonov theorem says that solutions to non-divergence uniformly elliptic equations with rough coefficients are Hölder continuous. The proof combines a basic measure estimate with delicate localization and covering arguments. Here we give a "global" proof based on convex analysis that avoids the localization and covering arguments. As an application of the technique we prove a… ▽ More The Krylov-Safonov theorem says that solutions to non-divergence uniformly elliptic equations with rough coefficients are Hölder continuous. The proof combines a basic measure estimate with delicate localization and covering arguments. Here we give a "global" proof based on convex analysis that avoids the localization and covering arguments. As an application of the technique we prove a $W^{2,\,ε}$ estimate where $ε$ decays with the ellipticity ratio of the coefficients at a rate that improves previous results, and is optimal in two dimensions. △ Less

Submitted 22 January, 2019; v1 submitted 12 November, 2018; originally announced November 2018.

Comments: To appear in Comm. Partial Differential Equations

The Monge-Ampère Equation

Authors: Connor Mooney

Abstract: In this survey article we discuss the interior and boundary regularity of Alexandrov solutions to $\det D^2u = 1$. We include some topics which it seems were not recently revisited in similar articles, including Calabi's interior $C^3$ estimate, and the approaches of Cheng-Yau and Lions to obtain classical solutions to the Dirichlet problem. The survey grew from two mini-courses given by the aut… ▽ More In this survey article we discuss the interior and boundary regularity of Alexandrov solutions to $\det D^2u = 1$. We include some topics which it seems were not recently revisited in similar articles, including Calabi's interior $C^3$ estimate, and the approaches of Cheng-Yau and Lions to obtain classical solutions to the Dirichlet problem. The survey grew from two mini-courses given by the author in May 2018. One was for "Advanced Lectures in Nonlinear Analysis" at l'Università degli Studi di Torino, and the other for the Oxford PDE CDT. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Regularity results for the equation $u_{11}u_{22} = 1$

Authors: Connor Mooney, Ovidiu Savin

Abstract: We study the equation $u_{11}u_{22} = 1$ in $\mathbb{R}^2$. Our results include an interior $C^2$ estimate, classical solvability of the Dirichlet problem, and the existence of non-quadratic entire solutions. We also construct global singular solutions to the analogous equation in higher dimensions. At the end we state some open questions. We study the equation $u_{11}u_{22} = 1$ in $\mathbb{R}^2$. Our results include an interior $C^2$ estimate, classical solvability of the Dirichlet problem, and the existence of non-quadratic entire solutions. We also construct global singular solutions to the analogous equation in higher dimensions. At the end we state some open questions. △ Less

Submitted 14 June, 2018; originally announced June 2018.

Singularities of complex-valued solutions to linear parabolic equations

Authors: Connor Mooney

Abstract: We construct examples of blowup from smooth data for complex-valued solutions to linear uniformly parabolic equations in dimension $n \geq 2$, which are exactly as irregular as parabolic energy estimates allow. We construct examples of blowup from smooth data for complex-valued solutions to linear uniformly parabolic equations in dimension $n \geq 2$, which are exactly as irregular as parabolic energy estimates allow. △ Less

Submitted 22 May, 2018; v1 submitted 7 May, 2018; originally announced May 2018.

An obstacle problem for conical deformations of thin elastic sheets

Authors: Alessio Figalli, Connor Mooney

Abstract: A developable cone ("d-cone") is the shape made by an elastic sheet when it is pressed at its center into a hollow cylinder by a distance $ε$. Starting from a nonlinear model depending on the thickness $h > 0$ of the sheet, we prove a $Γ$-convergence result as $h \rightarrow 0$ to a fourth-order obstacle problem for curves in $\mathbb{S}^2$. We then describe the exact shape of minimizers of the li… ▽ More A developable cone ("d-cone") is the shape made by an elastic sheet when it is pressed at its center into a hollow cylinder by a distance $ε$. Starting from a nonlinear model depending on the thickness $h > 0$ of the sheet, we prove a $Γ$-convergence result as $h \rightarrow 0$ to a fourth-order obstacle problem for curves in $\mathbb{S}^2$. We then describe the exact shape of minimizers of the limit problem when $ε$ is small. In particular, we rigorously justify previous results in the physics literature. △ Less

Submitted 10 July, 2017; originally announced July 2017.

Comments: 25 pages

Dimension of the minimum set for the real and complex Monge-Ampère equations in critical Sobolev spaces

Authors: Tristan C. Collins, Connor Mooney

Abstract: We prove that the zero set of a nonnegative plurisubharmonic function that solves $\det (\partial \overline{\partial} u) \geq 1$ in $\mathbb{C}^n$ and is in $W^{2, \frac{n(n-k)}{k}}$ contains no analytic sub-variety of dimension $k$ or larger. Along the way we prove an analogous result for the real Monge-Ampère equation, which is also new. These results are sharp in view of well-known examples of… ▽ More We prove that the zero set of a nonnegative plurisubharmonic function that solves $\det (\partial \overline{\partial} u) \geq 1$ in $\mathbb{C}^n$ and is in $W^{2, \frac{n(n-k)}{k}}$ contains no analytic sub-variety of dimension $k$ or larger. Along the way we prove an analogous result for the real Monge-Ampère equation, which is also new. These results are sharp in view of well-known examples of Pogorelov and Błocki. As an application, in the real case we extend interior regularity results to the case that $u$ lies in a critical Sobolev space (or more generally, certain Sobolev-Orlicz spaces). △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 10 pages

Journal ref: Analysis & PDE 10 (2017) 2031-2041

Finite time blowup for parabolic systems in two dimensions

Authors: Connor Mooney

Abstract: We construct examples of finite time singularity from smooth data for linear uniformly parabolic systems in the plane. We obtain similar examples for quasilinear systems with coefficients that depend only on the solution. We construct examples of finite time singularity from smooth data for linear uniformly parabolic systems in the plane. We obtain similar examples for quasilinear systems with coefficients that depend only on the solution. △ Less

Submitted 19 April, 2016; originally announced April 2016.

Comments: 16 pages

The sharp quantitative Euclidean concentration inequality

Authors: Alessio Figalli, Francesco Maggi, Connor Mooney

Abstract: The Euclidean concentration inequality states that, among sets with fixed volume, balls have $r$-neighborhoods of minimal volume for every $r>0$. On an arbitrary set, the deviation of this volume growth from that of a ball is shown to control the square of the volume of the symmetric difference between the set and a ball. This sharp result is strictly related to the physically significant problem… ▽ More The Euclidean concentration inequality states that, among sets with fixed volume, balls have $r$-neighborhoods of minimal volume for every $r>0$. On an arbitrary set, the deviation of this volume growth from that of a ball is shown to control the square of the volume of the symmetric difference between the set and a ball. This sharp result is strictly related to the physically significant problem of understanding near maximizers in the Riesz rearrangement inequality with a strictly decreasing radially decreasing kernel. Moreover, it implies as a particular case the sharp quantitative Euclidean isoperimetric inequality from \cite{fuscomaggipratelli}. △ Less

Submitted 10 August, 2016; v1 submitted 15 January, 2016; originally announced January 2016.

Comments: 18 pages, 6 figures

Some counterexamples to Sobolev regularity for degenerate Monge-Ampère equations

Authors: Connor Mooney

Abstract: We construct a counterexample to $W^{2,1}$ regularity for convex solutions to $$\det D^2u \leq 1, \quad u|_{\partial Ω} = 0$$ in two dimensions. We also prove a result on the propagation of singularities in two dimensions that are logarithmically slower than Lipschitz. This generalizes a classical result of Alexandrov and is optimal by example. We construct a counterexample to $W^{2,1}$ regularity for convex solutions to $$\det D^2u \leq 1, \quad u|_{\partial Ω} = 0$$ in two dimensions. We also prove a result on the propagation of singularities in two dimensions that are logarithmically slower than Lipschitz. This generalizes a classical result of Alexandrov and is optimal by example. △ Less

Submitted 18 September, 2015; originally announced September 2015.

Comments: 11 pages, 4 figures

Journal ref: Anal. PDE 9 (2016) 881-891

Nonlinear Bounds in Hölder Spaces for the Monge-Ampère Equation

Authors: Alessio Figalli, Yash Jhaveri, Connor Mooney

Abstract: We demonstrate that $C^{2,α}$ estimates for the Monge-Ampère equation depend in a highly nonlinear way both on the $C^α$ norm of the right-hand side and $1/α$. First, we show that if a solution is strictly convex, then the $C^{2,α}$ norm of the solution depends polynomially on the $C^α$ norm of the right-hand side. Second, we show that the $C^{2,α}$ norm of the solution is controlled by… ▽ More We demonstrate that $C^{2,α}$ estimates for the Monge-Ampère equation depend in a highly nonlinear way both on the $C^α$ norm of the right-hand side and $1/α$. First, we show that if a solution is strictly convex, then the $C^{2,α}$ norm of the solution depends polynomially on the $C^α$ norm of the right-hand side. Second, we show that the $C^{2,α}$ norm of the solution is controlled by $\exp((C/α)\log(1/α))$ as $α\to 0$. Finally, we construct a family of solutions in two dimensions to show the sharpness of our results. △ Less

Submitted 29 March, 2016; v1 submitted 11 August, 2015; originally announced August 2015.

Journal ref: Journal of Functional Analysis 270 (2016), pp. 3808-3827

Some singular minimizers in low dimensions in the calculus of variations

Authors: Connor Mooney, Ovidiu Savin

Abstract: We construct a singular minimizing map ${\bf u}$ from $\mathbb{R}^3$ to $\mathbb{R}^2$ of a smooth uniformly convex functional of the form $\int_{B_1} F(D{\bf u})\,dx$. We construct a singular minimizing map ${\bf u}$ from $\mathbb{R}^3$ to $\mathbb{R}^2$ of a smooth uniformly convex functional of the form $\int_{B_1} F(D{\bf u})\,dx$. △ Less

Submitted 2 March, 2015; originally announced March 2015.

Comments: 19 pages, 8 figures

Harnack inequality for degenerate and singular elliptic equations with unbounded drift

Authors: Connor Mooney

Abstract: We prove a Harnack inequality for functions which, at points of large gradient, are solutions of elliptic equations with unbounded drift. We prove a Harnack inequality for functions which, at points of large gradient, are solutions of elliptic equations with unbounded drift. △ Less

Submitted 10 July, 2014; originally announced July 2014.

Comments: 13 pages

On Irreducible Divisor Graphs in Commutative Rings with Zero-Divisors

Authors: Christopher Park Mooney

Abstract: In this paper, we continue the program initiated by I. Beck's now classical paper concerning zero-divisor graphs of commutative rings. After the success of much research regarding zero-divisor graphs, many authors have turned their attention to studying divisor graphs of non-zero elements in the ring, the so called irreducible divisor graph. In this paper, we construct several different associated… ▽ More In this paper, we continue the program initiated by I. Beck's now classical paper concerning zero-divisor graphs of commutative rings. After the success of much research regarding zero-divisor graphs, many authors have turned their attention to studying divisor graphs of non-zero elements in the ring, the so called irreducible divisor graph. In this paper, we construct several different associated irreducible divisor graphs of a commutative ring with unity using various choices for the definition of irreducible and atomic in the literature. We continue pursuing the program of exploiting the interaction between algebraic structures and associated graphs to further our understanding of both objects. Factorization in rings with zero-divisors is considerably more complicated than integral domains; however, we find that many of the same techniques can be extended to rings with zero-divisors. This allows us to not only find graph theoretic characterizations of many of the finite factorization properties that commutative rings may possess, but also understand graph theoretic properties of graphs associated with certain commutative rings satisfying nice factorization properties. △ Less

Submitted 31 December, 2013; originally announced January 2014.

Comments: 21 pages, in review

MSC Class: 13A05; 13E99; 13F15; 5C25

$τ$-Regular Factorization in Commutative Rings with Zero-Divisors

Authors: Christopher Park Mooney

Abstract: Recently there has been a flurry of research on generalized factorization techniques in both integral domains and rings with zero-divisors, namely $τ$-factorization. There are several ways that authors have studied factorization in rings with zero-divisors. This paper focuses on the method of regular factorizations introduced by D.D. Anderson and S. Valdes-Leon. We investigate how one can extend t… ▽ More Recently there has been a flurry of research on generalized factorization techniques in both integral domains and rings with zero-divisors, namely $τ$-factorization. There are several ways that authors have studied factorization in rings with zero-divisors. This paper focuses on the method of regular factorizations introduced by D.D. Anderson and S. Valdes-Leon. We investigate how one can extend the notion of $τ$-factorization to commutative rings with zero-divisors by using the regular factorization approach. The study of regular factorization is particularly effective because the distinct notions of associate and irreducible coincide for regular elements. We also note that the popular U-factorization developed by C.R. Fletcher also coincides since every regular divisor is essential. This will greatly simplify many of the cumbersome finite factorization definitions that exist in the literature when studying factorization in rings with zero-divisors. △ Less

Submitted 30 December, 2013; originally announced January 2014.

Comments: 18 pages, in review

MSC Class: 13A05; 13E99; 13F15

$τ$-Complete Factorization in Commutative Rings with Zero-Divisors

Authors: Christopher Park Mooney

Abstract: Much work has been done on generalized factorization techniques in integral domains, namely $τ$-factorization. There has also been substantial progress made in investigating factorization in commutative rings with zero-divisors. There are many ways authors have decided to study factorization when zero-divisors present. This paper focuses on the method $τ$-complete factorizations developed by D.D.… ▽ More Much work has been done on generalized factorization techniques in integral domains, namely $τ$-factorization. There has also been substantial progress made in investigating factorization in commutative rings with zero-divisors. There are many ways authors have decided to study factorization when zero-divisors present. This paper focuses on the method $τ$-complete factorizations developed by D.D. Anderson and A. Frazier. There is a natural way to extend $τ$-complete factorization to commutative rings with zero-divisors. $τ$-complete factorization is a natural way to think of refining factorizations into smaller pieces until one simply cannot refine any further. We see that this notion translates well into the case of commutative rings with zero-divisors and there is an interesting relationship between the $τ$-complete finite factorization properties and the original $τ$-finite factorization properties in rings with zero-divisors developed by the author in 2012. △ Less

Submitted 30 December, 2013; originally announced January 2014.

Comments: 17 pages, in review

MSC Class: 13A05; 13E99; 13F15

Generalized Irreducible Divisor Graphs

Authors: Christopher Park Mooney

Abstract: In 1988, I. Beck introduced the notion of a zero-divisor graph of a commutative rings with $1$. There have been several generalizations in recent years. In particular, in 2007 J. Coykendall and J. Maney developed the irreducible divisor graph. Much work has been done on generalized factorization, especially $τ$-factorization. The goal of this paper is to synthesize the notions of $τ$-factorization… ▽ More In 1988, I. Beck introduced the notion of a zero-divisor graph of a commutative rings with $1$. There have been several generalizations in recent years. In particular, in 2007 J. Coykendall and J. Maney developed the irreducible divisor graph. Much work has been done on generalized factorization, especially $τ$-factorization. The goal of this paper is to synthesize the notions of $τ$-factorization and irreducible divisor graphs in domains. We will define a $τ$-irreducible divisor graph for non-zero non-unit elements of a domain. We show that by studying $τ$-irreducible divisor graphs, we find equivalent characterizations of several finite $τ$-factorization properties. △ Less

Submitted 28 December, 2013; originally announced December 2013.

Comments: 17 pages, 2 figures, to appear in Communications in Algebra

MSC Class: 13A05; 13E99; 13F15; 5C25

Generalized U-factorization in Commutative Rings with Zero-Divisors

Authors: Christopher Park Mooney

Abstract: Recently substantial progress has been made on generalized factorization techniques in integral domains, in particular $τ$-factorization. There has also been advances made in investigating factorization in commutative rings with zero-divisors. One approach which has been found to be very successful is that of U-factorization introduced by C.R. Fletcher. We seek to synthesize work done in these two… ▽ More Recently substantial progress has been made on generalized factorization techniques in integral domains, in particular $τ$-factorization. There has also been advances made in investigating factorization in commutative rings with zero-divisors. One approach which has been found to be very successful is that of U-factorization introduced by C.R. Fletcher. We seek to synthesize work done in these two areas by generalizing $τ$-factorization to rings with zero-divisors by using the notion of U-factorization. △ Less

Submitted 28 December, 2013; originally announced December 2013.

Comments: 16 pages, to appear in Rocky Mountain Journal of Mathematics

MSC Class: 13A05; 13E99; 13F15

Generalized Factorization in Commutative Rings with Zero-Divisors

Authors: Christopher Park Mooney

Abstract: Much work has been done on generalized factorization techniques in integral domains, namely $τ$-factorization. There has also been substantial progress made in investigating factorization in commutative rings with zero-divisors. This paper seeks to synthesize work done in these two areas and extend the notion of $τ$-factorization to commutative rings that need not be domains. In addition, we look… ▽ More Much work has been done on generalized factorization techniques in integral domains, namely $τ$-factorization. There has also been substantial progress made in investigating factorization in commutative rings with zero-divisors. This paper seeks to synthesize work done in these two areas and extend the notion of $τ$-factorization to commutative rings that need not be domains. In addition, we look into particular types of $τ$ relations, which are interesting when there are zero-divisors present. We then proceed to classify commutative rings that satisfy the finite factorization properties given in this paper. △ Less

Submitted 28 December, 2013; originally announced December 2013.

Comments: 14 pages, to appear Houston Journal of Mathematics

MSC Class: 13A05; 13E99; 13F15

Affine Maps Between CAT(0) Spaces

Authors: Hanna Bennett, Christopher Mooney, Ralf Spatzier

Abstract: We study affine maps between CAT(0) spaces with geometric actions, and show that they essentially split as products of dilations and linear maps (on the Euclidean factor). This extends known results from the Riemannian case. Furthermore, we prove a splitting lemma for the Tits boundary of a CAT(0) space with geometric action, a variant of a splitting lemma for geodesically complete CAT(1) spaces b… ▽ More We study affine maps between CAT(0) spaces with geometric actions, and show that they essentially split as products of dilations and linear maps (on the Euclidean factor). This extends known results from the Riemannian case. Furthermore, we prove a splitting lemma for the Tits boundary of a CAT(0) space with geometric action, a variant of a splitting lemma for geodesically complete CAT(1) spaces by Lytchak. △ Less

Submitted 7 October, 2014; v1 submitted 4 September, 2013; originally announced September 2013.

Comments: 13 pages, 1 figure. V2: Filled gaps and corrected details of proofs in some arguments (particularly in Sections 3.1 and 3.2), other minor changes

MSC Class: 20F67

All CAT(0) Boundaries of Croke-Kleiner-Admissible Groups are Equivariantly CE Equivalent]

Authors: Craig Guilbault, Christopher Mooney

Abstract: Question 2.6 of Bestvina's Questions in Geometric Group Theory asks whether every pair of boundaries of a given CAT(0) group G is cell-like equivalent. The question was posed by Bestvina shortly after the discovery, by Croke and Kleiner, of a CAT(0) group that admits multiple boundaries. Previously, it had been observed by Bestvina and Geoghegan that all boundaries of a torsion free CAT(0) G would… ▽ More Question 2.6 of Bestvina's Questions in Geometric Group Theory asks whether every pair of boundaries of a given CAT(0) group G is cell-like equivalent. The question was posed by Bestvina shortly after the discovery, by Croke and Kleiner, of a CAT(0) group that admits multiple boundaries. Previously, it had been observed by Bestvina and Geoghegan that all boundaries of a torsion free CAT(0) G would necessarily have the same shape. Since "cell-like equivalence" is weaker than topological equivalence, but in most circumstances, stronger (and more intuitive) than shape equivalence, this question is a natural one when working with the pathological types of spaces that occur as group boundaries. Furthermore, the definition of cell-like equivalence allows for a obvious G-equivariant extension. In this paper we provide a positive answer to Bestvina's G-equivariant Cell-like Equivalence Question for the class of admissible groups studied by Croke and Kleiner in 2002. Since that collection includes the original Croke-Kleiner group, our result provides a strong solution to Q2.6, for the group that originally motivated the question. △ Less

Submitted 22 May, 2013; originally announced May 2013.

Comments: 15 pages, 2 figures

MSC Class: 57M07; 20F65; 54C56

W^{2,1} estimate for singular solutions to the Monge-Ampere equation

Authors: Connor Mooney

Abstract: We prove an interior $W^{2,1}$ estimate for singular solutions to the Monge-Ampere equation, and construct an example to show our results are optimal. We prove an interior $W^{2,1}$ estimate for singular solutions to the Monge-Ampere equation, and construct an example to show our results are optimal. △ Less

Submitted 6 December, 2013; v1 submitted 16 May, 2013; originally announced May 2013.

Comments: Final version, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci

Partial regularity for singular solutions to the Monge-Ampere equation

Authors: Connor Mooney

Abstract: We prove that solutions to the Monge-Ampere inequality $$\det D^2u \geq 1$$ in $\mathbb{R}^n$ are strictly convex away from a singular set of Hausdorff $n-1$ dimensional measure zero. Furthermore, we show this is optimal by constructing solutions to $\det D^2u = 1$ with singular set of Hausdorff dimension as close as we like to $n-1$. As a consequence we obtain $W^{2,1}$ regularity for the Monge-A… ▽ More We prove that solutions to the Monge-Ampere inequality $$\det D^2u \geq 1$$ in $\mathbb{R}^n$ are strictly convex away from a singular set of Hausdorff $n-1$ dimensional measure zero. Furthermore, we show this is optimal by constructing solutions to $\det D^2u = 1$ with singular set of Hausdorff dimension as close as we like to $n-1$. As a consequence we obtain $W^{2,1}$ regularity for the Monge-Ampere equation with bounded right hand side and unique continuation for the Monge-Ampere equation with sufficiently regular right hand side. △ Less

Submitted 1 August, 2013; v1 submitted 9 April, 2013; originally announced April 2013.

Comments: Final version, to appear in Comm. Pure Appl. Math

Fine asymptotic geometry in the Heisenberg group

Authors: Moon Duchin, Christopher Mooney

Abstract: For every finite generating set on the integer Heisenberg group H(Z), Pansu showed that the word metric has the large-scale structure of a Carnot-Caratheodory Finsler metric on the real Heisenberg group H(R). We study the properties of those limit metrics and obtain results about the geometry of word metrics that reflect the dependence on generators. For example we will study the probability that… ▽ More For every finite generating set on the integer Heisenberg group H(Z), Pansu showed that the word metric has the large-scale structure of a Carnot-Caratheodory Finsler metric on the real Heisenberg group H(R). We study the properties of those limit metrics and obtain results about the geometry of word metrics that reflect the dependence on generators. For example we will study the probability that a group element has all of its geodesic spellings sublinearly close together, relative to the size of the element. In free abelian groups of rank at least two, that probability is 0; in infinite hyperbolic groups, the probability is 1. In H(Z) it is a rational number strictly between 0 and 1 that depends on the generating set; with respect to the standard generators, the probability is precisely 19/31. △ Less

Submitted 25 July, 2011; v1 submitted 26 June, 2011; originally announced June 2011.

Comments: v2: minor edits, improved figures

MSC Class: 20F65; 20F18; 11N45