Physical Sciences and Mathematics Commons^™

Extended Book Review: Mathematics In Popular Culture: Essays On Appearances In Film, Fiction, Games, Television And Other Media, Edited By Jessica K. Sklar And Elizabeth S. Sklar; Loving+Hating Mathematics: Challenging The Myths Of Mathematical Life, By Reuben Hersh And Vera John-Steiner; Mathematicians: An Outer View Of The Inner World, By Mariana Cook, Gizem Karaali

Pomona Faculty Publications and Research

I was delighted to have the opportunity to review three books on a topic near and dear to my heart. In recent years it has become a passion of mine to think of and speak about the place of mathematics in the real world, in the world of those who are not doing mathematics for a living. I care about the applications and the implications of mathematics, but more than that, I care about the feelings and the impressions attached to it. Often math anxiety or skepticism comes up; the latter may be due to how frequently others (mis)use statistics, …

Quotients Of Gaussian Primes, Stephan Ramon Garcia

Pomona Faculty Publications and Research

It has been observed many times, both in the Monthly and elsewhere, that the set of all quotients of prime numbers is dense in the positive real numbers. In this short note we answer the related question: "Is the set of all quotients of Gaussian primes dense in the complex plane?"

Kaczmarz Algorithm With Soft Constraints For User Interface Layout, Noreen Jamil, Deanna Needell, Johannes Muller, Christof Lutteroth, Gerald Weber

CMC Faculty Publications and Research

The Kaczmarz method is an iterative method for solving large systems of equations that projects iterates orthogonally onto the solution space of each equation. In contrast to direct methods such as Gaussian elimination or QR-factorization, this algorithm is efficient for problems with sparse matrices, as they appear in constraint-based user interface (UI) layout specifications. However, the Kaczmarz method as described in the literature has its limitations: it considers only equality constraints and does not support soft constraints, which makes it inapplicable to the UI layout problem.

In this paper we extend the Kaczmarz method for solving specifications containing soft constraints, …

Two-Part Reconstruction In Compressed Sensing, Yanting Ma, Dror Baron, Deanna Needell

CMC Faculty Publications and Research

Two-part reconstruction is a framework for signal recovery in compressed sensing (CS), in which the advantages of two different algorithms are combined. Our framework allow s to accelerate the reconstruction procedure without compromising the reconstruction quality. To illustrate the efficacy of ou r two-part approach, we extend the author’s previous Sudocodes algorithm and make it robust to measurement noise. In a 1- bit CS setting, promising numerical results indicate that our algorithm offers both a reduction in run-time and improvement in reconstruction quality

Review: Unitary Equivalence To Truncated Toeplitz Operators, Stephan Ramon Garcia

Pomona Faculty Publications and Research

No abstract provided.

Book Review: Encyclopedia Of Mathematics And Society, Gizem Karaali

Pomona Faculty Publications and Research

The Encyclopedia of Mathematics and Society is an impressive achievement of collective effort and serious thought, an amazing collection of delightful, unexpected essays, a sourcebook for students and teachers alike. The experience of reading the EMS was, for this encyclopedia enthusiast, enlightening and enjoyable.

If any librarians out there are still wondering, let me be clear: I strongly recommend this encyclopedia. For individuals, the expense might well be an initial turn-off; keeping in mind that the hard copy books come with online access to the same content might alleviate some of the pain.

As for me? I expect to enjoy …

Equation, Nilanjan De

Journal of Humanistic Mathematics

No abstract provided.

Harmonics In The Library, Charles Coppin

Journal of Humanistic Mathematics

Students of traditional calculus courses can discover significant mathematics original to themselves, especially if these courses are taught in a way that allows shafts of mathematical light to shine through. We tell a story of such an incident in the form of a dialogue between two fictional students. Our students, on their own, discover (or rediscover) a well-known problem based on the harmonic series. We believe opportunities for such discoveries are greater if students have had some experience with inquiry-based learning prior to entering a traditional course. More broadly, we aim to demonstrate what can occur when students feel no …

A Math Therapy Exercise, Gary Stogsdill

Journal of Humanistic Mathematics

Math anxiety prevents many liberal arts undergraduates from appreciating mathematics and realizing their potential in math courses and math-related endeavors. The author describes his development and use of a "math therapy exercise" that enables students to move beyond the paralyzing grip of math anxiety and cultivate a more positive relationship with mathematics.

Rock Art Tallies: Mathematics On Stone In Western North America, James V. Rauff

