Mathematics Commons^™

Dynamical Invariants And The Fluid Impulse In Plasma Models, Martin Michalak

Electronic Theses and Dissertations

Much progress has been made in understanding of plasmas through the use of the MHD equations and newer models such as Hall MHD and electron MHD. As with most equations of fluid behavior, these equations are nonlinear, and no general solutions can be found. The use of invariant structures allows limited predictions of fluid behavior without requiring a full solution of the underlying equations. The use of gauge transformation can allow the creation of new invariants, while differential geometry offers useful tools for constructing additional invariants from those that are already known. Using these techniques, new geometric, integral and topological …

On Characterization And Stability Of Alternate Dual Of G-Frames, Ali Akbar Arefijamaal, Soheila Ghasemi

Turkish Journal of Mathematics

One of the essential applications of frames is that they lead to expansions of vectors in the underlying Hilbert space in terms of the frame elements. In this decomposition, dual frames have a key role. G-frames, introduced by Sun, cover many other recent generalizations of frames. In this paper, we give some characterizations of dual g-frames. Moreover, we prove that if two g-frames are close to each other, then we can find duals of them which are close to each other.

Scalar Curvature And Symmetry Properties Of Lightlike Submanifolds}, Cyriaque Atindogbe, Oscar Lungiambudila, Joel Tossa

Turkish Journal of Mathematics

In this paper, the induced Ricci tensor and the extrinsic scalar curvature on lightlike submanifolds are obtained. This scalar quantity extend the result given by C. Atindogbe in [1]. An example of extrinsic scalar curvature on one class of 2-degenerate manifolds is provided. We investigate lightlike submanifolds which are locally symmetric, semi-symmetric, Ricci semi-symmetric in indefinite spaces form. In the coisotropic case, we show that, under some conditions, these lightlike submanifolds are totally geodesic.

Machine Learning And The Perceptron Algorithm, John Travis Shrontz

Summer Community of Scholars Posters (RCEU and HCR Combined Programs)

No abstract provided.

Topological Convolution Algebras, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we introduce a new family of topological convolution algebras of the form ⋃p∈NL2(S,μp), where S is a Borel semi-group in a locally compact group G, which carries an inequality of the type ∥f∗g∥p≤Ap,q∥f∥q∥g∥p for p>q+d where d pre-assigned, and Ap,q is a constant. We give a sufficient condition on the measures μp for such an inequality to hold. We study the functional calculus and the spectrum of the elements of these algebras, and present two examples, one in the setting of non commutative stochastic distributions, and the other related to Dirichlet series.

On Discrete Analytic Functions: Products, Rational Functions, And Reproducing Kernels, Daniel Alpay, Palle Jorgensen, Ron Seager, Dan Volok

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce a family of discrete analytic functions, called expandable discrete analytic functions, which includes discrete analytic polynomials, and define two products in this family. The first one is defined in a way similar to the Cauchy-Kovalevskaya product of hyperholomorphic functions, and allows us to define rational discrete analytic functions. To define the second product we need a new space of entire functions which is contractively included in the Fock space. We study in this space some counterparts of Schur analysis.

Pontryagin De Branges-Rovnyak Spaces Of Slice Hyperholomorphic Functions, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study reproducing kernel Hilbert and Pontryagin spaces of slice hyperholomorphic functions which are analogs of the Hilbert spaces of analytic functions introduced by de Branges and Rovnyak. In the first part of the paper we focus on the case of Hilbert spaces, and introduce in particular a version of the Hardy space. Then we define Blaschke factors and Blaschke products and we consider an interpolation problem. In the second part of the paper we turn to the case of Pontryagin spaces. We first prove some results from the theory of Pontryagin spaces in the quaternionic setting and, in particular, …

Residuated Frames With Applications To Decidability, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in intuitionistic and modal logic, and of phase spaces in linear logic. We explore the connection between Gentzen systems and residuated frames and illustrate how frames provide a uniform treatment for semantic proofs of cut-elimination, the finite model property and the finite embeddability property, which imply the decidability of the equational/universal theories of the associated residuated lattice-ordered groupoids. In particular these techniques allow us to prove that the variety of involutive FL-algebras and several related varieties have the finite model property.

Relation Algebras As Expanded Fl-Algebras, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

This paper studies generalizations of relation algebras to residuated lattices with a unary De Morgan operation. Several new examples of such algebras are presented, and it is shown that many basic results on relation algebras hold in this wider setting. The variety qRA of quasi relation algebras is defined and shown to be a conservative expansion of involutive FL-algebras. Our main result is that equations in qRA and several of its subvarieties can be decided by a Gentzen system, and that these varieties are generated by their finite members.

