More Like this

1. Self-Improving inequalities for bounded weak solutions to nonlocal double phase equations

   https://doi.org/10.3934/cpaa.2021174  

   Scott, James M.; Mengesha, Tadele (January 2021, Communications on Pure & Applied Analysis)

   We prove higher Sobolev regularity for bounded weak solutions to a class of nonlinear nonlocal integro-differential equations. The leading operator exhibits nonuniform growth, switching between two different fractional elliptic "phases" that are determined by the zero set of a modulating coefficient. Solutions are shown to improve both in integrability and differentiability. These results apply to operators with rough kernels and modulating coefficients. To obtain these results we adapt a particular fractional version of the Gehring lemma developed by Kuusi, Mingione, and Sire in their work "Nonlocal self-improving properties" Analysis & PDE, 8(1):57–114 for the specific nonlinear setting under investigation in this manuscript. 

   more » « less
2. Notes on solutions of KZ equations modulo $p^s$ and $$p$$-adic limit $$s\to\infty$$

   Alexander Varchenko (January 2022, Contemporary mathematics)

   We consider the KZ equations over C in the case, when the hypergeometric solutions are hyperelliptic integrals of genus g. Then the space of solutions is a 2g-dimensional complex vector space. We also consider the same equations modulo ps, where p is an odd prime and s is a positive integer, and over the field Q_p of p-adic numbers. We construct polynomial solutions of the KZ equations modulo ps and study the space Mps of all constructed solutions. We show that the p-adic limit of Mps as s→∞ gives us a g-dimensional vector space of solutions of the KZ equations over Qp. The solutions over Qp are power series at a certain asymptotic zone of the KZ equations. In the appendix written jointly with Steven Sperber we consider all asymptotic zones of the KZ equations in the case g=1 of elliptic integrals. The p-adic limit of Mps as s→∞ gives us a one-dimensional space of solutions over Qp at every asymptotic zone. We apply Dwork's theory and show that our germs of solutions over Qp defined at different asymptotic zones analytically continue into a single global invariant line subbundle of the associated KZ connection. Notice that the corresponding KZ connection over C does not have proper nontrivial invariant subbundles, and therefore our invariant line subbundle is a new feature of the KZ equations over Qp. We describe the Frobenius transformations of solutions of the KZ equations for g=1 and then recover the unit roots of the zeta functions of the elliptic curves defined by the equations y2=βx(x−1)(x−α) over the finite field Fp. Here α,β∈F×p,α≠1 

   more » « less
3. Data-driven lemma synthesis for interactive proofs

   https://doi.org/10.1145/3563306  

   Sivaraman, Aishwarya; Sanchez-Stern, Alex; Chen, Bretton; Lerner, Sorin; Millstein, Todd (October 2022, Proceedings of the ACM on Programming Languages)

   Interactive proofs of theorems often require auxiliary helper lemmas to prove the desired theorem. Existing approaches for automatically synthesizing helper lemmas fall into two broad categories. Some approaches are goal-directed, producing lemmas specifically to help a user make progress from a given proof state, but they have limited expressiveness in terms of the lemmas that can be produced. Other approaches are highly expressive, able to generate arbitrary lemmas from a given grammar, but they are completely undirected and hence not amenable to interactive usage. In this paper, we develop an approach to lemma synthesis that is both goal-directed and expressive. The key novelty is a technique for reducing lemma synthesis to a data-driven program synthesis problem, whereby examples for synthesis are generated from the current proof state. We also describe a technique to systematically introduce new variables for lemma synthesis, as well as techniques for filtering and ranking candidate lemmas for presentation to the user. We implement these ideas in a tool called lfind, which can be run as a Coq tactic. In an evaluation on four benchmark suites, lfind produces useful lemmas in 68% of the cases where a human prover used a lemma to make progress. In these cases lfind synthesizes a lemma that either enables a fully automated proof of the original goal or that matches the human-provided lemma. 

   more » « less
4. Understanding the radio relic emission in the galaxy cluster MACS J0717.5+3745: Spectral analysis

   https://doi.org/10.1051/0004-6361/202039428  

   Rajpurohit, K.; Wittor, D.; van Weeren, R. J.; Vazza, F.; Hoeft, M.; Rudnick, L.; Locatelli, N.; Eilek, J.; Forman, W. R.; Bonafede, A.; et al (February 2021, Astronomy & Astrophysics)

   null (Ed.)

   Radio relics are diffuse, extended synchrotron sources that originate from shock fronts generated during cluster mergers. The massive merging galaxy cluster MACS J0717.5+3745 hosts one of the more complex relics known to date. We present upgraded Giant Metrewave Radio Telescope band 3 (300−500 MHz) and band 4 (550−850 MHz) observations. These new observations, combined with published VLA and the new LOFAR HBA data, allow us to carry out a detailed, high spatial resolution spectral analysis of the relic over a broad range of frequencies. The integrated spectrum of the relic closely follows a power law between 144 MHz and 5.5 GHz with a mean spectral slope α  = −1.16 ± 0.03. Despite the complex morphology of this relic, its subregions and the other isolated filaments also follow power-law behaviors, and show similar spectral slopes. Assuming diffusive shock acceleration, we estimated a dominant Mach number of ∼3.7 for the shocks that make up the relic. A comparison with recent numerical simulations suggests that in the case of radio relics, the slopes of the integrated radio spectra are determined by the Mach number of the accelerating shock, with α nearly constant, namely between −1.13 and −1.17, for Mach numbers 3.5 − 4.0. The spectral shapes inferred from spatially resolved regions show curvature, we speculate that the relic is inclined along the line of sight. The locus of points in the simulated color-color plots changes significantly with the relic viewing angle. We conclude that projection effects and inhomogeneities in the shock Mach number dominate the observed spectral properties of the relic in this complex system. Based on the new observations we raise the possibility that the relic and a narrow-angle-tailed radio galaxy are two different structures projected along the same line of sight. 

   more » « less
5. Circulation and Energy Theorem Preserving Stochastic Fluids

   https://doi.org/10.1017/prm.2019.43  

   Drivas, Theodore D.; Holm, Darryl D. (December 2020, Proceedings of the Royal Society of Edinburgh: Section A Mathematics)

   null (Ed.)

   Abstract Smooth solutions of the incompressible Euler equations are characterized by the property that circulation around material loops is conserved. This is the Kelvin theorem. Likewise, smooth solutions of Navier–Stokes are characterized by a generalized Kelvin's theorem, introduced by Constantin–Iyer (2008). In this note, we introduce a class of stochastic fluid equations, whose smooth solutions are characterized by natural extensions of the Kelvin theorems of their deterministic counterparts, which hold along certain noisy flows. These equations are called the stochastic Euler–Poincaré and stochastic Navier–Stokes–Poincaré equations respectively. The stochastic Euler–Poincaré equations were previously derived from a stochastic variational principle by Holm (2015), which we briefly review. Solutions of these equations do not obey pathwise energy conservation/dissipation in general. In contrast, we also discuss a class of stochastic fluid models, solutions of which possess energy theorems but do not, in general, preserve circulation theorems. 

   more » « less