-
A Transaction Represented with Weighted Finite-State Transducers
Authors:
J. Nathaniel Holmes,
Homayoon Beigi
Abstract:
Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts"). Contracts that can be represented as State-Transition Contracts discretize fat-tailed risk to foreseeable, managed risk, define the boundary of relevant events governed by the relationship, and eliminate the potential of inconsistent contractual provisions. Additi…
▽ More
Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts"). Contracts that can be represented as State-Transition Contracts discretize fat-tailed risk to foreseeable, managed risk, define the boundary of relevant events governed by the relationship, and eliminate the potential of inconsistent contractual provisions. Additionally, State-Transition Contracts reap the substantial benefit of being able to be analyzed under the rules governing the science of the theory of computation. Simple State-Transition Contracts can be represented as discrete finite automata; more complicated State-Transition Contracts, such as those that have downstream effects on other agreements or complicated pathways of performance, benefit from representation as weighted finite-state transducers, with weights assigned as costs, penalties, or probabilities of transitions. This research paper (the "Research" or "Paper") presents a complex legal transaction represented as weighted finite-state transducers. Furthermore, we show that the mathematics/algorithms permitted by the algebraic structure of weighted finite-state transducers provides actionable, legal insight into the transaction.
△ Less
Submitted 31 January, 2023;
originally announced February 2023.
-
Weak diffeomorphisms and solutions to conservation laws
Authors:
John Holmes,
Barbara Keyfitz,
Feride Tiglay
Abstract:
Evolution equations which describe the changes in a velocity field over time have been classically studied within the Eulerian or Lagrangian frame of reference. Classically, these frameworks are equivalent descriptions of the same problem, and the equivalence can be demonstrated by constructing particle paths. For hyperbolic conservation laws, we extend the equivalence between these frameworks to…
▽ More
Evolution equations which describe the changes in a velocity field over time have been classically studied within the Eulerian or Lagrangian frame of reference. Classically, these frameworks are equivalent descriptions of the same problem, and the equivalence can be demonstrated by constructing particle paths. For hyperbolic conservation laws, we extend the equivalence between these frameworks to weak solutions for a broad class of problems. Our main contribution in this paper is that we develop a new framework to extend the idea of a particle path to scalar equations and to systems in one dimension which do not explicitly include velocity fields. For systems, we use Riemann invariants as the tool to develop an analog to particle paths.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
Continuity of the data-to-solution map for the FORQ equation in Besov Spaces
Authors:
John Holmes,
Feride Tiglay,
Ryan Thompson
Abstract:
For Besov spaces $B^s_{p,r}(\rr)$ with $s>\max\{ 2 + \frac1p , \frac52\} $, $p \in (1,\infty]$ and $r \in [1 , \infty)$, it is proved that the data-to-solution map for the FORQ equation is not uniformly continuous from $B^s_{p,r}(\rr)$ to $C([0,T]; B^s_{p,r}(\rr))$. The proof of non-uniform dependence is based on approximate solutions and the Littlewood-Paley decomposition.
For Besov spaces $B^s_{p,r}(\rr)$ with $s>\max\{ 2 + \frac1p , \frac52\} $, $p \in (1,\infty]$ and $r \in [1 , \infty)$, it is proved that the data-to-solution map for the FORQ equation is not uniformly continuous from $B^s_{p,r}(\rr)$ to $C([0,T]; B^s_{p,r}(\rr))$. The proof of non-uniform dependence is based on approximate solutions and the Littlewood-Paley decomposition.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.
-
Non-uniqueness for the ab-family of equations
Authors:
John Holmes,
Rajan Puri
Abstract:
We study the cubic ab-family of equations, which includes both the Fokas-Olver-Rosenau-Qiao (FORQ) and the Novikov (NE) equations. For $a\neq0$, it is proved that there exist initial data in the Sobolev space $H^s$, $s<3/2$, with non-unique solutions. Multiple solutions are constructed by studying the collision of 2-peakon solutions. Furthermore, we prove the novel phenomenon that for some members…
▽ More
We study the cubic ab-family of equations, which includes both the Fokas-Olver-Rosenau-Qiao (FORQ) and the Novikov (NE) equations. For $a\neq0$, it is proved that there exist initial data in the Sobolev space $H^s$, $s<3/2$, with non-unique solutions. Multiple solutions are constructed by studying the collision of 2-peakon solutions. Furthermore, we prove the novel phenomenon that for some members of the family, collision between 2-peakons can occur even if the "faster" peakon is in front of the "slower" peakon.
△ Less
Submitted 2 February, 2020;
originally announced February 2020.
-
Nonuniform dependence on initial data for compressible gas dynamics: The Cauchy problem on $\mathbb{R}^2$
Authors:
John Holmes,
Barbara Lee Keyfitz,
Feride Tiglay
Abstract:
The Cauchy problem for the two dimensional compressible Euler equations with data in the Sobolev space $H^s(\mathbb R^2)$ is known to have a unique solution of the same Sobolev class for a short time, and the data-to-solution map is continuous. We prove that the data-to-solution map on the plane is not uniformly continuous on any bounded subset of Sobolev class functions.
The Cauchy problem for the two dimensional compressible Euler equations with data in the Sobolev space $H^s(\mathbb R^2)$ is known to have a unique solution of the same Sobolev class for a short time, and the data-to-solution map is continuous. We prove that the data-to-solution map on the plane is not uniformly continuous on any bounded subset of Sobolev class functions.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
Well-posedness and Continuity Properties of the Fornberg-Whitham Equation in Besov Spaces
Authors:
John Holmes,
Ryan C. Thompson
Abstract:
In this paper, we prove well-posedness of the Fornberg-Whitham equation in Besov spaces $B_{2,r}^s$ in both the periodic and non-periodic cases. This will imply the existence and uniqueness of solutions in the aforementioned spaces along with the continuity of the data-to-solution map provided that the initial data belongs to $B_{2,r}^s $. We also establish sharpness of continuity on the data-to-s…
▽ More
In this paper, we prove well-posedness of the Fornberg-Whitham equation in Besov spaces $B_{2,r}^s$ in both the periodic and non-periodic cases. This will imply the existence and uniqueness of solutions in the aforementioned spaces along with the continuity of the data-to-solution map provided that the initial data belongs to $B_{2,r}^s $. We also establish sharpness of continuity on the data-to-solution map by showing that it is not uniformly continuous from any bounded subset of $B_{2,r}^s$ to $C([-T,T]; B^s_{2,r})$. Furthermore, we prove a Cauchy-Kowalevski type theorem for this equation that establishes the existence and uniqueness of real analytic solutions and also provide blow-up criterion for solutions.
△ Less
Submitted 31 May, 2016;
originally announced June 2016.
