Digital Commons Network^™

The Orchard Crossing Number Of An Abstract Graph, Elie Feder, David Garber

Publications and Research

.We introduce the Orchard crossing number, which is defined in a similar way to the well-known rectilinear crossing number. We compute the Orchard crossing number for some simple families of graphs. We also prove some properties of this crossing number.

Moreover, we define a variant of this crossing number which is tightly connected to the rectilinear crossing number, and compute it for some simple families of graphs.

On The Dynamics Of Quasi-Self-Matings Of Generalized Starlike Complex Quadratics And The Structure Of The Mated Julia Sets, Ross Flek

Dissertations, Theses, and Capstone Projects

It has been shown that, in many cases, Julia sets of complex polynomials can be "glued" together to obtain a new Julia set homeomorphic to a Julia set of a rational map; the dynamics of the two polynomials are reflected in the dynamics of the mated rational map. Here, I investigate the Julia sets of self-matings of generalized starlike quadratic polynomials, which enjoy relatively simple combinatorics. The points in the Julia sets of the mated rational maps are completely classified according to their topology. The presence and location of buried points in these Julia sets are addressed. The interconnections between …

Methods Of Assessing And Ranking Probable Sources Of Error, Nataniel Greene

Publications and Research

A classical method for ranking n potential events as sources of error is Bayes' theorem. However, a ranking based on Bayes' theorem lacks a fundamental symmetry: the ranking in terms of blame for error will not be the reverse of the ranking in terms of credit for lack of error. While this is not a flaw in Bayes' theorem, it does lead one to inquire whether there are related methods which have such symmetry. Related methods explored here include the logical version of Bayes' theorem based on probabilities of conditionals, probabilities of biconditionals, and ratios or differences of credit to …

A Wavelet-Based Method For Overcoming The Gibbs Phenomenon, Nataniel Greene

Publications and Research

The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series.

An Overview Of Conditionals And Biconditionals In Probability, Nataniel Greene

Publications and Research

Conditional and biconditional statements are a standard part of symbolic logic but they have only recently begun to be explored in probability for applications in artificial intelligence. Here we give a brief overview of the major theorems involved and illustrate them using two standard model problems from conditional probability.

Fourier Series Of Orthogonal Polynomials, Nataniel Greene

Publications and Research

Explicit formulas for the Fourier coefficients of the Legendre polynomials can be found in the Bateman Manuscript Project. However, similar formulas for more general classes of orthogonal polynomials do not appear to have been worked out. Here we derive explicit formulas for the Fourier series of Gegenbauer, Jacobi, Laguerre and Hermite polynomials.

Formulas For The Fourier Series Of Orthogonal Polynomials In Terms Of Special Functions, Nataniel Greene

Publications and Research

An explicit formula for the Fourier coefficient of the Legendre polynomials can be found in the Bateman Manuscript Project. However, formulas for more general classes of orthogonal polynomials do not appear to have been worked out. Here we derive explicit formulas for the Fourier series of Gegenbauer, Jacobi, Laguerre and Hermite polynomials. The methods described here apply in principle to a class of polynomials, including non-orthogonal polynomials.

Inverse Wavelet Reconstruction For Resolving The Gibbs Phenomenon, Nataniel Greene

Publications and Research

The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series.

Iterated Aluthge Transforms: A Brief Survey, Jorge Antezana, Enrique R. Pujals, Demetrio Stojanoff

Publications and Research

Given an r × r complex matrix T, if T = U|T| is the polar decomposition of T, then the Aluthge transform is defined by

∆(T) = |T|^1/2U|T|^1/2.

Let ∆ⁿ(T) denote the n-times iterated Aluthge transform of T, i.e. ∆⁰(T) = T and ∆ⁿ(T) = ∆(∆ⁿ⁻¹(T)), n ∈ N. In this paper we make a brief survey on the known properties and applications of …

Rigidity And Stability For Isometry Groups In Hyperbolic 4-Space, Youngju Kim

Dissertations, Theses, and Capstone Projects

