Other Mathematics Commons^™

The Stationary Phase Method For Real Analytic Geometry, Domenico Napoletani, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We prove that the existence of isolated solutions of systems of equations of analytical functions on compact real domains in R^p, is equivalent to the convergence of the phase of a suitable complex valued integral I(h) for h→∞. As an application, we then use this result to prove that the problem of establishing the irrationality of the value of an analytic function F(x) at a point x₀ can be rephrased in terms of a similar phase convergence.

The Varieties Of Indispensability Arguments, Marco Panza, Andrea Sereni

MPP Published Research

The indispensability argument (IA) comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and …

Smooth Representation Of Functions On Non-Periodic Domains By Means Of The Fourier Continuation Method, Nicholas Rubel, David Bilyeu, Justin Koo

STAR Program Research Presentations

This report examines a new methodology in solving Partial Differential Equations (PDEs) numerically. The report also studies the accuracy of this new method as a PDE solver. This new Fourier Continuation (FC) method is one of a few that avoids the well-known Gibbs Phenomenon, which is the overestimation or underestimation of a function. These estimations are oscillations around a “jump” when a non-periodic function is expressed in terms of sines and cosines. Instead, the FC algorithm creates a smooth, periodic extension of a function over a general domain, as demonstrated by the many examples presented here. The FC algorithm was …

Linear Algebra, Daniel Scully

Math Faculty Publications

Table of Contents:

1. Systems of Linear Equations and Matrices

• Systems of Linear Equations
• Elementary Row Operations
• Row Reduction and Reduced Row-Echelon Form
• Solutions of Systems of Linear Equations
• Matrix Operations
• Matrix Inverses

2. Euclidean 2-Space and 3-Space

• Vectors in the Plane and in Space
• The Dot Product
• Cross Product
• Lines in Space
• Planes in Space

3. Determinants

• The Definition of Determinant
• Elementary Row Operations and the Determinant
• Elementary Matrices and the Determinant
• Applications of the Determinant

4. Vector Spaces and Subspaces

• Vector Spaces
• Subspaces
• Linear Dependence and Independence
• Basis and Dimension

5. Linear Transformations

• Definition of Linear Transformation
• The …

Introduction To Functions And Generality Of Logic. Reflections On Frege's And Dedekind's Logicisms, Hourya Benis Sinaceur, Marco Panza, Gabriel Sandu

MPP Published Research

This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege’s, Ramsey’s and Russell’s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind’s and Frege’s logicisms. The first chapter explains how, although he shares Frege’s aim at substituting logical standards of rigor to intuitive …

Newton On Indivisibles, Antoni Malet, Marco Panza

MPP Published Research

Though Wallis’s Arithmetica infinitorum was one of Newton’s major sources of inspiration during the first years of his mathematical education, indivisibles were not a central feature of his mathematical production.

Wallis On Indivisibles, Antoni Malet, Marco Panza

MPP Published Research

The present chapter is devoted, first, to discuss in detail the structure and results of Wallis’s major and most influential mathematical work, the Arithmetica Infinitorum (Wallis 1656). Next we will revise Wallis’s views on indivisibles as articulated in his answer to Hobbes’s criticism in the early 1670s. Finally, we will turn to his discussion of the proper way to understand the angle of contingence in the first half of the 1680s. As we shall see, there are marked differences in the status that indivisibles seem to enjoy in Wallis’s thought along his mathematical career. These differences correlate with the changing …

Manipulating The Mass Distribution Of A Golf Putter, Paul J. Hessler Jr.

Senior Honors Projects

Putting may appear to be the easiest but is actually the most technically challenging part of the game of golf. The ideal putting stroke will remain parallel to its desired trajectory both in the reverse and forward direction when the putter head is within six inches of the ball. Deviation from this concept will cause a cut or sidespin on the ball that will affect the path the ball will travel.

Club design plays a large part in how well a player will be able to achieve a straight back and straight through club head path near impact; specifically the …

Efficient Coupling For Random Walk With Redistribution, Elizabeth Tripp

Honors Scholar Theses

What can be said on the convergence to stationarity of a finite state Markov chain that behaves 'locally' like a nearest-neighbor random walk on the set of integers? In this work, we looked to obtain sharp bounds for the rate of convergence to stationarity for a particular non-symmetric Markov chain. Our Markov chain is a variant of the simple symmetric random walk on the state space {0, ..., N} obtained by allowing transitions from 0 to J₀ and from N to J_N. We first looked at the case where J₀ and J_N are fixed, deterministic …

Invariant Basis Number And Basis Types For C*-Algebras, Philip M. Gipson

Department of Mathematics: Dissertations, Theses, and Student Research

