Algebra Commons^™

Regular Functions On The Scaled Hypercomplex Numbers, Daniel Alpay, Ilwoo Cho

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we study the regularity of R-differentiable functions on open connected subsets of the scaled hypercomplex numbers {Ht}_t∈R by studying the kernels of suitable differential operators {∇_t}_t∈R, up to scales in the real field R.

Spacetime Geometry Of Acoustics And Electromagnetism, Lucas Burns, Tatsuya Daniel, Stephon Alexander, Justin Dressel

Mathematics, Physics, and Computer Science Faculty Articles and Research

Both acoustics and electromagnetism represent measurable fields in terms of dynamical potential fields. Electromagnetic force-fields form a spacetime bivector that is represented by a dynamical energy–momentum 4-vector potential field. Acoustic pressure and velocity fields form an energy–momentum density 4-vector field that is represented by a dynamical action scalar potential field. Surprisingly, standard field theory analyses of spin angular momentum based on these traditional potential representations contradict recent experiments, which motivates a careful reassessment of both theories. We analyze extensions of both theories that use the full geometric structure of spacetime to respect essential symmetries enforced by vacuum wave propagation. The …

A Little More On Ideals Associated With Sublocales, Oghenetega Ighedo, Grace Wakesho Kivunga, Dorca Nyamusi Stephen

Mathematics, Physics, and Computer Science Faculty Articles and Research

As usual, let RL denote the ring of real-valued continuous functions on a completely regular frame L. Let βL and λL denote the Stone- Čech compactification of L and the Lindelöf coreflection of L, respectively. There is a natural way of associating with each sublocale of βL two ideals of RL, motivated by a similar situation in C(X). In [12], the authors go one step further and associate with each sublocale of λL an ideal of RL in a manner similar to one of the ways one does it for sublocales of βL. The intent in this paper …

A Survey On Varieties Generated By Small Semigroups And A Companion Website, João Araújo, João Pedro Araújo, Peter J. Cameron, Edmond W. H. Lee, Jorge Raminhos

Mathematics Faculty Articles

This paper presents new findings on varieties generated by small semigroups and groups, and offers a survey of existing results. A companion website is provided which hosts a computational system integrating automated reasoning tools, finite model builders, SAT solvers, and GAP. This platform is a living guide to the literature. In addition, the first complete and justified list of identity bases for all varieties generated by a semigroup of order up to 4 is provided as supplementary material. The paper concludes with an extensive list of open problems.

Unexpectedness Stratified By Codimension, Frank Zimmitti

Department of Mathematics: Dissertations, Theses, and Student Research

A recent series of papers, starting with the paper of Cook, Harbourne, Migliore, and Nagel on the projective plane in 2018, studies a notion of unexpectedness for finite sets Z of points in N-dimensional projective space. Say the complete linear system L of forms of degree d vanishing on Z has dimension t yet for any general point P the linear system of forms vanishing on Z with multiplicity m at P is nonempty. If the dimension of L is more than the expected dimension of t−r, where r is N+m−1 choose …

Certain Invertible Operator-Block Matrices Induced By C*-Algebras And Scaled Hypercomplex Numbers, Daniel Alpay, Ilwoo Choo

Mathematics, Physics, and Computer Science Faculty Articles and Research

The main purposes of this paper are (i) to enlarge scaled hypercomplex structures to operator-valued cases, where the operators are taken from a C*-subalgebra of an operator algebra on a separable Hilbert space, (ii) to characterize the invertibility conditions on the operator-valued scaled-hypercomplex structures of (i), (iii) to study relations between the invertibility of scaled hypercomplex numbers, and that of operator-valued cases of (ii), and (iv) to confirm our invertibility of (ii) and (iii) are equivalent to the general invertibility of (2×2)-block operator matrices.

Math 115: College Algebra For Pre-Calculus, Seth Lehman

Open Educational Resources

OER course syllabus for Math 115, College Algebra, at Queens College

