Search

For the perturbed Hamiltonian of a multifrequency resonance harmonic oscillator, a new approach to calculating the coefficients in the procedure of quantum averaging is proposed. The procedure of quantum averaging is transferred to the space of the graded algebra of symbols by using twisted product introduced in the paper. As a result, the averaged Hamiltonian is represented as a function of generators of the quantum symmetry algebra of the harmonic part of the Hamiltonian. The proposed method is applied to the spectral problem for the Hamiltonian of the cylindrical Penning trap. [ABSTRACT FROM AUTHOR]

This paper considers theoretical foundations and mathematical methods of data analysis under the conditions of the Rice statistical distribution. The problem involves joint estimation of the signal and noise parameters. It is shown that this estimation requires the solution of a complex system of essentially nonlinear equations with two unknown variables, which implies significant computational costs. This study is aimed at mathematical optimization of computer algebra methods for numerical solution of the problem of Rician data analysis. As a result of the optimization, the solution of the system of two nonlinear equations is reduced to the solution of one equation with one unknown variable, which significantly simplifies algorithms for the numerical solution of the problem, reduces the amount of necessary computational resources, and enables the use of advanced methods for parameter estimation in information systems with priority of real-time operation. Results of numerical experiments carried out using Wolfram Mathematica confirm the effectiveness of the developed methods for two-parameter analysis of Rician data. The data analysis methods considered in this paper are useful for solving many scientific and applied problems that involve analysis of data described by the Rice statistical model. [ABSTRACT FROM AUTHOR]

In the present paper, necessary and sufficient conditions are given for the equality of the power rezidue symbols $$ {\left( {\frac{\alpha }{a}} \right)_n} $$ and $$ {\left( {\frac{\alpha }{a}} \right)_n} $$ in the cyclotomic field ℚ(ζ n), 2 ∤ n, for a ∈ ℤ, ( a, n) = 1. This result is a generalization of the classical Eisenstein reciprocity law and its continuation in a Hasse’s paper. Bibliography: 3 titles. [ABSTRACT FROM AUTHOR]

Problem $$1$$ of (Bulman-Fleming et al. Commun Algebra 34:1291-1317, ) asks: what conditions on a pomonoid $$S$$ and a convex, proper right ideal $$K$$ , guarantee that $$S/K$$ has property $$(P_w)$$ ? This question was first answered in Proposition 3.2 of (Qiao and Li Semigroup Forum 77:306-315, ) and later in Lemma $$5$$ of (Kilp Semigroup Forum 86:592-602, ). In this note we first show, by counterexample, that the result of Qiao and Li is incorrect, and then demonstrate a condition equivalent to that of Kilp. [ABSTRACT FROM AUTHOR]

. [ABSTRACT FROM AUTHOR]

We fill a gap in the proof of one of the central theorems in Epp’s paper, concerning p-cyclic extensions of complete discrete valuation rings. [ABSTRACT FROM AUTHOR]

The article announces the selection of the study "Decomposition Algorithms for Stochastic Programming on a Computational Grid," written by Jeff Linderoth and Stephen Wright by the editorial board of the periodical "Computational Optimization and Applications," for the Best Paper Award 2004. The paper describes research carried out by the authors at the Argonne National Laboratory which was supported by the National Science Foundation (NSF). The research involved the development of middleware software, the discovery of new algorithms that could exploit the power of grid platforms while not being affected too seriously by its less felicitous features and the implementation of these algorithms using the resulting codes to solve touchstone problems in optimization.

In the last decade, the Poincaré conjecture has probably been the most famous statement among all the contributions of Poincaré to the mathematics community. There have been many papers and books that describe various attempts and the final works of Perelman leading to a positive solution to the conjecture, but the evolution of Poincaré's works leading to this conjecture has not been carefully discussed or described, and some other historical aspects about it have not been addressed either. For example, one question is how it fits into the overall work of Poincaré in topology, and what are some other related questions that he had raised. Since Poincaré did not state the Poincaré conjecture as a conjecture but rather raised it as a question, one natural question is why he did this. In order to address these issues, in this paper, we examine Poincaré's works in topology in the framework of classifying manifolds through numerical and algebraic invariants. Consequently, we also provide a full history of the formulation of the Poincaré conjecture which is richer than what is usually described and accepted and hence gain a better understanding of overall works of Poincaré in topology. In addition, this analysis clarifies a puzzling question on the relation between Poincaré's stated motivations for topology and the Poincaré conjecture. [ABSTRACT FROM AUTHOR]

