Algebraic Definition Research Articles

Some Similarity Measures on Generalized Interval-Valued Intuitionistic Fuzzy Soft Expert Sets and Their Applications in Medical Diagnosis

In recent years, the application of fuzzy sets has gained significant attraction in various fields, including medical diagnosis, due to their ability to manage uncertainties and imprecise information. This paper focuses on the comparative analysis of similarity measures within the realm of Generalized Interval-Valued Intuitionistic Fuzzy Soft Expert Sets (GIVIFSESs) and explores their application in the domain of medical diagnosis. Most of the important topics in fuzzy set theory are the similarity measures between the generalizations of fuzzy set theory. Similarity measures are a crucial tool which was used in data science. In this process, we measure how much the data sets are related and comparable. Measures of similarity give a numerical value that reveals the strength of associations between sets or sets of variables. In this paper, we initiate a new concept of generalized interval-valued intuitionistic fuzzy soft expert sets and their fundamental operations. This new concept is more flexible than existing concepts based on their algebraic definition. Unlike fuzzy sets, the concept of generalized interval-valued intuitionistic fuzzy soft expert sets is characterized by a degree of membership and degree of non-membership along with fuzzy set theory. The proposed methodology is validated through an empirical application in medical diagnosis, where (GIV-IFSESs) are employed to model the uncertainty and imprecision inherent in expert assessments. The selected similarity measures are then applied to quantify the degree of resemblance between different medical cases, facilitating a more informed decision-making process. We introduce several types of similarity measures on generalized interval-valued intuitionistic fuzzy soft expert sets. We also discuss a similarity measure of Type-I, Type-II, and Type-III for two (GIVIFSESs) and its application in medical diagnosis problems.

Generation of Algebraic Data Type Values Using Evolutionary Algorithms

Automatic data generation is a key component of automated software testing. Random generation of test input data can uncover some bugs in software, but its effectiveness decreases when those inputs must satisfy complex properties in order to be meaningful. In this work, we study an evolutionary approach to generate values that can be encoded as algebraic data types plus additional properties. First, the approach is illustrated with the generation of sorted lists. Then, we generalize the technique to arbitrary algebraic data type definitions. Finally, we consider the problem of constrained data types where the data must satisfy some nontrivial property, using the well-known example of red-black trees for our experiments. This example will allow us to introduce the main principles of evolutionary algorithms and how these principles can be applied to obtain valid, nontrivial samples of a given data structure. Our experiments have revealed that this evolutionary approach is able to improve diversity, and increase the size of valid generated values with respect to simple random sampling techniques.

Algebraic and geometric definitions of the cross product: the link

Given two vectors $\overrightarrow u = {({u_1},\,\,{u_2},\,{u_3})^t}$ and $\overrightarrow y = {({v_1},\,{v_2},\,{v_3})^t}$ in ${{\mathcal{R}}^3}$ , the cross product $\overrightarrow u \times \overrightarrow v $ is defined as follows (see [1] or [2]): $$Algebraic{\rm{ }}definition{\rm{:}}\,\,\overrightarrow u \times \overrightarrow v \, = \,\left[ {\matrix{ {{u_2}{v_3}} \hfill & - \hfill & {{u_3}{v_2}} \hfill \cr {{u_3}{v_1}} \hfill & - \hfill & {{u_1}{v_3}} \hfill \cr {{u_1}{v_2}} \hfill & - \hfill & {{u_2}{v_1}} \hfill \cr } } \right].$$

Definition of the cord algebra of knots using Morse thoery

Definition of the cord algebra of knots using Morse thoery

Non-degenerate metrics, hypersurface deformation algebra, non-anomalous representations and density weights in quantum gravity

Classical General Relativity is a dynamical theory of spacetime metrics of Lorentzian signature. In particular the classical metric field is nowhere degenerate in spacetime. In its initial value formulation with respect to a Cauchy surface the induced metric is of Euclidian signature and nowhere degenerate on it. It is only under this assumption of non-degeneracy of the induced metric that one can derive the hypersurface deformation algebra between the initial value constraints which is absolutely transparent from the fact that the inverse of the induced metric is needed to close the algebra. This statement is independent of the density weight that one may want to equip the spatial metric with. Accordingly, the very definition of a non-anomalous representation of the hypersurface deformation algebra in quantum gravity has to address the issue of non-degeneracy of the induced metric that is needed in the classical theory. In the Hilbert space representation employed in Loop Quantum Gravity (LQG) most emphasis has been laid to define an inverse metric operator on the dense domain of spin network states although they represent induced quantum geometries which are degenerate almost everywhere. It is no surprise that demonstration of closure of the constraint algebra on this domain meets difficulties because it is a sector of the quantum theory which is classically forbidden and which lies outside the domain of definition of the classical hypersurface deformation algebra. Various suggestions for addressing the issue such as non-standard operator topologies, dual spaces (habitats) and density weights have been proposed to address this issue with respect to the quantum dynamics of LQG. In this article we summarise these developments and argue that insisting on a dense domain of non-degenerate states within the LQG representation may provide a natural resolution of the issue thereby possibly avoiding the above mentioned non-standard constructions.

