Algebra Commons^™

Information-Preserving Structures: A General Framework For Quantum Zero-Error Information, Robin Blume-Kohout, Hui Khoon Ng, David Poulin, Lorenza Viola

Dartmouth Scholarship

Quantum systems carry information. Quantum theory supports at least two distinct kinds of information (classical and quantum), and a variety of different ways to encode and preserve information in physical systems. A system’s ability to carry information is constrained and defined by the noise in its dynamics. This paper introduces an operational framework, using information-preserving structures, to classify all the kinds of information that can be perfectly (i.e., with zero error) preserved by quantum dynamics. We prove that every perfectly preserved code has the same structure as a matrix algebra, and that preserved information can always be corrected. We …

The Cohomology Of Modules Over A Complete Intersection Ring, Jesse Burke

Department of Mathematics: Dissertations, Theses, and Student Research

We investigate the cohomology of modules over commutative complete intersection rings. The first main result is that if M is an arbitrary module over a complete intersection ring R, and if one even self-extension module of M vanishes then M has finite projective dimension. The second main result gives a new proof of the fact that the support variety of a Cohen-Macaulay module whose completion is indecomposable is projectively connected.

Vanishing Of Ext And Tor Over Complete Intersections, Olgur Celikbas

Department of Mathematics: Dissertations, Theses, and Student Research

Let (R,m) be a local complete intersection, that is, a local ring whose m-adic completion is the quotient of a complete regular local ring by a regular sequence. Let M and N be finitely generated R-modules. This dissertation concerns the vanishing of Tor(M, N) and Ext(M, N). In this context, M satisfies Serre's condition (S_{n}) if and only if M is an nth syzygy. The complexity of M is the least nonnegative integer r such that the nth Betti number of M is bounded by a polynomial of degree r-1 for all sufficiently large n. We use this notion of …

The Life Of Evariste Galois And His Theory Of Field Extension, Felicia N. Adams

Senior Honors Theses

Evariste Galois made many important mathematical discoveries in his short lifetime, yet perhaps the most important are his studies in the realm of field extensions. Through his discoveries in field extensions, Galois determined the solvability of polynomials. Namely, given a polynomial P with coefficients is in the field F and such that the equation P(x) = 0 has no solution, one can extend F into a field L with α in L, such that P(α) = 0. Whereas Galois Theory has numerous practical applications, this thesis will conclude with the examination and proof of the fact that it is impossible …

The Probabilistic Zeta Function, Bret Benesh

Mathematics Faculty Publications

This paper is a summary of results on the P_G(s) function, which is the reciprocal of the probabilistic zeta function for finite groups. This function gives the probability that s randomly chosen elements generate a group G, and information about the structure of the group G is embedded in it.

Truncated Toeplitz Operators: Spatial Isomorphism, Unitary Equivalence, And Similarity, William T. Ross, Joseph A. Cima, Stephan Ramon Garcia, Warren R. Wogen

Department of Math & Statistics Faculty Publications