Abstract  An error has been detected (and also corrected) in Theorem 2.8 of the paper entitled “Adjoining an Order Unit to a Matrix Ordered Space” (Positivity, (2005)9: 207–223; DOI 10.1007/s11117-003-2778-5). Accordingly, some of the results of the paper have been modified. Also, a notion of C*-matricially, Riesz normed spaces has been introduced. [ABSTRACT FROM AUTHOR]

Abstract  This paper addresses the dialectical relation between theoretical thinking and technique, as they co-emerge in a combined computer algebra (CAS) and paper-and-pencil environment. The theoretical framework in this ongoing study consists of the instrumental approach to tool use and an adaptation of Chevallard’s anthropological theory. The main aim is to unravel the subtle intertwining of students’ theoretical thinking and the techniques they use in both media, within the process of instrumental genesis. Two grade 10 teaching experiments are described, the first one on equivalence, equality and equation, and the second one on generalizing and proving within factoring. Even though the two topics are quite different, findings indicate the importance of the co-emergence of theory and technique in both cases. Some further extensions of the theoretical framework are suggested, focusing on the relation between paper-and-pencil techniques and computer algebra techniques, and on the issue of language and discourse in the learning process. [ABSTRACT FROM AUTHOR]

In the first part of the paper, we propose a different viewpoint on the theory of higher Airy structures (or Airy ideals), which may shed light on its origin. We define Airy ideals in the ħ -adic completion of the Rees Weyl algebra and show that Airy ideals are defined exactly such that they are always related to the canonical left ideal generated by derivatives by automorphisms of the Rees Weyl algebra of a simple type, which we call transvections. The standard existence and uniqueness result in the theory of Airy structures then follow immediately. In the second part of the paper, we construct Airy ideals generated by the nonnegative modes of the strong generators of the principal W -algebra of sp 2 N at level - N - 1 / 2 , following the approach developed in Borot et al. (Mem Am Math Soc, 2021). This provides an example of an Airy ideal in the Heisenberg algebra that requires realizing the zero modes as derivatives instead of variables, which leads to an interesting interpretation for the resulting partition function. [ABSTRACT FROM AUTHOR]

Bhargava and the first-named author of this paper introduced a functorial Galois closure operation for finite-rank ring extensions, generalizing constructions of Grothendieck and Katz–Mazur. In this paper, we generalize Galois closures and apply them to construct a new infinite family of irreducible components of Hilbert schemes of points. We show that these components are elementary, in the sense that they parametrize algebras supported at a point. Furthermore, we produce secondary families of elementary components obtained from Galois closures by modding out by suitable socle elements. [ABSTRACT FROM AUTHOR]

Max-plus algebra provides mathematical methods for solving nonlinear problems by using linear equations. These kinds of the problems arise in areas such as manufacturing, transportation, allocation of resources, and information processing technology. In this paper, the scheduling of production systems consisting of many stages and different units is considered, where some of the units can be used for many stages. If a production unit is used for different stages cleaning is needed in between, while no cleaning is needed between stages of the same type. Cleaning of units takes a significant amount of time, which is considered in the scheduling. The goal is to minimize the total production time, and such problems are often solved by using numerical optimization. In this paper a max-plus formalism is used for the modeling and scheduling of such production systems. Structural decisions such as choosing one unit over another proved to be difficult in the latter case, but this can be viewed as a switching max-plus linear system. No switching (and thus no cleaning) is considered as a base case, but for larger production batches the durability constraints will require switches. Switching as seldom as possible is shown to be optimal. Scheduling of a small production system consisting of 6 stages and 6 units is used as a case study. [ABSTRACT FROM AUTHOR]

