Mathematics Commons^™

Sperner's Lemma, The Brouwer Fixed Point Theorem, The Kakutani Fixed Point Theorem, And Their Applications In Social Sciences, Ayesha Maliwal

Electronic Theses and Dissertations

Can a cake be divided amongst people in such a manner that each individual is content with their share? In a game, is there a combination of strategies where no player is motivated to change their approach? Is there a price where the demand for goods is entirely met by the supply in the economy and there is no tendency for anything to change? In this paper, we will prove the existence of envy-free cake divisions, equilibrium game strategies and equilibrium prices in the economy, as well as discuss what brings them together under one heading.

This paper examines three …

Hom Quandles, Alissa S. Crans, Sam Nelson

Alissa Crans

If A is an abelian quandle and Q is a quandle, the hom set Hom(Q,A) of quandle homomorphisms from Q to A has a natural quandle structure. We exploit this fact to enhance the quandle counting invariant, providing an example of links with the same counting invariant values but distinguished by the hom quandle structure. We generalize the result to the case of biquandles, collect observations and results about abelian quandles and the hom quandle, and show that the category of abelian quandles is symmetric monoidal closed.

Musical Actions Of Dihedral Groups, Alissa S. Crans, Thomas M. Fiore, Ramon Satyendra

Alissa Crans

The sequence of pitches which form a musical melody can be transposed or inverted. Since the 1970s, music theorists have modeled musical transposition and inversion in terms of an action of the dihedral group of order 24. More recently music theorists have found an intriguing second way that the dihedral group of order 24 acts on the set of major and minor chords. We illustrate both geometrically and algebraically how these two actions are {\it dual}. Both actions and their duality have been used to analyze works of music as diverse as Hindemith and the Beatles.

From Loop Groups To 2-Groups, John C. Baez, Danny Stevenson, Alissa S. Crans, Urs Schreiber

Alissa Crans

We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group String(n). A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If G is a simply-connected compact simple Lie group, there is a 1-parameter family of Lie 2-algebras g_k each having Lie(G) as its Lie algebra of objects, but with a Jacobiator built from the canonical 3-form on G. There appears to be no Lie 2-group …

Torsion In One-Term Distributive Homology, Alissa S. Crans, Józef H. Przytycki, Krzysztof K. Putyra

Alissa Crans

The one-term distributive homology was introduced by J.H.Przytycki as an atomic replacement of rack and quandle homology, which was first introduced and developed by R.Fenn, C.Rourke and B.Sanderson, and J.S.Carter, S.Kamada and M.Saito. This homology was initially suspected to be torsion-free, but we show in this paper that the one-term homology of a finite spindle can have torsion. We carefully analyze spindles of block decomposition of type (n,1) and introduce various techniques to compute their homology precisely. In addition, we show that any finite group can appear as the torsion subgroup of the first homology of some finite spindle. Finally, …

Polynomial Knot And Link Invariants From The Virtual Biquandle, Alissa S. Crans, Allison Henrich, Sam Nelson

Alissa Crans

The Alexander biquandle of a virtual knot or link is a module over a 2-variable Laurent polynomial ring which is an invariant of virtual knots and links. The elementary ideals of this module are then invariants of virtual isotopy which determine both the generalized Alexander polynomial (also known as the Sawollek polynomial) for virtual knots and the classical Alexander polynomial for classical knots. For a fixed monomial ordering <, the Gr\"obner bases for these ideals are computable, comparable invariants which fully determine the elementary ideals and which generalize and unify the classical and generalized Alexander polynomials. We provide examples to …

Exotic Statistics For Strings In 4d Bf Theory, John C. Baez, Derek K. Wise, Alissa S. Crans

Alissa Crans

After a review of exotic statistics for point particles in 3d BF theory, and especially 3d quantum gravity, we show that string-like defects in 4d BF theory obey exotic statistics governed by the 'loop braid group'. This group has a set of generators that switch two strings just as one would normally switch point particles, but also a set of generators that switch two strings by passing one through the other. The first set generates a copy of the symmetric group, while the second generates a copy of the braid group. Thanks to recent work of Xiao-Song Lin, we can …

Microstructural Analysis Of Thermoelastic Response, Nonlinear Creep, And Pervasive Cracking In Heterogeneous Materials, Alden C. Cook