It is known that a geometrically finite Kleinian group is quasiconformally stable. We prove that this quasiconformal stability cannot be generalized in 4-dimensional hyperbolic space. This is due to the presence of screw parabolic isometries in dimension 4. These isometries are topologically conjugate to strictly parabolic isometries. However, we show that screw parabolic isometries are not quasiconformally conjugate to strictly parabolic isometries. In addition, we show that two screw parabolic isometries are generically not quasiconformally conjugate to each other. We also give some geometric properties of a hyperbolic 4-manifold related to screw parabolic isometries.

A Fuchsian thrice-punctured sphere group has …

Towards The Computation Of The Convex Hull Of A Configuration From Its Corresponding Separating Matrix, Elie Feder, David Garber

Publications and Research

In this paper we cope with the following problem compute the size of the convex hull of a configuration C where the given data is the number of separating lines between any two points of the configuration (where the lines are generated by pairs of other points of the configuration)

We give an algorithm for the case that the convex hull is of size 3 and a partial algorithm and some directions for the case that the convex hull is of size bigger than 3.

On Groups Of Homological Dimension One, Jonathan Cornick

Publications and Research

It has been conjectured that the groups of homological dimension one are precisely the nontrivial locally free groups. Some algebraic, geometric and analytic properties of any potential counter example to the conjecture are discussed.

Strokes Of Existence: The Connection Of All Things, Mari Gorman

Graduate Student Publications and Research

Acted or real—and all life is real whether one is acting or not—the common denominator and consistent, ubiquitous reality of life and all behavior is that it manifests in the form of relationships on all scales. But what is a relationship? Until now, the answer to this question has not been sufficiently known. As a result of many years of empirical research that began with the aim of discovering what is going on in a gifted actor when s/he is playing a character that can be observed and experienced as a living, intuitive being, and based on the knowledge that …

Vortices And Chaos In The Quantum Fluid, D. A. Wisniacki, E. R. Pujals, F. Borondo

Publications and Research

The motion of a single vortex originates chaos in the quantum fluid defined in Bohm's interpretation of quantum mechanics. Here we analize this situation in a very simple case: one single vortex in a rectangular billiard.

A Remark On Conservative Diffeomorphisms, Jairo Bochi, Bassam R. Fayad, Enrique Pujals

Publications and Research

Abstract:

We show that a stably ergodic diffeomorphism can be C¹ approximated by a diffeomorphism having stably non-zero Lyapunov exponents.

Résumé:

On montre qu'un difféomorphisme stablement ergodique peut être C¹ approché par un difféomorphisme ayant des exposants de Lyapunov stablement non-nuls.

Intersecting Circles And Their Inner Tangent Circle, Max Tran

Publications and Research

We derive the general equation for the radius of the inner tangent circle that is associated with three pairwise intersecting circles. We then look at three special cases of the equation.

Countable Short Recursively Saturated Models Of Arithmetic, Erez Shochat

Dissertations, Theses, and Capstone Projects

Short recursively saturated models of arithmetic are exactly the elementary initial segments of recursively saturated models of arithmetic. Since any countable recursively saturated model of arithmetic has continuum many elementary initial segments which are already recursively saturated, we turn our attention to the (countably many) initial segments which are not recursively saturated. We first look at properties of countable short recursively saturated models of arithmetic and show that although these models cannot be cofinally resplendent (an expandability property slightly weaker than resplendency), these models have non-definable expansions which are still short recursively saturated.

Infinitely Often Dense Bases And Geometric Structure Of Sumsets, Jaewoo Lee

Dissertations, Theses, and Capstone Projects

We'll discuss two problems related to sumsets.

Nathanson constructed bases of integers with prescribed representation functions, then asked how dense bases for integers can be in such cases. Let A(-x, x) be the number of elements of A whose absolute value is less than or equal to x, then it's easy to see that A(-x, x) << x1/2 if its representation function is bounded, giving us a general upper bound. Chen constructed unique representation bases for integers with A(-x, x) ≥ x1/2-epsilon infinitely often. In the first chapter, we'll construct bases for integers with a prescribed representation function with A(-x, x) > x1/2/&phis;(x) infinitely often where &phis;(x) is any nonnegative real-valued function which tends to infinity.