A new and simple proof of the main result of the paper 'Laterally closed lattice homomorphisms' by Toumi and Toumi (J Math Anal Appl 324:1178-1194, ) is given following the paper 'Extension of Riesz homomorphisms, I' by Buskes (J Aust Math Soc Ser A 39(1):107-120, ). [ABSTRACT FROM AUTHOR]

Abstract Current implicit blending techniques are mostly designed for use in surface modelling, where only boundaries of the object defined by the implicit primitives are important. In contrast, in volumetric implicit modelling the interior of the object is also significant, which requires different and more suitable techniques for combining implicit primitives. In this paper, we first discuss irregularities that occur using the current techniques. Then, a new technique for blending implicit primitives, especially appropriate in volumetric modelling (e.g., cloud modelling), is introduced. It overcomes these abnormalities and gives us better results than current techniques. [ABSTRACT FROM AUTHOR]

In this paper, an analog of the conformable fractional derivative is defined in an arbitrary finite-dimensional commutative associative algebra. Functions taking values in the indicated algebras and having derivatives in the sense of a conformable fractional derivative are called φ-monogenic. A relation between the concepts of φ-monogenic and monogenic functions in such algebras has been established. Two new definitions have been proposed for the fractional derivative of the functions with values in finite-dimensional commutative associative algebras. [ABSTRACT FROM AUTHOR]

The words "Programming is the second literacy" were coined more than 40 years ago [13], but never came to life. The paper develops and details that old slogan by proposing that the mainstream mathematics education in schools should merge with education in computer science/programming. Of course, this means a deep structural reform of school mathematics education. We are not talking about adapting the 20th century mathematics to the 21st century—as it outlined in [10, 19], we mean the 21st century mathematics education for the 21st century mathematics. To the best of our knowledge, this paper is perhaps the first known attempt to start a proper feasibility study for this reform. The scope of the paper does not allow us to touch the delicate socio-political (and financial) sides of the reform, we are looking only at general curricular and didactic aspects and possible directions of the reform. In particular, we indicate approaches to development of a Domain Specifiic Language (DSL) as a basis for all programming aspects of a new course. [ABSTRACT FROM AUTHOR]

As is well-known, the subalgebras of any universal algebra form an algebraic closure system. Conversely, every algebraic closure system arises as the family of subalgebras of some universal algebra, but this algebra is far from uniquely determined. This paper investigates the realization of algebraic closure systems by algebras given either by a single operation or by operations of the lowest arity. In particular, it is shown that an algebraic closure system with arity n in which the empty set is closed and every finitely generated closed set is countable can be realized by a single (n + 1) -ary operation. The algebraic closure system of cosets on any group is realized by the single ternary Mal'cev term x y - 1 z . It is shown that the closure system of cosets on an Abelian group A can be realized by a single binary operation if and only if A has at most one element of order 2. Similar results are obtained for modules over an arbitrary ring. [ABSTRACT FROM AUTHOR]

In this paper we investigate left ideals as codes in twisted skew group rings. The considered rings, which are in most cases algebras over a finite field, allow us to retrieve many of the well-known codes. The presentation, given here, unifies the concept of group codes, twisted group codes and skew group codes. [ABSTRACT FROM AUTHOR]

In the paper we provide some polynomial identities for finite-dimensional algebras. A list of well known single polynomial identities is exposed and the classification of all two-dimensional algebras with respect to these identities is given. [ABSTRACT FROM AUTHOR]

In the above referenced paper, misinterpretations led Martin to claim that there are errors in certain equations derived in our paper on the use of Frobenius’ method to solve curved crack problems. This note identifies the misinterpretations and shows that our results are the same as those derived by Martin. [ABSTRACT FROM AUTHOR]

In this paper, we construct a symbol calculus yielding short exact sequences for the dual Toeplitz algebra generated by all bounded dual Toeplitz operators on the Hardy space associated with the polydisk D n in the unitary space C n , that have been introduced and well studied in our earlier paper (Benaissa and Guediri in Taiwan J Math 19: 31–49, 2015), as well as for the C*-subalgebra generated by dual Toeplitz operators with symbols continuous on the associated hypertorus T n . [ABSTRACT FROM AUTHOR]

