Applied Mathematics Commons^™

Diffusion And Consensus On Weakly Connected Directed Graphs, J. J. P. Veerman, Ewan Kummel

Mathematics and Statistics Faculty Publications and Presentations

Let G be a weakly connected directed graph with asymmetric graph Laplacian L. Consensus and diffusion are dual dynamical processes defined on G by x˙=−Lx for consensus and p˙=−pL for diffusion. We consider both these processes as well their discrete time analogues. We define a basis of row vectors {γ¯i}ki=1 of the left null-space of L and a basis of column vectors {γi}ki=1 of the right null-space of L in terms of the partition of G into strongly connected components. This allows for complete characterization of the asymptotic behavior of both diffusion and consensus --- discrete and continuous --- in …

On Nonlinear Contractions In New Extended 𝒃-Metric Spaces, Hassen Aydi, Abdelbasset Felhi, Tayyab Kamran, Erdal Karapınar, Muhammad U. Ali

Applications and Applied Mathematics: An International Journal (AAM)

Very recently, the notion of extended 𝑏-metric spaces was introduced by replacing the modified triangle inequality with a functional triangle inequality and the analog of the renowned Banach fixed point theorem was proved in this new structure. In this paper, continuing in this direction, we further refine the functional inequality and establish some fixed point results for nonlinear contractive mappings in the new setting. A nontrivial example for the new extended 𝑏-metric space is given.

Parametric Natura Morta, Maria C. Mannone

The STEAM Journal

Parametric equations can also be used to draw fruits, shells, and a cornucopia of a mathematical still life. Simple mathematics allows the creation of a variety of shapes and visual artworks, and it can also constitute a pedagogical tool for students.

Riemann-Hilbert Problem, Integrability And Reductions, Vladimir Gerdjikov, Rossen Ivanov, Aleksander Stefanov

Articles

Abstract. The present paper is dedicated to integrable models with Mikhailov reduction groups G_R ≃ D_h. Their Lax representation allows us to prove, that their solution is equivalent to solving Riemann-Hilbert problems, whose contours depend on the realization of the G_R-action on the spectral parameter. Two new examples of Nonlinear Evolution Equations (NLEE) with D_h symmetries are presented.

Spacetime Groups, Ian M. Anderson, Charles G. Torre

Publications

A spacetime group is a connected 4-dimensional Lie group G endowed with a left invariant Lorentz metric h and such that the connected component of the isometry group of h is G itself. The Newman-Penrose formalism is used to give an algebraic classification of spacetime groups, that is, we determine a complete list of inequivalent spacetime Lie algebras, which are pairs (g,η), with g being a 4-dimensional Lie algebra and η being a Lorentzian inner product on g. A full analysis of the equivalence problem for spacetime Lie algebras is given which leads to a completely algorithmic solution to the …

Special Subset Vertex Multisubgraphs For Multi Networks, Florentin Smarandache, W.B. Vasantha Kandasamy, Ilanthenral K

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors study special type of subset vertex multi subgraphs; these multi subgraphs can be directed or otherwise. Another special feature of these subset vertex multigraphs is that we are aware of the elements in each vertex set and how it affects the structure of both subset vertex multisubgraphs and edge multisubgraphs. It is pertinent to record at this juncture that certain ego centric directed multistar graphs become empty on the removal of one edge, there by theorising the importance, and giving certain postulates how to safely form ego centric multi networks. Given any subset vertex multigraph we …

Lie Sphere Geometry And Dupin Hypersurfaces, Thomas E. Cecil

Mathematics Department Faculty Scholarship

These notes were originally written for a short course held at the Institute of Mathematics and Statistics, University of São Paulo, S.P. Brazil, January 9–20, 2012. The notes are based on the author’s book [17], Lie Sphere Geometry With Applications to Submanifolds, Second Edition, published in 2008, and many passages are taken directly from that book. The notes have been updated from their original version to include some recent developments in the field.

A hypersurface Mⁿ⁻¹ in Euclidean space Rⁿ is proper Dupin if the number of distinct principal curvatures is constant on M^{n−1 …}

How To Make Tetrads, Charles G. Torre

How to... in 10 minutes or less