Counting Links And Knots In Complete Graphs, Loren Abrams, Blake Mellor, Lowell Trott

Mathematics, Statistics and Data Science Faculty Works

We investigate the minimal number of links and knots in embeddings of complete partite graphs in S³. We provide exact values or bounds on the minimal number of links for all complete partite graphs with all but 4 vertices in one partition, or with 9 vertices in total. In particular, we find that the minimal number of links in an embedding of K_4,4,1 is 74. We also provide exact values or bounds on the minimal number of knots for all complete partite graphs with 8 vertices.

Congruence Classes Of 2-Adic Valuations Of Stirling Numbers Of The Second Kind, Curtis Bennett, Edward Mosteig

Mathematics, Statistics and Data Science Faculty Works

We analyze congruence classes of S(n,k), the Stirling numbers of the second kind, modulo powers of 2. This analysis provides insight into a conjecture posed by Amdeberhan, Manna and Moll, which those authors established for k at most 5. We provide a framework that can be used to justify the conjecture by computational means, which we then complete for values of k between 5 and 20.

Twisted Alexander Polynomials Of 2-Bridge Knots, Jim Hoste, Patrick D. Shanahan

Mathematics, Statistics and Data Science Faculty Works

We investigate the twisted Alexander polynomial of a 2-bridge knot associated to a Fox coloring. For several families of 2-bridge knots, including but not limited to, torus knots and genus-one knots, we derive formulae for these twisted Alexander polynomials. We use these formulae to confirm a conjecture of Hirasawa and Murasugi for these knots.

Torsion In One-Term Distributive Homology, Alissa S. Crans, Józef H. Przytycki, Krzysztof K. Putyra

Mathematics, Statistics and Data Science Faculty Works

The one-term distributive homology was introduced by J.H.Przytycki as an atomic replacement of rack and quandle homology, which was first introduced and developed by R.Fenn, C.Rourke and B.Sanderson, and J.S.Carter, S.Kamada and M.Saito. This homology was initially suspected to be torsion-free, but we show in this paper that the one-term homology of a finite spindle can have torsion. We carefully analyze spindles of block decomposition of type (n,1) and introduce various techniques to compute their homology precisely. In addition, we show that any finite group can appear as the torsion subgroup of the first homology of some finite spindle. Finally, …

Cohomology Of Frobenius Algebras And The Yang-Baxter Equation, J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, Enver Karadayi, Masahico Saito

Mathematics, Statistics and Data Science Faculty Works

A cohomology theory for multiplications and comultiplications of Frobenius algebras is developed in low dimensions in analogy with Hochschild cohomology of bialgebras based on deformation theory. Concrete computations are provided for key examples. Skein theoretic constructions give rise to solutions to the Yang-Baxter equation using multiplications and comultiplications of Frobenius algebras, and 2-cocycles are used to obtain deformations of R-matrices thus obtained.

A Method Based On Total Variation For Network Modularity Optimization Using The Mbo Scheme, Huiyi Hu, Thomas Laurent, Mason A. Porter, Andrea L. Bertozzi

Mathematics, Statistics and Data Science Faculty Works

The study of network structure is pervasive in sociology, biology, computer science, and many other disciplines. One of the most important areas of network science is the algorithmic detection of cohesive groups of nodes called “communities.” One popular approach to finding communities is to maximize a quality function known as modularity to achieve some sort of optimal clustering of nodes. In this paper, we interpret the modularity function from a novel perspective: we reformulate modularity optimization as a minimization problem of an energy functional that consists of a total variation term and an $\ell_2$ balance term. By employing numerical techniques …

Analysis And Simulation Of Kinetic Model For Active Suspensions, Panon Phuworawong

Mathematics & Statistics Theses & Dissertations

In this research, we study the recently proposed kinetic model for active suspensions, where the active particles are assumed to be rigid rod and are driven in the suspension either by their own biological/chemical forces or external electric/magnetic fields. We first study the stability of the isotropic suspension in quiescent flow. Then we investigate the weak shear perturbation of the isotropic state and study some rheological properties of the suspension by explicit analytic formulas derived directly from the model. For imposed shear, we give some bifurcation diagrams of the stable states in some parametric spaces through numerical simulations. Some rheological …

On The Krull Dimension Of Endo-Bounded Modules, Ahmad Haghany, Majid Mazrooei, Mohamad Reza Vedadi