In this paper we show how the Functional Separation of Variables (FSoV) method can be applied to the problem of computing overlaps with integrable boundary states in integrable systems. We demonstrate our general method on the example of a particular boundary state, a singlet of the symmetry group, in an su 3 rational spin chain in an alternating fundamental-anti-fundamental representation. The FSoV formalism allows us to compute in determinant form not only the overlaps of the boundary state with the eigenstates of the transfer matrix, but in fact with any factorisable state. This includes off-shell Bethe states, whose overlaps with the boundary state have been out of reach with other methods. Furthermore, we also found determinant representations for insertions of so-called Principal Operators (forming a complete algebra of all observables) between the boundary and the factorisable state as well as certain types of multiple insertions of Principal Operators. Concise formulas for the matrix elements of the boundary state in the SoV basis and su N generalisations are presented. Finally, we managed to construct a complete basis of integrable boundary states by repeated action of conserved charges on the singlet state. As a result, we are also able to compute the overlaps of all of these states with integral of motion eigenstates. [ABSTRACT FROM AUTHOR]

This paper addresses the recent body of research in algebra and algebraic thinking from 2018 to 2022. We reviewed 74 journal articles and identified four clusters of content areas: (a) literal symbols and symbolizing, (b) equivalence and the equal sign, (c) equations and systems, and (d) functions and graphing. We present the research on each of these content clusters, and we discuss insights on effective teaching practices and the social processes supporting algebraic reasoning. The research base shows that incorporating algebraic thinking into the elementary grades, emphasizing analytic and structural thinking processes, and emphasizing covariational reasoning supports students' meaningful learning of core algebraic ideas. We close with a discussion of the major theoretical contributions emerging from the past five years, offering suggestions for future research. [ABSTRACT FROM AUTHOR]

It has been shown that by using a Lagrange multiplier field to ensure that the classical equations of motion are satisfied, radiative effects beyond one-loop order are eliminated. It has also been shown that through the contribution of some additional ghost fields, the effective action becomes form invariant under a redefinition of field variables, and furthermore, the usual one-loop results coincide with the quantum corrections obtained from this effective action. In this paper, we consider the consequences of a gauge invariance being present in the classical action. The resulting gauge transformations for the Lagrange multiplier field as well as for the additional ghost fields are found. These gauge transformations result in a set of Faddeev–Popov ghost fields arising in the effective action. If the gauge algebra is closed, we find the Becci–Rouet–Stora–Tyutin (BRST) transformations that leave the effective action invariant. [ABSTRACT FROM AUTHOR]

Yu. A. Medvedev [Algebra and Logic, 19, No. 3, 191—201 (1980)] constructed an example of alternative algebra that he used to prove that a certain variety of alternative algebras possess the non-Specht property over a field of characteristic 2. Though his result concerned the characteristic 2 case, the example was claimed to be alternative over an arbitrary field, and it was later used by V. T. Filippov in a series of papers. Unfortunately, Medvedev's example is in fact not alternative in any characteristic. Therefore, whether the variety considered by Medvedev has the non-Specht property is still not clear. Moreover, the results of Filippov's papers, in which Medvedev's example was used, also become questionable. We construct new examples and employ them to prove that the results of Filippov remain true. [ABSTRACT FROM AUTHOR]

The overwhelming presence of a procedural meaning of equality and equations reported in previous research has led to a call for suitable pedagogical interventions to nurture a relational meaning of these concepts. This paper is a response to that call. Drawing on the theory of objectification, the first part deals with the configuration of a Grade 3 (8–9-year-old students) teaching–learning activity that seeks to create the classroom conditions for the formation of the mathematical operations and operation-based rules that underpin the algebraic simplification of linear equations. Instead of using problems involving abstract open arithmetic sentences or alphanumeric equations (e.g., 5 + _ _ = 16; 2 n + 3 = 11 ), the teaching–learning activity resorts to story-problems. Two visual semiotic systems serving to model and solve the story-problems were devised. The story-problems were framed in narratives that allowed the teacher and the students to infuse equations, their equating parts, and the mathematical operations with contextual meanings. The first part of the paper includes the theoretical assumptions about the teaching–learning activity and its configuration, and a rationale behind the devisal of the semiotic systems. The second part presents a Vygotskian multimodal genetic analysis of the teaching–learning activity; that is, an analysis that shows the formation of concepts in motion, in the process of their genesis. The genetic analysis sheds some light on the way students, in their work with the teacher, encountered and refined the cultural-historical algebraic meanings of the equal sign and equations, and the concepts required in solving equations. [ABSTRACT FROM AUTHOR]

