Search

Part of the research community that has followed the Early Algebra paradigm is currently delimiting the differences between arithmetic thinking and algebraic thinking. This trend could prevent new research approaches to the problem of learning algebra, hiding the importance of considering an arithmetico-algebraic thinking, a new approach which underpins the construction of a cognitive structure that links both types of thinking. This paper proposes a theoretical and practical framework for a learning approach that supports the construction of a cognitive structure which fosters arithmetico-algebraic thinking at the beginning of secondary school by means of cultural and technological activities relating to polygonal numbers. [ABSTRACT FROM AUTHOR]

In previous papers, we were able to prove that, much like in classical algebraic geometry, it is possible to recover our monoid scheme X from the topos Qcoh(X). This was achieved using topos points and localisations of Qcoh(X). With this philosophy in mind, the aim of this paper is to study the topos of M-sets for non-commutative monoids, especially their points and localisations. We will classify the points and localisations of M-sets for finite monoids in terms of the idempotent elements of M and idempotent ideals of M, respectively. Some of the results obtained in this paper can already be found in previous works, in direct or indirect forms. See the last part of the introduction. [ABSTRACT FROM AUTHOR]

Based on a seminal theorem of P. Erdös et al and using the theory of interval-filling sequences, in this paper we present a generalized result, which ensures the existence of continuum many different fraction expansions, for numbers x ∊ (0, L), with digit set {0,1}. [ABSTRACT FROM AUTHOR]

Let GRSk(α, υ) be a k-dimensional generalized Reed-Solomon (GRS) code over Fq associated with α = (α1,. . ., αn) and υ = (υ1, . . ., υn). In this paper, we determined the dimension of the Euclidean hull GRSk(α, υ) ∩ GRSk(α, υ)⊥, which addresses an open problem posed in [Chen et al., IEEE-TIT, 2023]. We also presentd a new approach to generating all self-dual RS codes. [ABSTRACT FROM AUTHOR]

The interactions between topology and algebraic geometry expose various interesting properties. This paper proposes the deformations of topological n-manifolds over the automorphic polynomial ring maps and associated isomorphic imbedding of locally flat submanifolds within the n-manifolds. The manifold deformations include topologically homeomorphic bending of submanifolds at multiple directions under algebraic operations. This paper introduces the concept of a topological equivalence class of manifolds and the associated equivalent class of polynomials in a real ring. The concepts of algebraic compositions in a real polynomial ring and the resulting topological properties (homeomorphism, isomorphism and deformation) of manifolds under algebraic compositions are introduced. It is shown that a set of ideals in a polynomial ring generates manifolds retaining topological isomorphism under algebraic compositions. The numerical simulations are presented in this paper to illustrate the interplay of topological properties and the respective real algebraic sets generated by polynomials in a ring within affine 3-spaces. It is shown that the coefficients of polynomials generated by a periodic smooth function can induce mirror symmetry in manifolds. The proposed formulations do not consider the simplectic class of manifolds and associated quantizable deformations. However, the proposed formulations preserve the properties of Nash representations of real algebraic manifolds including Nash isomorphism. [ABSTRACT FROM AUTHOR]

The foundations of classical algebraic geometry and real algebraic geometry are the Nullstellensatz and Positivstellensatz. Over the last two decades, the basic analogous theorems for matrix and operator theory (noncommutative variables) have emerged. This paper concerns commuting operator strategies for nonlocal games, recalls NC Nullstellensatz which are helpful, extends these, and applies them to a very broad collection of games. In the process, it brings together results spread over different literature studies, hence rather than being terse, our style is fairly expository. The main results of this paper are two characterizations, based on Nullstellensatz, which apply to games with perfect commuting operator strategies. The first applies to all games and reduces the question of whether or not a game has a perfect commuting operator strategy to a question involving left ideals and sums of squares. Previously, Paulsen and others translated the study of perfect synchronous games to problems entirely involving a ∗ -algebra. The characterization we present is analogous, but works for all games. The second characterization is based on a new Nullstellensatz we derive in this paper. It applies to a class of games we call torically determined games, special cases of which are XOR and linear system games. For these games, we show the question of whether or not a game has a perfect commuting operator strategy reduces to instances of the subgroup membership problem and, for linear systems games, we further show this subgroup membership characterization is equivalent to the standard characterization of perfect commuting operator strategies in terms of solution groups. Both the general and torically determined games characterizations are amenable to computer algebra techniques, which we also develop. For context, we mention that Positivstellensätze are behind the standard NPA upper bound on the score players can achieve for a game using a commuting operator strategy. This paper develops analogous NC real algebraic geometry which bears on perfect games. [ABSTRACT FROM AUTHOR]

