Related papers: A Constructive Framework for Galois Connections
In this paper, we generalize the definition of the differential Galois group and the Galois correspondence theorem established previously for Picard-Vessiot extensions of real differential fields with real closed field of constants to any…
The notion of Galois currents in Rational Conformal Field Theory is introduced and illustrated on simple examples. This leads to a natural partition of all theories into two classes, depending on the existence of a non-trivial Galois…
Galois connections were introduced by Ore and have proved useful in a wide variety of mathematical areas. While Galois connections play on the ground of posets (or more generally of quasiordered sets or qosets), we extend this notion to…
We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic…
This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting…
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages. To…
Let $F$ be a $\delta-$field (differential field) of characteristic zero with an algebraically closed field of constants $F^\delta$, $A$ be a $\delta-F-$central simple algebra, $K$ be a Picard-Vessiot extension for the $\delta-F-$module $A$…
Discrete optimisation problems arise in many different areas and are studied under many different names. In many such problems the quantity to be optimised can be expressed as a sum of functions of a restricted form. Here we present a…
We develop a constructive theory of continuous domains from the perspective of program extraction. Our goal that programs represent (provably correct) computation without witnesses of correctness is achieved by formulating correctness…
These notes are an exposition of Galois Theory from the original Lagrangian and Galoisian point of view. A particular effort was made here to better understand the connection between Lagrange's purely combinatorial approach and Galois…
Let $k/\mathbb F_p$ denote a finite field. For any split connected reductive group $G/W(k)$ and certain CM number fields $F$, we deform certain Galois representations $\overline\rho:Gal(\overline F/F) \to G(k)$ to continuous families…
This PhD deals with the notion of pseudo algebraically closed (PAC) extensions of fields. It develops a group-theoretic machinery, based on a generalization of embedding problems, to study these extensions. Perhaps the main result is that…
Isogeometric analysis (IgA) uses the same class of basis functions for both, representing the geometry of the computational domain and approximating the solution. In practical applications, geometrical patches are used in order to get…
Given any polar pair of convex bodies we study its conjugate face maps and we characterize conjugate faces of non-exposed faces in terms of normal cones. The analysis is carried out using the positive hull operator which defines lattice…
While interest in models that generalize at test time to new compositions has risen in recent years, benchmarks in the visually-grounded domain have thus far been restricted to synthetic images. In this work, we propose COVR, a new test-bed…
In the context of isogeometric analysis, globally $C^1$ isogeometric spaces over unstructured quadrilateral meshes allow the direct solution of fourth order partial differential equations on complex geometries via their Galerkin…
In the geometric version of the Langlands correspondence, irregular singular point connections play the role of Galois representations with wild ramification. In this paper, we develop a geometric theory of fundamental strata to study…
This paper presents a connection between Galois points and rational functions over a finite field with small value sets. This paper proves that the defining polynomial of any plane curve admitting two Galois points is an irreducible…
Domain Generalization (DG) aims to learn representations that remain robust under out-of-distribution (OOD) shifts and generalize effectively to unseen target domains. While recent invariant learning strategies and architectural advances…
We explore the relationship between the category of MV-algebras and its full subcategories of perfect and semisimple algebras, showing that this pair of subcategories defines a pretorsion theory. We study the Galois structure associated…