Mathematics Commons^™

College Algebra Through Problem Solving (2018 Edition), Danielle Cifone, Karan Puri, Debra Masklanko, Ewa Dabkowska

Open Educational Resources

This is a self-contained, open educational resource (OER) textbook for college algebra. Students can use the book to learn concepts and work in the book themselves. Instructors can adapt the book for use in any college algebra course to facilitate active learning through problem solving. Additional resources such as classroom assessments and online/printable homework is available from the authors.

Models For Decision-Making, Steven Cosares

Open Educational Resources

No abstract provided.

Bipartite Field Theories And D-Brane Instantons, Sebastían Franco, Eduardo García-Valdecasas, Angel M. Uranga

Publications and Research

We study D-brane instantons in systems of D3-branes at toric CY 3-fold singularities. The instanton effect can be described as a backreaction modifying the geometry of the mirror configuration, in which the breaking of U(1) symmetries by the instanton translates into the recombination of gauge D-branes, which also directly generates the instanton-induced charged field theory operator. In this paper we describe the D-brane instanton backreaction in terms of a combinatorial operation in the bipartite dimer diagram of the original theory. Interestingly, the resulting theory is a general Bipartite Field Theory (BFT), defined by a bipartite graph tiling a general (possibly …

3d Printing Of 2d N = (0, 2) Gauge Theories, Sebastían Franco, Azeem Hasan

Publications and Research

We introduce 3d printing, a new algorithm for generating 2d N = (0, 2) gauge theories on D1-branes probing singular toric Calabi-Yau 4-folds using 4d N = 1 gauge theories on D3-branes probing toric Calabi-Yau 3-folds as starting points. Equivalently, this method produces brane brick models starting from brane tilings. 3d printing represents a significant improvement with respect to previously available tools, allowing a straightforward determination of gauge theories for geometries that until now could only be tackled using partial resolution. We investigate the interplay between triality, an IR equivalence between different 2d N = …

Mat 2675 Calculus Iii, Spring 2019, Oer Syllabus, Caner Koca

Open Educational Resources

No abstract provided.

Special Values Of Ibukiyama-Saito L-Functions, Brad Isaacson

Publications and Research

Following the method of Arakawa, we express the special values of an L-function originally introduced by Arakawa and Hashimoto and later generalized by Ibukiyama and Saito at non-positive integers by finite sums of products of Bernoulli polynomials. As a corollary, we prove an infinite family of identities expressing finite sums of products of Bernoulli polynomials by generalized Bernoulli numbers.

Validation Of A Lottery, Xiaona Zhou

Publications and Research

The NY Pick 4 lottery consists of four "randomly" chosen digits from 0 to 9. For this to be fair, each digit should be equally likely to occur. To determine whether this is the case, a Chi-squared goodness of fit test will be applied to historical data. This provides a quantitative way of measuring how well the observed frequency of digits matches our expectations of a fair lottery. The Chi-squared distribution gives us a number beyond which we reject fairness. However, there is another possibility. If the difference between the fair model and the observed frequency is too small, that …

Inquiry Into Saving [Mathematics], Jeanne Funk

Open Educational Resources

‘Inquiry Into Saving’ is an assignment originally designed for MAT117, which is a course for students who have been placed in basic skills mathematics and who can apply a college level course in Algebra and Trigonometry to their program. These students should, ideally, be early in their LaGuardia career, though that is frequently not the case. All, however, are novices of mathematics. The assignment was vetted and revised based on feedback from the Inquiry and Problem Solving in STEM CTL seminar and a charrette not affiliated with the seminar. Revisions addressed connections to the Inquiry and Problem Solving/Written competency/ability pair, …

World Population Dynamics: Modeling Involving Polynomial Functions [Mathematics], Mangala Kothari

Open Educational Resources

In this Inquiry and Problem Solving Assignment students are expected to reflect on their analysis and compare their results with the actual population by conducting their own elementary level research such as searching databases, gathering information and interpreting. Students are expected to comment on the scope of the mathematical model and connect their learning in context to the real-world problem. The assignment includes open-ended questions such as: Write a paragraph about the dynamics of population for the world. What could be some of the possible parameters that contribute to the change in population size? Reflect on what you learned by …

Asymptotic Counting Formulas For Markoff-Hurwitz Tuples, Ryan Ronan

Dissertations, Theses, and Capstone Projects

The Markoff equation is a Diophantine equation in 3 variables first studied in Markoff's celebrated work on indefinite binary quadratic forms. We study the growth of solutions to an n variable generalization of the Markoff equation, which we refer to as the Markoff-Hurwitz equation. We prove explicit asymptotic formulas counting solutions to this generalized equation with and without a congruence restriction. After normalizing and linearizing the equation, we show that all but finitely many solutions appear in the orbit of a certain semigroup of maps acting on finitely many root solutions. We then pass to an accelerated subsemigroup of maps …

Some Results In Combinatorial Number Theory, Karl Levy

Dissertations, Theses, and Capstone Projects

The first chapter establishes results concerning equidistributed sequences of numbers. For a given $d\in\mathbb{N}$, $s(d)$ is the largest $N\in\mathbb{N}$ for which there is an $N$-regular sequence with $d$ irregularities. We compute lower bounds for $s(d)$ for $d\leq 10000$ and then demonstrate lower and upper bounds $\left\lfloor\sqrt{4d+895}+1\right\rfloor\leq s(d)< 24801d^{3} + 942d^{2} + 3$ for all $d\geq 1$. In the second chapter we ask if $Q(x)\in\mathbb{R}[x]$ is a degree $d$ polynomial such that for $x\in[x_k]=\{x_1,\cdots,x_k\}$ we have $|Q(x)|\leq 1$, then how big can its lead coefficient be? We prove that there is a unique polynomial, which we call $L_{d,[x_k]}(x)$, with maximum lead coefficient under these constraints and construct an algorithm that generates $L_{d,[x_k]}(x)$.

Interstructure Lattices And Types Of Peano Arithmetic, Athar Abdul-Quader

Dissertations, Theses, and Capstone Projects

The collection of elementary substructures of a model of PA forms a lattice, and is referred to as the substructure lattice of the model. In this thesis, we study substructure and interstructure lattices of models of PA. We apply techniques used in studying these lattices to other problems in the model theory of PA.

In Chapter 2, we study a problem that had its origin in Simpson, who used arithmetic forcing to show that every countable model of PA has an expansion to PA^∗ that is pointwise definable. Enayat later showed that there are 2^ℵ₀ models with …

Involute Analysis: Virtual Discourse, Memory Systems And Archive In The Involutes Of Thomas De Quincey, Kimberley A. Garcia

Dissertations, Theses, and Capstone Projects

Thomas De Quincey’s involutes inform metaphysical thought on memory and language, particularly concerning multiplicity and the virtual, repetition and difference. When co-opting the mathematic and mechanic involute in Suspiria de Profundis, De Quincey generates an interdisciplinary matrix for the semiotics underpinning his philosophy of language and theory of memory and experience. Involutes entangle and reproduce. De Quincey’s involute exposes the concrete and actual through which all experience accesses the abstract or virtual. The materiality of their informatics and technics provides a literary model and theoretical precursor to a combination of archive and systems theory. The textuality of involute system(s)—both …

Morphogenesis And Growth Driven By Selection Of Dynamical Properties, Yuri Cantor

Dissertations, Theses, and Capstone Projects

Organisms are understood to be complex adaptive systems that evolved to thrive in hostile environments. Though widely studied, the phenomena of organism development and growth, and their relationship to organism dynamics is not well understood. Indeed, the large number of components, their interconnectivity, and complex system interactions all obscure our ability to see, describe, and understand the functioning of biological organisms.

Here we take a synthetic and computational approach to the problem, abstracting the organism as a cellular automaton. Such systems are discrete digital models of real-world environments, making them more accessible and easier to study then their physical world …

Some Metric Properties Of The Teichmüller Space Of A Closed Set In The Riemann Sphere, Nishan Chatterjee

Dissertations, Theses, and Capstone Projects

Let E be an infinite closed set in the Riemann sphere, and let T(E) denote its Teichmüller space. In this dissertation we study some metric properties of T(E). We prove Earle's form of Teichmüller contraction for T(E), holomorphic isometries from the open unit disk into T(E), extend Earle's form of Schwarz's lemma for classical Teichmüller spaces to T(E), and finally study complex geodesics and unique extremality for T(E).

Solving Liouville-Type Problems On Manifolds With Poincar´E-Sobolev Inequality By Broadening Q-Energy From Finite To Infinite, Lina Wu

Publications and Research

The aim of this article is to investigate Liouville-type problems on complete non-compact Riemannian manifolds with Poincar´e-Sobolev Inequality. Two significant technical breakthroughs are demonstrated in research findings. The first breakthrough is an extension from non-flat manifolds with non-negative Ricci curvatures to curved manifolds with Ricci curvatures varying among negative values, zero, and positive values. Poincar´e-Sobolev Inequality has been applied to overcome difficulties of an extension on manifolds. Poincar´e-Sobolev Inequality has offered a special structure on curved manifolds with a mix of Ricci curvature signs. The second breakthrough is a generalization of q-energy from finite to infinite. At this point, a …

Elimination For Systems Of Algebraic Differential Equations, Richard Gustavson

Dissertations, Theses, and Capstone Projects

We develop new upper bounds for several effective differential elimination techniques for systems of algebraic ordinary and partial differential equations. Differential elimination, also known as decoupling, is the process of eliminating a fixed subset of unknown functions from a system of differential equations in order to obtain differential algebraic consequences of the original system that do not depend on that fixed subset of unknowns. A special case of differential elimination, which we study extensively, is the question of consistency, that is, if the given system of differential equations has a solution. We first look solely at the ``algebraic data" of …

Joint Laver Diamonds And Grounded Forcing Axioms, Miha Habič

Dissertations, Theses, and Capstone Projects

In chapter 1 a notion of independence for diamonds and Laver diamonds is investigated. A sequence of Laver diamonds for κ is joint if for any sequence of targets there is a single elementary embedding j with critical point κ such that each Laver diamond guesses its respective target via j. In the case of measurable cardinals (with similar results holding for (partially) supercompact cardinals) I show that a single Laver diamond for κ yields a joint sequence of length κ, and I give strict separation results for all larger lengths of joint sequences. Even though the principles get …

Manifold Convergence: Sewing Sequences Of Riemannian Manifolds With Positive Or Nonnegative Scalar Curvature, Jorge E. Basilio

Dissertations, Theses, and Capstone Projects

In this thesis, we develop a new method of performing surgery on 3-dimensional manifolds called "sewing" and use this technique to construct sequences of Riemannian manifolds with positive or nonnegative scalar curvature. The foundation of our method is a strengthening of the Gromov-Lawson tunnel construction which guarantees the existence of “tiny” and arbitrarily “short” tunnels. We study the limits of sequences of sewn spaces under the Gromov-Hausdorff (GH) and Sormani-Wenger Instrinsic-Flat (SWIF) distances and discuss to what extent the notion of scalar curvature extends to these spaces. We give three applications of the sewing technique to demonstrate that stability theorems …

Rewriting Methods In Groups With Applications To Cryptography, Gabriel Zapata

Dissertations, Theses, and Capstone Projects

In this thesis we describe how various rewriting methods in combinatorial group theory can be used to diffuse information about group elements, which makes it possible to use these techniques as an important constituent in cryptographic primitives. We also show that, while most group-based cryptographic primitives employ the complexity of search versions of algorithmic problems in group theory, it is also possible to use the complexity of decision problems, in particular the word problem, to claim security of relevant protocols.

Solving Algorithmic Problems In Finitely Presented Groups Via Machine Learning, Jonathan Gryak

Dissertations, Theses, and Capstone Projects

Machine learning and pattern recognition techniques have been successfully applied to algorithmic problems in free groups. In this dissertation, we seek to extend these techniques to finitely presented non-free groups, in particular to polycyclic and metabelian groups that are of interest to non-commutative cryptography.

As a prototypical example, we utilize supervised learning methods to construct classifiers that can solve the conjugacy decision problem, i.e., determine whether or not a pair of elements from a specified group are conjugate. The accuracies of classifiers created using decision trees, random forests, and N-tuple neural network models are evaluated for several non-free groups. …

Counting Rational Points, Integral Points, Fields, And Hypersurfaces, Joseph Gunther

Dissertations, Theses, and Capstone Projects

This thesis comes in four parts, which can be read independently of each other.

In the first chapter, we prove a generalization of Poonen's finite field Bertini theorem, and use this to show that the obvious obstruction to embedding a curve in some smooth surface is the only obstruction over perfect fields, extending a result of Altman and Kleiman. We also prove a conjecture of Vakil and Wood on the asymptotic probability of hypersurface sections having a prescribed number of singularities.

In the second chapter, for a fixed base curve over a finite field of characteristic at least 5, we …

Turaev Surfaces And Toroidally Alternating Knots, Seungwon Kim

Dissertations, Theses, and Capstone Projects

In this thesis, we study knots and links via their alternating diagrams on closed orientable surfaces. Every knot or link has such a diagram by a construction of Turaev, which is called the Turaev surface of the link. Links that have an alternating diagram on a torus were defined by Adams as toroidally alternating. For a toroidally alternating link, the minimal genus of its Turaev surface may be greater than one. Hence, these surfaces provide different topological measures of how far a link is from being alternating.

First, we classify link diagrams with Turaev genus one and two in terms …

Intercusp Geodesics And Cusp Shapes Of Fully Augmented Links, Rochy Flint

Dissertations, Theses, and Capstone Projects

We study the geometry of fully augmented link complements in the 3-sphere by looking at their link diagrams. We extend the method introduced by Thistlethwaite and Tsvietkova to fully augmented links and define a system of algebraic equations in terms of parameters coming from edges and crossings of the link diagrams. Combining it with the work of Purcell, we show that the solutions to these algebraic equations are related to the cusp shapes of fully augmented link complements. As an application we use the cusp shapes to study the commensurability classes of fully augmented links.

Diophantine Approximation And The Atypical Numbers Of Nathanson And O'Bryant, David Seff

Dissertations, Theses, and Capstone Projects

For any positive real number $\theta > 1$, and any natural number $n$, it is obvious that sequence $\theta^{1/n}$ goes to 1. Nathanson and O'Bryant studied the details of this convergence and discovered some truly amazing properties. One critical discovery is that for almost all $n$, $\displaystyle\floor{\frac{1}{\fp{\theta^{1/n}}}}$ is equal to $\displaystyle\floor{\frac{n}{\log\theta}-\frac{1}{2}}$, the exceptions, when $n > \log_2 \theta$, being termed atypical $n$ (the set of which for fixed $\theta$ being named $\mcA_\theta$), and that for $\log\theta$ rational, the number of atypical $n$ is finite. Nathanson left a number of questions open, and, subsequently, O'Bryant developed a theory to answer most of these …

Asymptotics For Primitive Roots Producing Polynomials And Primitive Points On Elliptic Curves, Nelson Carella

Publications and Research

Let $x \geq 1$ be a large number, let $f(n) \in \mathbb{Z}[x]$ be a prime producing polynomial of degree $\deg(f)=m$, and let \(u\neq \pm 1,v^2\) be a fixed integer. Assuming the Bateman-Horn conjecture, an asymptotic counting function for the number of primes $p=f(n) \leq x$ with a fixed primitive root $u$ is derived in this note. This asymptotic result has the form $$\pi_f(x)=\# \{ p=f(n)\leq x:\ord_p(u)=p-1 \}=\left (c(u,f)+ O\left (1/\log x )\right ) \right )x^{1/m}/\log x$$, where $c(u,f)$ is a constant depending on the polynomial and the fixed integer. Furthermore, new results for the asymptotic order of elliptic primes with …

Volatility Analysis Of Us Equity And Federal Funds Markets Through The Recent Financial Crisis And Recovery Periods, Based On Release Of Fomc Meeting Statements And Minutes, Hanxiao Yue

Student Theses and Dissertations

The Federal Open Market Committee (FOMC) is the principal maker of monetary policy in the United States. The main instrument of monetary policy is the target federal funds rate, which is de facto the base interest rate of the US economy. The FOMC meets around eight times a year to discuss the economic outlook and decide on this metric. Throughout most of its history, the Fed has been opaque about how it decides on monetary policy, but in recent years it has adopted a more transparent disclosure policy. For each FOMC meeting, it currently releases a brief statement immediately after …

Algorithmically Complex Residually Finite Groups, Olga Kharlampovich, Alexei Myanikov, Mark Sapir

Publications and Research

We construct the first examples of algorithmically complex finitely presented residually finite groups and the first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn functions, and arbitrarily large depth functions. The groups are solvable of class 3.

Equivalence Between A Harmonic Form And A Closed Co-Closed Form In Both Lq And Non-Lq Spaces, Lina Wu

Publications and Research

For a differential k-form ω on a complete non-compact manifold, we establish an equivalent relation between a harmonic form and a closed co-closed form. We extend this equivalence from ω in L^2 spaces to ω with 2-balanced growth including L^2 spaces and non-L^2 spaces. Especially for a simple differential k-form ¯ω on a complete non-compact manifold, we generalize this equivalence from ¯ω in L^q spaces to ¯ω with 2-balanced growth including L^q spaces and non-L^q spaces for 2 ≤ q < 3. Our research findings recapture the work of Andreotti and Vesentini. Our ideas and calculation methods in this paper could provide a new way of broadening L^q spaces to non-L^q spaces in a variety of energy for differential forms.

The Proscriptive Principle And Logics Of Analytic Implication, Thomas M. Ferguson

Dissertations, Theses, and Capstone Projects

The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the Prior Analytics motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the analysis of concepts, a term that presupposes—through the root ἀνά + λύω —a mereological background.

In the 1930s, such considerations led William T. Parry to attempt to codify this notion of logical containment in his system of analytic implication AI. Parry’s original system AI was later expanded to the system PAI. The hallmark of Parry’s systems—and of …