The weakest nontrivial idempotent equations

Miroslav Olšák

DOI: https://doi.org/10.1112/blms.12097

2016-09-26

Abstract:An equational condition is a set of equations in an algebraic language, and an algebraic structure satisfies such a condition if it possesses terms that meet the required equations. We find a single nontrivial equational condition which is implied by any nontrivial idempotent equational condition.

Logic

What problem does this paper attempt to address?

Equational theories of idempotent semifields

George Metcalfe,Simon Santschi

2024-02-15

Abstract:This paper provides answers to several open problems about equational theories of idempotent semifields. In particular, it is proved that (i) no equational theory of a non-trivial class of idempotent semifields has a finite basis; (ii) there are continuum-many equational theories of classes of idempotent semifields; and (iii) the equational theory of the class of idempotent semifields is co-NP-complete.

Logic
What is the weakest idempotent Maltsev condition that implies that abelian tolerances generate abelian congruences?

Keith A. Kearnes,Emil W. Kiss

2024-12-01

Abstract:We answer the question in the title. In the process, we correct an error in our AMS Memoir The Shape of Congruence Lattices.

Logic
Loop conditions

Miroslav Olšák

DOI: https://doi.org/10.48550/arXiv.1701.00260

2018-02-09

Abstract:We discuss such Maltsev conditions that consist of just one linear equation, we call them loop conditions. To every such condition can be assigned a graph. We provide a classification of conditions with undirected graphs. It follows that the Siggers term is the weakest non-trivial loop condition.

Logic,Combinatorics
A New Kind of Solutions to Modularity Condition Equations

Feng QIN,Bin ZHAO

DOI: https://doi.org/10.3321/j.issn:0583-1431.2006.06.034

2006-01-01

Acta Mathematica Sinica

Abstract:The modularity condition equations only involved idempotent uninorms and t-operators are investigated.The three following cases are proved:(i)A t-operator with an idempotent uninorm is modular if and only if there exists uniquely a kind of new non-trivial solutions;(ii)An idempotent uninorm with a t-operator is modular if and only if there exists uniquely a kind of new non-trivial solutions also;(iii)the necessary and sufficient conditions are given when two idempotent uninorms satisfy the modularity condition equation.
On absolute nilpotent and idempotent elements of an evolution algebra corresponding to permutations

B. A. Narkuziyev

DOI: https://doi.org/10.48550/arXiv.1803.11415

2018-03-30

Rings and Algebras

Abstract:We describe absolute nilpotent and some idempotent elements of an $n$- dimensional evolution algebra corresponding to two permutations and we decompose such algebras to the direct sum of evolution algebras corresponding to cycles of the permutations.
On equationally Noetherian predicate structures

Ivan Buchinskiy,Matvei Kotov,Alexander Treier

2024-07-16

Abstract:In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.

Logic
Functional and Operatorial Equations Defined Implicitly and Moment Problems

Octav Olteanu

DOI: https://doi.org/10.3390/sym16020152

2024-01-28

Symmetry

Abstract:The properties of the unique nontrivial analytic solution, defined implicitly by a functional equation, are pointed out. This work provides local estimations and global inequalities for the involved solution. The corresponding operatorial equation is studied as well. The second part of the paper is devoted to the full classical moment problem, which is an inverse problem. Two constraints are imposed on the solution. One of them requires the solution to be dominated by a concrete convex operator defined on the positive cone of the domain space. A one-dimensional operator is valued, and a multidimensional scalar moment problem is solved. In both cases, the existence and the uniqueness of the solution are proved. The general idea of the paper is to provide detailed information on solutions which are not expressible in terms of elementary functions.

multidisciplinary sciences
On the equational theory of finite modular lattices

Christian Herrmann

2024-07-08

Abstract:It is shown that there is $N$ such that there is no algorithm to decide for identities in at most $N$ variables validity in the class of finite modular lattices. This is based on Slobodskoi's result that the Restricted Word Problem is unsolvable for the class of finite groups and relies on Freese's technique of capturing group presentations within free modular lattices.

Logic
Weak identities in the algebra of symmetric matrices of order two

Vesselin S. Drensky

DOI: https://doi.org/10.48550/arXiv.2008.13286

2020-08-31