We develop the property of Invariant Basis Number (IBN) in the context of C*-algebras and their Hilbert modules. A complete K-theoretic characterization of C*- algebras with IBN is given. A scheme for classifying C*-algebras which do not have IBN is given and we prove that all such classes are realized. We investigate the invariance of IBN, or lack thereof, under common C*-algebraic construction and perturbation techniques. Finally, applications of Invariant Basis Number to the study of C*-dynamical systems and the classification program are investigated.

Adviser: David Pitts

Bioinformatic Game Theory And Its Application To Cluster Multi-Domain Proteins, Brittney Keel

Department of Mathematics: Dissertations, Theses, and Student Research

The exact evolutionary history of any set of biological sequences is unknown, and all phylogenetic reconstructions are approximations. The problem becomes harder when one must consider a mix of vertical and lateral phylogenetic signals. In this dissertation we propose a game-theoretic approach to clustering biological sequences and analyzing their evolutionary histories. In this context we use the term evolution as a broad descriptor for the entire set of mechanisms driving the inherited characteristics of a population. The key assumption in our development is that evolution tries to accommodate the competing forces of selection, of which the conservation force seeks to …

Solving Ordinary Differential Equations Using Differential Forms And Lie Groups, Richard M. Shumate

Senior Honors Theses

Differential equations have bearing on practically every scientific field. Though they are prevalent in nature, they can be challenging to solve. Most of the work done in differential equations is dependent on the use of many methods to solve particular types of equations. Sophus Lie proposed a modern method of solving ordinary differential equations in the 19th century along with a coordinate free variation of finding the infinitesimal generator by combining the influential work of Élie Cartan among others in the field of differential geometry. The driving idea behind using symmetries to solve differential equations is that there exists a …

Transforming Precalculus Instruction: Evidence-Based Course Design, Wendy M. Smith

DBER Speaker Series

The UNL Mathematics Department has been focused on transforming precalculus instruction since 2012, with a goal of greater levels of student success. A short-term measure of student success is the passing rate (C or better), which has jumped from an average of 62% (2007-2011) to 80% for the past two falls. A longer-term measure of student success is recruiting and retaining undergraduates to STEM disciplines and careers. In this talk I will share specifics of the reform efforts (the who-what-when-where-why-and-how), and also share preliminary results from the research we have simultaneously been conducting into the reform efforts.

Possible Bias In Asset Valuations: An Application Of The Fraud Risk Triangle To Divorce Cases, Jennifer Tomasetti

Honors Projects in Accounting

No abstract provided.

A Unified And Preserved Dirichlet Boundary Treatment For The Cell-Centered Finite Volume Discrete Boltzmann Method, Leitao Chen, Laura A. Schaefer

Publications

A new boundary treatment is proposed for the finite volume discrete Boltzmann method (FVDBM) that can be used for accurate simulations of curved boundaries and complicated flow conditions. First, a brief review of different boundary treatments for the general Boltzmann simulations is made in order to primarily explain what type of boundary treatment will be developed in this paper for the cell-centered FVDBM. After that, the new boundary treatment along with the cell-centered FVDBM model is developed in detail. Next, the proposed boundary treatment is applied to a series of numerical tests with a detailed discussion of its qualitative and …

Calculus For Everyone, Sandra Kingan, Brooklyn College Library And Academic It

Open Educational Resources

Professor Kingan’s motivation for writing her free Calculus I textbook was to help address the departments high failure rates in Calculus. Along with another CUNY initiative to offer Calculus workshops in advance of taking the course, Kingan’s concise textbook in Calculus I offers students inside and outside of CUNY an opportunity to prepare for Calculus I at their own pace. She also believes that by providing free access to this material she could help to overcome some of the inequity students experience when Calculus is not offered in their high school. The textbook was written specifically for this pilot project. …

Clique Topology Reveals Intrinsic Geometric Structure In Neural Correlations, Chad Giusti, Eva Pastalkova, Carina Curto, Vladimir Itskov

Department of Mathematics: Faculty Publications

Detecting meaningful structure in neural activity and connectivity data is challenging in the presence of hidden nonlinearities, where traditional eigenvalue-based methods may be misleading. We introduce a novel approach to matrix analysis, called clique topology, that extracts features of the data invariant under nonlinear monotone transformations. These features can be used to detect both random and geometric structure, and depend only on the relative ordering of matrix entries. We then analyzed the activity of pyramidal neurons in rat hippocampus, recorded while the animal was exploring a 2D environment, and confirmed that our method is able to detect geometric organization using …

Scrambled Squares, Jeremiah Farrell, Karen Farrell

Scholarship and Professional Work - LAS

