Mathematics Commons^™

The Numerical Solution Of The Helmholtz Equation For The Bloodcell Shape: Mars Project, Jill Kelly Resh

Mathematics Theses

The objective of this research is to investigate numerical solutions of several boundary value problems for the Helmholtz equation for the shape of a Biconcave Disk. The boundary value problems this research mainly focuses on are the Neumann and Robin boundary problems. The Biconcave Disk is a closed, simply connected, bounded shape modi ed from a sphere where the two sides concave toward the center, mapped by a sine curve. There are some numerical issues in this type of analysis; any integration is a ected by the wave number k, because of the oscillatory behavior of the fundamental solution of …

On Edge-Minimization Of Vertex Minimal Graphs With Dicyclic Automorphism Group, Peter E. Huston

Undergraduate Honors Thesis Projects

We find the smallest degree of a graph with automorphism group isomorphic to the dicyclic group with 4n elements, denoted α(Dic_n). We also find the fewest edges a minimum-order graph with dicyclic automorphism group and a minimal number of vertices can have. For n not a power of 2, the value of α(Dic_n) is significantly less than the best previously known upper bound, 8n. Such an edge-minimized vertex-minimal graph is constructed and shown to have automorphism group Dic_n . That the exhibited graph is minimal is verified using a combination of techniques similar to those developed previously for Abelian groups …

Locally Anisotropic Toposes, Jonathon Funk, Pieter Hofstra

Publications and Research

This paper continues the investigation of isotropy theory for toposes. We develop the theory of isotropy quotients of toposes, culminating in a structure theorem for a class of toposes we call locally anisotropic. The theory has a natural interpretation for inverse semigroups, which clarifies some aspects of how inverse semigroups and toposes are related.

The New Issues In Classification Problems, Md Mahmudul Hasan

Open Access Theses & Dissertations

The data involved with science and engineering getting bigger everyday. To study and organize a big amount of data is difficult without classification. In machine learning, classification is the problem of identifying a given data from a set of categories. There are several classification technique people using to classify a given data. In our work we present a sparse representation technique to perform classification. The popularity of this technique motivates us to use on our collected samples. To find a sparse representation, we used an $l_1$-minimization algorithm which is a convex relaxation algorithm proven very efficient by researchers. The purpose …

On Randic Energy Of Graphs, Brittany Burns

Electronic Theses and Dissertations

In this research, we explore the subject of graph energy. We first discuss the connections between linear algebra and graph theory and review some important definitions and facts of these two fields. We introduce graph energy and provide some historical perspectives on the subject. Known results of graph energy are also mentioned and some relevant results are proven. We discuss some applications of graph energy in the physical sciences. Then, Randic energy is defined and results are given and proved for specific families of graphs. We focus on simple, connected graphs that are commonly studied in graph theory. Also, the …

My Math Gps: Elementary Algebra Guided Problem Solving (2016 Edition), Jonathan Cornick, G Michael Guy, Karan Puri

Open Educational Resources

My Math GPS: Elementary Algebra Guided Problem Solving is a textbook that aligns to the CUNY Elementary Algebra Learning Objectives that are tested on the CUNY Elementary Algebra Final Exam (CEAFE). This book contextualizes arithmetic skills into Elementary Algebra content using a problem-solving pedagogy. Classroom assessments and online homework are available from the authors.

The Automorphism Group Of The Halved Cube, Benjamin B. Mackinnon

Theses and Dissertations

An n-dimensional halved cube is a graph whose vertices are the binary strings of length n, where two vertices are adjacent if and only if they differ in exactly two positions. It can be regarded as the graph whose vertex set is one partite set of the n-dimensional hypercube, with an edge joining vertices at hamming distance two. In this thesis we compute the automorphism groups of the halved cubes by embedding them in R n and realizing the automorphism group as a subgroup of GLn(R). As an application we show that a halved cube is a circulant graph if …

Identifying Data Centers From Satellite Imagery, Adam Buskirk