Journal of Humanistic Mathematics

Western North America abounds with rock art sites. From Alberta to New Mexico and from Minnesota to California one can find the enigmatic rock paintings and rock carvings left by the pre-Columbian inhabitants. The images left behind on the rocks of the American plains and deserts are those of humanoids and animals, arrows and spears, and a variety of geometric shapes and abstract designs. Also included, in great numbers, are sequences of repeated shapes and marks that scholars have termed "tallies." The tallies are presumed to be an ancient accounting of something or some things. This article examines rock art …

Signal Space Cosamp For Sparse Recovery With Redundant Dictionaries, Mark A. Davenport, Deanna Needell, Michael B. Wakin

CMC Faculty Publications and Research

Compressive sensing (CS) has recently emerged as a powerful framework for acquiring sparse signals. The bulk of the CS literature has focused on the case where the acquired signal has a sparse or compressible representation in an orthonormal basis. In practice, however, there are many signals that cannot be sparsely represented or approximated using an orthonormal basis, but that do have sparse representations in a redundant dictionary. Standard results in CS can sometimes be extended to handle this case provided that the dictionary is sufficiently incoherent or well conditioned, but these approaches fail to address the case of a truly …

Lattice Point Counting And Height Bounds Over Number Fields And Quaternion Algebras, Lenny Fukshansky, Glenn Henshaw

CMC Faculty Publications and Research

An important problem in analytic and geometric combinatorics is estimating the number of lattice points in a compact convex set in a Euclidean space. Such estimates have numerous applications throughout mathematics. In this note, we exhibit applications of a particular estimate of this sort to several counting problems in number theory: counting integral points and units of bounded height over number fields, counting points of bounded height over positive definite quaternion algebras, and counting points of bounded height with a fixed support over global function fields. Our arguments use a collection of height comparison inequalities for heights over a number …

Super-Resolution Via Superset Selection And Pruning, Laurent Demanet, Deanna Needell, Nam Nguyen

CMC Faculty Publications and Research

We present a pursuit-like algorithm that we call the "superset method" for recovery of sparse vectors from consecutive Fourier measurements in the super-resolution regime. The algorithm has a subspace identification step that hinges on the translation invariance of the Fourier transform, followed by a removal step to estimate the solution's support. The superset method is always successful in the noiseless regime (unlike L1-minimization) and generalizes to higher dimensions (unlike the matrix pencil method). Relative robustness to noise is demonstrated numerically.

Using Correlated Subset Structure For Compressive Sensing Recovery, Atul Divekar, Deanna Needell

CMC Faculty Publications and Research

Compressive sensing is a methodology for the reconstruction of sparse or compressible signals using far fewer samples than required by the Nyquist criterion. However, many of the results in compressive sensing concern random sampling matrices such as Gaussian and Bernoulli matrices. In common physically feasible signal acquisition and reconstruction scenarios such as super-resolution of images, the sensing matrix has a non-random structure with highly correlated columns. Here we present a compressive sensing recovery algorithm that exploits this correlation structure. We provide algorithmic justification as well as empirical comparisons.

Entropy Driven Crystal Formation On Highly Strained Substrates, John R. Savage, Stefan F. Hopp, Rajesh Ganapathy, Sharon J. Gerbode, Andreas Heuer, Itai Cohen

All HMC Faculty Publications and Research

In heteroepitaxy, lattice mismatch between the deposited material and the underlying surface strongly affects nucleation and growth processes. The effect of mismatch is well studied in atoms with growth kinetics typically dominated by bond formation with interaction lengths on the order of one lattice spacing. In contrast, less is understood about how mismatch affects crystallization of larger particles, such as globular proteins and nanoparticles, where interparticle interaction energies are often comparable to thermal fluctuations and are short ranged, extending only a fraction of the particle size. Here, using colloidal experiments and simulations, we find particles with short-range attractive interactions form …

Mathematical Modeling Of The Regulatory T Cell Effects On Renal Cell Carcinoma Treatment, Lisette G. De Pillis, Trevor Caldwell '12, Elizabeth Sarapata '13, Heather Williams '12

All HMC Faculty Publications and Research

We present a mathematical model to study the effects of the regulatory T cells (Treg) on Renal Cell Carcinoma (RCC) treatment with sunitinib. The drug sunitinib inhibits the natural self-regulation of the immune system, allowing the effector components of the immune system to function for longer periods of time. This mathematical model builds upon our non-linear ODE model by de Pillis et al. (2009) [13] to incorporate sunitinib treatment, regulatory T cell dynamics, and RCC-specific parameters. The model also elucidates the roles of certain RCC-specific parameters in determining key differences between in silico patients whose immune profiles allowed them to …