Copyright of Cahiers de Topologie et Geometrie Differentielle Categoriques is the property of Andree C. EHRESMANN and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

In this paper we consider a family F of 2n-dimensional F q -linear rank metric codes in F q n × n arising from polynomials of the form x q s + δ x q n 2 + s ∈ F q n [ x ] . The family F was introduced by Csajbók et al. (JAMA 548:203–220) as a potential source for maximum rank distance (MRD) codes. Indeed, they showed that F contains MRD codes for n = 8 , and other subsequent partial results have been provided in the literature towards the classification of MRD codes in F for any n. In particular, the classification has been reached when n is smaller than 8, and also for n greater than 8 provided that s is small enough with respect to n. In this paper we deal with the open case n = 8 , providing a classification for any large enough odd prime power q. The techniques are from algebraic geometry over finite fields, since our strategy requires the analysis of certain 3-dimensional F q -rational algebraic varieties in a 7-dimensional projective space. We also show that the MRD codes in F are not equivalent to any other MRD codes known so far. [ABSTRACT FROM AUTHOR]

The paper summarizes some results on algebraic geometry presence in the homotopy theory. For the homotopy group πm(Sn ), denote by πmalg(Sn ) its subset of homotopy classes represented by R-entire rational maps Sm → Sn of spheres. The main result of this paper concerns to the study of π n+k alg(Sn) for k = 0, . . ., 7. [ABSTRACT FROM AUTHOR]

What is striking about de Broglie's foundational work on wave–particle dualism is the role played by pseudo-Riemannian geometry in his early thinking. While exploring a fully covariant description of the Klein–Gordon equation, he was led to the revolutionary idea that a variable rest mass was essential. DeWitt later explained that in order to obtain a covariant quantum Hamiltonian, one must supplement the classical Hamiltonian with an additional energy ℏ 2 Q from which the quantum potential emerges, a potential that Berry has recently shown also arises in classical wave optics. In this paper, we show how these ideas emerge from an essentially geometric structure in which the information normally carried by the wave function is contained within the algebraic description of the geometry itself, within an element of a minimal left ideal. We establish the fundamental importance of conformal symmetry, in which rescaling of the rest mass plays a vital role. Thus, we have the basis for a radically new theory of quantum phenomena based on the process of mass-energy flow. [ABSTRACT FROM AUTHOR]

This paper consists of four parts. It begins by using the authors' generalized Schauder formula, [41] , and the algebraic multiplicity, χ , of Esquinas and López-Gómez [15,14,31] to package and sharpening all existing results in local and global bifurcation theory for Fredholm operators through the recent author's axiomatization of the Fitzpatrick–Pejsachowicz–Rabier degree, [42]. This facilitates reformulating and refining all existing results in a compact and unifying way. Then, the local structure of the solution set of analytic nonlinearities F (λ , u) = 0 at a simple degenerate eigenvalue is ascertained by means of some concepts and devices of Algebraic Geometry and Galois Theory, which establishes a bisociation between Bifurcation Theory and Algebraic Geometry. Finally, the unilateral theorems of [31,33] , as well as the refinement of Shi and Wang [53] , are substantially generalized. This paper also analyzes two important examples to illustrate and discuss the relevance of the abstract theory. The second one studies the regular positive solutions of a multidimensional quasilinear boundary value problem of mixed type related to the mean curvature operator. [ABSTRACT FROM AUTHOR]