Turkish Journal of Mathematics

Modules in which every essential submodule contains an essential fully invariant submodule are called endo-bounded. Let M be a nonzero module over an arbitrary ring R and X = Spec_2(M_R), the set of all fully invariant L_2-prime submodules of M_R. If M_R is a quasi-projective L_2-Noetherian such that (M/P)_R is endo-bounded for any P \in X, then it is shown that the Krull dimension of M_R is at most the classical Krull dimension of the poset X. The equality of these dimensions and some applications are obtained for certain modules. This gives a generalization of a well-known result on right …

Labelings Of Type (1,1,1) For Toroidal Fullerenes, Martin Baca, Muhammad Numan, Ayesha Shabbir

Turkish Journal of Mathematics

In this paper we deal with the problem of labeling the vertices, edges, and faces of a toroidal fullerene H_m^n with mn hexagons by the consecutive integers from 1 up to V(H_m^n) + E(H_m^n) + F(H_m^n) in such a way that the set of face-weights of 6-sided faces forms an arithmetic progression with common difference d, where by face-weight we mean the sum of the label of that face and the labels of vertices and edges surrounding that face. The paper examines the existence of such labelings for several differences d.

On The Existence Of Nonzero Injective Covers And Projective Envelopes Of Modules, Xiaoxiang Zhang, Xianmei Song

Turkish Journal of Mathematics

In general, the injective cover (projective envelope) of a simple module can be zero. A ring R is called a weakly left V-ring (strongly left Kasch ring) if every simple left R-module has a nonzero injective cover (projective envelope). It is proven that every nonzero left R-module has a nonzero injective cover if and only if R is a left Artinian weakly left V-ring. Dually, every nonzero left R-module has a nonzero projective envelope if and only if R is a left perfect right coherent strongly left Kasch ring. Some related rings and examples are considered.

An Exhaustive Computer Search For Finding New Curves With Many Points Among Fibre Products Of Two Kummer Covers Over F_5 And F_7, Ferruh Özbudak, Burcu Gülmez Temür, Oğuz Yayla

Turkish Journal of Mathematics

In this paper we make an exhaustive computer search for finding new curves with many points among fibre products of 2 Kummer covers of the projective line over F_5 and F_7. At the end of the search, we have 12 records and 6 new entries for the current Table of Curves with Many Points. In particular, we observe that the fibre product y_1^3 = \frac{5(x + 2)(x + 5)}{x}, y_2^3 = \frac{3x^2(x + 5)}{x + 3} over F_7 has genus 7 with 36 rational points. As this coincides with the Ihara bound, we conclude that the maximum number N_7(7) of …

On The Pollard Decomposition Method Applied To Some Jacobi--Sobolev Expansions, Francisco Marcellán, Yamilet Quintana, Alejandro Urieles

Turkish Journal of Mathematics

Let {q_n^{(\alpha,\beta)}}_{n \geq 0} be the sequence of polynomials orthonormal with respect to the Sobolev inner product \langle f,g\rangle_S:=\int_{-1}^1f(x)g(x)w^{(\alpha,\beta)}(x)dx+\int_{-1}^1f'(x)g'(x)w^{(\alpha+1,\beta+1)}(x)dx, where w^{(\alpha,\beta)}(x)=(1-x)^{\alpha}(1+x)^{\beta}, x\in [-1,1] and \alpha,\beta>-1. This paper explores the convergence in the W^{1,p}\left((-1,1), (w^{(\alpha,\beta)},w^{(\alpha+1,\beta+1)})\right) norm of the Fourier expansion in terms of {q_n^{(\alpha,\beta)}}_{n\geq 0} with 1< p

Cartan Equivalence Problem For Third-Order Differential Operators, Mehdi Nadjafikhah, Rohollah Bakhshandeh Chamazkoti

Turkish Journal of Mathematics

This article is dedicated to solving the equivalence problem for a pair of third-order differential operators on the line under general fiber-preserving transformation using the Cartan method of equivalence. We will treat 2 versions of equivalence problems: first, the direct equivalence problem, and second, an equivalence problem to determine conditions on 2 differential operators such that there exists a fiber-preserving transformation mapping one to the other according to gauge equivalence.

Attractors For Parabolic Problems In Weighted Spaces, Xiaojun Li, Ying Tang

Turkish Journal of Mathematics