B Cell Chronic Lymphocytic Leukemia - A Model With Immune Response, Seema Nanda, Lisette G. De Pillis, Ami E. Radunskaya

All HMC Faculty Publications and Research

B cell chronic lymphocytic leukemia (B-CLL) is known to have substantial clinical heterogeneity. There is no cure, but treatments allow for disease management. However, the wide range of clinical courses experienced by B-CLL patients makes prognosis and hence treatment a significant challenge. In an attempt to study disease progression across different patients via a unified yet flexible approach, we present a mathematical model of B-CLL with immune response, that can capture both rapid and slow disease progression. This model includes four different cell populations in the peripheral blood of humans: B-CLL cells, NK cells, cytotoxic T cells and helper T …

Near-Optimal Compressed Sensing Guarantees For Total Variation Minimization, Deanna Needell, R. Ward

CMC Faculty Publications and Research

Consider the problem of reconstructing a multidimensional signal from an underdetermined set of measurements, as in the setting of compressed sensing. Without any additional assumptions, this problem is ill-posed. However, for signals such as natural images or movies, the minimal total variation estimate consistent with the measurements often produces a good approximation to the underlying signal, even if the number of measurements is far smaller than the ambient dimensionality. This paper extends recent reconstruction guarantees for two-dimensional images x ∈ ℂN2 to signals x ∈ ℂNd of arbitrary dimension d ≥ 2 and to isotropic total variation problems. In this …

Eradicating Malaria: Improving A Multiple-Timestep Optimization Model Of Malarial Intervention Policy, Taryn M. Ohashi

Scripps Senior Theses

Malaria is a preventable and treatable blood-borne disease whose complications can be fatal. Although many interventions exist in order to reduce the impacts of malaria, the optimal method of distributing these interventions in a geographical area with limited resources must be determined. This thesis refines a model that uses an integer linear program and a compartmental model of epidemiology called an SIR model of ordinary differential equations. The objective of the model is to find an intervention strategy over multiple time steps and multiple geographic regions that minimizes the number of days people spend infected with malaria. In this paper, …

A Discrete Approach To The Poincare-Miranda Theorem, Connor Thomas Ahlbach

HMC Senior Theses

The Poincare-Miranda Theorem is a topological result about the existence of a zero of a function under particular boundary conditions. In this thesis, we explore proofs of the Poincare-Miranda Theorem that are discrete in nature - that is, they prove a continuous result using an intermediate lemma about discrete objects. We explain a proof by Tkacz and Turzanski that proves the Poincare-Miranda theorem via the Steinhaus Chessboard Theorem, involving colorings of partitions of n-dimensional cubes. Then, we develop a new proof of the Poincare-Miranda Theorem that relies on a polytopal generalization of Sperner's Lemma of Deloera - Peterson - Su. …

Conserving Fish And Forests: Community Involvement And Its Limits In Resource Management On The Island Of Hawai'i, Amber W. Datta

Pomona Senior Theses

In this thesis I examine the limits of community involvement in accomplishing the conservation goals of biodiversity and ecosystem function in resource management by analyzing the multiple interest groups that compose community. Two case studies are presented to accomplish this goal. The first case study is the West Hawaii Fisheries Management Area, where a group of community stakeholders provide management recommendations that are then implemented by the state. The second case study is the Ka’u forest reserve, where community involvement is invited into the management decision-making process but is also limited in its ultimate political power by the state. Through …

Chip Firing Games And Riemann-Roch Properties For Directed Graphs, Joshua Z. Gaslowitz

HMC Senior Theses

The following presents a brief introduction to tropical geometry, especially tropical curves, and explains a connection to graph theory. We also give a brief summary of the Riemann-Roch property for graphs, established by Baker and Norine (2007), as well as the tools used in their proof. Various generalizations are described, including a more thorough description of the extension to strongly connected directed graphs by Asadi and Backman (2011). Building from their constructions, an algorithm to determine if a directed graph has Row Riemann-Roch Property is given and thoroughly explained.

Lines In Tropical Quadrics, Kevin O'Neill

HMC Senior Theses