Modular structure theory on Hom-Lie algebras

Abstract The aim of this paper is to transfer the restrictedness theory to Hom-Lie algebras. The concept of restricted Hom-Lie algebras, which is introduced in [S. Bouarroudj and A. Makhlouf, Hom-lie superalgebras in characteristic 2, Mathematics 11 2023, 24, Paper No. 4955], will be used in this paper. First, the existence and uniqueness of p-structures on a Hom-Lie algebra is studied. Then the definition of a restrictable Hom-Lie algebra is given and the equivalence relation between restrictable Hom-Lie algebras and restricted Hom-Lie algebras is constructed. Finally, the p-envelopes of a Hom-Lie algebra are defined and studied.

Realizations and star-product of doubly κ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\kappa $$\\end{document}-deformed Yang models

The Yang algebra was proposed a long time ago as a generalization of the Snyder algebra to the case of curved background spacetime. It includes as subalgebras both the Snyder and the de Sitter algebras and can therefore be viewed as a model of noncommutative curved spacetime. A peculiarity with respect to standard models of noncommutative geometry is that it includes translation and Lorentz generators, so that the definition of a Hopf algebra and the physical interpretation of the variables conjugated to the primary ones is not trivial. In this paper we consider the realizations of the Yang algebra and its κ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\kappa $$\\end{document}-deformed generalization on an extended phase space and in this way we are able to define a Hopf structure and a twist.

Algebraic ER=EPR and complexity transfer

We propose an algebraic definition of ER=EPR in the GN → 0 limit, which associates bulk spacetime connectivity/disconnectivity to the operator algebraic structure of a quantum gravity system. The new formulation not only includes information on the amount of entanglement, but also more importantly the structure of entanglement. We give an independent definition of a quantum wormhole as part of the proposal. This algebraic version of ER=EPR sheds light on a recent puzzle regarding spacetime disconnectivity in holographic systems with O\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathcal{O} $$\\end{document}(1/GN) entanglement. We discuss the emergence of quantum connectivity in the context of black hole evaporation and further argue that at the Page time, the black hole-radiation system undergoes a transition involving the transfer of an emergent type III1 subalgebra of high complexity operators from the black hole to radiation. We argue this is a general phenomenon that occurs whenever there is an exchange of dominance between two competing quantum extremal surfaces.

The Schmidt Rank for the Commuting Operator Framework

In quantum information theory, the Schmidt rank is a fundamental measure for the entanglement dimension of a pure bipartite state. Its natural definition uses the Schmidt decomposition of vectors on bipartite Hilbert spaces, which does not exist (or at least is not canonically given) if the observable algebras of the local systems are allowed to be general C*-algebras. In this work, we generalize the Schmidt rank to the commuting operator framework where the joint system is not necessarily described by the minimal tensor product but by a general bipartite algebra. We give algebraic and operational definitions for the Schmidt rank and show their equivalence. We analyze bipartite states and compute the Schmidt rank in several examples: the vacuum in quantum field theory, Araki–Woods-Powers states, as well as ground states and translation invariant states on spin chains which are viewed as bipartite systems for the left and right half chains. We conclude with a list of open problems for the commuting operator framework.

Ideals and Homomorphism Theorems of Fuzzy Associative Algebras

Based on the definitions of fuzzy associative algebras and fuzzy ideals, it is proven that the intersections of fuzzy subalgebras are fuzzy subalgebras, and the intersections of fuzzy ideals are fuzzy ideals. Moreover, we prove that the kernels of fuzzy homomorphisms are fuzzy ideals. Using fuzzy ideals, the quotient structures of fuzzy associative algebras are constructed, their corresponding properties are discussed, and their homomorphism theorems are proven.

Quantum mechanics on a p-adic Hilbert space: Foundations and prospects