This is a worksheet which demonstrates tools for creating orthonormal and null tetrads for a given spacetime.

Symmetric Criticality In General Relativity, Charles G. Torre

Research Vignettes

In this worksheet I explore the local Lagrangian version of the Principle of Symmetric Criticality (PSC) due to Anderson, Fels, and Torre], which asserts the commutativity of the processes (i) of symmetry reduction (for finding group-invariant fields) and (ii) forming Euler-Lagrange equations. There are two obstructions to PSC, which I will call the Lie algebra obstruction and the isotropy obstruction. In this worksheet I will illustrate these obstructions in the General Theory of Relativity.

Examples Of The Birkhoff Theorem And Its Generalizations, Charles G. Torre

Tutorials on... in 1 hour or less

In this worksheet I demonstrate three versions of Birkhoff's theorem, which is a characterization of spherically symmetric solutions of the Einstein equations. The three versions considered here correspond to taking the "Einstein equations" to be: (1) the vacuum Einstein equations; (2) the Einstein equations with a cosmological constant (3) the Einstein-Maxwell equations. I will restrict my attention to 4-dimensional spacetimes.

Concerning The Construction Of Four-Bar Linkages And Their Topological Configuration-Spaces, Peter K. Servatius

Senior Projects Spring 2018

For a given linkage with one degree of freedom we can analyze the coupler curve created by any selected tracer point in relation to a driver link. The Watt Engine is a four-bar linkage constructed such that the tracer point draws an approximate straight line along a section of the coupler curve. We will explore the family of linkages that are created using Watt's parameters, along with linkages designed by other inventors; looking at methodologies of creating a linkage and the defining what we mean by approximate straight-line motion. Ultimately we will be creating our own linkage using what we …

Spanning Tree Problem With Neutrosophic Edge Weights, Florentin Smarandache, Said Broumi, Assia Bakali, Mohamed Talea, Arindam Dey, Le Hoang Son

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic set and neutrosophic logic theory are renowned theories to deal with complex, not clearly explained and uncertain real life problems, in which classical fuzzy sets/models may fail to model properly. This paper introduces an algorithm for finding minimum spanning tree (MST) of an undirected neutrosophic weighted connected graph (abbr. UNWCG) where the arc/edge lengths are represented by a single valued neutrosophic numbers. To build the MST of UNWCG, a new algorithm based on matrix approach has been introduced. The proposed algorithm is compared to other existing methods and finally a numerical example is provided.

Introduction To The Usu Library Of Solutions To The Einstein Field Equations, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This is a Maple worksheet providing an introduction to the USU Library of Solutions to the Einstein Field Equations. The library is part of the DifferentialGeometry software project and is a collection of symbolic data and metadata describing solutions to the Einstein equations.

Mathematical Description And Mechanistic Reasoning: A Pathway Toward Stem Integration, Paul J. Weinberg

Journal of Pre-College Engineering Education Research (J-PEER)

Because reasoning about mechanism is critical to disciplined inquiry in science, technology, engineering, and mathematics (STEM) domains, this study focuses on ways to support the development of this form of reasoning. This study attends to how mechanistic reasoning is constituted through mathematical description. This study draws upon Smith’s (2007) characterization of mathematical description of scientific phenomena as ‘‘bootstrapping,’’ where negotiating the relationship between target phenomena and represented relations is fundamental to learning. In addition, the development of mathematical representation presents a viable pathway towards STEM integration. In this study, participants responded to an assessment of mechanistic reasoning while cognitive interviews …

Conference Program, University Of Dayton

Summer Conference on Topology and Its Applications

Document provides a list of the sessions, speakers, workshops, and committees of the 32nd Summer Conference on Topology and Its Applications.

Cohen Reals And The Sequential Order Of Groups, Alexander Shibakov

Summer Conference on Topology and Its Applications

We show that adding uncountably many Cohen reals to a model of diamond results in a model with no countable sequential group with an intermediate sequential order. The same model has an uncountable group of sequential order 2. We also discuss related questions.

On A Construction Of Some Class Of Metric Spaces, Dariusz Bugajewski

Summer Conference on Topology and Its Applications