Many-Valued Coalgebraic Logic: From Boolean Algebras To Primal Varieties, Alexander Kurz, Wolfgang Poiger

Engineering Faculty Articles and Research

We study many-valued coalgebraic logics with primal algebras of truth-degrees. We describe a way to lift algebraic semantics of classical coalgebraic logics, given by an endofunctor on the variety of Boolean algebras, to this many-valued setting, and we show that many important properties of the original logic are inherited by its lifting. Then, we deal with the problem of obtaining a concrete axiomatic presentation of the variety of algebras for this lifted logic, given that we know one for the original one. We solve this problem for a class of presentations which behaves well with respect to a lattice structure …

Schur Analysis And Discrete Analytic Functions: Rational Functions And Co-Isometric Realizations, Daniel Alpay, Dan Volok

Mathematics, Physics, and Computer Science Faculty Articles and Research

We define and study rational discrete analytic functions and prove the existence of a coisometric realization for discrete analytic Schur multipliers.

Discrete Wiener Algebra In The Bicomplex Setting, Spectral Factorization With Symmetry, And Superoscillations, Daniel Alpay, Izchak Lewkowicz, Mihaela Vajiac

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we present parallel theories on constructing Wiener algebras in the bicomplex setting. With the appropriate symmetry condition, the bicomplex matrix valued case can be seen as a complex valued case and, in this matrix valued case, we make the necessary connection between bicomplex analysis and complex analysis with symmetry. We also write an application to superoscillations in this case.

On The Superabundance Of Singular Varieties In Positive Characteristic, Jake Kettinger

Department of Mathematics: Dissertations, Theses, and Student Research

The geproci property is a recent development in the world of geometry. We call a set of points Z\subseq\P_k^3 an (a,b)-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point P to a plane is a complete intersection of curves of degrees a and b. Examples known as grids have been known since 2011. Previously, the study of the geproci property has taken place within the characteristic 0 setting; prior to the work in this thesis, a procedure has been known for creating an (a,b)-geproci half-grid for 4\leq a\leq b, but it was not …

Mth 125 - Modeling With Exponential Functions, Stivi Manoku

Open Educational Resources

The file includes a variety of problems that emphasize the importance of modeling exponential growth and/or radioactive decay. Through different exercises and problems, the assignment goal is to improve their comprehension of exponential functions and hone their problem-solving abilities.

Commutators On Fock Spaces, Daniel Alpay, Paula Cerejeiras, Uwe Kähler, Trevor Kling

Mathematics, Physics, and Computer Science Faculty Articles and Research

Given a weighted ℓ2 space with weights associated with an entire function, we consider pairs of weighted shift operators, whose commutators are diagonal operators, when considered as operators over a general Fock space. We establish a calculus for the algebra of these commutators and apply it to the general case of Gelfond–Leontiev derivatives. This general class of operators includes many known examples, such as classic fractional derivatives and Dunkl operators. This allows us to establish a general framework, which goes beyond the classic Weyl–Heisenberg algebra. Concrete examples for its application are provided.

Unique Factorization In The Rings Of Integers Of Quadratic Fields: A Method Of Proof, Zachary Warren

Senior Honors Theses

It is a well-known property of the integers, that given any nonzero a ∈ Z, where a is not a unit, we are able to write a as a unique product of prime numbers. This is because the Fundamental Theorem of Arithmetic (FTA) holds in the integers and guarantees (1) that such a factorization exists, and (2) that it is unique. As we look at other domains, however, specifically those of the form O(√D) = {a + b√D | a, b ∈ Z, D a negative, squarefree integer}, we find that …

Mth 50 Syllabus, Koby Kohulan

Open Educational Resources

No abstract provided.

The Structure Of Locally Integral Involutive Po-Monoids And Semirings, José Gil-Férez, Peter Jipsen, Siddhartha Lodhia

Mathematics, Physics, and Computer Science Faculty Articles and Research