Electronic Theses and Dissertations

We develop two different descriptors which can be utilized to describe satellite imagery. The first, the differential-magnitude and radius descriptor, describes a scene by computing the directional gradient of the scene with respect to a vector field whose solutions are circles around a pixel to be described, and then counts pixels in a descriptor matrix according to the magnitude of this gradient and the distance at which this magnitude occurs. The second, the radial Fourier descriptor, extracts from the scene a sequence of annuloid sectors, and uses this to approximate the behavior of the image on a circle around the …

Polytopes Of Large Rank For Psl(4,Q), Peter A. Brooksbank, Dimitri Leemans

Faculty Journal Articles

This paper examines abstract regular polytopes whose automorphism group is the projective special linear group PSL(4,q). For q odd we show that polytopes of rank 4 exist by explicitly constructing PSL(4,q) as a string C-group of that rank. On the other hand, we show that no abstract regular polytope exists whose group of automorphisms is PSL(4,2^k).

Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

Existence And Classification Of Nonoscillatory Solutions Of Two Dimensional Time Scale Systems, Özkan Özturk

Doctoral Dissertations

"During the past years, there has been an increasing interest in studying oscillation and nonoscillation criteria for dynamic equations and systems on time scales that harmonize the oscillation and nonoscillation theory for the continuous and discrete cases in order to combine them in one comprehensive theory and eliminate obscurity from both.

We not only classify nonoscillatory solutions of dynamic equations and systems on time scales but also guarantee the (non)existence of such solutions by using the Knaster fixed point theorem, Schauder - Tychonoff fixed point theorem, and Schauder fixed point theorem. The approach is based on the sign of nonoscillatory …

Boundary Control Of Parabolic Pde Using Adaptive Dynamic Programming, Behzad Talaei

Doctoral Dissertations

"In this dissertation, novel adaptive/approximate dynamic programming (ADP) based state and output feedback control methods are presented for distributed parameter systems (DPS) which are expressed as uncertain parabolic partial differential equations (PDEs) in one and two dimensional domains. In the first step, the output feedback control design using an early lumping method is introduced after model reduction. Subsequently controllers were developed in four stages; Unlike current approaches in the literature, state and output feedback approaches were designed without utilizing model reduction for uncertain linear, coupled nonlinear and two-dimensional parabolic PDEs, respectively. In all of these techniques, the infinite horizon cost …

Pointwise And Uniform Convergence Of Fourier Series On Su(2), Donald Forrest Myers

Doctoral Dissertations

"Let f be a Lipschitz function on the special unitary group SU (2). We prove that the Fourier partial sums of f converge to f uniformly on SU (2), thereby extending theorems of Caccioppoli, Mayer, and a special case of Ragozin. Pointwise convergence theorems for the Fourier series of functions on SU (2), due to Liu and Qian, were obtained by Clifford algebra techniques. We obtain similar versions of these theorems using simpler proof techniques: classical harmonic analysis and group theory"--Abstract, page iii.

Small Sample Confidence Bands For The Survival Functions Under Proportional Hazards Model, Emad Mohamed Abdurasul

Doctoral Dissertations

"In this work, a saddlepoint-based method is developed for generating small sample confidence bands for the population survival function from the Kaplan-Meier (KM), the product limit (PL), and Abdushukurov-Cheng-Lin (ACL) survival function estimators, under the proportional hazards model. In the process the exact distribution of these estimators is derived and developed mid-population tolerance bands for said estimators. The proposed saddlepoint method depends upon the Mellin transform of the zero-truncated survival estimator which is derived for the KM, PL, and ACL estimators. These transforms are inverted via saddlepoint approximations to yield highly accurate approximations to the cumulative distribution functions of the …

Growth Conditions For Uniqueness Of Smooth Positive Solutions To An Elliptic Model, Joon Hyuk Kang

Faculty Publications

The uniqueness of positive solution to the elliptic model

