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.


This content will become publicly available on September 10, 2026

Title: Verifiable Safety Q-Filters Via Hamilton-Jacobi Reachability and Multiplicative Q-Networks
Award ID(s):
2144489
PAR ID:
10658524
Author(s) / Creator(s):
 ;  ;  ;  
Publisher / Repository:
IEEE Control Systems Letters
Date Published:
Journal Name:
IEEE Control Systems Letters
Volume:
9
ISSN:
2475-1456
Page Range / eLocation ID:
2229 to 2234
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. A bstract Non-topological solitons such as Q-balls and Q-shells have been studied for scalar fields invariant under global and gauged U(1) symmetries. We generalize this frame-work to include a Proca mass for the gauge boson, which can arise either from spontaneous symmetry breaking or via the Stückelberg mechanism. A heavy (light) gauge boson leads to solitons reminiscent of the global (gauged) case, but for intermediate values these Proca solitons exhibit completely novel features such as disconnected regions of viable parameter space and Q-shells with unbounded radius. We provide numerical solutions and excellent analytic approximations for both Proca Q-balls and Q-shells. These allow us to not only demonstrate the novel features numerically, but also understand and predict their origin analytically. 
    more » « less
  2. Abstract We introduce the ‐Catalan measures, a sequence of piece‐wise polynomial measures on . These measures are defined in terms of suitable area, dinv, and bounce statistics on continuous families of paths in the plane, and have many combinatorial similarities to the ‐Catalan numbers. Our main result realizes the ‐Catalan measures as a limit of higher ‐Catalan numbers as . We also give a geometric interpretation of the ‐Catalan measures. They are the Duistermaat–Heckman measures of the punctual Hilbert schemes parametrizing subschemes of supported at the origin. 
    more » « less