Special Functions Commons^™

Uniform Convergence Of Deep Neural Networks With Lipschitz Continuous Activation Functions And Variable Widths, Yuesheng Xu, Haizhang Zhang

Mathematics & Statistics Faculty Publications

We consider deep neural networks (DNNs) with a Lipschitz continuous activation function and with weight matrices of variable widths. We establish a uniform convergence analysis framework in which sufficient conditions on weight matrices and bias vectors together with the Lipschitz constant are provided to ensure uniform convergence of DNNs to a meaningful function as the number of their layers tends to infinity. In the framework, special results on uniform convergence of DNNs with a fixed width, bounded widths and unbounded widths are presented. In particular, as convolutional neural networks are special DNNs with weight matrices of increasing widths, we put …

Infinite-Dimensional Stochastic Transforms And Reproducing Kernel Hilbert Space, Myung-Sin Song, Palle Jorgensen, James Feng Tian

SIUE Faculty Research, Scholarship, and Creative Activity

By way of concrete presentations, we construct two infinite-dimensional transforms at the crossroads of Gaussian fields and reproducing kernel Hilbert spaces (RKHS), thus leading to a new infinite-dimensional Fourier transform in a general setting of Gaussian processes. Our results serve to unify existing tools from infinite-dimensional analysis.

The Foundations Of Mathematics: Axiomatic Systems And Incredible Infinities, Catherine Ferris

Honors Program Theses and Projects

Often, people who study mathematics learn theorems to prove results in and about the vast array of branches of mathematics (Algebra, Analysis, Topology, Geometry, Combinatorics, etc.). This helps them move forward in their understanding; but few ever question the basis for these theorems or whether those foundations are sucient or even secure. Theorems come from our foundations of mathematics, Axioms, Logic and Set Theory. In the early20th century, mathematicians set out to formalize the methods, operations and techniques people were assuming. In other words, they were formulating axioms. The most common axiomatic system is known as the Zermelo-Fraenkel axioms with …

Vertex-Magic Graphs, Karissa Massud

Honors Program Theses and Projects

In this paper, we will study magic labelings. Magic labelings were first introduced by Sedláček in 1963 [3]. At this time, the labels on the graph were only assigned to the edges. In 1970, Kotzig and Rosa defined what are now known as edge-magic total labelings, where both the vertices and the edges of the graph are labeled. Following this in 1999, MacDougall, Miller, Slamin, and Wallis introduced the idea of vertex-magic total labelings. There are many different types of magic labelings. In this paper will focus on vertex-magictotal labelings.

Vertex-Magic Total Labeling On G-Sun Graphs, Melissa Mejia

Honors Program Theses and Projects

Graph labeling is an immense area of research in mathematics, specifically graph theory. There are many types of graph labelings such as harmonious, magic, and lucky labelings. This paper will focus on magic labelings. Graph theorists are particularly interested in magic labelings because of a simple problem regarding tree graphs introduced in the 1990’s. The problem is still unsolved after almost thirty years. Researchers have studied magic labelings on other graphs in addition to tree graphs. In this paper we will consider vertex-magic labelings on G-sun graphs. We will give vertex-magic total labelings for ladder sun graphs and complete bipartite …

Interpolating With Outer Functions, Javad Mashreghi, Marek Ptak, William T. Ross

Department of Math & Statistics Faculty Publications

The classical theorems of Mittag-Leffler and Weierstrass show that when (λn)n≥1 is

a sequence of distinct points in the open unit disk D, with no accumulation points in

D, and (wn)n≥1 is any sequence of complex numbers, there is an analytic function

ϕ on D for which ϕ(λn) = wn. A celebrated theorem of Carleson [2] characterizes

when, for a bounded sequence (wn)n≥1, this interpolating problem can be solved with

a bounded analytic function. A theorem of Earl [5] goes further and shows that when

Carleson’s condition is satisfied, the interpolating function ϕ can be …

Parametric Art, Shaun Pollard, Daanial Ahmad, Satyanand Singh

Publications and Research