In this talk we are going to describe Sz´az’s construction of some class of metric spaces. Most of all we will analyze topological properties of metric spaces obtained by using Sz´az’s construction. In particular, we provide necessary and sufficient conditions for completeness of metric spaces obtained in this way. Moreover, we will discuss the relation between Sz´az’s construction and the “linking construction”. A particular attention will be drawn to the “floor” metric, the analysis of which provides some interesting observations.

On Di-Injective T0-Quasi-Metric Spaces, Collins Amburo Agyingi

Summer Conference on Topology and Its Applications

We prove that every q-hyperconvex T0-quasi-metric space (X, d) is di-injective without appealing to Zorn’s lemma. We also demonstrate that QX as constructed by Kemajou et al. and Q(X) (the space of all Katˇetov function pairs on X) are di-injective. Moreover we prove that di-injective T0-quasi-metric spaces do not contain proper essential extensions. Among other results, we state a number of ways in which the the di-injective envelope of a T0-quasi-metric space can be characterized.

Disjoint Infinity Borel Functions, Daniel Hathaway

Summer Conference on Topology and Its Applications

Consider the statement that every uncountable set of reals can be surjected onto R by a Borel function. This is implied by the statement that every uncountable set of reals has a perfect subset. It is also implied by a new statement D which we will discuss: for each real a there is a Borel function f_a : RtoR and for each function g : RtoR there is a countable set G(g) of reals such that the following is true: for each a in R and for each function g : R to R, if f_a is disjoint …

Revelation Of Nano Topology In Cech Rough Closure Spaces, V. Antonysamy, Llellis Thivagar, Arockia Dasan

Summer Conference on Topology and Its Applications

The concept of Cech closure space was initiated and developed by E. Cech in 1966. Henceforth many more research scholars set their minds in this theory and developed it to a new height. Pawlak.Z derived and gave shape to Rough set theory in terms of approximation using equivalence relation known as indiscernibility relation. Further Lellis Thivagar enhanced rough set theory into a topology, called Nano Topology, which has at most five elements in it and he also extended this into multi granular nano topology. The purpose of this paper is to derive Nano topology in terms of Cech rough closure …

Compactness Via Adherence Dominators, Bhamini M. P. Nayar, Terrence A. Edwards, James E. Joseph, Myung H. Kwack

Summer Conference on Topology and Its Applications

This talk is based on a joint work by T. A. Edwards, J. E. Joseph, M. H. Kwack and B. M. P. Nayar that apperared in the Journal of Advanced studies in Topology, Vol. 5 (4), 2014), 8 - 15. B

An adherence dominator on a topological space X is a function π from the collection of filterbases on X to the family of closed subsets of X satisfying A(Ω) ⊆ π(Ω) where A(Ω) is the adherence of Ω. The notations π(Ω) and A(Ω) are used for the values of the functions π and A and π(Ω) =⋂_Ω π F= …

Totally Geodesic Surfaces In Arithmetic Hyperbolic 3-Manifolds, Benjamin Linowitz, Jeffrey S. Meyer

Summer Conference on Topology and Its Applications

In this talk we will discuss some recent work on the problem of determining the extent to which the geometry of an arithmetic hyperbolic 3-manifold M is determined by the geometric genus spectrum of M (i.e., the set of isometry classes of finite area, properly immersed, totally geodesic surfaces of M, considered up to free homotopy). In particular, we will give bounds on the totally geodesic 2-systole, construct infinitely many incommensurable manifolds with the same initial geometric genus spectrum and analyze the growth of the genera of minimal surfaces across commensurability classes. These results have applications to the study of …

Sequential Order Of Compact Scattered Spaces, Alan Dow

Summer Conference on Topology and Its Applications

A space is sequential if the closure of set can be obtained by iteratively adding limits of converging sequences. The sequential order of a space is a measure of how many iterations are required. A space is scattered if every non-empty set has a relative isolated point. It is not known if it is consistent that there is a countable (or finite) upper bound on the sequential order of a compact sequential space. We consider the properties of compact scattered spaces with infinite sequential order.

On The Chogoshvili Homology Theory Of Continuous Maps Of Compact Spaces, Anzor Beridze, Vladimer Baladze

Summer Conference on Topology and Its Applications