We show that every locally integral involutive partially ordered monoid (ipo-monoid) A = (A,⩽, ·, 1,∼,−), and in particular every locally integral involutive semiring, decomposes in a unique way into a family {Ap : p ∈ A+} of integral ipo-monoids, which we call its integral components. In the semiring case, the integral components are semirings. Moreover, we show that there is a family of monoid homomorphisms Φ = {φpq : Ap → Aq : p ⩽ q}, indexed on the positive cone (A+,⩽), so that the structure of A can be recovered as a glueing R ΦAp of its integral …

Math 301: Abstract Algebra I, Nicholas Vlamis

Open Educational Resources

No abstract provided.

Integrable Systems On Symmetric Spaces From A Quadratic Pencil Of Lax Operators, Rossen Ivanov

Conference papers

The article surveys the recent results on integrable systems arising from quadratic pencil of Lax operator L, with values in a Hermitian symmetric space. The counterpart operator M in the Lax pair defines positive, negative and rational flows. The results are illustrated with examples from the A.III symmetric space. The modeling aspect of the arising higher order nonlinear Schrödinger equations is briefly discussed.

Quasisymmetric Functions Distinguishing Trees, Jean-Christophe Aval, Karimatou Djenabou, Peter R. W. Mcnamara

Faculty Journal Articles

A famous conjecture of Stanley states that his chromatic symmetric function distinguishes trees. As a quasisymmetric analogue, we conjecture that the chromatic quasisymmetric function of Shareshian and Wachs and of Ellzey distinguishes directed trees. This latter conjecture would be implied by an affirmative answer to a question of Hasebe and Tsujie about the P-partition enumerator distinguishing posets whose Hasse diagrams are trees. They proved the case of rooted trees and our results include a generalization of their result.

Algebraic Tunnelling, Gaurab Sedhain

2023 REYES Proceedings

We study the quantum phenomenon of tunnelling in the framework of algebraic quantum theory, motivated by the tunnelling aspects of false vacuum decay. We see that resolvent C*-algebra, proposed relatively recently by Buchholz and Grundling rather than Weyl algebra provides an appropriate framework for treating the dynamics of non-free quantum mechanical system as an algebraic automorphism. At the end, we propose to investigate false vacuum decay in algebraic quantum field theoretic setting in terms of the two-point correlation function which gives us the tunneling probability, with the corresponding C*-algebraic construction.

The Mceliece Cryptosystem As A Solution To The Post-Quantum Cryptographic Problem, Isaac Hanna

Senior Honors Theses

The ability to communicate securely across the internet is owing to the security of the RSA cryptosystem, among others. This cryptosystem relies on the difficulty of integer factorization to provide secure communication. Peter Shor’s quantum integer factorization algorithm threatens to upend this. A special case of the hidden subgroup problem, the algorithm provides an exponential speedup in the integer factorization problem, destroying RSA’s security. Robert McEliece’s cryptosystem has been proposed as an alternative. Based upon binary Goppa codes instead of integer factorization, his cryptosystem uses code scrambling and error introduction to hinder decrypting a message without the private key. This …

Ideals Of Functions With Compact Support In The Integer-Valued Case, Themba Dube, Oghenetega Ighedo, Batsile Tlharesakgosi

Mathematics, Physics, and Computer Science Faculty Articles and Research

For a zero-dimensional Hausdorff space X, denote, as usual, by C(X, ℤ) the ring of continuous integer-valued functions on X. If f ∈ C(X, ℤ), denote by Z(f) the set of all points of X that are mapped to 0 by f. The set C_K(X; ℤ) = {f ∈ C(X; ℤ) | cl_X(X \ Z(f)) is compact} is the integer-valued analogue of the ideal of functions with compact support in C(X). By first working in the category of locales and then interpreting …

One-Point Gleason Parts And Point Derivations In Uniform Algebras, Swarup Ghosh, Alexander J. Izzo

Faculty Articles & Research