In this paper, we consider a constructive proof of the termination of the normal form (NF) algorithm for multivariate polynomials, as well as the related concept of admissible ordering < on monomials. In classical mathematics, the well-quasiorder property of relation < is derived from Dickson's lemma, and this is sufficient to justify the termination of the NF algorithm. In provable programming based on constructive type theory (Coq and Agda), a somewhat stronger condition (in constructive mathematics) of the well-foundedness of the ordering (in its constructive version) is required. We propose a constructive proof of this theorem (T) for < , which is based on a known method that we refer to here as the "pattern method." This theorem on the well-foundedness of an arbitrary admissible ordering is also important in itself, independently of the NF algorithm. We are not aware of any other works on constructive proof of this theorem. However, it turns out that it follows, not very difficultly, from the results achieved by other researchers in 2003. We program this proof in the Agda language in the form of our library AdmissiblePPO-wellFounded of provable computational algebra programs. This development also uses the theorem to prove termination of the NF algorithm for polynomials. Thus, the library also contains a set of provable programs for polynomial algebra, which is significantly larger than that needed to prove Theorem T. [ABSTRACT FROM AUTHOR]

In this paper, we establish some necessary and sufficient conditions for the solvability to a system of two-sided Sylvester-like tensor equations over the quaternion algebra. We also construct an expression of the general solution to the system when it is solvable. As an application, we give some solvability conditions and expressions of the η -Hermitian solutions to some systems of two-sided Sylvester-like quaternion tensor equations. We also provide some algorithms and numerical examples to illustrate the main results of this paper. [ABSTRACT FROM AUTHOR]

In this paper, we study conformal points among the class of E -models. The latter are σ-models formulated in terms of a current Poisson algebra, whose Lie-theoretic definition allows for a purely algebraic description of their dynamics and their 1-loop RG-flow. We use these results to formulate a simple algebraic condition on the defining data of such a model which ensures its 1-loop conformal invariance and the decoupling of its observables into two chiral Poisson algebras, describing the classical left- and right-moving fields of the theory. In the case of so-called non-degenerate E -models, these chiral sectors form two current algebras and the model takes the form of a WZW theory once realised as a σ-model. The case of degenerate E -models, in which a subalgebra of the current algebra is gauged, is more involved: the conformal condition yields a wider class of theories, which includes gauged WZW models but also other examples, seemingly different, which however sometimes turn out to be related to gauged WZW models based on other Lie algebras. For this class, we build non-local chiral fields of parafermionic-type as well as higher-spin local ones, forming classical W -algebras. In particular, we find an explicit and efficient algorithm to build these local chiral fields. These results (and their potential generalisations discussed at the end of the paper) open the way for the quantisation of a large class of conformal E -models using the standard operator formalism of two-dimensional CFT. [ABSTRACT FROM AUTHOR]

In this paper, we turn to the notion of networking theories with the aim of contrasting two theoretical mathematics education perspectives inspired by Vygotsky's work, namely, the Theory of Objectification and the Documentational Approach to Didactics. We are interested in comparing/contrasting these theories in accordance with the following three main questions: (a) the role that the theories ascribe to language and resources; (b) the conceptions that the theories bring forward concerning the teacher, and (c) the understandings they offer of the mathematics classroom. In the first part of the paper, some basic concepts of each perspective are presented. The second part includes some episodes from a lesson on the teaching and learning of algebra in a Grade 1 class (6–7-year-old students). The episodes serve as background to carry out, in the third part of the paper, a dialogue between proponents of the theoretical perspectives around the identified main questions. The dialogue shows some theoretical complementarities and differences and reveals, in particular, different conceptions of the teacher and the limits and possibilities that language affords in teaching–learning mathematics. [ABSTRACT FROM AUTHOR]

