English
Related papers

Related papers: Galois theory for analogical classifiers

200 papers

If the Continuum Hypothesis is false, it implies the existence of cardinalities between the integers and the real numbers. In studying these "cardinal characteristics of the continuum", it was discovered that many of the associated…

Logic · Mathematics 2025-04-11 David Philips

We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of…

Classical Analysis and ODEs · Mathematics 2007-05-23 Phyllis J. Cassidy , Michael F. Singer

We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of…

Classical Analysis and ODEs · Mathematics 2007-05-23 Zoé Chatzidakis , Charlotte Hardouin , Michael F. Singer

A proposal of an algebraic model for the relation between a quantum environment and certain classical particle system is given. The quantum environment is described by a category of possible quantum states, the initial particle system is…

Quantum Algebra · Mathematics 2007-05-23 Wladyslaw Marcinek

Principles of analogical reasoning have recently been applied in the context of machine learning, for example to develop new methods for classification and preference learning. In this paper, we argue that, while analogical reasoning is…

Machine Learning · Computer Science 2020-05-27 Eyke Hüllermeier

Analogical reasoning depends fundamentally on the ability to learn and generalize about relations between objects. We develop an approach to relational learning which, given a set of pairs of objects…

Methodology · Statistics 2013-08-30 Ricardo Silva , Katherine Heller , Zoubin Ghahramani , Edoardo M. Airoldi

Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) $\rho$ have the property that an $n$-ary operation $f$ preserves $\rho$, i.e., $f$ is a polymorphism of $\rho$, if and only if each…

Rings and Algebras · Mathematics 2023-07-06 Danica Jakubíková-Studenovská , Reinhard Pöschel , Sándor Radeleczki

We carry out some of Galois's work in the setting of an arbitrary first-order theory T. We replace the ambient algebraically closed field by a large model M of T, replace fields by definably closed subsets of M, assume that T codes finite…

Logic · Mathematics 2010-08-24 Alice Medvedev , Ramin Takloo-Bighash

Galois categories can be viewed as the combinatorial analog of Tannakian categories. We introduce the notion of pre-Galois category, which can be viewed as the combinatorial analog of pre-Tannakian categories. Given an oligomorphic group…

Representation Theory · Mathematics 2024-02-27 Nate Harman , Andrew Snowden

Classical applications of Galois theory concern algebraic numbers and algebraic functions. Still, the night before his duel, Galois wrote that his last mathematical thoughts had been directed toward applying his "theory of ambiguity to…

History and Overview · Mathematics 2012-07-17 Yves André

We present several new examples of reflection principles which apply to both class groups of number fields and picard groups of of curves over $\mathbb{P}^{1}/\mathbb{F}_{p}$. This proves a conjecture of Lemmermeyer about equality of 2-rank…

Number Theory · Mathematics 2016-05-17 Jack Klys

We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no…

Classical Analysis and ODEs · Mathematics 2008-01-10 Charlotte Hardouin , Michael F. Singer

We enhance the analogy between field extensions and covering spaces by introducing the concept of splitting covering which correspondences to the splitting field in Galois theory. We define semi-topological Galois groups for Weierstrass…

Group Theory · Mathematics 2010-06-08 Hsuan-Yi Liao , Jyh-Haur Teh

It has been argued that analogy is the core of cognition. In AI research, algorithms for analogy are often limited by the need for hand-coded high-level representations as input. An alternative approach is to use high-level perception, in…

Artificial Intelligence · Computer Science 2011-07-25 Peter D. Turney

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois…

Commutative Algebra · Mathematics 2014-04-15 Lucia Di Vizio , Charlotte Hardouin , Michael Wibmer

Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an…

Category Theory · Mathematics 2007-05-23 Michael Mueger

Much of human learning and inference can be framed within the computational problem of relational generalization. In this project, we propose a Bayesian model that generalizes relational knowledge to novel environments by analogically…

Artificial Intelligence · Computer Science 2020-06-09 Ruairidh M. Battleday , Thomas L. Griffiths

We show the close connection between appearingly different Galois theories for comodules introduced recently in [J. G\'omez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, arXiv:math.RA/0509106.] and…

Rings and Algebras · Mathematics 2007-05-23 Joost Vercruysse

We establish a Galois-theoretic interpretation of cohomology in semi-abelian categories: cohomology with trivial coefficients classifies central extensions, also in arbitrarily high degrees. This allows us to obtain a duality, in a certain…

Category Theory · Mathematics 2015-11-24 Diana Rodelo , Tim Van der Linden

Given a family of continuous real functions $\mathcal{G}$, let $R_\mathcal{G}$ be a binary relation defined as follows: a continuous function $f\colon\mathbb{R}\to\mathbb{R}$ is in the relation with a closed set $E\subseteq\mathbb{R}$ if…

General Topology · Mathematics 2018-10-03 Peter Eliaš