Abstract:We describe the weak polynomial identities of the Jordan algebra of symmetric $2\times 2$ matrices over a field of characteristic zero. The corresponding weak verbal ideal is generated by the standard identity of degree four and the metabelian identity.

Rings and Algebras
On the Qualitative Properties of a Solution to a System of Infinite Nonlinear Algebraic Equations

M. H. Avetisyan,Kh. A. Khachatryan

DOI: https://doi.org/10.1134/s0037446624020186

2024-03-27

Siberian Mathematical Journal

Abstract:We study and solve some class of infinite systems of algebraic equations with monotone nonlinearity and Toeplitz-type matrices. Such systems for the specific representations of nonlinearities arise in the discrete problems of dynamic theory of clopen -adic strings for a scalar field of tachyons, the mathematical theory of spatio-temporal spread of an epidemic, radiation transfer theory in inhomogeneous media, and the kinetic theory of gases in the framework of the modified Bhatnagar–Gross–Krook model. The noncompactness of the corresponding operator in the bounded sequence space and the criticality property (the presence of trivial nonphysical solutions) is a distinctive feature of these systems. For these reasons, the use of the well-known classical principles of existence of fixed points for such equations do not lead to the desired results. Constructing some invariant cone segments for the corresponding nonlinear operator, we prove the existence and uniqueness of a nontrivial nonnegative solution in the bounded sequence space. Also, we study the asymptotic behavior of the solution at . In particular, we prove that the limit at of a solution is finite. Also, we show that the difference between this limit and a solution belongs to . By way of illustration, we provide some special applied examples.

mathematics
Linear Equation over Non-Commutative Algebra

Aleks Kleyn

2024-03-15

Abstract:I considered solving of the system of linear equations $$a^1_{1s0}x^1a^1_{1s1}+...+a^1_{ns0}x^na^1_{ns1}=b^1$$ $$...$$ $$a^n_{1s0}x^1a^n_{1s1}+...+a^n_{ns0}x^na^n_{ns1}=b^n$$ over non-commutative associative algebra. I considered examples in quaternion algebra. I considered also Newton's method to solve the equation $$f(x)=a$$ over non-commutative associative algebra.

General Mathematics
Circuit equivalence in 2-nilpotent algebras

Piotr Kawałek,Michael Kompatscher,Jacek Krzaczkowski

DOI: https://doi.org/10.48550/arXiv.1909.12256

2019-09-27

Abstract:The circuit equivalence problem of a finite algebra $\mathbf A$ is the computational problem of deciding whether two circuits over $\mathbf A$ define the same function or not. This problem not just generalises the equivalence problem for Boolean circuits, but is also of high interest in universal algebra, as it models the problems of checking identities in $\mathbf A$. In this paper we discuss the complexity for algebras from congruence modular varieties. A partial classification was already given by Idziak and Krzaczkowski, leaving essentially only a gap for nilpotent but not supernilpotent algebras. We start a systematic study of this open case, proving that the circuit equivalence problem is in P for $2$-nilpotent such algebras.

Computational Complexity,Rings and Algebras
A Shorter Proof to Uniqueness of Solutions of Equations.

MS Ying

DOI: https://doi.org/10.1016/s0304-3975(98)00187-x

IF: 1.002

1999-01-01

Theoretical Computer Science

Abstract:We give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner's process calculus.
EQUATIONS OVER DIRECT POWERS OF ALGEBRAIC STRUCTURES IN RELATIONAL LANGUAGES

A. Shevlyakov,,

DOI: https://doi.org/10.17223/20710410/53/1

2021-01-01

PRIKLADNAYa DISKRETNAYa MATEMATIKA

Abstract:For a semigroup S (group G) we study relational equations and describe all semigroups S with equationally Noetherian direct powers. It follows that any group G has equationally Noetherian direct powers if we consider G as an algebraic structure of a certain relational language. Further we specify the results as follows: if a direct power of a finite semigroup S is equationally Noetherian, then the minimal ideal Ker(S) of S is a rectangular band of groups and Ker(S) coincides with the set of all reducible elements

English Else
On the uncommonness of minimal rank-2 systems of linear equations

Daniel Altman,Anita Liebenau

2024-04-30