Electronic Theses and Dissertations

This dissertation is concerned with the development of robust numerical solution procedures for the generalized micromechanical analysis of linear and nonlinear constitutive behavior in heterogeneous materials. Although the methods developed are applicable in many engineering, geological, and materials science fields, three main areas are explored in this work. First, a numerical methodology is presented for the thermomechanical analysis of heterogeneous materials with a special focus on real polycrystalline microstructures obtained using electron backscatter diffraction techniques. Asymptotic expansion homogenization and finite element analysis are employed for micromechanical analysis of polycrystalline materials. Effective thermoelastic properties of polycrystalline materials are determined and compared …

Embedding Of Hypercube Graphs On Orientable Surfaces, Prateek Kunwar

Electronic Theses and Dissertations

The purpose of this thesis is to study hypercube graphs and their embeddings on orientable surfaces. We use rotation systems to represent these embeddings. We prove some results about the effect of adjacent switches in rotation system and create a rotation system called the ABC rotation system and prove general results about it. Using this rotation system, we give a general theorem about the minimal embedding of $Q_{n}$. We also look at some interesting types of maximal embedding of $Q_{n}$, such as the Eulerian walk embedding and the "big-face embedding". We prove a theorem that gives a recursively constructive way …

A General Elliptic Nonlinear System Of Multiple Functions With Application, Timothy Robertson, Joon Hyuk Kang

Faculty Publications

The purpose of this paper is to give a sufficient condition for the existence, nonexistence and uniqueness of positive solutions to a rather general type of elliptic system of the Dirichlet problem on a bounded domain Ω in Rn . We also investigate the effects of perturbation on the positive solutions to the system. The techniques used in this paper are upper-lower solutions, eigenvalues of operators, the maximum principles and spectrum estimates. The arguments also rely on some detailed properties for the solution of logistic equations. This result yields an algebraically computable criterion for the positive coexistence of competing species …

A General Elliptic Nonlinear System Of Two Functions With Application, Timothy Robertson, Joon Hyuk Kang

Faculty Publications

The purpose of this paper is to give a sufficient condition for the existence and nonexistence of positive solutions to a rather general type of elliptic system of the Dirichlet problem on the bounded domain Ω in Rn. Also considered are the effects of perturbations on the coexistence state and uniqueness. The techniques used in this paper are upper-lower solutions, eigenvalues of operators, maximum principles and spectrum estimates. The arguments also rely on some detailed properties for the solution of logistic equations. These results yield an algebraically computable criterion for the positive coexistence of competing species of animals in many …

A Geometric Model Of Twisted Differential K-Theory, Byung Do Park

Dissertations, Theses, and Capstone Projects

We construct a model of even twisted differential K-theory when the underlying topological twist represents a torsion class. We use smooth U(1)-gerbes with connection as differential twists and twisted vector bundles with connection as cycles. The model we construct satisfies the axioms of Kahle and Valentino, including functoriality, naturality of twists, and the hexagon diagram. We also construct an odd twisted Chern character of a twisted vector bundle with an automorphism. In addition to our geometric model of twisted differential K-theory, we introduce a smooth variant of the Hopkins-Singer model of differential K-theory. We prove that our model is naturally …

On The Derivative Of 2-Holonomy For A Non-Abelian Gerbe, Cheyne J. Miller

Dissertations, Theses, and Capstone Projects

The local 2-holonomy for a non abelian gerbe with connection is first studied via a local zig-zag Hochschild complex. Next, by locally integrating the cocycle data for our gerbe with connection, and then glueing this data together, an explicit definition is offered for a global version of 2-holonomy. After showing this definition satisfies the desired properties for 2-holonomy, its derivative is calculated whereby the only interior information added is the integration of the 3-curvature. Finally, for the case when the surface being mapped into the manifold is a sphere, the derivative of 2-holonomy is extended to an equivariant closed form …

Some 2-Categorical Aspects In Physics, Arthur Parzygnat

Dissertations, Theses, and Capstone Projects

2-categories provide a useful transition point between ordinary category theory and infinity-category theory where one can perform concrete computations for applications in physics and at the same time provide rigorous formalism for mathematical structures appearing in physics. We survey three such broad instances. First, we describe two-dimensional algebra as a means of constructing non-abelian parallel transport along surfaces which can be used to describe strings charged under non-abelian gauge groups in string theory. Second, we formalize the notion of convex and cone categories, provide a preliminary categorical definition of entropy, and exhibit several examples. Thirdly, we provide a universal description …

