Digital Commons Network^™

Sums Of Evenly Spaced Binomial Coefficients, Arthur T. Benjamin, Bob Chen '10, Kimberly Kindred

All HMC Faculty Publications and Research

We provide a combinatorial proof of a formula for the sum of evenly spaced binomial coefficients. This identity, along with a generalization, are proved by counting weighted walks on a graph.

Teaching Research: Encouraging Discoveries, Francis E. Su

All HMC Faculty Publications and Research

What does it take to turn a learner into a discoverer? Or to turn a teacher into a co-adventurer? A handful of experiences—from teaching a middle-school math class to doing research with undergraduates—have changed the way that I would answer these questions. Some of the lessons I’ve learned have surprised me.

Engineering Flow States With Localized Forcing In A Thin, Marangoni-Driven Inclined Film, Rachel Levy, Stephen Rosenthal '09, Jeffrey Wong '11

All HMC Faculty Publications and Research

Numerical simulations of lubrication models provide clues for experimentalists about the development of wave structures in thin liquid films. We analyze numerical simulations of a lubrication model for an inclined thin liquid film modified by Marangoni forces due to a thermal gradient and additional localized forcing heating the substrate. Numerical results can be explained through connections to theory for hyperbolic conservation laws predicting wave fronts from Marangoni-driven thin films without forcing. We demonstrate how a variety of forcing profiles, such as Gaussian, rectangular, and triangular, affect the formation of downstream transient structures, including an N wave not commonly discussed in …

"Toward Integration: From Quantitative Biology To Mathbio-Biomath?", Pat Marsteller, Lisette G. De Pillis, Ann Findley, Karl Joplin, John Pelesko, Karen Nelson, Katerina Thompson, David Usher, Joseph Watkins

All HMC Faculty Publications and Research

In response to the call of BIO2010 for integrating quantitative skills into undergraduate biology education, 30 Howard Hughes Medical Institute (HHMI) Program Directors at the 2006 HHMI Program Directors Meeting established a consortium to investigate, implement, develop, and disseminate best practices resulting from the integration of math and biology. With the assistance of an HHMI-funded mini-grant, led by Karl Joplin of East Tennessee State University, and support in institutional HHMI grants at Emory and University of Delaware, these institutions held a series of summer institutes and workshops to document progress toward and address the challenges of implementing a more quantitative …

Dislocations And Vacancies In Two-Dimensional Mixed Crystals Of Spheres And Dimers, Sharon J. Gerbode, Desmond C. Ong, Chekesha M. Liddell, Itai Cohen

All HMC Faculty Publications and Research

In colloidal crystals of spheres, dislocation motion is unrestricted. On the other hand, recent studies of relaxation in crystals of colloidal dimer particles have demonstrated that the dislocation dynamics in such crystals are reminiscent of glassy systems. The observed glassy dynamics arise as a result of dislocation cages formed by certain dimer orientations. In the current study, we use experiments and simulations to investigate the transition that arises when a pure sphere crystal is doped with an increasing concentration of dimers. Specifically, we focus on both dislocation caging and vacancy motion. Interestingly, we find that any nonzero fraction of dimers …

Existence Of Solutions For A Semilinear Wave Equation With Non-Monotone Nonlinearity, Alfonso Castro, Benjamin Preskill '09

All HMC Faculty Publications and Research

For double-periodic and Dirichlet-periodic boundary conditions, we prove the existence of solutions to a forced semilinear wave equation with asymptotically linear nonlinearity, no resonance, and non-monotone nonlinearity when the forcing term is not flat on characteristics. The solutions are in L^∞ when the forcing term is in L^∞ and continous when the forcing term is continuous. This is in contrast with the results in [4], where the non-enxistence of continuous solutions is established even when forcing term is of class C^∞ but is flat on a characteristic.

Glassy Dislocation Dynamics In 2d Colloidal Dimer Crystals, Sharon J. Gerbode, Ugmang Agarwal, Desmond C. Ong, Chekesha M. Liddell, Fernando Escobedo, Itai Cohen

All HMC Faculty Publications and Research

Although glassy relaxation is typically associated with disorder, here we report on a new type of glassy dynamics relating to dislocations within 2D crystals of colloidal dimers. Previous studies have demonstrated that dislocation motion in dimer crystals is restricted by certain particle orientations. Here, we drag an optically trapped particle through such dimer crystals, creating dislocations. We find a two-stage relaxation response where initially dislocations glide until encountering particles that cage their motion. Subsequent relaxation occurs logarithmically slowly through a second process where dislocations hop between caged configurations. Finally, in simulations of sheared dimer crystals, the dislocation mean squared displacement …

Combinatorial Trigonometry With Chebyshev Polynomials, Arthur T. Benjamin, Larry Ericksen, Pallavi Jayawant, Mark Shattuck

All HMC Faculty Publications and Research

We provide a combinatorial proof of the trigonometric identity cos(n_{θ) =} T_ncos(θ),
where T_n is the Chebyshev polynomial of the first kind. We also provide combinatorial proofs of other trigonometric identities, including those involving Chebyshev polynomials of the second kind.