In this paper we introduce a notion of duality for matrix valued orthogonal polynomials with respect to a measure supported on the nonnegative integers. We show that the dual families are closely related to certain difference operators acting on the matrix orthogonal polynomials. These operators belong to the so called Fourier algebras, which play a key role in the construction of the families. In order to illustrate duality, we describe a family of Charlier type matrix orthogonal polynomials with explicit shift operators which allow us to find explicit formulas for three term recurrences, difference operators and squared norms. These are the essential ingredients for the construction of different dual families. [ABSTRACT FROM AUTHOR]

The goal of this paper is to make first steps towards the quantisation of integrable nonlinear sigma models using the formalism of affine Gaudin models, by approaching these theories through their conformal limits. We focus mostly on the example of the Klimčík model, which is a two-parameter deformation of the principal chiral model on a Lie group G. We show that the UV fixed point of this theory is described classically by two decoupled chiral affine Gaudin models, encoding its left- and right-moving degrees of freedom, and give a detailed analysis of the chiral and integrable structures of these models. Their quantisation is then explored within the framework of Feigin and Frenkel. We study the quantum local integrals of motion using the formalism of quantised affine Gaudin models and show agreement of the first two integrals with known results in the literature for G = SU (2) . Evidence is given for the existence of a monodromy matrix satisfying the Yang–Baxter algebra for this model, thus paving the way for the quantisation of the non-local integrals of motion. We conclude with various perspectives, including on generalisations of this programme to a larger class of integrable sigma models and applications of the ODE/IQFT correspondence to the description of their quantum spectrum. [ABSTRACT FROM AUTHOR]

In this paper we present the Hietarinta Chern–Simons supergravity theory in three space-time dimensions which extends the simplest Poincaré supergravity theory. After approaching the construction of the action using the Chern–Simons formalism, the analysis of the corresponding asymptotic symmetry algebra is considered. For this purpose, we first propose a consistent set of asymptotic boundary conditions for the aforementioned supergravity theory whose underlying symmetry corresponds to the supersymmetric extension of the Hietarinta algebra. We then show that the corresponding charge algebra contains the super- bms 3 algebra as subalgebra, and has three independent central charges. We also show that the obtained asymptotic symmetry algebra can alternatively be recovered as a vanishing cosmological constant limit of three copies of the Virasoro algebra, one of which is augmented by supersymmetry. [ABSTRACT FROM AUTHOR]

In 1993, I. P. Shestakov posed the question of the existence of a central simple finite-dimensional algebra over a field of characteristic zero whose identities are not given by a finite set of identities. In 2012, I. M. Isaev and the author of the present paper constructed an example of a seven-dimensional central simple algebra over any field that does not have a finite basis of identities. In the present paper, we construct an example of a six-dimensional central simple algebra over a field of characteristic zero which has no finite basis of identities. [ABSTRACT FROM AUTHOR]

In the TQFT formalism of Moore–Tachikawa for describing Higgs branches of theories of class S , the space associated to the unpunctured sphere in type g is the universal centraliser Z G , where g = L i e (G) . In more physical terms, this space arises as the Coulomb branch of pure N = 4 gauge theory in three dimensions with gauge group G ˇ , the Langlands dual. In the analogous formalism for describing chiral algebras of class S , the vertex algebra associated to the sphere has been dubbed the chiral universal centraliser. In this paper, we construct an open, symplectic embedding from a cover of the Kostant–Toda lattice of type g to the universal centraliser of G—extending a classic result of Kostant. Using this embedding and some observations on the Poisson algebraic structure of Z G , we propose a free field realisation of the chiral universal centraliser for any simple group G. We exploit this realisation to develop free field realisations of chiral algebras of class S of type a 1 for theories of genus zero with n = 1 , ... , 6 punctures. These realisations make generalised S-duality completely manifest, and the generalisation to n ⩾ 7 punctures is conceptually clear, though technically burdensome. [ABSTRACT FROM AUTHOR]