In this paper an exact homology functor from the category Mor_C of continuous maps of compact Hausdorff spaces to the category LES of long exact sequences of abelian groups is defined (cf. [2], [3], [5]). This functor is an extension of the Hu homology theory, which is uniquely defined on the category of continuous maps of finite CW complexes and is constructed without the relative homology groups [9]. To define the given homology functor we use the Chogoshvili construction of projective homology theory [7], [8]. For each continuous map f:X → Y of compact spaces, using the notion of …

Some New Completeness Properties In Topological Spaces, Cetin Vural, Süleyman Önal

Summer Conference on Topology and Its Applications

One of the most widely known completeness property is the completeness of metric spaces and the other one being of a topological space in the sense of Cech. It is well known that a metrizable space X is completely metrizable if and only if X is Cech-complete. One of the generalisations of completeness of metric spaces is subcompactness. It has been established that, for metrizable spaces, subcompactness is equivalent to Cech-completeness. Also the concept of domain representability can be considered as a completeness property. In [1], Bennett and Lutzer proved that Cech-complete spaces are domain representable. They also proved, in …

Hausdorff Dimension Of Kuperberg Minimal Sets, Daniel Ingbretson

Summer Conference on Topology and Its Applications

The Seifert conjecture was answered negatively in 1994 by Kuperberg who constructed a smooth aperiodic flow on a three-manifold. This construction was later found to contain a minimal set with a complicated topology. The minimal set is embedded as a lamination by surfaces with a Cantor transversal of Lebesgue measure zero. In this talk we will discuss the pseudogroup dynamics on the transversal, the induced symbolic dynamics, and the Hausdorff dimension of the Cantor set.

On Roitman's Principle For Box Products, Hector Alonso Barriga-Acosta

Summer Conference on Topology and Its Applications

One of the oldest problems in box products is if the countable box product of the convergent sequence is normal. It is known that consistenly (e.g., b=d, d=c) the answer is affirmative. A recent progress is due to Judy Roitman that states a combinatorial principle which also implies the normality and holds in many models.

Although the countable box product of the convergent sequence is normal in some models of b < d < c, Roitman asked what happen with her principle in this models. We answer that Roitman's principle is true in some models of b < d < c.

Uncountably Many Quasi-Isometry Classes Of Groups Of Type Fp, Ignat Soroko, Robert Kropholler, Ian Leary

Summer Conference on Topology and Its Applications

An interplay between algebra and topology goes in many ways. Given a space X, we can study its homology and homotopy groups. In the other direction, given a group G, we can form its Eilenberg-Maclane space K(G, 1). It is natural to wish that it is `small' in some sense. If K(G, 1) space has n-skeleton with finitely many cells, then G is said to have type F_n. Such groups act naturally on the cellular chain complex of the universal cover for K(G, 1), which has finitely generated free modules in all dimensions up to n. On the …

Topology And Experimental Distinguishability, Gabriele Carcassi, Christine A. Aidala, David J. Baker, Mark J. Greenfield

Summer Conference on Topology and Its Applications

In this talk we are going to formalize the relationship between topological spaces and the ability to distinguish objects experimentally, providing understanding and justification as to why topological spaces and continuous functions are pervasive tools in the physical sciences. The aim is to use these ideas as a stepping stone to give a more rigorous physical foundation to dynamical systems and, in particular, Hamiltonian dynamics.

We will first define an experimental observation as a statement that can be verified using an experimental procedure. We will show that observations are not closed under negation and countable conjunction, but are closed under …

Pseudo-Contractibility, Felix Capulín, Leonardo Juarez-Villa, Fernando Orozco

Summer Conference on Topology and Its Applications

Let X, Y be topological spaces and let f, g:X→ Y be mappings, we say that f is pseudo-homotopic to g if there exist a continuum C, points a, b ∈ C and a mapping H:X ×C → Y such that H(x, a)=f(x) and H(x, b)=g(x) for each x ∈ X. The mapping H is called a pseudo-homotopy between f and g. A topological space X is said to be pseudo-contractible if the identity mapping is pseudo-homotopic to a constant mapping in X. i.e., if there exist a continuum C, points a, b ∈ C, x₀ ∈ X and …