Lissajous curves, named after Jules Antoine Lissajous (1822-1880) are generated by the parametric equations ��=��������(����) and ��=��������(����) in its simplistic form. Others have studied these curves and their applications like Nathaniel Bowditch in 1815, and they are often referred to as Bowditch curves as well. Lissajous curves are found in engineering, mathematics, graphic design, physics, and many other backgrounds. In this project entitled “Parametric Art” this project will focus on analyzing these types of equations and manipulating them to create art. We will be investigating these curves by answering a series of questions that elucidate their purpose. Using Maple, which …

Numerical Computations Of Vortex Formation Length In Flow Past An Elliptical Cylinder, Matthew Karlson, Bogdan Nita, Ashwin Vaidya

Department of Mathematics Faculty Scholarship and Creative Works

We examine two dimensional properties of vortex shedding past elliptical cylinders through numerical simulations. Specifically, we investigate the vortex formation length in the Reynolds number regime 10 to 100 for elliptical bodies of aspect ratio in the range 0.4 to 1.4. Our computations reveal that in the steady flow regime, the change in the vortex length follows a linear profile with respect to the Reynolds number, while in the unsteady regime, the time averaged vortex length decreases in an exponential manner with increasing Reynolds number. The transition in profile is used to identify the critical Reynolds number which marks the …

Teaching And Learning Of Fluid Mechanics, Ashwin Vaidya

Department of Mathematics Faculty Scholarship and Creative Works

Fluid mechanics occupies a privileged position in the sciences; it is taught in various science departments including physics, mathematics, environmental sciences and mechanical, chemical and civil engineering, with each highlighting a different aspect or interpretation of the foundation and applications of fluids. Doll’s fluid analogy [5] for this idea is especially relevant to this issue: “Emergence of creativity from complex flow of knowledge—example of Benard convection pattern as an analogy—dissipation or dispersal of knowledge (complex knowledge) results in emergent structures, i.e., creativity which in the context of education should be thought of as a unique way to arrange information so …

Masked Instability: Within-Sector Financial Risk In The Presence Of Wealth Inequality, Youngna Choi

Department of Applied Mathematics and Statistics Faculty Scholarship and Creative Works

We investigate masked financial instability caused by wealth inequality. When an economic sector is decomposed into two subsectors that possess a severe wealth inequality, the sector in entirety can look financially stable while the two subsectors possess extreme financially instabilities of opposite nature, one from excessive equity, the other from lack thereof. The unstable subsector can result in further financial distress and even trigger a financial crisis. The market instability indicator, an early warning system derived from dynamical systems applied to agent-based models, is used to analyze the subsectoral financial instabilities. Detailed mathematical analysis is provided to explain what financial …

Ns-Cross Entropy-Based Magdm Under Single-Valued Neutrosophic Set Environment, Florentin Smarandache, Surapati Pramanik, Shyamal Dalapati, Shariful Alam, Tapan Kumar Roy

Branch Mathematics and Statistics Faculty and Staff Publications

A single-valued neutrosophic set has king power to express uncertainty characterized by indeterminacy, inconsistency and incompleteness. Most of the existing single-valued neutrosophic cross entropy bears an asymmetrical behavior and produces an undefined phenomenon in some situations. In order to deal with these disadvantages, we propose a new cross entropy measure under a single-valued neutrosophic set (SVNS) environment, namely NS-cross entropy, and prove its basic properties. Also we define weighted NS-cross entropy measure and investigate its basic properties. We develop a novel multi-attribute group decision-making (MAGDM) strategy that is free from the drawback of asymmetrical behavior and undefined phenomena. It is …

Positive Definite Functions And Dual Pairs Of Locally Convex Spaces, Daniel Alpay, Saak Gabriyelyan

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using pairs of locally convex topological vector spaces in duality and topologies defined by directed families of sets bounded with respect to the duality, we prove general factorization theorems and general dilation theorems for operator-valued positive definite functions.

Flow Anisotropy Due To Thread-Like Nanoparticle Agglomerations In Dilute Ferrofluids, Alexander Cali, Wah-Keat Lee, A. David Trubatch, Philip Yecko

Department of Applied Mathematics and Statistics Faculty Scholarship and Creative Works