Given q-uniform hypergraphs (q-graphs) F, G and H, where G is a spanning subgraph of F, G is called weaklyH-saturated in F if the edges in E (F) \ E (G) admit an ordering e 1 , ... , e k so that for all i ∈ [ k ] the hypergraph G ∪ { e 1 , ... , e i } contains an isomorphic copy of H which in turn contains the edge e i . The weak saturation number of H in F is the smallest size of an H-weakly saturated subgraph of F. Weak saturation was introduced by Bollobás in 1968, but despite decades of study our understanding of it is still limited. The main difficulty lies in proving lower bounds on weak saturation numbers, which typically withstands combinatorial methods and requires arguments of algebraic or geometrical nature. In our main contribution in this paper we determine exactly the weak saturation number of complete multipartite q-graphs in the directed setting, for any choice of parameters. This generalizes a theorem of Alon from 1985. Our proof combines the exterior algebra approach from the works of Kalai with the use of the colorful exterior algebra motivated by the recent work of Bulavka, Goodarzi and Tancer on the colorful fractional Helly theorem. In our second contribution answering a question of Kronenberg, Martins and Morrison, we establish a link between weak saturation numbers of bipartite graphs in the clique versus in a complete bipartite host graph. In a similar fashion we asymptotically determine the weak saturation number of any complete q-partite q-graph in the clique, generalizing another result of Kronenberg et al. [ABSTRACT FROM AUTHOR]

Similar to gravity, an infinite tower of symmetries generated by higher-spin charges has been identified in Yang-Mills theory by studying collinear limits or celestial operator products of gluons. This work aims to recover this loop symmetry in terms of charge aspects constructed on the gluonic Fock space. We propose an explicit construction for these higher spin charge aspects as operators which are polynomial in the gluonic annihilation and creation operators. The core of the paper consists of a proof that the charges we propose form a closed loop algebra to quadratic order. This closure involves using the commutator of the cubic order expansion of the charges with the linear (soft) charge. Quite remarkably, this shows that this infinite-dimensional symmetry constrains the non-linear structure of Yang-Mills theory. We provide a similar all spin proof in gravity for the so-called global quadratic (hard) charges which form the loop wedge subalgebra of w1+∞. [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]

Let 풜 be an algebra over a field 픽 generated by a set of matrices 풮. The paper considers algorithmic aspects of checking whether 풜 coincides with the full matrix algebra. Laffey has shown that for 픽 = ℂ, under the assumption that 풮 contains a Jordan matrix from a certain class, there is a fast method for checking whether 풜 possesses nontrivial invariant subspaces and, consequently, coincides with the full algebra by Burnside's theorem. This paper extends the class to the largest subclass of Jordan matrices on which the algorithm works correctly. Examples demonstrating different types of behavior of other matrix systems are provided. [ABSTRACT FROM AUTHOR]

In this paper, we consider 3D Young diagrams with at most N layers in z-axis direction, which can be constructed by N 2D Young diagrams on slice z = j, j = 1, 2, · · · , N from the Yang-Baxter equation. Using 2D Bosons {aj,m, m ∈ ℤ} associated to 2D Young diagrams on the slice z = j, we constructed 3D Bosons. Then we show the 3D Boson representation of W1+∞ algebra, and give the method to calculate the Littlewood-Richardson rule for 3-Jack polynomials. [ABSTRACT FROM AUTHOR]

In this paper, we prove that any group occurs as the group of homotopy classes of self-equivalences of a none elliptic Sullivan algebra. [ABSTRACT FROM AUTHOR]

The advancement of the Internet of Things (IoT) has tremendously influenced many fields of human life. The Internet of Medical Things, Internet of Flying Things, Internet of Floating Things and Internet of Autonomous Things are recent evolution of IoT. The protocols used in all forms of IoT are critical during the execution demanding formal verification methods to ensure correctness. However, the most challenging part of formal verification is abstracting the system under test, making many systems unverified. Formal protocol verification is essential for detecting specification and design flaws that go undetected and corrected during the testing phase. This paper proposes novel methods for abstracting communication patterns for IoT protocols. Message broadcasts, periodic message advertisements, topology encoding, and topology change are examples of communication patterns. An attempt is made to model these patterns using pi-calculus and PROMELA. Finally, the trickle, a wireless sensor network dissemination protocol, has been modelled using pi-calculus and PROMELA. The Spin model checker verifies design flaws, such as deadlocks and non-progress cycles. The verification results ensure that there are no deadlocks or non-progress loops. The protocol is statically verified for message transmission semantics. The analysis revealed that the protocol could only guarantee message transmission for lossy connections if an alternative route covers all other nodes. The empirical results and theorem show that the abstraction mechanism can be directly utilised for automated and theoretical verification. Researchers can use the abstraction framework described in this paper to create validation models for static and automated verification of existing and new IoT protocols. [ABSTRACT FROM AUTHOR]

