Related papers: Covariant Supplementation Scheme for Infinitely Re…
Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the…
We present a supersymmetric model of fermion masses with SU(4)*SU(2)^2*U(1)_X gauge group with matter in fundamental and antisymmetric tensor representations only. The up, down, charged lepton and neutrino Yukawa matrices are distinguished…
We address the problem of the existence of a Lagrangian for a given system of linear PDEs with constant coefficients. As a subtask, this involves bringing the system into a pre-Lagrangian form, wherein the number of equations matches the…
A new method of employing an isospin chemical potential for QCD-like theories with different number of colors, number of fermion flavors, and in different fermion representations is proposed. The isospin chemical potential, which can be…
Dynamic properties of fermionic systems, like contollability, reachability, and simulability, are investigated in a general Lie-theoretical frame for quantum systems theory. Observing the parity superselection rule, we treat the fully…
In this note, we discuss the flexibility of Schubert classes in homogeneous varieties. We give several constructions for representing multiples of a Schubert class by irreducible subvarieties. We sharpen [R, Theorem 3.1] by proving that…
We present a framework for synthesising formulas in first-order logic (FOL) from examples, which unifies and advances state-of-the-art approaches for inference of transition system invariants. To do so, we study and categorise the existing…
A new integration scheme, combining the stability and the precision of usual pseudo-spectral codes with the locality of finite differences methods, is introduced. It turns out to be particularly suitable for the study of front and…
We give sufficient Gordin-type criteria for the iterated (enhanced) weak invariance principle to hold for deterministic dynamical systems. Such an invariance principle is intrinsically related to the interpretation of stochastic integrals.…
It was shown recently that the constraints on the initial data for Einstein's equations may be posed as an evolutionary problem [9]. In one of the proposed two methods the constraints can be replaced by a first order symmetrizable…
We extend the perturbative approach developed in an earlier work to deal with Lagrangians which have arbitrary higher order time derivative terms for both bosons and fermions. This approach enables us to find an effective Lagrangian with…
A pluri-Lagrangian structure is an attribute of integrability for lattice equations and for hierarchies of differential equations. It combines the notion of multi-dimensional consistency (in the discrete case) or commutativity of the flows…
Given a max-plus linear system and a semimodule, the problem of computing the maximal controlled invariant subsemimodule is still open to this day. In this paper, we consider this problem for the specific class of fully actuated systems and…
Strong variational sufficiency is a newly proposed property, which turns out to be of great use in the convergence analysis of multiplier methods. However, what this property implies for non-polyhedral problems remains a puzzle. In this…
We present a new technique for constructing solutions of quasilinear systems of first-order partial differential equations, in particular inhomogeneous ones. A generalization of the Riemann invariants method to the case of inhomogeneous…
The concept of (A,B)-invariant subspace (or controlled invariant) of a linear dynamical system is extended to linear systems over the max-plus semiring. Although this extension presents several difficulties, which are similar to those…
In this paper, new unfitted mixed finite elements are presented for elliptic interface problems with jump coefficients. Our model is based on a fictitious domain formulation with distributed Lagrange multiplier. The relevance of our…
An explicit expression for the cofactor related to an irreducible invariant algebraic curve of a polynomial dynamical system in the plane is derived. A sufficient condition for a polynomial dynamical system in the plane to have a finite…
Cosmological simulations involving the fully covariant gravitational dynamics may prove relevant in understanding relativistic/non-linear features and, therefore, in taking better advantage of the upcoming large scale structure survey data.…
The interplay between off-shell and on-shell unfolded systems is analysed. The formulation of invariant constraints that put an off-shell system on shell is developed by adding new variables and derivation in the target space, that extends…