We review some recent results on the mathematical foundations of a quantum theory over a scalar field that is a quadratic extension of the non-Archimedean field of [Formula: see text]-adic numbers. In our approach, we are inspired by the idea — first postulated in [I. V. Volovich, [Formula: see text]-adic string, Class. Quantum Grav. 4 (1987) L83–L87] — that space, below a suitably small scale, does not behave as a continuum and, accordingly, should be modeled as a totally disconnected metrizable topological space, ruled by a metric satisfying the strong triangle inequality. The first step of our construction is a suitable definition of a [Formula: see text]-adic Hilbert space. Next, after introducing all necessary mathematical tools — in particular, various classes of linear operators in a [Formula: see text]-adic Hilbert space — we consider an algebraic definition of physical states in [Formula: see text]-adic quantum mechanics. The corresponding observables, whose definition completes the statistical interpretation of the theory, are introduced as SOVMs, a [Formula: see text]-adic counterpart of the POVMs associated with a standard quantum system over the complex numbers. Interestingly, it turns out that the typical convex geometry of the space of states of a standard quantum system is replaced, in the [Formula: see text]-adic setting, with an affine geometry; therefore, a symmetry transformation of a [Formula: see text]-adic quantum system may be defined as a map preserving this affine geometry. We argue that, as a consequence, the group of all symmetry transformations of a [Formula: see text]-adic quantum system has a richer structure with respect to the case of standard quantum mechanics over the complex numbers.

Multiparticle states in braided lightlike κ -Minkowski noncommutative QFT

In this study, we construct a 1+1-dimensional, relativistic, free, complex scalar quantum field theory on the noncommutative spacetime known as lightlike κ-Minkowski. The associated κ-Poincaré quantum group of isometries is triangular, and its quantum R matrix enables the definition of a braided algebra of N points that retains κ-Poincaré invariance. Leveraging our recent findings, we can now represent the generators of the deformed oscillator algebra as nonlinear redefinitions of undeformed oscillators, which are nonlocal in momentum space. The deformations manifest at the multiparticle level, as the one-particle states are identical to the undeformed ones. We successfully introduce a covariant and involutive deformed flip operator using the R matrix. The corresponding deformed (anti)symmetrization operators are covariant and idempotent, allowing for a well-posed definition of multiparticle states, a result long sought in quantum field theory on κ-Minkowski. We find that P and T are not symmetries of the theory, although PT (and hence CPT) is. We conclude by noticing that identical particles appear distinguishable in the new theory, and discuss the fate of the Pauli exclusion principle in this setting. Published by the American Physical Society 2024

N-bipolar hypersoft sets: Enhancing decision-making algorithms.

This paper introduces N-bipolar hypersoft (N-BHS) sets, a versatile extension of bipolar hypersoft (BHS) sets designed to effectively manage evaluations encompassing both binary and non-binary data, thereby exhibiting heightened versatility. The major contributions of this framework are twofold: Firstly, the N-BHS set introduces a parameterized representation of the universe, providing a nuanced and finite granularity in perceiving attributes, thereby distinguishing itself from conventional binary BHS sets and continuous fuzzy BHS sets. Secondly, this model signifies a new area of research aimed at overcoming limitations inherent in the N-bipolar soft set when handling multi-argument approximate functions. Through the strategic partitioning of attributes into distinct subattribute values using disjoint sets, the N-BHS set emerges as a powerful tool for effectively addressing uncertainty-related problems. In pursuit of these objectives, the paper outlines various algebraic definitions, including incomplete N-BHS sets, efficient N-BHS sets, normalized N-BHS sets, equivalence under normalization, N-BHS complements, and BHS sets derived from a threshold, exemplified through illustrative examples. Additionally, the article explores set-theoretic operations within the N-BHS sets framework, such as relative null/whole N-BHS sets, N-BHS subsets, and two distinct approaches to N-BHS extended/restricted union and intersection. Finally, it proposes and compares decision-making methodologies regarding N-BHS sets, including a comprehensive comparison with relevant existing models.

Lie pairs

Extending the theory of systems, we introduce a theory of Lie semialgebra ``pairs'' which parallels the classical theory of Lie algebras, but with a ``null set'' replacing $0$. A selection of examples is given. These Lie pairs comprise two categories in addition to the universal algebraic definition, one with ``weak Lie morphisms'' preserving null sums, and the other with ``$\preceq$-morphisms'' preserving a surpassing relation $\preceq$ that replaces equality. We provide versions of the PBW (Poincare-Birkhoff-Witt) Theorem in these three categories.

Conformal Field Theory Ground States as Critical Points of an Entropy Function.