Combinatorially Composing Chebyshev Polynomials, Arthur T. Benjamin, Daniel Walton '07

All HMC Faculty Publications and Research

We present a combinatorial proof of two fundamental composition identities associated with Chebyshev polynomials. Namely, for all m, n ≥ 0, T_m(T_n(x)) = T_mn(x) and U_m-1 (T_n(x))U_n-1(x) = U_mn-1(x).

Kinematic Evidence For Superfast Locomotory Muscle In Two Species Of Teneriffiid Mites, Grace C. Wu, Jonathan C. Wright, Dwight L. Whitaker, Anna N. Ahn

All HMC Faculty Publications and Research

Locomotory muscles typically operate over a narrow range of contraction frequencies, characterized by the predominant fiber types and functional roles. The highest documented frequencies in the synchronous sound-producing muscles of insects (550 Hz) and toadfish (200 Hz) far exceed the contraction frequencies observed in weight-bearing locomotory muscles, which have maximum documented frequencies below 15-30 Hz. Laws of scaling, however, predict that smaller arthropods may employ stride frequencies exceeding this range. In this study we measured running speed and stride frequency in two undescribed species of teneriffiid mites from the coastal sage scrub of southern California. Relative speeds of both species …

From Surface Operators To Non-Abelian Volume Operators In Puff Field Theory, Vatche Sahakian

All HMC Faculty Publications and Research

Puff field theory (PFT) is a low energy decoupling regime of string theory that still retains the nonlocal attributes of the parent theory—while preserving isotropy for its nonlocal degrees of freedom. It realizes an extended holographic dictionary at strong coupling and dynamical nonlocal states akin to defects or the surface operators of local gauge theories. In this work, we probe the nonlocal features of PFT using D3 branes. We find supersymmetric configurations that end on defects endowed with non-Abelian degrees of freedom. These are 2+1 dimensional defects in the 3+1 dimensional PFT that may be viewed as volume operators. We …

Reduced Electronic Spaces For Modeling Donor/Acceptor Interactions, Robert J. Cave, Stephen T. Edwards '06, John A, Kouzelos '07, Marshall D. Newton

All HMC Faculty Publications and Research

Diabatic states for donor (D) and acceptor (A) interactions in electron transfer (ET) processes are formulated and evaluated, along with coupling elements (H_DA) and effective D/A separation distances (r_DA), for reduced electronic spaces of variable size, using the generalized Mulliken Hush model (GMH), applicable to an arbitrary state space and nuclear configuration, and encompassing Robin−Day class III and as well as class II situations. Once the electronic state space is selected (a set of n ≥ 2 adiabatic states approximated by an orbital space based on an effective 1-electron (1-e) Hamiltonian), the charge-localized GMH …

Jane: A New Tool For The Cophylogeny Reconstruction Problem, Chris Conow, Daniel Fielder '11, Yaniv J. Ovadia '10, Ran Libeskind-Hadas

All HMC Faculty Publications and Research

Background

This paper describes the theory and implementation of a new software tool, called Jane, for the study of historical associations. This problem arises in parasitology (associations of hosts and parasites), molecular systematics (associations of orderings and genes), and biogeography (associations of regions and orderings). The underlying problem is that of reconciling pairs of trees subject to biologically plausible events and costs associated with these events. Existing software tools for this problem have strengths and limitations, and the new Jane tool described here provides functionality that complements existing tools.

Results

The Jane software tool uses a polynomial time dynamic …

Voting In Agreeable Societies, Deborah E. Berg '06, Serguei Norine, Francis E. Su, Robin Thomas, Paul Wollan

All HMC Faculty Publications and Research

No abstract provided in this article.

Two-Player Envy-Free Multi-Cake Division, John Cloutier '03, Kathryn L. Nyman, Francis E. Su

All HMC Faculty Publications and Research

We introduce a generalized cake-cutting problem in which we seek to divide multiple cakes so that two players may get their most-preferred piece selections: a choice of one piece from each cake, allowing for the possibility of linked preferences over the cakes. For two players, we show that disjoint envy-free piece selections may not exist for two cakes cut into two pieces each, and they may not exist for three cakes cut into three pieces each. However, there do exist such divisions for two cakes cut into three pieces each, and for three cakes cut into four pieces each. The …

Correspondences And Complementarity In Visual Music, Bill Alves

All HMC Faculty Publications and Research

Visual music is an art form that implies intermodal connections between the senses but which has historically often failed to identify aesthetically satisfying correspondences. Artistic success does not automatically emerge in one medium when its elemental characteristics are mapped to those of an existing work from another medium. I offer examples from my own abstract animations with music, which draw upon John Whitney's concept of complementarity, a more intuitive correspondence at a higher level of aesthetic qualities, that of stasis and dynamism or tension and resolution.

An Amazing Mathematical Card Trick, Arthur T. Benjamin

All HMC Faculty Publications and Research