Abstract:We prove that suitably generic pairs of linear equations on an even number of variables are uncommon. This verifies a conjecture of Kamčev, Morrison and the second author. Moreover, we prove that any large system containing such a $(2\times k)$-system as a minimal subsystem is uncommon.

Combinatorics,Number Theory,Probability
CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2

Michael Kompatscher

2023-08-07

Abstract:The circuit satisfaction problem CSAT(A) of an algebra A is the problem of deciding whether an equation over A (encoded by two circuits) has a solution or not. While solving systems of equations over finite algebras is either in P or NP-complete, no such dichotomy result is known for CSAT(A). In fact, Idziak, Kawalek and Krzaczkowski constructed examples of nilpotent Maltsev algebras A, for which, under the assumption of ETH and an open conjecture in circuit theory, CSAT(A) can be solved in quasipolynomial, but not polynomial time. The same is true for the circuit equivalence problem CEQV(A). In this paper we generalize their result to all nilpotent Maltsev algebras of Fitting length >2. This not only advances the project of classifying the complexity of CSAT (and CEQV) for algebras from congruence modular varieties, but we also believe that the tools we developed are of independent interest in the study of nilpotent algebras.

Computational Complexity,Rings and Algebras
The equational theory of the Weihrauch lattice with multiplication

Eike Neumann,Arno Pauly,Cécilia Pradic

2024-09-04

Abstract:We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite parallelization $(-)^*$ which are true however we substitute Weihrauch degrees for the variables. We provide a combinatorial description of these in terms of a reducibility between finite graphs, and moreover, show that deciding which equations are true in this sense is complete for the third level of the polynomial hierarchy.

Logic in Computer Science,Logic
Once again about weak uniqueness for SDE with singular coefficients

N.V. Krylov

2024-10-25

Abstract:We prove weak uniqueness for admissible solutions of Itô's equations with uniformly nondegenerate $a$ which is almost in VMO and $b$ in a Morrey class of functions with low integrability property. If $b\in L_{d}$ any solution is admissible.

Probability
Equicontractive weak separation property on the line does not imply convex finite type condition

Kevin G. Hare

2024-03-02

Abstract:Let $\{S_1, S_2, \dots, S_n\}$ be an iterated function system on $\mathbb{R}$ with attractor $K$. It is known that if the iterated function system satisfies the weak separation property and $K = [0,1]$ then the iterated function system also satisfies the convex finite type condition. We show that the condition $K = [0,1]$ is necessary. That is, we give two examples of iterated function systems on $\mathbb{R}$ satisfying weak separation condition, and $0< \dim_H(K) < 1$ such that the IFS does not satisfy the convex finite type condition.

Dynamical Systems
Mal'cev Complexes

Andrew Moorhead

2023-11-07

Abstract:It is well known that an equivalence relation is invariant under the basic operations of an algebra if and only if it is invariant under the unary polynomials of the algebra. We show that a higher arity version of this property holds for a higher dimensional analogue of an equivalence relation. It follows that the hypercommutator of arity $n$ for an algebra is determined by its $n$-ary polynomials. We construct examples to show that this fails for every arity of the term condition higher commutator.

Rings and Algebras

The weakest nontrivial idempotent equations

Equational theories of idempotent semifields

What is the weakest idempotent Maltsev condition that implies that abelian tolerances generate abelian congruences?

Loop conditions

A New Kind of Solutions to Modularity Condition Equations

On absolute nilpotent and idempotent elements of an evolution algebra corresponding to permutations

On equationally Noetherian predicate structures

Functional and Operatorial Equations Defined Implicitly and Moment Problems

On the equational theory of finite modular lattices

Weak identities in the algebra of symmetric matrices of order two

On the Qualitative Properties of a Solution to a System of Infinite Nonlinear Algebraic Equations

Linear Equation over Non-Commutative Algebra

Circuit equivalence in 2-nilpotent algebras

A Shorter Proof to Uniqueness of Solutions of Equations.

EQUATIONS OVER DIRECT POWERS OF ALGEBRAIC STRUCTURES IN RELATIONAL LANGUAGES

On the uncommonness of minimal rank-2 systems of linear equations

CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2

The equational theory of the Weihrauch lattice with multiplication

Once again about weak uniqueness for SDE with singular coefficients

Equicontractive weak separation property on the line does not imply convex finite type condition

Mal'cev Complexes