Young diagrams are fundamental combinatorial objects in representation theory and algebraic geometry. Many constructions that rely on these objects depend on variations of a straightening process that expresses a filling of a Young diagram as a sum of semistandard tableaux subject to certain relations. This paper solves the long standing open problem of giving a non-iterative formula for straightening a filling. We apply our formula to give a complete generalization of a theorem of Gonciulea and Lakshmibai. [ABSTRACT FROM AUTHOR]

Poset-blowdown of subgroup posets of groups is an analog of blowdown in algebraic geometry. It is a poset map obtained by contracting normal subgroups. For finite groups, this is considered as a map between the Hasse diagrams of the subgroup posets. Poset-blowdowns are classified into three types: tame, wild, and hybrid depending on the sizes of their fibers. In this paper we describe the poset-blowdowns for generalized quaternion groups Q2n (n ≥ 3). They have distinguished nature in that all types (tame, wild, and hybrid) appear in the successive poset-blowdowns associated with the three chief series of Q2n. [ABSTRACT FROM AUTHOR]

The aim of this paper is to prove a theorem for holomorphic twisted quiver bundles over a special non-compact Gauduchon manifold, connecting the existence of (σ , τ) -Hermite–Yang–Mills metric in differential geometry and the analytic (σ , τ) -stability in algebraic geometry. The proof of the theorem relies on the flow method and the Uhlenbeck–Yau's continuity method. [ABSTRACT FROM AUTHOR]

The call for papers welcomed any original paper within the scope and not simultaneously submitted to another journal or conference. Cristina Bertone, Universitá di Torino, Italy Michela Ceria, Politecnico di Bari, Italy Fatma Karaoglu, Gebze Technical University, Turkey Ilias Kotsireas, Wilfrid Laurier University, Canada Teo Mora, University of Genova, Italy Dimitris Simos, SBA Research Center, Austria Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. This volume contains the refereed papers related to the 26th International Conference on Applications of Computer Algebra, which has been held online, from the 23rd to the 27th of July 2021. [Extracted from the article]

Exponential sums of a special type—the so-called Kloosterman sums—play a key role in numerous number-theoretic problems concerning the distribution of inverse residues in residue rings modulo a given q. In many cases, estimates of such sums are based on A. Weil's bound for complete Kloosterman sums over primes. This bound allows one to estimate Kloosterman sums of length for any fixed with a power-saving factor. Weil's bound was originally proved using methods of algebraic geometry. Later, S.A. Stepanov gave an elementary proof of this bound, but this proof was also complicated enough. The aim of this paper is to give an elementary proof of an estimate for the Kloosterman sum of length , which also leads to a power-saving factor. This proof is based on the trick of additive shift of the summation variable, which is widely used in various number theory problems. [ABSTRACT FROM AUTHOR]

In this paper, we first give a relationship between generalized algebraic geometry codes (GAG codes) and algebraic geometry codes (AG codes). More precisely, we show that a GAG code is contained (up to isomorphism) in a suitable AG code. Next we recall the concept of an N1N2-automorphism group, a subgroup of the automorphism group of a GAG code. With the use of the relation we obtained between these two classes of codes, we show that the N1N2-automorphism group is a subgroup of the automorphism group of an AG code. [ABSTRACT FROM AUTHOR]