It is shown that a uniform algebra can have a nonzero bounded point derivation while having no nontrivial Gleason parts. Conversely, a uniform algebra can have a nontrivial Gleason part while having no nonzero, even possibly unbounded, point derivations.

Bbt Acoustic Alternative Top Bracing Cadd Data Set-Norev-2022jun28, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set consists of an overview presentation (PDF-formatted) file and companion video (MP4) and CADD files (DWG & DXF) for laser cutting the ETSU-developed alternate top bracing designs and marking templates for the STEM Guitar Project’s BBT (OM-sized) standard acoustic guitar kit. The three (3) alternative BBT top bracing designs in this release are
(a) a one-piece base for the standard kit's (Martin-style) bracing,
(b) 277 Ladder-style bracing, and
(c) an X-braced fan-style bracing similar to traditional European or so-called 'classical' acoustic guitars.

The CADD data set for each of the three (3) top bracing designs includes …

Bbt Side Mold Assy, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set covers the design and fabrication information of the ETSU Guitar Building Project’s BBT (OM-sized) Side Mold Assy for use with the STEM Guitar Project’s standard acoustic guitar kit. The extended 'as built' data set contains an overview file and companion video, the 'parent' CADD drawing, CADD data for laser etching and cutting a drill &/or layout template, CADD drawings in AutoCAD .DWG and .DXF R12 formats of the centerline tool paths for creating the mold assembly pieces on an AXYZ CNC router, and support documentation for CAM applications including router bit specifications, feeds, speed, multi-pass …

Fock And Hardy Spaces: Clifford Appell Case, Daniel Alpay, Kamal Diki, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we study a specific system of Clifford–Appell polynomials and, in particular, their product. Moreover, we introduce a new family of quaternionic reproducing kernel Hilbert spaces in the framework of Fueter regular functions. The construction is based on a general idea which allows us to obtain various function spaces by specifying a suitable sequence of real numbers. We focus on the Fock and Hardy cases in this setting, and we study the action of the Fueter mapping and its range.

Semantic Completeness Of Intuitionistic Predicate Logic In A Fully Constructive Meta-Theory, Ian Ray

Masters Theses & Specialist Projects

A constructive proof of the semantic completeness of intuitionistic predicate logic is explored using set-generated complete Heyting Algebra. We work in a constructive set theory that avoids impredicative axioms; for this reason the result is not only intuitionistic but fully constructive. We provide background that makes the thesis accessible to the uninitiated.

Application Of Linear Algebra Within The High School Curriculum: Designing Activities To Stimulate An Interest In Upper-Level Math, Shelby Castle

Honors Theses

This senior project outlines potential lecture activities for a guest speaker or teacher in a high school classroom to present interesting applications of linear algebra. These applications are meant to be pertinent to things students at this age level are already learning or are interested in. The activities are designed such that the ideas of upper-level math are introduced in a very guided and non-intense way. The intent of the activities is mostly applications and interesting results rather than mathematical lecturing or instruction.

The high school level courses explored in this project are chemistry, economics, and health/physical education. For these …

On The Geometry Of The Multiplier Space Of ℓPA, Christopher Felder, Raymond Cheng

Mathematics & Statistics Faculty Publications

For p ∊ (1, ∞)\ {2}, some properties of the space M_p of multipliers on ℓ^p_A are derived. In particular, the failure of the weak parallelogram laws and the Pythagorean inequalities is demonstrated for M_p. It is also shown that extremal multipliers on the ℓ^p_A spaces are exactly the monomials, in stark contrast to the p = 2 case.

The Differentialgeometry Package, Ian M. Anderson, Charles G. Torre

Downloads

This is the entire DifferentialGeometry package, a zip file (DifferentialGeometry.zip) containing (1) a Maple Library file, DifferentialGeometryUSU.mla, (2) a Maple help file DifferentialGeometry.help, (3) a Maple Library file, DGApplicatons.mla. This is the latest version of the DifferentialGeometry software; it supersedes what is released with Maple.

Installation instructions