Mathematics Commons^™

On Completely K-Magic Regular Graphs, Arnold A. Eniego, Ian June L. Garces

Mathematics Faculty Publications

Let k be a positive integer. A graph G = (V (G), E(G)) is said to be k-magic if there is a function (or edge labeling) ` : E(G) → Zk \ {0}, where Z1 = Z, such that the induced function (or vertex labeling) ` + : V (G) → Zk, defined by ` +(v) = P uv∈E(G) `(uv), is a constant map, where the sum is taken in Zk. We say that G is c-sum k-magic if ` +(v) = c for all v ∈ V (G). The set of all c ∈ Zk such that G is …

A Simpler Proof For The Ε-Δ Characterization Of Baire Class One Functions, Emmanuel A. Cabral, Jonald P. Fenecios

Mathematics Faculty Publications

We offer a new and simpler proof of a recent ϵ-δ characterization of Baire class one functions using a theorem by Henri Lebesgue. The proof is more elementary in the sense that it does not use the Baire Category Theorem. Furthermore, the proof requires only that the domain and range be separable metric spaces instead of Polish spaces.

Inner Product Spaces And Krein Spaces In The Quaternionic Setting, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we provide a study of quaternionic inner product spaces. This includes ortho-complemented subspaces, fundamental decompositions as well as a number of results of topological nature. Our main purpose is to show that a closed uniformly positive subspace in a quaternionic Krein space is ortho-complemented, and this leads to our choice of the results presented in the paper.

Fundamental Mathematics Of Consciousness, Menas Kafatos

Mathematics, Physics, and Computer Science Faculty Articles and Research

We explore a mathematical formalism that ties together the observer with the observed in the view that Consciousness is primary, operating through three principles which apply at all levels, the essence of qualia of experience. The formalism is a simplified version of Hilbert space mathematics encountered in quantum mechanics. It does, however, go beyond specific interpretations of quantum mechanics and has strong philosophical foundations in Western philosophy as well as monistic systems of the East. The implications are explored and steps for the full development of this axiomatic mathematical approach to Consciousness are discussed.

The Forbidden Number Of A Knot, Alissa S. Crans, Blake Mellor, Sandy Ganzell

Mathematics, Statistics and Data Science Faculty Works

Every classical or virtual knot is equivalent to the unknot via a sequence of extended Reidemeister moves and the so-called forbidden moves. The minimum number of forbidden moves necessary to unknot a given knot is an invariant we call the forbid- den number. We relate the forbidden number to several known invariants, and calculate bounds for some classes of virtual knots.

A Stochastic Model For Microbial Fermentation Process Under Gaussian White Noise Environment, Yanping Ma

Mathematics, Statistics and Data Science Faculty Works

In this paper, we propose a stochastic model for the microbial fermentation process under the framework of white noise analysis, where Gaussian white noises are used to model the environmental noises and the specific growth rate is driven by Gaussian white noises. In order to keep the regularity of the terminal time, the adjustment factors are added in the volatility coefficients of the stochastic model. Then we prove some fundamental properties of the stochastic model: the regularity of the terminal time, the existence and uniqueness of a solution and the continuous dependence of the solution on the initial values.

Solving The Ko Labyrinth, Alissa Crans, Robert J. Rovetti, Jessica Vega

Mathematics, Statistics and Data Science Faculty Works

The KO Labyrinth is a colorful spherical puzzle with 26 chambers, some of which can be connected via holes through which a small ball can pass when the chambers are aligned correctly. The puzzle can be realigned by performing physical rotations of the sphere in the same way one manipulates a Rubik’s Cube, which alters the configuration of the puzzle. The goal is to navigate the ball from the entrance chamber to the exit chamber. We find the shortest path through the puzzle using Dijkstra’s algorithm and explore questions related to connectivity of puzzle with the adjacency matrix, distance matrix, …

Enhanced Lasso Recovery On Graph, Xavier Bresson, Thomas Laurent, James Von Brecht

Mathematics, Statistics and Data Science Faculty Works

This work aims at recovering signals that are sparse on graphs. Compressed sensing offers techniques for signal recovery from a few linear measurements and graph Fourier analysis provides a signal representation on graph. In this paper, we leverage these two frameworks to introduce a new Lasso recovery algorithm on graphs. More precisely, we present a non-convex, non-smooth algorithm that outperforms the standard convex Lasso technique. We carry out numerical experiments on three benchmark graph datasets.

Numerical Study Of The Supercritical Solution Of The Stationary Forced Korteweg-De Vries (Sfkdv) Equation, Sumi Dey

Open Access Theses & Dissertations

The time independent surface waves on a two dimensional incompressible and inviscid fluid flow passing over a bump on a flat bottom are considered. The stationary forced Korteweg-de Vries (fKdV) equation is defined in an unbounded interval. In this project, this unbounded interval is considered as three parts - on the bump, left hand side of the bump and right hand side of the bump. Exact boundary conditions are applied to the end points of the bump. All the possible combination of boundary conditions are used. A numerical approach is proposed to find the solitary wave solutions of fKdV equation …

When Can The Primitive Element Be Written As A Sum Of Two Algebraic Elements Adjoined To The Field Of The Rational Numbers, Mohamad Moussa

Open Access Theses & Dissertations

Given a field F and elements \alpha and \beta not in F, then F(\alpha, \beta) is the smallest field containing \alpha,\beta, and F. A simple extension is a field extension which is generated by the adjunction of a single element. The Primitive Element Theorem says that if F is a field of characteristic 0, and \alpha and \beta are algebraic over F, then there is an element \gamma in F(\alpha ,\beta ) such that

F(\alpha ; \beta ) = F(\gamma). When can we say that \gamma=\alpha+\beta? We will introduce some situations where \gamma=\alpha+\beta is true and some when this is …

A Note On Infinite Groups Whose Subgroups Are Close To Be Normal-By-Finite, Francesco De Giovanni, Federica Saccomanno

Turkish Journal of Mathematics

A group G is said to have the CF-property if the index X:X_G is finite for every subgroup X of G. Extending previous results by Buckley, Lennox, Neumann, Smith, and Wiegold, it is proven here that if G is a locally graded group whose proper subgroups have the CF-property, then G is abelian-by-finite, provided that all its periodic sections are locally finite. Groups in which all proper subgroups of infinite rank have the CF-property are also studied.

The Ext-Strongly Gorenstein Projective Modules, Jie Ren

Turkish Journal of Mathematics

In this paper, we introduce and study Ext-strongly Gorenstein projective modules. We prove that the class of Ext-strongly Gorenstein projective modules is projective resolving. Moreover, we consider Ext-strongly Gorenstein projective precovers.

On Ampleness And Pseudo-Anosov Homeomorphisms In The Free Group, Rizos Sklinos

Turkish Journal of Mathematics

We use pseudo-Anosov homeomorphisms of surfaces in order to prove that the first-order theory of non-Abelian free groups, T_{fg}, is n-ample for any n \in \omega. This result adds to the work of Pillay, which proved that T_{fg} is non-CM-trivial. The sequence witnessing ampleness is a sequence of primitive elements in F_{\omega}. Our result provides an alternative proof to the main result of a recent preprint by Ould Houcine and Tent.

(X, Y)-Gorenstein Projective And Injective Modules, Qunxing Pan, Faqun Cai

Turkish Journal of Mathematics

This paper introduces and studies (X,Y)-Gorenstein projective and injective modules, which are a generalization of Enochs' Gorenstein projective and injective modules, respectively. Our main aim is to investigate the relations among various (X,Y)-Gorenstein projective modules.

Balanced Pair Algorithm For A Class Of Cubic Substitutions, Tarek Sellami

Turkish Journal of Mathematics

In this article we introduce the balanced pair algorithm associated with 2 unimodular Pisot substitutions having the same incidence matrix. We are interested in beta-substitution related to the polynomial x^3 - ax^2 - bx-1 for a \geq b \geq 1. Applying the balanced pair algorithm to these substitutions, we obtain a general formula for the associated intersection substitution.

On P-Schemes With The Same Degrees Of Thin Radical And Thin Residue, Fatemeh Raei Barandagh, Amir Rahnamai Barghi

Turkish Journal of Mathematics

Let p and n>1 be a prime number and an integer, respectively. In this paper, first we show that any p-scheme whose thin radical and thin residue are equal is isomorphic to a fission of the wreath product of 2 thin schemes. In addition, we characterize association p-schemes whose thin radical and thin residue each have degree equal to p. We also characterize association p-schemes on p^n points whose thin radical and thin residue each have degree equal to p^{n-1}, and whose basis relations each have valency 1 or p^{n-1}. Moreover, we show that such schemes are Schurian.

Arithmetical Rank Of The Edge Ideals Of Some N-Cyclic Graphs With A Common Edge, Guangjun Zhu, Feng Shi, Yan Gu

Turkish Journal of Mathematics

In this paper, we present some lower bounds and upper bounds on the arithmetical rank of the edge ideals of some n-cyclic graphs with a common edge. For some special n-cyclic graphs with a common edge, we prove that the arithmetical rank equals the projective dimension of the corresponding quotient ring.

A Family Of Multiple Harmonic Sum And Multiple Zeta Star Value Identities, Erin Linebarger, Jianqiang Zhao

Mathematical Sciences: Faculty Publications

In this paper we present a new family of identities for multiple harmonic sums which generalize a recent result of Hessami Pilehrood et al [Trans. Amer. Math. Soc. (to appear)]. We then apply it to obtain a family of identities relating multiple zeta star values to alternating Euler sums. In such a typical identity the entries of the multiple zeta star values consist of blocks of arbitrarily long 2-strings separated by positive integers greater than two while the largest depth of the alternating Euler sums depends only on the number of 2-string blocks but not on their lengths.

Log-Concavity And Symplectic Rows, Yi Lin, Álvaro Pelayo

Mathematical Sciences: Faculty Publications

The Duistermaat-Heckman measure of a Hamiltonian torus action on a symplectic manifold (M,ω) is the push forward of the Liouville measure on M by the momentum map of the action. In this paper we prove the logarithmic concavity of the Duistermaat-Heckman measure of a complexity two Hamiltonian torus action, for which there exists an effective commuting symplectic action of a 2-torus with symplectic orbits. Using this, we show that given a complexity two symplectic torus action satisfying the additional 2-torus action condition, if the fixed point set is non-empty, then it has to be Hamiltonian. This implies a classical result …

New Families Of Weighted Sum Formulas For Multiple Zeta Values, Yuan Zhao, Jianqiang Zhao

Mathematical Sciences: Faculty Publications

In this paper we use the generating functions and the double shuffle relations satisfied by the multiple zeta values to derive some new families of identities.