∆u + u[a + g(u, v)] = 0 in Ω, ∆v + v[a + h(u, v)] = 0 in Ω, u = v = 0 on ∂Ω,

were investigated.

Classification Of Compact 2-Manifolds, George H. Winslow

Theses and Dissertations

It is said that a topologist is a mathematician who can not tell the difference between a doughnut and a coffee cup. The surfaces of the two objects, viewed as topological spaces, are homeomorphic to each other, which is to say that they are topologically equivalent. In this thesis, we acknowledge some of the most well-known examples of surfaces: the sphere, the torus, and the projective plane. We then observe that all surfaces are, in fact, homeomorphic to either the sphere, the torus, a connected sum of tori, a projective plane, or a connected sum of projective planes. Finally, we …

Remling's Theorem On Canonical Systems, Keshav R. Acharya

Publications

In this paper, we extend the Remling’s Theorem on canonical systems that the ω limit points of the Hamiltonian under the shift map are reflectionless on the support of the absolutely continuous part of the spectral measure of a canonical system.

A Note On Vector Valued Discrete Schrödinger Operators, Keshav R. Acharya

Publications

The main purpose of this paper is to extend some theory of Schrödinger operators from one dimension to higher dimension. In particular, we will give systematic operator theoretic analysis for the Schrödinger equations in multidimensional space. To this end, we will provide the detail proves of some basic results that are necessary for further studies in these areas. In addition, we will introduce Titchmarsh- Weyl m− function of these equations and express m− function in term of the resolvent operators.

A Computational And Theoretical Exploration Of The St. Petersburg Paradox, Alexander Olivero

Undergraduate Honors Thesis Collection

This thesis displays a sample distribution, generated from both a simulation (for large n) by computer program and explicitly calculated (for smaller n), that is not governed by the Central Limit Theorem and, in fact seems to display chaotic behavior. To our knowledge, the explicit calculation of the sample distribution function is new. This project outlines the results that have found a relation to number theory in a probabilistic game that has perplexed mathematicians for hundreds of years.

Nonorientable Lagrangian Cobordisms Between Legendrian Knots, Orsola Capovilla-Searle, Lisa Trainer

Mathematics Faculty Research and Scholarship

In the symplectization of standard contact 33-space, R×R3ℝℝ3, it is known that an orientable Lagrangian cobordism between a Legendrian knot and itself, also known as an orientable Lagrangian endocobordism for the Legendrian knot, must have genus 00. We show that any Legendrian knot has a nonorientable Lagrangian endocobordism, and that the cross-cap genus of such a nonorientable Lagrangian endocobordism must be a positive multiple of 44. The more restrictive exact, nonorientable Lagrangian endocobordisms do not exist for any exactly fillable Legendrian knot but do exist for any stabilized Legendrian knot. Moreover, the relation defined by exact, nonorientable Lagrangian cobordism on …

Bayesian Exponential Random Graph Modeling Of Whole-Brain Structural Networks Across Lifespan, Michel Sinke, Rick Dijkhuizen, Alberto Caimo, Cornelis Stam, Willem Otte

Articles

No abstract provided.

Certain Characterizations Of Recently Introduced Distributions, Gholamhossein G. Hamedani, Seyed Morteza Najibi

Mathematics, Statistics and Computer Science Faculty Research and Publications

Various characterizations of twenty two recently introduced distributions are presented. These characterizations are based on: (I) ration of two truncated moments; (ii) the hazard function and (iii) conditional expectations.

A New Weibull-G Family Of Distributions, M. H. Tahir, Muhammad Zubair, M. Mansoor, Gauss M. Cordeiro, Morad Alizadeh, Gholamhossein Hamedani

Mathematics, Statistics and Computer Science Faculty Research and Publications