We derive an entropy formula satisfied by the ground states of 1+1D conformal field theories. The formula implies that the ground state is the critical point of an entropy function. We conjecture that this formula may serve as an information-theoretic criterion for conformal field theories, which differs from the conventional algebraic definition. In addition to these findings, we use the same proof method to extract the six global conformal generators of the conformal field theory from its ground state. We validate our results by testing them on different critical lattice models, with excellent agreement.

States, observables and symmetries in p-adic quantum mechanics

In the framework of quantum mechanics constructed over a quadratic extension of the field of p-adic numbers, we consider an algebraic definition of physical states. Next, the corresponding observables, whose definition completes the statistical interpretation of the theory, are introduced as SOVMs, a p-adic counterpart of the POVMs associated with a quantum system over the complex numbers. Differently from the standard complex setting, the space of all states of a p-adic quantum system has an affine — rather than convex — structure. Thus, a symmetry transformation may be defined, in a natural way, as a map preserving this affine structure. We argue that the group of all symmetry transformations of a p-adic quantum system has a richer structure wrt the case of standard quantum mechanics over the complex numbers.

String topology in three flavors

We describe two major string topology operations, the Chas–Sullivan product and the Goresky–Hingston coproduct, from geometric and algebraic perspectives. The geometric construction uses Thom–Pontrjagin intersection theory while the algebraic construction is phrased in terms of Hochschild homology. We give computations of products and coproducts on lens spaces via geometric intersection, and deduce that the coproduct distinguishes 3 -dimensional lens spaces. Algebraically, we describe the structure these operations define together on the Tate–Hochschild complex. We use rational homotopy theory methods to sketch the equivalence between the geometric and algebraic definitions for simply-connected manifolds and real coefficients, emphasizing the role of configuration spaces. Finally, we study invariance properties of the operations, both algebraically and geometrically.

N-Hypersoft Sets: An Innovative Extension of Hypersoft Sets and Their Applications

This paper introduces N-hypersoft (N-HS) sets—an enriched and versatile extension of hypersoft (HS) sets—designed to handle evaluations involving both binary and non-binary data while embodying an inherent sense of structural symmetry. The paper presents several algebraic definitions, including incomplete N-HS sets, efficient N-HS sets, normalized N-HS sets, equivalence under normalization, N-HS complements, and HS sets derived from a threshold. These definitions are accompanied by illustrative examples. Additionally, the paper delves into various set-theoretic operations within the framework of N-HS sets, such as relative null/whole N-HS sets, N-HS subsets, and N-HS extended/restricted union and intersection, presented in two different ways. Finally, the paper presents and compares decision-making methodologies regarding N-HS sets.

The spectral rank of an element in a ring

The concept of the spectral rank of an element in a ring is defined, and it is shown to be a genuine generalization of the same concept first studied in the setting of a Banach algebra. Furthermore, we prove that many of the desirable properties of this rank are still valid in the more abstract setting and give several examples to support and motivate the given definition. In particular, we are able to show that a nonzero idempotent of a semiprimitive and additively torsion-free ring is minimal if and only if it has a spectral rank of one. We also discover a precise connection between the spectral rank of an element in a ring and a purely algebraic definition of rank considered only recently by N. Stopar in [Rank of elements of general rings in connection with unit-regularity, J. Pure Appl. Algebra 224 (2020) 106211]. Specifically, we are able to show that if an element [Formula: see text] has a finite algebraic rank in a semiprimitive and additively torsion-free ring, then [Formula: see text] has the exact same spectral rank. An extra condition under which the converse holds true is also provided, and connections to the socle are identified. Finally, for both of these extended notions of rank considered in the setting of a ring, we prove a generalized Frobenius Inequality.

Formalising Autonomous Construction Sites with the Help of Abstract Mathematics

With the rapid development of modern technologies, autonomous or robotic construction sites are becoming a new reality in civil engineering. Despite various potential benefits of the automation of construction sites, there is still a lack of understanding of their complex nature combining physical and cyber components in one system. A typical approach to describing complex system structures is to use tools of abstract mathematics, which provide a high level of abstraction, allowing a formal description of the entire system while omitting non-essential details. Therefore, in this paper, autonomous construction is formalised using categorical ontology logs enhanced by abstract definitions of individual components of an autonomous construction system. In this context, followed by a brief introduction to category theory and ologs, exemplary algebraic definitions are given as a basis for the olog-based conceptual modelling of autonomous construction systems. As a result, any automated construction system can be described without providing exhausting detailed definitions of the system components. Existing ologs can be extended, contracted or revised to fit the given system or situation. To illustrate the descriptive capacity of ologs, a lattice of representations is presented. The main advantage of using the conceptual modelling approach presented in this paper is that any given real-world or engineering problem could be modelled with a mathematically sound background.