English
Related papers

Related papers: A Galois Connection for Weighted (Relational) Clon…

200 papers

In $1991$, Wei proved a duality theorem that established an interesting connection between the generalized Hamming weights of a linear code and those of its dual code. Wei's duality theorem has since been extensively studied from different…

Information Theory · Computer Science 2021-07-26 Yang Xu , Haibin Kan , Guangyue Han

We study the basic Galois connection induced by the "satisfaction" relation between external operations $A^n\rightarrow B$ defined on a set $A$ and valued in a possibly different set $B$ on the one hand, and ordered pairs $(R,S)$ of…

Rings and Algebras · Mathematics 2015-08-10 Miguel Couceiro

Recently, different works proposed a new way to mine patterns in databases with pathological size. For example, experiments in genome biology usually provide databases with thousands of attributes (genes) but only tens of objects…

Machine Learning · Computer Science 2009-02-10 Baptiste Jeudy , François Rioult

The question of graviton cloning in the context of the bulk/boundary correspondence is considered. It is shown that multi-graviton theories can be obtained from products of large-N CFTs. No more than one interacting massless graviton is…

High Energy Physics - Theory · Physics 2009-11-11 Elias Kiritsis

We consider $S$-operations $f \colon A^{n} \to A$ in which each argument is assigned a signum $s \in S$ representing a "property" such as being order-preserving or order-reversing with respect to a fixed partial order on $A$. The set $S$ of…

Rings and Algebras · Mathematics 2024-12-02 Peter Jipsen , Erkko Lehtonen , Reinhard Pöschel

We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…

Logic · Mathematics 2026-01-21 Meng-Che "Turbo" Ho , Martin Ritter , Luca San Mauro

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š

A fundamental theorem of Katz \cite{Katz87} determines the differential Galois groups of rank $n$ connections on algebraic curves with slope $r/n$ at a singularity, where $\gcd(r,n)=1$. We extend this result to $G$-connections, where $G$ is…

Algebraic Geometry · Mathematics 2026-02-23 Masoud Kamgarpour , Daniel S. Sage

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…

Computational Complexity · Computer Science 2015-03-20 David A. Cohen , Martin C. Cooper , Paidi Creed , Peter G. Jeavons , Stanislav Zivny

One of the key points in Galois theory via field extensions is to build up a correspondence between subfields of a field and subgroups of its automorphism group, so as to study fields via methods of groups. As an analogue of the Galois…

Representation Theory · Mathematics 2024-02-29 Jinlei Dong , Fang Li

In this paper, we prove new instances of the inverse Galois problem over global function fields for finite groups of Lie type. This is done by constructing compatible systems of $\ell$-adic Galois representations valued in a semisimple…

Number Theory · Mathematics 2023-10-25 Shiang Tang

For each clone C on a set A there is an associated equivalence relation analogous to Green's R-relation, which relates two operations on A iff each one is a substitution instance of the other using operations from C. We study the clones for…

Rings and Algebras · Mathematics 2016-11-22 Erkko Lehtonen , Ágnes Szendrei

In this paper we extend a conjecture of Ash and Sinnott relating niveau one Galois representation to the mod p cohomology of congruence subgroups of SL(n,Z) to include Galois representations of higher niveau. We then present computational…

Number Theory · Mathematics 2007-05-23 Avner Ash , Darrin Doud , David Pollack

We introduce the concept of quantum polymorphisms to the complexity theory of quantum constraint satisfaction. Via this notion, we build an algebraic framework of reductions between quantum CSPs, and we establish a Galois connection between…

Quantum Physics · Physics 2026-04-02 Lorenzo Ciardo , Gideo Joubert , Antoine Mottet

We consider the problem of correlation clustering on graphs with constraints on both the cluster sizes and the positive and negative weights of edges. Our contributions are twofold: First, we introduce the problem of correlation clustering…

Machine Learning · Computer Science 2015-05-25 Gregory J. Puleo , Olgica Milenkovic

Preclones are described as the closed classes of the Galois connection induced by a preservation relation between operations and matrix collections. The Galois closed classes of matrix collections are also described by explicit closure…

Rings and Algebras · Mathematics 2016-11-22 Erkko Lehtonen

We show that between any pair of Galois conjugate blocks of finite group algebras, there exists an isotypy with all signs positive.

Representation Theory · Mathematics 2010-10-26 Radha Kessar

Given $\texttt{S}|\texttt{R}$ a finite Galois extension of finite chain rings and $\mathcal{B}$ an $\texttt{S}$-linear code we define two Galois operators, the closure operator and the interior operator. We proof that a linear code is…

Information Theory · Computer Science 2016-02-22 A. Fotue Tabue , E. Martínez-Moro , C. Mouaha

We consider sets of operations on a set A that are closed under permutation of variables, addition of dummy variables and composition. We describe these closed sets in terms of a Galois connection between operations and systems of pointed…

Rings and Algebras · Mathematics 2016-11-22 Miguel Couceiro , Erkko Lehtonen

There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete…

Logic in Computer Science · Computer Science 2018-09-25 Libor Barto , Michael Kompatscher , Miroslav Olšák , Trung Van Pham , Michael Pinsker