A magician gives a member of the audience 20 cards to shuffle. After the cards are thoroughly mixed, the magician goes through the deck two cards at a time, sometimes putting the two cards face to face, sometimes back to back, and sometimes in the same direction. Before dealing each pair of cards into a pile, he asks random members of the audience if the pair should be flipped over or not. He goes through the pile again four cards at a time and before each group of four is dealt to a pile, the audience gets to decide whether …

Sex, Mixability, And Modularity, Adi Livnat, Christos Papadimitriou, Nicholas Pippenger, Marcus W. Feldman

All HMC Faculty Publications and Research

The assumption that different genetic elements can make separate contributions to the same quantitative trait was originally made in order to reconcile biometry and Mendelism and ever since has been used in population genetics, specifically for the trait of fitness. Here we show that sex is responsible for the existence of separate genetic effects on fitness and, more generally, for the existence of a hierarchy of genetic evolutionary modules. Using the tools developed in the process, we also demonstrate that in terms of their fitness effects, separation and fusion of genes are associated with the increase and decrease of the …

Stability And Dynamics Of Self-Similarity In Evolution Equations, Andrew J. Bernoff, Thomas P. Witelski

All HMC Faculty Publications and Research

A methodology for studying the linear stability of self-similar solutions is discussed. These fundamental ideas are illustrated on three prototype problems: a simple ODE with finite-time blow-up, a second-order semi-linear heat equation with infinite-time spreading solutions, and the fourth-order Sivashinsky equation with finite-time self-similar blow-up. These examples are used to show that self-similar dynamics can be studied using many of the ideas arising in the study of dynamical systems. In particular, the use of dimensional analysis to derive scaling invariant similarity variables is discussed, as well as the role of symmetries in the context of stability of self-similar dynamics. The …

Local Versus Global Search In Channel Graphs, A.H. Hunter, Nicholas Pippenger

All HMC Faculty Publications and Research

Previous studies of search in channel graphs has assumed that the search is global; that is, that the status of any link can be probed by the search algorithm at any time. We consider for the first time local search, for which only links to which an idle path from the source has already been established may be probed. We show that some well known channel graphs may require exponentially more probes, on the average, when search must be local than when it may be global.

Learning To Create Jazz Melodies Using Deep Belief Nets, Greg Bickerman '10, Sam Bosley, Peter Swire, Robert M. Keller

All HMC Faculty Publications and Research

We describe an unsupervised learning technique to facilitate automated creation of jazz melodic improvisation over chord sequences. Specifically we demonstrate training an artificial improvisation algorithm based on unsupervised learning using deep belief nets, a form of probabilistic neural network based on restricted Boltzmann machines. We present a musical encoding scheme and specifics of a learning and creational method. Our approach creates novel jazz licks, albeit not yet in real-time. The present work should be regarded as a feasibility study to determine whether such networks could be used at all. We do not claim superiority of this approach for pragmatically creating …

Direct Measurements Of Island Growth And Step-Edge Barriers In Colloidal Epitaxy, Rajesh Ganapathy, Mark R. Buckley, Sharon J. Gerbode, Itai Cohen

All HMC Faculty Publications and Research

Epitaxial growth, a bottom-up self-assembly process for creating surface nano- and microstructures, has been extensively studied in the context of atoms. This process, however, is also a promising route to self-assembly of nanometer- and micrometer-scale particles into microstructures that have numerous technological applications. To determine whether atomic epitaxial growth laws are applicable to the epitaxy of larger particles with attractive interactions, we investigated the nucleation and growth dynamics of colloidal crystal films with single-particle resolution. We show quantitatively that colloidal epitaxy obeys the same two-dimensional island nucleation and growth laws that govern atomic epitaxy. However, we found that in colloidal …

Recognizing Graph Theoretic Properties With Polynomial Ideals, Jesus A. De Loera, Christopher J. Hillar, Peter N. Malkin, Mohamed Omar

All HMC Faculty Publications and Research

Many hard combinatorial problems can be modeled by a system of polynomial equations. N. Alon coined the term polynomial method to describe the use of nonlinear polynomials when solving combinatorial problems. We continue the exploration of the polynomial method and show how the algorithmic theory of polynomial ideals can be used to detect k-colorability, unique Hamiltonicity, and automorphism rigidity of graphs. Our techniques are diverse and involve Nullstellensatz certificates, linear algebra over finite fields, Gröbner bases, toric algebra, convex programming, and real algebraic geometry.

Figs, Wasps, Gophers, And Lice: A Computational Exploration Of Coevolution, Ran Libeskind-Hadas

All HMC Faculty Publications and Research

This chapter explores the topic of coevolution: the genetic change in one species in response to the change in another. For example, in some cases, a parasite species might evolve to specialize with its host species. In other cases, the relationship between two species may be mutually beneficial and coevolution may serve to strengthen the benefits of that relationship.

Mathematical Biology At An Undergraduate Liberal Arts College, Stephen C. Adolph, Lisette G. De Pillis

All HMC Faculty Publications and Research

Since 2002 we have offered an undergraduate major in Mathematical Biology at Harvey Mudd College. The major was developed and is administered jointly by the mathematics and biology faculty. In this paper we describe the major, courses, and faculty and student research and discuss some of the challenges and opportunities we have experienced.