Search results for "Universal Algebra"
showing 10 items of 93 documents
On Sets of Words of Rank Two
2019
Given a (finite or infinite) subset X of the free monoid A∗ over a finite alphabet A, the rank of X is the minimal cardinality of a set F such that X⊆ F∗. A submonoid M generated by k elements of A∗ is k-maximal if there does not exist another submonoid generated by at most k words containing M. We call a set X⊆ A∗ primitive if it is the basis of a |X|-maximal submonoid. This extends the notion of primitive word: indeed, w is a primitive set if and only if w is a primitive word. By definition, for any set X, there exists a primitive set Y such that X⊆ Y∗. The set Y is therefore called a primitive root of X. As a main result, we prove that if a set has rank 2, then it has a unique primitive …
SOV approach for integrable quantum models associated to general representations on spin-1/2 chains of the 8-vertex reflection algebra
2013
The analysis of the transfer matrices associated to the most general representations of the 8-vertex reflection algebra on spin-1/2 chains is here implemented by introducing a quantum separation of variables (SOV) method which generalizes to these integrable quantum models the method first introduced by Sklyanin. More in detail, for the representations reproducing in their homogeneous limits the open XYZ spin-1/2 quantum chains with the most general integrable boundary conditions, we explicitly construct representations of the 8-vertex reflection algebras for which the transfer matrix spectral problem is separated. Then, in these SOV representations we get the complete characterization of t…
On limits and colimits of variety-based topological systems
2011
The paper provides variety-based extensions of the concepts of (lattice-valued) interchange system and space, introduced by Denniston, Melton and Rodabaugh, and shows that variety-based interchange systems incorporate topological systems of Vickers, state property systems of Aerts, Chu spaces (over the category of sets in the sense of Pratt) of P.-H. Chu and contexts (of formal concept analysis) of Wille. The paper also provides an explicit description of (co)limits in the category of variety-based topological systems and applies the obtained results to extend the claim of Denniston et al. that the category of topological systems of Vickers is small initially topological over the category o…
The Lyapunov dimension formula for the global attractor of the Lorenz system
2015
The exact Lyapunov dimension formula for the Lorenz system has been analytically obtained first due to G.A.Leonov in 2002 under certain restrictions on parameters, permitting classical values. He used the construction technique of special Lyapunov-type functions developed by him in 1991 year. Later it was shown that the consideration of larger class of Lyapunov-type functions permits proving the validity of this formula for all parameters of the system such that all the equilibria of the system are hyperbolically unstable. In the present work it is proved the validity of the formula for Lyapunov dimension for a wider variety of parameters values, which include all parameters satisfying the …
A Proximal Solution for a Class of Extended Minimax Location Problem
2005
We propose a proximal approach for solving a wide class of minimax location problems which in particular contains the round trip location problem. We show that a suitable reformulation of the problem allows to construct a Fenchel duality scheme the primal-dual optimality conditions of which can be solved by a proximal algorithm. This approach permits to solve problems for which distances are measured by mixed norms or gauges and to handle a large variety of convex constraints. Several numerical results are presented.
Algebraicity of analytic maps to a hyperbolic variety
2018
Let $X$ be an algebraic variety over $\mathbb{C}$. We say that $X$ is Borel hyperbolic if, for every finite type reduced scheme $S$ over $\mathbb{C}$, every holomorphic map $S^{an}\to X^{an}$ is algebraic. We use a transcendental specialization technique to prove that $X$ is Borel hyperbolic if and only if, for every smooth affine curve $C$ over $\mathbb{C}$, every holomorphic map $C^{an}\to X^{an}$ is algebraic. We use the latter result to prove that Borel hyperbolicity shares many common features with other notions of hyperbolicity such as Kobayashi hyperbolicity.
On Almost Nilpotent Varieties of Linear Algebras
2020
A variety \(\mathcal {V}\) is almost nilpotent if it is not nilpotent but all proper subvarieties are nilpotent. Here we present the results obtained in recent years about almost nilpotent varieties and their classification.
The Many Faces of a Translation
2000
First-order translations have recently been characterized as the maps computed by aperiodic single-valued nondeterministic finite transducers (NFTs). It is shown here that this characterization lifts to "V-translations" and "V-single-valued-NFTs", where V is an arbitrary monoid pseudovariety. More strikingly, 2-way V-machines are introduced, and the following three models are shown exactly equivalent to Eilenberg's classical notion of a bimachine when V is a group variety or when V is the variety of aperiodic monoids: V-translations, V-single-valued-NFTs and 2-way V-transducers.
Improving the stability bound for the PPH nonlinear subdivision scheme for data coming from strictly convex functions
2021
Abstract Subdivision schemes are widely used in the generation of curves and surfaces, and therefore they are applied in a variety of interesting applications from geological reconstructions of unaccessible regions to cartoon film productions or car and ship manufacturing. In most cases dealing with a convexity preserving subdivision scheme is needed to accurately reproduce the required surfaces. Stability respect to the initial input data is also crucial in applications. The so called PPH nonlinear subdivision scheme is proven to be both convexity preserving and stable. The tighter the stability bound the better controlled is the final output error. In this article a more accurate stabilit…
W3 theory: robust computational thermochemistry in the kJ/mol accuracy range
2003
We are proposing a new computational thermochemistry protocol denoted W3 theory, as a successor to W1 and W2 theory proposed earlier [Martin and De Oliveira, J. Chem. Phys. 111, 1843 (1999)]. The new method is both more accurate overall (error statistics for total atomization energies approximately cut in half) and more robust (particularly towards systems exhibiting significant nondynamical correlation) than W2 theory. The cardinal improvement rests in an approximate account for post-CCSD(T) correlation effects. Iterative T_3 (connected triple excitations) effects exhibit a basis set convergence behavior similar to the T_3 contribution overall. They almost universally decrease molecular bi…