The interplays between topology and algebraic geometry present a set of interesting properties. In this paper, we comprehensively revisit the Bézout theorem in terms of topology, and we present a topological proof of the theorem considering n-dimensional space. We show the role of topology in understanding the complete and finite intersections of algebraic curves within a topological space. Moreover, we introduce the concept of symmetrically complex translations of roots in a zero-set of a real algebraic curve, which is called a fundamental polynomial, and we show that the resulting complex algebraic curve is additively decomposable into multiple components with varying degrees in a sequence. Interestingly, the symmetrically complex translations of roots in a zero-set of a fundamental polynomial result in the formation of isomorphic topological manifolds if one of the complex translations is kept fixed, and it induces repeated real roots in the fundamental polynomial as a component. A set of numerically simulated examples is included in the paper to illustrate the resulting manifold structures and the associated properties. [ABSTRACT FROM AUTHOR]

Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic features of linked varieties. In this paper we develop a liaison theory via quasi-Gorenstein varieties, a much broader class than Gorenstein varieties. As applications, we derive a connectedness property of quasi-Gorenstein subspace arrangements generalizing previous results by Benedetti and the first author, and we deduce the classical topological Lefschetz duality via the Stanley-Reisner correspondence. [ABSTRACT FROM AUTHOR]

An MDS code is a code which achieves equality in the singleton bound. The defect of a code measures how far it is from an MDS code. Amplifying on the relationship between the weight distribution of a code and its dual code as in the well-known MacWilliams identities, we show in this paper that there are indeed strong lower bounds on the defects of codes or the dual codes. [ABSTRACT FROM AUTHOR]

We study the coherent cohomology of generalized flag supervarieties. Our main observation is that these groups are closely related to the free resolutions of (certain generalizations of) determinantal ideals. In the case of super Grassmannians, we completely compute the cohomology of the structure sheaf: it is composed of the singular cohomology of a Grassmannian and the syzygies of a determinantal variety. The majority of the work involves studying the geometry of an analog of the Grothendieck-Springer resolution associated with the super Grassmannian; this takes place in the world of ordinary (non-super) algebraic geometry. Our work gives a conceptual explanation of the result of Pragacz-Weyman that the syzygies of determinantal ideals admit an action of the general linear supergroup. In a subsequent paper, we will treat other flag supervarieties in detail. [ABSTRACT FROM AUTHOR]

In this paper, we study an algebraic fiber space in positive characteristic whose generic fiber F has finitely generated canonical ring and sufficiently large Frobenius stable canonical ring. An example of such a case is when F is F-pure and its dualizing sheaf is invertible and ample. We treat a Fujita-type conjecture due to Popa and Schnell concerning direct images of pluricanonical bundles, and prove it under some additional hypotheses. As an application, we show the subadditivity of Kodaira dimensions in some new cases. We also prove an analog of Fujino's result regarding his Fujita-type conjecture. [ABSTRACT FROM AUTHOR]

The formulations of polynomials over a topological simplex combine the elements of topology and algebraic geometry. This paper proposes the formulation of simplicial polynomials and the properties of resulting topological manifolds in two classes, non-degenerate forms and degenerate forms, without imposing the conditions of affine topological spaces. The non-degenerate class maintains the degree preservation principle of the atoms of the polynomials of a topological simplex, which is relaxed in the degenerate class. The concept of hybrid decomposition of a simplicial polynomial in the non-degenerate class is introduced. The decompositions of simplicial polynomial for a large set of simplex vertices generate ideal components from the radical, and the components preserve the topologically isolated origin in all cases within the topological manifolds. Interestingly, the topological manifolds generated by a non-degenerate class of simplicial polynomials do not retain the homeomorphism property under polynomial extension by atom addition if the simplicial condition is violated. However, the topological manifolds generated by the degenerate class always preserve isomorphism with varying rotational orientations. The hybrid decompositions of the non-degenerate class of simplicial polynomials give rise to the formation of simplicial chains. The proposed formulations do not impose strict positivity on simplicial polynomials as a precondition. [ABSTRACT FROM AUTHOR]

As a key method to deal with loop integrals, Integration-By-Parts (IBP) method can be used to do reduction as well as establish the differential equations for master integrals. However, when talking about tensor reduction, the Passarino-Veltman (PV) reduction method is also widely used for one-loop integrals. Recently, we have proposed an improved PV reduction method, i.e., the PV reduction method with auxiliary vector R, which can easily give analytical reduction results for any tensor rank. However, our results are only for integrals with propagators with power one. In this paper, we generalize our method to one-loop integrals with general tensor structures and propagators with general powers. Our ideas are simple. We solve the generalised reduction problem by combining differentiation over masses and proper limit of reduction with power-one propagators. Finally, we demonstrate our method with several examples. With the result in this paper, we have shown that our improved PV-reduction method with auxiliary vector is a self-completed reduction method for one-loop integrals. [ABSTRACT FROM AUTHOR]