Let Γ ⊆ PSL (2 , R) correspond to the group of units of norm 1 in an Eichler order O of an indefinite quaternion algebra over Q . Closed geodesics on Γ \ H correspond to optimal embeddings of real quadratic orders into O . The weighted intersection numbers of pairs of these closed geodesics conjecturally relates to the work of Darmon-Vonk on a real quadratic analogue to the difference of singular moduli. In this paper, we study the total intersection number over all embeddings of a given pair of discriminants. We precisely describe the arithmetic of each intersection, and produce a formula for the total intersection. This formula is a real quadratic analogue of the work of Gross and Zagier on factorizing the difference of singular moduli. The results are fairly general, allowing for a large class of non-maximal Eichler orders, and non-fundamental/non-coprime discriminants. The paper ends with some explicit examples illustrating the results of the paper. [ABSTRACT FROM AUTHOR]

This paper expands further on a category theoretical formulation of Hochschild cohomology for monoid objects in monoidal categories enriched over abelian groups, which has been studied in Hellstrøm-Finnsen (Commun Algebra 46(12):5202–5233, 2018). This topic was also presented at ISCRA, Isfahan, Iran, April 2019. The present paper aims to provide a more intuitive formulation of the Hochschild cochain complex and extend the definition to Hochschild cohomology with values in a bimodule object. In addition, an equivalent formulation of the Hochschild cochain complex in terms of a cosimplicial object in the category of abelian groups is provided. [ABSTRACT FROM AUTHOR]

For describing specialized mathematical structures, it is preferable to use a special formalism rather than a general one. However, tradition often prevails in this case. For example, to describe rotations in the three-dimensional space or to describe motion in the Galilean or Minkowski spaces, vector (or tensor) formalism, rather than more specialized formalisms of Clifford algebra representations, is often used. This approach is historically justified. The application of specialized formalisms, such as spinors or quaternions, has not become a mainstream in science, but it has taken its place in solving practical and engineering problems. It should also be noted that all operations in theoretical problems are carried out precisely with symbolic data, and manipulations with multidimensional geometric objects require a large number of operations with the same objects. And it is in such problems that computer algebra is most powerful. In this paper, we want to draw attention to one of these specialized formalisms—the formalism of geometric algebra. Namely, it is proposed to consider options for the implementation of geometric algebra in the framework of the symbolic computation paradigm. [ABSTRACT FROM AUTHOR]

This is the first in a series of two papers that study monogenicity of number rings from a moduli-theoretic perspective. Given an extension of algebras B/A, when is B generated by a single element θ ∈ B over A? In this paper, we show there is a scheme M B / A parameterizing the choice of a generator θ ∈ B , a "moduli space" of generators. This scheme relates naturally to Hilbert schemes and configuration spaces. We give explicit equations and ample examples. [ABSTRACT FROM AUTHOR]

Gordan and Noether proved in their fundamental theorem that an hypersurface X = V (F) ⊆ P n with n ≤ 3 is a cone if and only if F has vanishing hessian (i.e. the determinant of the Hessian matrix). They also showed that the statement is false if n ≥ 4 , by giving some counterexamples. Since their proof, several others have been proposed in the literature. In this paper we give a new one by using a different perspective which involves the study of standard Artinian Gorenstein K -algebras and the Lefschetz properties. As a further application of our setting, we prove that a standard Artinian Gorenstein algebra R = K [ x 0 , ⋯ , x 4 ] / J with J generated by a regular sequence of quadrics has the strong Lefschetz property. In particular, this holds for Jacobian rings associated to smooth cubic threefolds. [ABSTRACT FROM AUTHOR]