Hyperplanes That Intersect Each Ray Of A Cone Once And A Banach Space Counterexample, Chris Mccarthy

Publications and Research

Suppose � is a cone contained in real vector space �. When does � contain a hyperplane � that intersects each of the 0-rays in �\{0} exactly once? We build on results found in Aliprantis, Tourky, and Klee Jr.’s work to give a partial answer to this question.We also present an example of a salient, closed Banach space cone � for which there does not exist a hyperplane that intersects each 0-ray in � \ {0} exactly once.

The Fourth Movement Of György Ligeti's Piano Concerto: Investigating The Musical-Mathematical Connection, Cynthia L. Wong

Dissertations, Theses, and Capstone Projects

This interdisciplinary study explores musical-mathematical analogies in the fourth movement of Ligeti’s Piano Concerto. Its aim is to connect musical analysis with the piece’s mathematical inspiration. For this purpose, the dissertation is divided into two sections. Part I (Chapters 1-2) provides musical and mathematical context, including an explanation of ideas related to Ligeti’s mathematical inspiration. Part II (Chapters 3-5) delves into an analysis of the rhythm, form, melody / motive, and harmony. Appendix A is a reduced score of the entire movement, labeled according to my analysis.

On Logarithmic Sobolev Inequality And A Scalar Curvature Formula For Noncommutative Tori, Sajad Sadeghi

Electronic Thesis and Dissertation Repository

In the first part of this thesis, a noncommutative analogue of Gross' logarithmic Sobolev inequality for the noncommutative 2-torus is investigated. More precisely, Weissler's result on the logarithmic Sobolev inequality for the unit circle is used to propose that the logarithmic Sobolev inequality for a positive element $a= \sum a_{m,n} U^{m} V^{n} $ of the noncommutative 2-torus should be of the form $$\tau(a^{2} \log a)\leqslant \underset{(m,n)\in \mathbb{Z}^{2}}{\sum} (\vert m\vert + \vert n\vert) \vert a_{m,n} \vert ^{2} + \tau (a^{2})\log ( \tau (a^2))^{1/2},$$ where $\tau$ is the normalized positive faithful trace of the noncommutative 2-torus. A possible approach to prove this …

Projective Geometry Hidden Inside: Can You Spot It?, Tom Clark

Faculty Work Comprehensive List

In this talk Dr. Clark shared about a Math Teachers’ Circle session he recently ran centered around the children’s game Spot it! This game has some very interesting mathematics behind it and naturally begs to be explored with inquiry. He described the way he led teachers to ask questions about the game, the way the teachers then explored the topic, and the mathematics behind it all.

Moduli Space And Deformations Of Special Lagrangian Submanifolds With Edge Singularities, Josue Rosario-Ortega

Electronic Thesis and Dissertation Repository

Special Lagrangian submanifolds are submanifolds of a Calabi-Yau manifold calibrated by the real part of the holomorphic volume form. In this thesis we use elliptic theory for edge- degenerate differential operators on singular manifolds to study general deformations of special Lagrangian submanifolds with edge singularities. We obtain a general theorem describing the local structure of the moduli space. When the obstruction space vanishes the moduli space is a smooth, finite dimensional manifold.

Bridge Spectra Of Cables Of 2-Bridge Knots, Nicholas John Owad

Department of Mathematics: Dissertations, Theses, and Student Research

We compute the bridge spectra of cables of 2-bridge knots. We also give some results about bridge spectra and distance of Montesinos knots.

Advisors: Mark Brittenham and Susan Hermiller

Ε-Kernel Coresets For Stochastic Points, Haitao Wang, Lingxiao Huang, Jian Li, Jeff Mark Phillips

Computer Science Faculty and Staff Publications

With the dramatic growth in the number of application domains that generate probabilistic, noisy and uncertain data, there has been an increasing interest in designing algorithms for geometric or combinatorial optimization problems over such data. In this paper, we initiate the study of constructing epsilon-kernel coresets for uncertain points. We consider uncertainty in the existential model where each point's location is fixed but only occurs with a certain probability, and the locational model where each point has a probability distribution describing its location. An epsilon-kernel coreset approximates the width of a point set in any direction. We consider approximating the …