Let an arbitrary variety of algebras and the category of all free finitely generated algebras in that variety be given. This paper is the second in a series of papers started in [Algebra and Logic, 61, No. 1, 1-15 (2022)] where we deal with automorphisms of the category of free finitely generated algebras. Here we describe in detail a method of verbal operations. The method provides a characterization of automorphisms of the category of all free finitely generated algebras in a given variety. The characterization plays a crucial role in universal algebraic geometry. We supply the reader with illuminating examples which clarify the method. [ABSTRACT FROM AUTHOR]

In noncommutative algebraic geometry an Artin–Schelter regular (AS-regular) algebra is one of the main interests, and every three-dimensional quadratic AS-regular algebra is a geometric algebra, introduced by Mori, whose point scheme is either $\mathbb {P}^{2}$ or a cubic curve in $\mathbb {P}^{2}$ by Artin et al. ['Some algebras associated to automorphisms of elliptic curves', in: The Grothendieck Festschrift, Vol. 1, Progress in Mathematics, 86 (Birkhäuser, Basel, 1990), 33–85]. In the preceding paper by the authors Itaba and Matsuno ['Defining relations of 3-dimensional quadratic AS-regular algebras', Math. J. Okayama Univ. 63 (2021), 61–86], we determined all possible defining relations for these geometric algebras. However, we did not check their AS-regularity. In this paper, by using twisted superpotentials and twists of superpotentials in the Mori–Smith sense, we check the AS-regularity of geometric algebras whose point schemes are not elliptic curves. For geometric algebras whose point schemes are elliptic curves, we give a simple condition for three-dimensional quadratic AS-regular algebras. As an application, we show that every three-dimensional quadratic AS-regular algebra is graded Morita equivalent to a Calabi–Yau AS-regular algebra. [ABSTRACT FROM AUTHOR]

Variable-DOF (or kinematotropic) mechanisms are a class of reconfigurable mechanisms that have varying degrees of freedom (DOF) in different motion modes and can be reconfigured without disassembly. However, the number of proposed variable-DOF multi-loop planar mechanisms is currently limited. This paper introduces a new 8-link variable-DOF planar mechanism that has five motion modes. Firstly, the 8-link variable-DOF planar mechanism is described. Then, reconfiguration analysis of the mechanism is performed using a hybrid approach that combines elimination and computer algebraic geometry methods. The analysis reveals that the 8-link mechanism has one 2-DOF motion mode and four 1-DOF motion modes. It can switch among three motion modes at four transition configurations and between two motion modes at the remaining four transition configurations. The paper also highlights the geometric characteristics of the mechanism in different motion modes. In contrast to variable-DOF planar mechanisms presented in the literature, the proposed 8-link mechanism has two inactive joints in one of its 1-DOF motion modes. Moreover, both closed-loop 4R kinematic sub-chains of the mechanism must appear as either a pair of parallelograms or a pair of anti-parallelograms in the same motion mode. As a by-product of this research, a method for factoring trigonometric functions in two angles is also proposed. [ABSTRACT FROM AUTHOR]

Mathematics assessment and testing are increasingly situated within digital environments with international tests moving to computer-based testing in the near future. This paper reports on a secondary data analysis which explored the influence the mode of assessment-computer-based (CBT) and pencil-and-paper based (PPT)-and visuospatial ability had on students' mathematics test performance. Data from 804 grade 6 Singaporean students were analysed using the knowledge discovery in data design. The results revealed statistically significant differences between performance on CBT and PPT test modes across content areas concerning whole number algebraic patterns and data and chance. However, there were no performance differences for content areas related to spatial arrangements geometric measurement or other number. There were also statistically significant differences in performance between those students who possess higher levels of visuospatial ability compared to those with lower levels across all six content areas. Implications include careful consideration for the comparability of CBT and PPT testing and the need for increased attention to the role of visuospatial reasoning in student's mathematics reasoning. [ABSTRACT FROM AUTHOR]