Jeremiah's puzzle "Scrambled Squares", which was exchanged at the 2015 Ottawa International Puzzle Party. 100 puzzle designers create 100 copies of their puzzle and pass it out at the party and exchange them. This puzzle is also manufactured by Kate Jones as "Scrambled Squares".

Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil

Engineering Faculty Articles and Research

We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.

Partial Orders On Partial Isometries, William T. Ross, Stephan Ramon Garcia, Robert T. W. Martin

Department of Math & Statistics Faculty Publications

This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than another with respect to these pre-orders is equivalent to the existence of a bounded (or isometric) multiplier between two natural reproducing kernel Hilbert spaces of analytic functions. For large classes of partial isometries these spaces can be realized as the well-known model subspaces and deBranges-Rovnyak spaces. This characterization is applied to investigate properties of these pre-orders and the equivalence classes they generate.

Chebyshev Polynomials And The Frohman-Gelca Formula, Heather M. Russell, Hoel Queffelec

Department of Math & Statistics Faculty Publications

Using Chebyshev polynomials, C. Frohman and R. Gelca introduced a basis of the Kauffman bracket skein module of the torus. This basis is especially useful because the Jones–Kauffman product can be described via a very simple Product-to-Sum formula. Presented in this work is a diagrammatic proof of this formula, which emphasizes and demystifies the role played by Chebyshev polynomials.

A Survey On Reverse Carleson Measures, Emmanuel Fricain, Andreas Hartmann, William T. Ross

Department of Math & Statistics Faculty Publications

This is a survey on reverse Carleson measures for various Hilbert spaces of analytic functions. These spaces include the Hardy, Bergman, certain harmonically weighted Dirichlet, Paley-Wiener, Fock, model (backward shift invariant), and de Branges-Rovnyak spaces. The reverse Carleson measure for backward shift invariant subspaces in the non-Hilbert situation is new.

Weak Parallelogram Laws On Banach Spaces And Applications To Prediction, R. Cheng, William T. Ross

Department of Math & Statistics Faculty Publications

This paper concerns a family of weak parallelogram laws for Banach spaces. It is shown that the familiar Lebesgue spaces satisfy a range of these inequalities. Connections are made to basic geometric ideas, such as smoothness, convexity, and Pythagorean-type theorems. The results are applied to the linear prediction of random processes spanning a Banach space. In particular, the weak parallelogram laws furnish coefficient growth estimates, Baxter-type inequalities, and criteria for regularity.

Mod Planes: A New Dimension To Modulo Theory, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book for the first time authors study mod planes using modulo intervals [0, m); 2 ≤ m ≤ ∞. These planes unlike the real plane have only one quadrant so the study is carried out in a compact space but infinite in dimension. We have given seven mod planes viz real mod planes (mod real plane) finite complex mod plane, neutrosophic mod plane, fuzzy mod plane, (or mod fuzzy plane), mod dual number plane, mod special dual like number plane and mod special quasi dual number plane. These mod planes unlike real plane or complex plane or neutrosophic …

Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil

Engineering Faculty Articles and Research

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …

Approximation Of Nested Fixpoints, Alexander Kurz

Engineering Faculty Articles and Research

The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products, coproducts and fixpoints. We argue that the right methodology is on one hand coalgebraic (to deal with possible nontermination and infinite data) and on the other hand 2-categorical (to deal with parameters in a disciplined manner). We prove a coalgebraic version of Bekic lemma that allows us to reduce simultaneous fixpoints to a single fix point. Thus a possibly infinite object of interest is …

Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”.

Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot

Engineering Faculty Articles and Research

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …

Erratum To “Support Varieties And Representation Type Of Small Quantum Groups”, Jorg Feldvoss, Sarah Witherspoon

University Faculty and Staff Publications

Some of the general results in the paper require an additional hypothesis, such as quasitriangularity. Applications to specific types of Hopf algebras are correct, as some of these are quasitriangular, and for those that are not, the Hochschild support variety theory may be applied instead.

Pruebas Entimemáticas Y Pruebas Canónicas En La Geometría Plana De Euclides, Marco Panza, Abel Lassalle Casanave

MPP Published Research

Dado que la aplicación del Postulado I.2 no es uniforme en Elementos, ¿de qué manera debería ser aplicado en la geometría plana de Euclides? Además de legitimar la pregunta misma desde la perspectiva de una filosofía de la práctica matemática, nos proponemos esbozar una perspectiva general de análisis conceptual de textos matemáticos que involucra una noción ampliada de la teoría matemática como sistema de autorizaciones o potestades y una noción de prueba que depende del auditorio.

Since the application of Postulate I.2 in the Elements is not uniform, one could wonder in what way should it be applied in Euclid’s …