Improved knowledge of the magnetic field dependent flow properties of nanoparticle-based magnetic fluids is critical to the design of biomedical applications, including drug delivery and cell sorting. To probe the rheology of ferrofluid on a sub-millimeter scale, we examine the paths of 550 μm diameter glass spheres falling due to gravity in dilute ferrofluid, imposing a uniform magnetic field at an angle with respect to the vertical. Visualization of the spheres’ trajectories is achieved using high resolution X-ray phase-contrast imaging, allowing measurement of a terminal velocity while simultaneously revealing the formation of an array of long thread-like accumulations of magnetic …

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.

On Product Stability Of Asymptotic Property C, Gregory C. Bell, Andrzej Nagórko

Summer Conference on Topology and Its Applications

Asymptotic property C is a dimension-like large-scale invariant of metric spaces that is of interest when applied to spaces with infinite asymptotic dimension. It was first described by Dranishnikov, who based it on Haver's topological property C. Topological property C fails to be preserved by products in very striking ways and so a natural question that remained open for some 10+ years is whether asymptotic property C is preserved by products. Using a technique inspired by Rohm we show that asymptotic property C is preserved by direct products of metric spaces.

Domains And Probability Measures: A Topological Retrospective, Michael Mislove

Summer Conference on Topology and Its Applications

Domain theory has seen success as a semantic model for high-level programming languages, having devised a range of constructs to support various effects that arise in programming. One of the most interesting - and problematic - is probabilistic choice, which traditionally has been modeled using a domain-theoretic rendering of sub-probability measures as valuations. In this talk, I will place the domain-theoretic approach in context, by showing how it relates to the more traditional approaches such as functional analysis and set theory. In particular, we show how the topologies that arise in the classic approaches relate to the domain-theoretic rendering. We …

Extension Theorems For Large Scale Spaces Via Neighbourhood Operators, Thomas Weighill, Jerzy Dydak

Summer Conference on Topology and Its Applications

Coarse geometry is the study of the large scale behaviour of spaces. The motivation for studying such behaviour comes mainly from index theory and geometric group theory. In this talk we introduce the notion of (hybrid) large scale normality for large scale spaces and prove analogues of Urysohn’s Lemma and the Tietze Extension Theorem for spaces with this property, where continuous maps are replaced by (continuous and) slowly oscillating maps. To do so, we first prove a general form of each of these results in the context of a set equipped with a neighbourhood operator satisfying certain axioms, from which …

Braid Group Actions On Rational Maps, Eriko Hironaka, Sarah Koch

Summer Conference on Topology and Its Applications

Rational maps are maps from the Riemann sphere to itself that are defined by ratios of polynomials. A special type of rational map is the ones where the forward orbit of the critical points is finite. That is, under iteration, the critical points all eventually cycle in some periodic orbit. In the 1980s Thurston proved the surprising result that (except for a well-understood set of exceptions) when the post-critical set is finite the rational map is determined by the “combinatorics” of how the map behaves on the post-critical set. Recently, there has been interest in the question: what happens if …

Entropy In Topological Groups, Part 1, Dikran Dikranjan

Summer Conference on Topology and Its Applications

Entropy was introduced first in thermodynamics and statistical mechanics, as well as information theory. In the last sixty years entropy made its way also in topology, ergodic theory, as well as other branches of mathematics as algebra, geometry and number theory where dynamical systems appear in one way or another.

Roughly speaking, entropy is a non-negative real number or infinity assigned to a "selfmap" T of a "space" X, where the "space" X can be a topological or uniform space, a measure space, an abstract or topological group (or vector space) or just a set. The "selfmap" T can be, …

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 …

Normal Images Of A Product And Countably Paracompact Condensation, Jila Niknejad

Summer Conference on Topology and Its Applications

In 1997, Buzjakova proved that for a pseudocompact Tychonoff space X and λ = | βX|⁺, X condenses onto a compact space if and only if X×(λ+1) condenses onto a normal space. This is a condensation form of Tamano's theorem. An interesting problem is to determine how much of Buzjakova's result will hold if "pseudocompact" is removed from the hypothesis.

In this talk, I am going to show for a Tychonoff space X, there is a cardinal λ such that if X×(λ+1) condenses onto a normal space, then X condenses onto a countably paracompact space.

On The Tightness And Long Directed Limits Of Free Topological Algebras, Gábor Lukács, Rafael Dahmen

Summer Conference on Topology and Its Applications