Transcription factors (TFs) and microRNAs (miRNAs) are co-actors in genome-scale decoding and regulatory networks, often targeting common genes. To discover the symmetries and invariants of the transcription and regulation at the scale of the genome, in this paper, we introduce tools of infinite group theory and of algebraic geometry to describe both TFs and miRNAs. In TFs, the generator of the group is a DNA-binding domain while, in miRNAs, the generator is the seed of the sequence. For such a generated (infinite) group π , we compute the S L (2 , C) character variety, where S L (2 , C) is simultaneously a 'space-time' (a Lorentz group) and a 'quantum' (a spin) group. A noteworthy result of our approach is to recognize that optimal regulation occurs when π looks similar to a free group F r ( r = 1 to 3) in the cardinality sequence of its subgroups, a result obtained in our previous papers. A non-free group structure features a potential disease. A second noteworthy result is about the structure of the Groebner basis G of the variety. A surface with simple singularities (such as the well known Cayley cubic) within G is a signature of a potential disease even when π looks similar to a free group F r in its structure of subgroups. Our methods apply to groups with a generating sequence made of two to four distinct DNA/RNA bases in { A , T / U , G , C } . We produce a few tables of human TFs and miRNAs showing that a disease may occur when either π is away from a free group or G contains surfaces with isolated singularities. [ABSTRACT FROM AUTHOR]

Copyright of Physics Essays is the property of Physics Essays Publication and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

There are two main problems in finding the higher genus superstring measure. The first one is that for g ≥ 5 the super moduli space is not projected. Furthermore, the supermeasure is regular for g ≤ 11, a bound related to the source of singularities due to the divisor in the moduli space of Riemann surfaces with even spin structure having holomorphic sections, such a divisor is called the θ-null divisor. A result of this paper is the characterization of such a divisor. This is done by first extending the Dirac propagator, that is the Szegö kernel, to the case of an arbitrary number of zero modes, that leads to a modification of the Fay trisecant identity, where the determinant of the Dirac propagators is replaced by the product of two determinants of the Dirac zero modes. By taking suitable limits of points on the Riemann surface, this holomorphic Fay trisecant identity leads to identities that include points dependent rank 3 quadrics in ℙg−1. Furthermore, integrating over the homological cycles gives relations for the Riemann period matrix which are satisfied in the presence of Dirac zero modes. Such identities characterize the θ-null divisor. Finally, we provide the geometrical interpretation of the above points dependent quadrics and show, via a new θ-identity, its relation with the Andreotti-Mayer quadric. [ABSTRACT FROM AUTHOR]

It is expected that a totally invariant divisor of a non-isomorphic endomorphism of the complex projective space is a union of hyperplanes. In this paper, we compute an upper bound for the degree of such a divisor. As a consequence, we prove the linearity of totally invariant divisors with isolated singularities. [ABSTRACT FROM AUTHOR]

The purpose of this paper is fourfold. The first is to develop the theory of tropical differential algebraic geometry from scratch; the second is to present the tropical fundamental theorem for differential algebraic geometry, and show how it may be used to extract combinatorial information about the set of power series solutions to a given system of differential equations, both in the archimedean (complex analytic) and in the non-Archimedean (e.g., p-adic) setting. A third and subsidiary aim is to show how tropical differential algebraic geometry is a natural application of semiring theory, and in so doing, contribute to the valuative study of differential algebraic geometry. We use this formalism to extend the fundamental theorem of partial differential algebraic geometry to the differential fraction field of the ring of formal power series in arbitrarily (finitely many variables; in doing so we produce new examples of non-Krull valuations that merit further study in their own right. [ABSTRACT FROM AUTHOR]