In the second chapter, we'll see how sumsets appear geometrically. Assume A is a finite set of lattice points and h*D=h˙x:x∈conv A is a full dimensional polytope. Then we'll see …

The Ground Axiom, Jonas Reitz

Dissertations, Theses, and Capstone Projects

Splitting Of Vector Bundles On Punctured Spectrum Of Regular Local Rings, Mahdi Majidi-Zolbanin

Dissertations, Theses, and Capstone Projects

In this dissertation we study splitting of vector bundles of small rank on punctured spectrum of regular local rings. We give a splitting criterion for vector bundles of small rank in terms of vanishing of their intermediate cohomology modules Hⁱ(U, E)_{2_i_n−3}, where n is the dimension of the regular local ring. This is the local analog of a result by N. Mohan Kumar, C. Peterson, and A. Prabhakar Rao for splitting of vector bundles of small rank on projective spaces.

As an application we give a positive answer (in a special case) to a conjecture …

Robustly Transitive Sets And Heterodimensional Cycles, Christian Bonatti, Lorenzo J. Díaz, Enrique R. Pujals, Jorge Rocha

Publications and Research

It is known that all non-hyperbolic robustly transitive sets Λ_φ have a dominated splitting and, generically, contain periodic points of different indices. We show that, for a C¹-dense open subset of diffeomorphisms φ, the indices of periodic points in a robust transitive set Λ_φ form an interval in ℕ. We also prove that the homoclinic classes of two periodic points in Λ_φ are robustly equal. Finally, we describe what sort of homoclinic tangencies may appear in Λ_φ by studying its dominated splittings.

On String Topology Of Three Manifolds, Hossein Abbaspour

Dissertations, Theses, and Capstone Projects

In this dissertation we establish a connection between some aspects of the string topology of three dimensional manifolds and their topology and geometry using the theory of the prime decomposition and characteristic surfaces.

On C^1 Robust Singular Transitive Sets For Three-Dimensional Flows, Carlos Arnoldo Morales, Maria José Pacífico, Enrique Ramiro Pujals

Publications and Research

Abstract:

The main goal of this paper is to study robust invariant transitive sets containing singularities for C¹ flows on three-dimensional compact boundaryless manifolds:they are partially hyperbolic with volume expanding central direction. Moreover, they are either attractors or repellers. Robust here means that this property cannot be destroyed by small C¹-perturbations of the flow.

Résumé:

Le but de ce travail est d'étudier des ensembles invariants robustes ayant des singularités pour des flots C¹ sur des variétés tridimensionelles : ce sont des ensembles hyperboliques singuliers. << Robuste >> veut dire ici que cette propriété ne peut être détruite par des …

Global Attractors From The Explosion Of Singular Cycles, Carlos Arnoldo Morales, Maria José Pacífico, Enrique Ramiro Pujals

Publications and Research

Abstract:

In this paper we announce recent results on the existence and bifurcations of hyperbolic systems leading to non-hyperbolic global attractors.

Résumé:

Nous présentons dans cette Note des résultats récents concernant l’existence et les bifurcations d’un nouvel attracteur global chaotique.

Difference Equations, Isoperimetric Inequality And Transience Of Certain Random Walks, Jozef Dodziuk

Publications and Research

No abstract provided.

Finite-Difference Approach To The Hodge Theory Of Harmonic Forms, Jozef Dodziuk

Publications and Research

No abstract provided.

Class Groups Of Real Quadratic Number Fields, Paul B. Massell

Dissertations, Theses, and Capstone Projects

No abstract provided.

D-Structures And Their Semantics, Rohit J. Parikh

Publications and Research

"Many logicians are familiar with the game theoretic approach to semantics, due to Jaakko Hintikka. This paper by me contains class notes of a logic course at Boston University in fall 1972. It has similar game theoretic ideas, developed quite independently, but influenced by the work of A. Ehrenfeucht. It applies to a larger class of logics, including classical logic, intuitionistic logic and the *-semantics of Ehrenfeucht. The treatment is via D-structures which are finite approximations of infinite structures. For various reasons I did not publish this paper then, but some abstracts, both by myself as well as joint abstracts …