A truncated Toeplitz operator Aᵩ : K_Ɵ → K_Ɵ is the compression of a Toeplitz operator Tᵩ : H² → H² to a model space K_Ɵ := H² ⊖ ^ƟH². For Ɵ inner, let T_Ɵ denote the set of all bounded truncated Toeplitz operators on K_Ɵ. Our main result is a necessary and sufficient condition on inner functions Ɵ₁ and Ɵ₂ which guarantees that T_Ɵ1 and T_Ɵ2 are spatially isomorphic. (i.e., UT_Ɵ1 = T_Ɵ2 U for some unitary U : K_{Ɵ1 …}

Spatial Isomorphisms Of Algebras Of Truncated Toeplitz Operators, William T. Ross, Stephan Ramon Garcia, Warren R. Wogen

Department of Math & Statistics Faculty Publications

We examine when two maximal abelian algebras in the truncated Toeplitz operators are spatially isomorphic. This builds upon recent work of N. Sedlock, who obtained a complete description of the maximal algebras of truncated Toeplitz operators.

The Norm Of A Truncated Toeplitz Operator, William T. Ross, Stephan Ramon Garcia

Department of Math & Statistics Faculty Publications

We prove several lower bounds for the norm of a truncated Toeplitz operator and obtain a curious relationship between the H² and H^∞ norms of functions in model spaces.

Review: The Semi-Dynamical Reflection Equation: Solutions And Structure Matrices, Gizem Karaali

Pomona Faculty Publications and Research

No abstract provided.

Support Varieties And Representation Type Of Small Quantum Groups, Jorg Feldvoss, Sarah Witherspoon

University Faculty and Staff Publications

In this paper, we provide a wildness criterion for any finite dimensional Hopf algebra with finitely generated cohomology. This generalizes a result of Farnsteiner to not necessarily cocommutative Hopf algebras over ground fields of arbitrary characteristic. Our proof uses the theory of support varieties for modules, one of the crucial ingredients being a tensor product property for some special modules. As an application, we prove a conjecture of Cibils stating that small quantum groups of rank at least two are wild.

Recognizing Graph Theoretic Properties With Polynomial Ideals, Jesus A. De Loera, Christopher J. Hillar, Peter N. Malkin, Mohamed Omar

All HMC Faculty Publications and Research

Many hard combinatorial problems can be modeled by a system of polynomial equations. N. Alon coined the term polynomial method to describe the use of nonlinear polynomials when solving combinatorial problems. We continue the exploration of the polynomial method and show how the algorithmic theory of polynomial ideals can be used to detect k-colorability, unique Hamiltonicity, and automorphism rigidity of graphs. Our techniques are diverse and involve Nullstellensatz certificates, linear algebra over finite fields, Gröbner bases, toric algebra, convex programming, and real algebraic geometry.

Bitopological Duality For Distributive Lattices And Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz

Engineering Faculty Articles and Research

We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spaces—the duals of Boolean algebras—and show that they are exactly the bitopological duals of bounded distributive lattices. The category PStone of pairwise Stone spaces is isomorphic to the category Spec of spectral spaces and to the category Pries of Priestley spaces. In fact, the isomorphism of Spec and Pries is most naturally seen through PStone by first establishing that Pries is isomorphic to PStone, and then showing that PStone is isomorphic to Spec. We provide the bitopological and spectral descriptions of many algebraic concepts important for the study …

Some New Classes Of Complex Symmetric Operators, Stephan Ramon Garcia, Warren R. Wogen

Pomona Faculty Publications and Research

We say that an operator $T \in B(H)$ is complex symmetric if there exists a conjugate-linear, isometric involution $C:H\to H$ so that $T = CT^*C$. We prove that binormal operators, operators that are algebraic of degree two (including all idempotents), and large classes of rank-one perturbations of normal operators are complex symmetric. From an abstract viewpoint, these results explain why the compressed shift and Volterra integration operator are complex symmetric. Finally, we attempt to describe all complex symmetric partial isometries, obtaining the sharpest possible statement given only the data $(\dim \ker T, \dim \ker T^*)$.

Review: Classification Of Quasi-Trigonometric Solutions Of The Classical Yang-Baxter Equation, Gizem Karaali

Pomona Faculty Publications and Research

No abstract provided.

Review: Intertwining Symmetry Algebras Of Quantum Superintegrable Systems, Gizem Karaali

Pomona Faculty Publications and Research

No abstract provided.

Review: Quantization Of Hamiltonian-Type Lie Algebras, Gizem Karaali

Pomona Faculty Publications and Research

No abstract provided.

On Coalgebras Over Algebras, Adriana Balan, Alexander Kurz

Engineering Faculty Articles and Research

We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a Set-monad M for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad M and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.

On Universal Algebra Over Nominal Sets, Alexander Kurz, Daniela Petrişan

Engineering Faculty Articles and Research

We investigate universal algebra over the category Nom of nominal sets. Using the fact that Nom is a full re ective subcategory of a monadic category, we obtain an HSP-like theorem for algebras over nominal sets. We isolate a `uniform' fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into `uniform' theories and systematically prove HSP theorems for models of these theories.

Families Of Symmetries As Efficient Models Of Resource Binding, Vincenzo Ciancia, Alexander Kurz, Ugo Montanari

Engineering Faculty Articles and Research

Calculi that feature resource-allocating constructs (e.g. the pi-calculus or the fusion calculus) require special kinds of models. The best-known ones are presheaves and nominal sets. But named sets have the advantage of being finite in a wide range of cases where the other two are infinite. The three models are equivalent. Finiteness of named sets is strictly related to the notion of finite support in nominal sets and the corresponding presheaves. We show that named sets are generalisd by the categorical model of families, that is, free coproduct completions, indexed by symmetries, and explain how locality of interfaces gives good …

Algebraic Theories Over Nominal Sets, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.

On The Characteristics Of A Class Of Gaussian Processes Within The White Noise Space Setting, Daniel Alpay, Haim Attia, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using the white noise space framework, we define a class of stochastic processes which include as a particular case the fractional Brownian motion and its derivative. The covariance functions of these processes are of a special form, studied by Schoenberg, von Neumann and Krein.

Neutrosophic Bilinear Algebras And Their Generalizations, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This book introduces the concept of neutrosophic bilinear algebras and their generalizations to n-linear algebras, n>2. This book has five chapters. The reader should be well-versed with the notions of linear algebras as well as the concepts of bilinear algebras and n- linear algebras. Further the reader is expected to know about neutrosophic algebraic structures as we have not given any detailed literature about it. The first chapter is introductory in nature and gives a few essential definitions and references for the reader to make use of the literature in case the reader is not thorough with the basics. …

New Classes Of Neutrosophic Linear Algebras, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce mainly three new classes of linear algebras; neutrosophic group linear algebras, neutrosophic semigroup linear algebras and neutrosophic set linear algebras. The authors also define the fuzzy analogue of these three structures. This book is organized into seven chapters. Chapter one is introductory in content. The notion of neutrosophic set linear algebras and neutrosophic neutrosophic set linear algebras are introduced and their properties analysed in chapter two. Chapter three introduces the notion of neutrosophic semigroup linear algebras and neutrosophic group linear algebras. A study of their substructures are systematically carried out in this chapter. The fuzzy …

Interval Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This Interval arithmetic or interval mathematics developed in 1950’s and 1960’s by mathematicians as an approach to putting bounds on rounding errors and measurement error in mathematical computations. However no proper interval algebraic structures have been defined or studies. In this book we for the first time introduce several types of interval linear algebras and study them. This structure has become indispensable for these concepts will find applications in numerical optimization and validation of structural designs. In this book we use only special types of intervals and introduce the notion of different types of interval linear algebras and interval vector …

Rank Distance Bicodes And Their Generalization, Florentin Smarandache, W.B. Vasantha Kandasamy, N. Suresh Babu, R.S. Selvaraj

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce the new notion of rank distance bicodes and generalize this concept to Rank Distance n-codes (RD n-codes), n, greater than or equal to three. This definition leads to several classes of new RD bicodes like semi circulant rank bicodes of type I and II, semicyclic circulant rank bicode, circulant rank bicodes, bidivisible bicode and so on. It is important to mention that these new classes of codes will not only multitask simultaneously but also they will be best suited to the present computerised era. Apart from this, these codes are best suited in cryptography. …

Proposed Problems Of Mathematics (Vol. Ii), Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The first book of “Problèmes avec et sans … problèmes!” was published in Morocco in 1983. I collected these problems that I published in various Romanian or foreign magazines (amongst which: “Gazeta Matematică”, magazine which formed me as problem solver, “American Mathematical Monthly”, “Crux Mathematicorum” (Canada), “Elemente der Mathematik” (Switzerland), “Gaceta Matematica” (Spain), “Nieuw voor Archief” (Holland), etc. while others are new proposed problems in this second volume.

These have been created in various periods: when I was working as mathematics professor in Romania (1984-1988), or co-operant professor in Morocco (1982-1984), or emigrant in the USA (1990-1997). I thank to …

Interval Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy, Moon Kumar Chetry

Branch Mathematics and Statistics Faculty and Staff Publications

This book introduces several new classes of groupoid, like polynomial groupoids, matrix groupoids, interval groupoids, polynomial interval groupoids, matrix interval groupoids and their neutrosophic analogues.

Linear Stochastic State Space Theory In The White Noise Space Setting, Daniel Alpay, David Levanony, Ariel Pinhas

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study state space equations within the white noise space setting. A commutative ring of power series in a countable number of variables plays an important role. Transfer functions are rational functions with coefficients in this commutative ring, and are characterized in a number of ways. A major feature in our approach is the observation that key characteristics of a linear, time invariant, stochastic system are determined by the corresponding characteristics associated with the deterministic part of the system, namely its average behavior.

Regular Functions On The Space Of Cayley Numbers, Graziano Gentili, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we present a new definition of regularity on the space Ç of Cayley numbers (often referred to as octonions), based on a Gateaux-like notion of derivative. We study the main properties of regular functions, and we develop the basic elements of a function theory on Ç. Particular attention is given to the structure of the zero sets of such functions.

Krein Systems And Canonical Systems On A Finite Interval: Accelerants With A Jump Discontinuity At The Origin And Continuous Potentials, Daniel Alpay, I. Gohberg, M. A. Kaashoek, L. Lerer, A. Sakhnovich

Mathematics, Physics, and Computer Science Faculty Articles and Research

This paper is devoted to connections between accelerants and potentials of Krein systems and of canonical systems of Dirac type, both on a finite interval. It is shown that a continuous potential is always generated by an accelerant, provided the latter is continuous with a possible jump discontinuity at the origin. Moreover, the generating accelerant is uniquely determined by the potential. The results are illustrated on pseudo-exponential potentials. The paper is a continuation of the earlier paper of the authors [1] dealing with the direct problem for Krein systems.