For a limit ordinal λ, let (A_α)_{α < λ} be a system of topological algebras (e.g., groups or vector spaces) with bonding maps that are embeddings of topological algebras, and put A = ∪_{α < λ} A_α. Let (A, T) and (A, A) denote the direct limit (colimit) of the system in the category of topological spaces and topological algebras, respectively. One always has T ⊇ A, but the inclusion may be strict; however, if the tightness of A is smaller than the cofinality of λ, then A=T.

In 1988, Tkachenko proved …

A New Class Of Dendrites Having Unique Second Symmetric Product, David Maya, José G. Anaya, Fernando Orozco Zitli

Summer Conference on Topology and Its Applications

The second symmetric product of a continuum X, F₂(X), is the hyperspace consisting of all nonempty subsets of X having at most two points. A continuum X has unique hyperspace F₂(X) provided that each continuum Y satisfying that F₂(X) and F₂(Y) are homeomorphic must be homeomorphic to X. In this talk, a new class of dendrites having unique F₂(X) will be presented.

On The Axiomatic Systems Of Steenrod Homology Theory Of Compact Spaces, Leonard Mdzinarishvili, Anzor Beridze

Summer Conference on Topology and Its Applications

The Steenrod homology theory on the category of compact metric pairs was axiomatically described by J.Milnor. In Milnor, the uniqueness theorem is proved using the Eilenberg-Steenrod axioms and as well as relative homeomorphism and clusres axioms. J. Milnor constructed the homology theory on the category Top²_C of compact Hausdorff pairs and proved that on the given category it satisfies nine axioms - the Eilenberg-Steenrod, relative homeomorphis and cluster axioms (see theorem 5 in Milnor). Besides, he proved that constructed homology theory satisfies partial continuity property on the subcategory Top²_CM (see theorem 4 in Milnor) and the …

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.

A Compact Minimal Space Whose Cartesian Square Is Not Minimal, Jan P. Boronski, Alex Clark, Piotr Oprocha

Summer Conference on Topology and Its Applications

A compact metric space X is called minimal if it admits a minimal homeomorphism; i.e. a homeomorphism h:X→ X such that the forward orbit {hⁿ(x):n=1, 2, ...} is dense in X, for every x ∈ X. In my talk I shall outline a construction of a family of 1-dimensional minimal spaces from "A compact minimal space Y such that its square YxY is not minimal" whose existence answer the following long standing problem in the negative.

Problem. Is minimality preserved under Cartesian product in the class of compact spaces?

Note that for the fixed point property this question …

Liouville Numbers And One-Sided Ergodic Hilbert Transformations, David Constantine, Joanna Furno

Summer Conference on Topology and Its Applications

We examine one-sided ergodic Hilbert transforms for irrational circle rotations and some mean-zero functions. Our approach uses continued fraction expansions to specify rotations by Liouville numbers for which the transformation has everywhere convergence or divergence.

Relationships Between Topological Properties Of X And Algebraic Properties Of Intermediate Rings A(X), Joshua Sack

Summer Conference on Topology and Its Applications

A topological property is a property invariant under homeomorphism, and an algebraic property of a ring is a property invariant under ring isomorphism. Let C(X) be the ring of real-valued continuous functions on a Tychonoff space X, let C^*(X) ⊆ C(X) be the subring of those functions that are bounded, and call a ring A(X) an intermediate ring if C^*(X) ⊆ A(X) ⊆ C(X). For a class Q of intermediate rings, an algebraic property P describes a topological property T among Q if for all A(X), B(Y) ∈ Q if A(X) and B(Y) both satisfy P, …

Fiber Strong Shape Theory For Topological Spaces, Ruslan Tsinaridze, Vladimer Baladze

Summer Conference on Topology and Its Applications

The purpose of this paper is the construction and investigation of fiber strong shape theory for compact metrizable spaces over a fixed base space B₀ , using the fiber versions of cotelescop, fibrant space and SSDR-map. In the paper obtained results containing the characterizations of fiber strong shape equivalences, based on the notion of double mapping cylinder over a fixed space B₀. Besides, in the paper we construct and develop a fiber strong shape theory for arbitrary spaces over fixed metrizable space B₀. Our approach is based on the method of Mardešić-Lisica and instead of …

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 …