The purpose of this paper is to investigate the asymptotic behavior of the solutions of parabolic equations with singular initial data in weighted spaces L^r_{\delta(x)}(\Omega) where \delta(x) is the distance to the boundary. We first establish the existence of the attractor for that equation in L^r_{\delta(x)}(\Omega) and then show the existence of the exponential attractor in L^2_{\delta(x)}(\Omega). In contrast to our previous results, we get the existence of attractors in weak topology spaces.

Bifurcations And Parametric Representations Of Traveling Wave Solutions For The Green--Naghdi Equations, Shengqiang Tang, Libing Zeng, Dahe Feng

Turkish Journal of Mathematics

By using the bifurcation theory of dynamical systems to study the dynamical behavior of the Green--Naghdi equations, the existence of solitary wave solutions along with smooth periodic traveling wave solutions is obtained. Under different regions of parametric spaces, various sufficient conditions to guarantee the existence of the above solutions are given. Some exact and explicit parametric representations of traveling wave solutions are constructed.

Orthogonal Systems In L^2 Spaces Of A Vector Measure, Eduardo Jiménez Fernández

Turkish Journal of Mathematics

Let m:\Sigma \to X be a Banach space valued countably additive vector measure. In this paper we present a procedure to construct an m-orthogonal system in the space L^2(m) of square integrable functions with respect to m. If the vector measure is constructed from a family of indeterminate scalar measures, it is possible to obtain a family of polynomials that is orthogonal with respect to this vector measure. On the other hand, if the vector measure is fixed, then we can obtain sequences of orthogonal functions using the Kadec-Pelczynski disjointification method.

On Nearly Kenmotsu Manifolds, Behzad Najafi, Niloufar Hosseinpour Kashani

Turkish Journal of Mathematics

We prove that on a nearly Kenmotsu manifold a second-order symmetric closed recurrent tensor is a multiple of the associated metric tensor. We then find the necessary condition under which a vector field on a nearly Kenmotsu manifold will be a strict contact or Killing vector field. Finally, we prove that every \phi-recurrent nearly Kenmotsu manifold is an Einstein manifold and every locally \phi-recurrent nearly Kenmotsu manifold is a manifold of constant curvature -1 .

Some Results On Cyclic Codes Over The Ring R_{2,M}, Reza Sobhani, Maryam Molakarimi

Turkish Journal of Mathematics

Let R_{k,m} be the ring F_{2^m}[u_1,u_2,...,u_k]/\gen u_i^2, u_iu_j-u_ju_i. In this paper, cyclic codes of arbitrary length n over the ring R_{2,m} are completely characterized in terms of unique generators and a way for determination of these generators is investigated. A F_{2^m}-basis for these codes is also derived from this representation. Moreover, it is proven that there exists a one-to-one correspondence between cyclic codes of length 2n, n odd, over the ring R_{k-1,m} and cyclic codes of length n over the ring R_{k,m}. By determining the complete structure of cyclic codes of length 2 over R_{2,m}, a mass formula for the …

How Ideas Grow: Critical Mass In The Linear Threshold Model, Hossein Alidaee

Mathematics, Statistics, and Computer Science Honors Projects

We study how ideas spread through a social network using the Linear Threshold Model. Each node i on the complete graph K_n is given a threshold Ɵ_i chosen uniformly at random from (0, 1]. This threshold indicates the fraction of the social network that must be active (or believe the idea) prior to node i becoming active. We start with an activated group of early adopters, called the seed set. Considering various scenarios, we use the probabilistic method to find lower bounds on size of a seed set which guarantees that all nodes become active with high …

Proceedings Of The Seventh Annual Meeting Of The Georgia Association Of Mathematics Teacher Educators Introductory Texts

Proceedings of the Annual Meeting of the Georgia Association of Mathematics Teacher Educators

Contents of 7th Annual GAMTE Proceedings Front Matter:

• Proceedings Committee
• Officers of GAMTE
• Purposes and Goals of GAMTE
• Table of Contents
• Letter from President

How Differing Interpretations Of Making Mathematics Fun Influence Teaching Practice, Amanda Sawyer

Proceedings of the Annual Meeting of the Georgia Association of Mathematics Teacher Educators

I investigated an experienced teacher and a beginning teacher who held similar beliefs about making mathematics learning fun yet held different interpretations of implementation. I found when a teacher equated fun with problem solving, her classroom practice included activities with higher-level thinking skills. In contrast, a teacher who defined fun as students’ enjoyment layered manipulatives and group work on top of procedures. Therefore, teachers need opportunities to reflect on the nature of student understanding as a precursor to shaping their views of fun.

Negative phrases and attitudes toward mathematics have become commonplace in popular culture. Perhaps in response to this …