Patterns Formed By Coins, Andrey M. Mishchenko

Journal of Humanistic Mathematics

This article is a gentle introduction to the mathematical area known as circle packing, the study of the kinds of patterns that can be formed by configurations of non- overlapping circles. The first half of the article is an exposition of the two most important facts about circle packings, (1) that essentially whatever pattern we ask for, we may always arrange circles in that pattern, and (2) that under simple conditions on the pattern, there is an essentially unique arrangement of circles in that pattern. In the second half of the article, we consider related questions, but where we …

Unfolding Convex Polyhedra Via Radially Monotone Cut Trees, Joseph O'Rourke

Computer Science: Faculty Publications

A notion of "radially monotone" cut paths is introduced as an effective choice for finding a non-overlapping edge-unfolding of a convex polyhedron. These paths have the property that the two sides of the cut avoid overlap locally as the cut is infinitesimally opened by the curvature at the vertices along the path. It is shown that a class of planar, triangulated convex domains always have a radially monotone spanning forest, a forest that can be found by an essentially greedy algorithm. This algorithm can be mimicked in 3D and applied to polyhedra inscribed in a sphere. Although the algorithm does …

Topological And Hq Equivalence Of Prime Cyclic P-Gonal Actions On Riemann Surfaces (Corrected), Sean A. Broughton

Mathematical Sciences Technical Reports (MSTR)

Two Riemann surfaces S₁ and S₂ with conformal G-actions have topologically equivalent actions if there is a homeomorphism h : S₁ -> S₂ which intertwines the actions. A weaker equivalence may be defined by comparing the representations of G on the spaces of holomorphic q-differentials H^q(S₁) and H^q(S₂). In this note we study the differences between topological equivalence and H^q equivalence of prime cyclic actions, where S₁/G and S₂/G have genus zero.

The Failure Of The Euclidean Parallel Postulate And Distance In Hyperbolic Geometry, Jerry Lodder

Geometry

No abstract provided.

Pythagorean Combinations For Lego Robot Building., Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

This paper provides tips for LEGO robot construction involving bracing or gear meshing along a diagonal using standard Botball kits.

Cohomology Of Certain Polyhedral Product Spaces, Elizabeth A. Vidaurre

Dissertations, Theses, and Capstone Projects

The study of torus actions led to the discovery of moment-angle complexes and their generalization, polyhedral product spaces. Polyhedral products are constructed from a simplicial complex. This thesis focuses on computing the cohomology of polyhedral products given by two different classes of simplicial complexes: polyhedral joins (composed simplicial complexes) and $n$-gons. A homological decomposition of a polyhedral product developed by Bahri, Bendersky, Cohen and Gitler is used to derive a formula for the case of polyhedral joins. Moreover, methods from and results by Cai will be used to give a full description of the non-trivial cup products in a real …

Quaternion Algebras And Hyperbolic 3-Manifolds, Joseph Quinn

Dissertations, Theses, and Capstone Projects

I use a classical idea of Macfarlane to obtain a complex quaternion model for hyperbolic 3-space and its group of orientation-preserving isometries, analogous to Hamilton’s famous result on Euclidean rotations. I generalize this to quaternion models over number fields for the action of Kleinian groups on hyperbolic 3-space, using arithmetic invariants of the corresponding hyperbolic 3-manifolds. The class of manifolds to which this technique applies includes all cusped arithmetic manifolds and infinitely many commensurability classes of cusped non-arithmetic, compact arithmetic, and compact non-arithmetic manifolds. I obtain analogous results for actions of Fuchsian groups on the hyperbolic plane. I develop new …

General Relativity And Differential Geometry, Harry Hausner

Honors Theses

N/A

An Investigation Of Minimal Surfaces In So(3), Luke Bohn

Rose-Hulman Undergraduate Research Publications

Classical minimal surface theory can be thought of as dealing with the shapes of soap films stretched across wires in Euclidean space R³. This article will examine such structures in an abstract three-dimensional space, the Lie Group SO(3). This is the space of possible rotations in R³, where each rotation is expressed as three angles: two to indicate the axis of rotation and one to indicate the amount of rotation. The properties of the space SO(3) may result in minimal surfaces that behave differently than they do in R³.