Classical algebraic geometry is the study of curves, surfaces, and other varieties defined as the zero set of polynomial equations. Tropical geometry is a branch of algebraic geometry based on the tropical semiring with operations minimization and addition. We introduce the notions of projective space and tropical projective space, which are well-suited for answering enumerative questions, like ours. We attempt to describe the set of tropical lines contained in a tropical quadric surface in $\mathbb{TP}^3$. Analogies with the classical problem and computational techniques based on the idea of a tropical parameterization suggest that the answer is the union of two …

Analysis Of Time-Dependent Integrodifference Population Models, Taylor J. Mcadam

HMC Senior Theses

The population dynamics of species with separate growth and dispersal stages can be described by a discrete-time, continuous-space integrodifference equation relating the population density at one time step to an integral expression involving the density at the previous time step. Prior research on this model has assumed that the equation governing the population dynamics remains fixed over time, however real environments are constantly in flux. We show that for time-varying models, there is a value Λ that can be computed to determine a sufficient condition for population survival. We also develop a framework for analyzing persistence of a population for …

Structured Matrices And The Algebra Of Displacement Operators, Ryan Takahashi

HMC Senior Theses

Matrix calculations underlie countless problems in science, mathematics, and engineering. When the involved matrices are highly structured, displacement operators can be used to accelerate fundamental operations such as matrix-vector multiplication. In this thesis, we provide an introduction to the theory of displacement operators and study the interplay between displacement and natural matrix constructions involving direct sums, Kronecker products, and blocking. We also investigate the algebraic behavior of displacement operators, developing results about invertibility and kernels.

On Toric Symmetry Of P1 X P2, Olivia D. Beckwith

HMC Senior Theses

Toric varieties are a class of geometric objects with a combinatorial structure encoded in polytopes. P1 x P2 is a well known variety and its polytope is the triangular prism. Studying the symmetries of the triangular prism and its truncations can lead to symmetries of the variety. Many of these symmetries permute the elements of the cohomology ring nontrivially and induce nontrivial relations. We discuss some toric symmetries of P1 x P2, and describe the geometry of the polytope of the corresponding blowups, and analyze the induced action on the cohomology ring. We exhaustively compute the toric symmetries of P1 …

Mathematical Knowledge For Teaching And Visualizing Differential Geometry, Nathan Pinsky

HMC Senior Theses

In recent decades, education researchers have recognized the need for teachers to have a nuanced content knowledge in addition to pedagogical knowledge, but very little research was conducted into what this knowledge would entail. Beginning in 2008, math education researchers began to develop a theoretical framework for the mathematical knowledge needed for teaching, but their work focused primarily on elementary schools. I will present an analysis of the mathematical knowledge needed for teaching about the regular curves and surfaces, two important concepts in differential geometry which generalize to the advanced notion of a manifold, both in a college classroom and …

Hypergraph Capacity With Applications To Matrix Multiplication, John Lee Thompson Peebles Jr.

HMC Senior Theses

The capacity of a directed hypergraph is a particular numerical quantity associated with a hypergraph. It is of interest because of certain important connections to longstanding conjectures in theoretical computer science related to fast matrix multiplication and perfect hashing as well as various longstanding conjectures in extremal combinatorics.

We give an overview of the concept of the capacity of a hypergraph and survey a few basic results regarding this quantity. Furthermore, we discuss the Lovász number of an undirected graph, which is known to upper bound the capacity of the graph (and in practice appears to be the best such …

Extortion And Evolution In The Iterated Prisoner's Dilemma, Michael J. Earnest

HMC Senior Theses

The Prisoner's Dilemma is a two player game where playing rationally leads to a suboptimal outcome for both players. The game is simple to analyze, but when it is played repeatedly, complex dynamics emerge. Recent research has shown the existence of extortionate strategies, which allow one player to win at least as much as the other. When one player plays such a strategy, the other must either decide to take a low payoff, or accede to the extortion, where they earn higher payoff, but their opponent receives a larger share. We investigate what happens when one player uses this strategy …

A Comparison And Catalog Of Intrinsic Tumor Growth Models, Elizabeth A. Sarapata

HMC Senior Theses

Determining the dynamics and parameter values that drive tumor growth is of great interest to mathematical modelers, experimentalists and practitioners alike. We provide a basis on which to estimate the growth dynamics of ten different tumors by fitting growth parameters to at least five sets of published experimental data per type of tumor. These timescale tumor growth data are also used to determine which of the most common tumor growth models (exponential, power law, logistic, Gompertz, or von Bertalanffy) provides the best fit for each type of tumor. In order to compute the best-fit parameters, we implemented a hybrid local-global …