skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Continuous stable regularity
Abstract We prove an analytic version of the stable graph regularity lemma by Malliaris and Shelah (Trans. Amer. Math. Soc.366(2014), no. 3, 1551–1585), which applies to stable functions . Our methods involve continuous model theory and, in particular, results on the structure of local Keisler measures for stable continuous formulas. Along the way, we develop some basic tools around ultraproducts of metric structures and linear functionals on continuous formulas, and we also describe several concrete families of examples of stable functions.  more » « less
Award ID(s):
2204787
PAR ID:
10481139
Author(s) / Creator(s):
 ;  ;  
Publisher / Repository:
Oxford University Press (OUP)
Date Published:
Journal Name:
Journal of the London Mathematical Society
Volume:
109
Issue:
1
ISSN:
0024-6107
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Datasets involving multivariate event streams are prevalent in numerous applications. We present a novel framework for modeling temporal point processes called clock logic neural networks (CLNN) which learn weighted clock logic (wCL) formulas as interpretable temporal rules by which some events promote or inhibit other events. Specifically, CLNN models temporal relations between events using conditional intensity rates informed by a set of wCL formulas, which are more expressive than related prior work. Unlike conventional approaches of searching for generative rules through expensive combinatorial optimization, we design smooth activation functions for components of wCL formulas that enable a continuous relaxation of the discrete search space and efficient learning of wCL formulas using gradient-based methods. Experiments on synthetic datasets manifest our model's ability to recover the ground-truth rules and improve computational efficiency. In addition, experiments on real-world datasets show that our models perform competitively when compared with state-of-the-art models. 
    more » « less
  2. Abstract This paper addresses the overdetermined problem of inverting the n -dimensional cone (or Compton) transform that integrates a function over conical surfaces in R n . The study of the cone transform originates from Compton camera imaging, a nuclear imaging method for the passive detection of gamma-ray sources. We present a new identity relating the n -dimensional cone and Radon transforms through spherical convolutions with arbitrary weight functions. This relationship, which generalizes a previously obtained identity, leads to various inversion formulas in n -dimensions under a mild assumption on the geometry of detectors. We present two such formulas along with the results of their numerical implementation using synthetic phantoms. Compared to our previously discovered inversion techniques, the new formulas are more stable and simpler to implement numerically. 
    more » « less
  3. Abstract ortho‐Phosphinophenol (oPP) is an unusual example of an air‐stable primary phosphine and a valuable precursor to a variety of useful organophosphorus compounds. The presence of PH2and OH functionalities offers the possibility of intermolecular and intramolecular P⋅⋅⋅HO hydrogen bonding (HB). The close proximity of these two groups also offers the opportunity for intramolecular PH2⋅⋅⋅HO dihydrogen bonding (DHB). This work provides experimental and computational evidence for these various types of interactions. In the solid state,oPPis associated by significant intermolecular P⋅⋅⋅HO hydrogen bonds as revealed by a single crystal X‐ray structural determination. Multinuclear NMR and IR spectroscopic studies, coupled with DFT computational studies, suggest thatoPPadopts multiple conformations in solution whose nature varies with the identity of the solvent. In the gas phase or non‐polar solvents (such as cyclohexane) an equilibrium between four conformations ofoPPis proposed. Interestingly,in silico, a conformational isomer having bifurcated intramolecular PH2⋅⋅⋅HODHB(PP4) is found to be more stable than a conformational isomer having intramolecular P⋅⋅⋅HOHB(PP1). In polar solvents (S), NMR studies indicate intermolecular OH⋅⋅⋅S HBplays a dominant role in modulating31P NMR chemical shifts over a 17 ppm range. 
    more » « less
  4. Abstract We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety and study the corresponding pullback map on (equivariant) cohomology rings. 
    more » « less
  5. Molecular electronic spectra can be represented in the time domain as auto-correlation functions of the initial vibrational wavepacket. We present a derivation of the harmonic vibrational auto-correlation function that is valid for both real and imaginary harmonic frequencies. The derivation rests on Lie algebra techniques that map otherwise complicated exponential operator arithmetic to simpler matrix formulas. The expressions for the zero- and finite-temperature harmonic auto-correlation functions have been carefully structured both to be free of branch-cut discontinuities and to remain numerically stable with finite-precision arithmetic. Simple extensions correct the harmonic Franck–Condon approximation for the lowest-order anharmonic and Herzberg–Teller effects. Quantitative simulations are shown for several examples, including the electronic absorption spectra of F2, HOCl, CH2NH, and NO2. 
    more » « less