相关论文: Keisler's order via Boolean ultrapowers
A primary concern of excessive reuse of test datasets in machine learning is that it can lead to overfitting. Multiclass classification was recently shown to be more resistant to overfitting than binary classification. In an open problem of…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
In an earlier article, we presented a method to obtain integrals of motion and polynomial algebras for a class of two-dimensional superintegrable systems from creation and annihilation operators. We discuss the general case and present its…
In the present paper, new classes of wavelet functions are presented in the framework of Clifford analysis. Firstly, some classes of orthogonal polynomials are provided based on 2-parameters weight functions. Such classes englobe the well…
In the present survey paper, we present several new classes of Hochster's spectral spaces "occurring in nature", actually in multiplicative ideal theory, and not linked to or realized in an explicit way by prime spectra of rings. The…
The purpose of this paper is to present a syatemic study of some familes of higher-order Euler numbers and polynomials. In particular, by using the basis property of higher-order Euler polynomials for the space of polynomials of degree less…
A new formulation of the particle filter for nonlinear filtering is presented, based on concepts from optimal control, and from the mean-field game theory. The optimal control is chosen so that the posterior distribution of a particle…
We are able to derive the equations of motion for forced mechanical systems in a purely variational setting, both in the context of Lagrangian or Hamiltonian mechanics, by duplicating the variables of the system as introduced by Galley…
The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of…
We study the interplay between properties of measures on a Boolean algebra A and forcing names for ultrafilters on A. We show that several well known measure theoretic properties of Boolean algebras (such as supporting a strictly positive…
The review is based on the author's papers since 1985 in which a new approach to the separation of variables (\SoV) has being developed. It is argued that \SoV, understood generally enough, could be the most universal tool to solve…
We study the inverse problem of recovering the order and the diffusion coefficient of an elliptic fractional partial differential equation from a finite number of noisy observations of the solution. We work in a Bayesian framework and show…
We investigate refined algebraic quantisation of the constrained Hamiltonian system introduced by Boulware as a simplified version of the Ashtekar-Horowitz model. The dimension of the physical Hilbert space is finite and asymptotes in the…
The spectral order on $\bR$ induces a partial ordering on the manifold $\calH_{n}$ of monic hyperbolic polynomials of degree $n$. We show that the semigroup $\tilde{\calS}$ generated by differential operators of the form $(1-\la…
Let $k$ be a field of characteristic $0$, let $\mathsf{C}$ be a finite split category, let $\alpha$ be a 2-cocycle of $\mathsf{C}$ with values in the multiplicative group of $k$, and consider the resulting twisted category algebra…
We show that the three body Calogero model with inverse square potentials can be interpreted as a maximally superintegrable and multiseparable system in Euclidean three-space. As such it is a special case of a family of systems involving…
Boolean calculus has been studied extensively in the past in the context of switching circuits, error-correcting codes etc. This work generalizes several approaches to defining a differential calculus for Boolean functions. A unified theory…
We connect and solve two longstanding open problems in quite different areas: the model-theoretic question of whether $SOP_2$ is maximal in Keisler's order, and the question from set theory/general topology of whether $\mathfrak{p} =…
We present higher order polynomial algebras which are the dynamical symmetry algebras of a wide class of multi-mode boson systems in non-linear optics. We construct their unitary representations and the corresponding single-variable…
High-energy factorization in QCD is investigated beyond leading order and its relationship to the factorization theorem of mass singularities is established to any collinear accuracy. Flavour non-singlet observables are shown to be regular…