Statistical analysis of lifetime data is an important topic in reliability engineering, biomedical and social sciences and others. We introduce a new generator based on the Weibull random variable called the new Weibull-G family. We study some of its mathematical properties. Its density function can be symmetrical, left-skewed, right-skewed, bathtub and reversed-J shaped, and has increasing, decreasing, bathtub, upside-down bathtub, J, reversed-J and S shaped hazard rates. Some special models are presented. We obtain explicit expressions for the ordinary and incomplete moments, quantile and generating functions, Renyi entropy, order statistics and reliability. Three useful characterizations based on truncated moments are …

Generalizing Liouville-Type Problems For Differential 1-Forms From Lq Spaces To Non-Lq Spaces, Lina Wu, Ye Li

Publications and Research

We obtain Liouville-type results for closed and p-pseudo-coclosed differential 1-forms ! with energy of lim inf r!1 1 r2 R B(x0;r) j!jqdv < 1 (that is, 2-finite growth), which extends finite q-energy ( R M j!jqdv < 1) in Lq spaces to infinite q-energy ( R M j!jqdv = 1) in non-Lq spaces. In particular, we recapture mathematicians' vanishing results of Liouville- type theorem for ! with finite q-energy in Lq spaces. Our method in this paper provides a successful way to work on Liouville-type problems for differential forms with a variety of energy conditions in broad spaces.

Worldwide Cutaneous Malignant Melanoma Incidences Analyzed By Sex, Age, And Skin Type Over Time (1955–2007): Is Hpv Infection Of Androgenic Hair Follicular Melanocytes A Risk Factor For Developing Melanoma Exclusively In People Of European-Ancestry?, Stephen Merrill, Madhan Subramanian, Dianne E. Godar

Mathematics, Statistics and Computer Science Faculty Research and Publications

The cutaneous malignant melanoma (CMM) incidence has been increasing in an exponential manner in certain populations around the world for over 7 decades. To help illuminate the etiology, we performed worldwide temporal (1955–2007) CMM incidence analysis by sex, age (0–14, 15–29, 30–49, 50–69, 70–85+), and skin type on 6 continents using data from the International Agency for Research on Cancer. We observe an exponential increase in the CMM incidence over time and an increase of about 2 orders of magnitude between age groups 0–14 and 15–29 exclusively in European-ancestry populations around the world independent of skin type (I–III or III–IV). …

Cohomology Operations On Random Spaces, Matthew John Zabka

Wayne State University Dissertations

Topology has recently received more attention from statisticians as some its tools have been applied to understanding the shape of data. In particular, a data set can generate a topological space, and this space’s topological structure can give us insight into some properties of the data. This framework has made it necessary to study random spaces generated by data. For example, without an understanding of the probabilistic properties of random spaces, one cannot conclude with any degree of confidence what the tools of topology tell us about a data set. While some results are known about the cohomological structure of …

Algorithmic Foundations Of Heuristic Search Using Higher-Order Polygon Inequalities, Newton Henry Campbell Jr.

CCAC Theses and Dissertations

The shortest path problem in graphs is both a classic combinatorial optimization problem and a practical problem that admits many applications. Techniques for preprocessing a graph are useful for reducing shortest path query times. This dissertation studies the foundations of a class of algorithms that use preprocessed landmark information and the triangle inequality to guide A* search in graphs. A new heuristic is presented for solving shortest path queries that enables the use of higher order polygon inequalities. We demonstrate this capability by leveraging distance information from two landmarks when visiting a vertex as opposed to the common single landmark …

Pointwise Slant Submersions From Cosymplectic Manifolds, Sezi̇n Aykurt Sepet, Mahmut Ergüt

Turkish Journal of Mathematics

In this paper, we characterize the pointwise slant submersions from cosymplectic manifolds onto Riemannian manifolds and give several examples.

On The Evolute Offsets Of Ruled Surfaces In Minkowski 3-Space, Dae Won Yoon

Turkish Journal of Mathematics

In this paper, we classify evolute offsets of a ruled surface in Minkowski 3-space $\Bbb L^3$ with constant Gaussian curvature and mean curvature. As a result, we investigate linear Weingarten evolute offsets of a ruled surface in $\Bbb L^3$.