Applied Mathematics Commons^™

R0 Analysis Of A Benthic-Drift Model For A Stream Population, Qihua Huang, Yu Jin, Mark A. Lewis

Department of Mathematics: Faculty Publications

One key issue for theory in stream ecology is how much stream flow can be changed while still maintaining an intact stream ecology, instream flow needs (IFNs); the study of determining IFNs is challenging due to the complex and dynamic nature of the interaction between the stream environ- ment and the biological community. We develop a process-oriented benthic-drift model that links changes in the flow regime and habitat availability with population dynamics. In the model, the stream is divided into two zones, drift zone and benthic zone, and the population is divided into two interacting compartments, individuals residing in the …

Simple Adaptive Control For Positive Linear Systems With Applications To Pest Management, Chris Guiver, Christina Edholm, Yu Jin, Markus Mueller, Jim Powell, Richard Rebarber, Brigitte Tenhumberg, Stuart Townley

Department of Mathematics: Faculty Publications

Pest management is vitally important for modern arable farming, but models for pest species are often highly uncertain. In the context of pest management, control actions are naturally described by a nonlinear feedback that is generally unknown, which thus motivates a robust control approach. We argue that adaptive approaches are well suited for the management of pests and propose a simple high-gain adaptive tuning mechanism so that the nonlinear feedback achieves exponential stabilization. Furthermore, a switched adaptive controller is proposed, cycling through a set of given control actions, that also achieves global asymptotic stability. Such a model in practice allows …

Unique Pseudo-Expectations For C∗-Inclusions, David R. Pitts, Vrej Zarikian

Department of Mathematics: Faculty Publications

Given an inclusion D⊆C of unital C ∗ -algebras (with common unit), a unital completely positive linear map Φ of C into the injective envelope I(D) of D which extends the inclusion of D into I(D) is a pseudo-expectation. Pseudo-expectations are generalizations of conditional expectations, but with the advantage that they always exist. The set PsExp(C,D) of all pseudo-expectations is a convex set, and when D is Abelian, we prove a Krein–Milman type theorem showing that PsExp(C,D) can be recovered from its set of extreme points. In general, PsExp(C,D) is not a singleton. However, there are large and natural classes …

Comparison Theorems And Asymptotic Behavior Of Solutions Of Discrete Fractional Equations, Baoguo Jia, Lynn Erbe, Allan Peterson

Department of Mathematics: Faculty Publications

Consider the following n-th order nabla and delta fractional difference equations

rn r (a)x(t) = c(t)x(t), t 2 Na+1, x(a) > 0.

and

Va+v-1x(t) = c(t)x(t + v - 1), t 2 Na, x(a + n - 1) > 0

We establish comparison theorems by which we compare the solutions x(t) of (*) and (**) with the solutions of the equations rn r(a)x(t) = bx(t) and Dn a+v-1x(t) = bx(t + v -1), respectively, where b is a constant. We obtain four asymptotic results, one of them extends the recent result [F. M. Atici, P. W. Eloe, Rocky Mountain J. Math. 41(2011), …

Some Relations Between The Caputo Fractional Difference Operators And Integer-Order Differences, Baoguo Jia, Lynn Erbe, Allan Peterson

Department of Mathematics: Faculty Publications

In this article, we are concerned with the relationships between the sign of Caputo fractional differences and integer nabla differences. In particular, we show that if N -1 < v < N. f : Na -N + 1 -> R, va * f(t) > O, for t - Na +1 and N-1f(a) > 0, then N -1 f(t) > 0 for t- Na +1, then va* f(t) > 0, for each t - Na +1. As applications of these two results, we get that if 1 < vR, va*f(t) > 0 for t - Na +1 and f(a) > f(a-1), then f(t) is an increasing function for t- Na -1. Conversely if 0 < vR and f is an increasing function for t - Na, then va*f(t) > 0, for each t - Na +1. …

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 …

The Interplay Between Wnt Mediated Expansion And Negative Regulation Of Growth Promotes Robust Intestinal Crypt Structure And Homeostasis, Huijing Du, Qing Nie, William R. Holmes

Department of Mathematics: Faculty Publications

The epithelium of the small intestinal crypt, which has a vital role in protecting the underlying tissue from the harsh intestinal environment, is completely renewed every 4–5 days by a small pool of stem cells at the base of each crypt. How is this renewal controlled and homeostasis maintained, particularly given the rapid nature of this process? Here, based on the recent observations from in vitro “mini gut” studies, we use a hybrid stochastic model of the crypt to investigate how exogenous niche signaling (from Wnt and BMP) combines with auto-regulation to promote homeostasis. This model builds on the sub-cellular …

Toric Varieties, Monoid Schemes And Cdh Descent, Guillermo Cortiñas, C. Haesemeyer, Mark E. Walker, Charles Weibel

Department of Mathematics: Faculty Publications

We give conditions for the Mayer–Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties and schemes, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop many notions for monoid schemes based on classical algebraic geometry, such as separated and proper maps and resolution of singularities.

Integrating Path-Dependent Functionals On Yeh-Wiener Space, Ian Pierce, David Skough

Department of Mathematics: Faculty Publications

Denote by Ca,b(Q) the generalized two-parameter Yeh-Wiener space with associated Gaussian measure. We investigate several scenarios in which integrals of functionals on this space can be reduced to integrals of related functionals over an appropriate single-parameter generalized Wiener space Cˆa,ˆb[0, T ]. This extends some interesting results of R. H. Cameron and D. A. Storvick.

Enumeration Of Tilings Of Quartered Aztec Rectangles, Tri Lai

Department of Mathematics: Faculty Publications

We generalize a theorem of W. Jockusch and J. Propp on quartered Aztec diamonds by enumerating the tilings of quartered Aztec rectangles. We use subgraph replacement method to transform the dual graph of a quartered Aztec rectangle to the dual graph of a quartered lozenge hexagon, and then use Lindstr¨om-Gessel- Viennot methodology to find the number of tilings of a quartered lozenge hexagon.

Von Neumann Algebras And Extensions Of Inverse Semigroups, Allan P. Donsig, Adam H. Fuller, David R. Pitts

Department of Mathematics: Faculty Publications

In the 1970s, Feldman and Moore classified separably acting von Neumann algebras containing Cartan MASAs using measured equivalence re- lations and 2-cocycles on such equivalence relations. In this paper, we give a new classification in terms of extensions of inverse semigroups. Our approach is more algebraic in character and less point-based than that of Feldman-Moore. As an application, we give a restatement of the spectral theorem for bimodules in terms of subsets of inverse semigroups. We also show how our viewpoint leads naturally to a description of maximal subdiagonal algebras.

A Mentoring Program For Inquiry-Based Teaching In A College Geometry Class, Nathaniel Miller, Nathan Wakefield

Department of Mathematics: Faculty Publications

This paper describes a mentoring program designed to prepare novice instructors to teach a college geometry class using inquiry-based methods. The mentoring program was used in a medium-sized public university with approximately 12,000 undergraduate students and 1,500 graduate students. The authors worked together to implement a mentoring program for the first time. One author was an associate professor and experienced using inquiry-based learning. The other author was a graduate student in mathematics education. During the course of the year the graduate student first observed and then taught a college level inquiry-based geometry course for pre-service teachers. This article describes the …

A Generalization Of Aztec Diamond Theorem, Part I, Tri Lai

Department of Mathematics: Faculty Publications

We consider a new family of 4-vertex regions with zigzag boundary on the square lattice with diagonals drawn in. By proving that the number of tilings of the new regions is given by a power 2, we generalize both Aztec diamond theorem and Douglas’ theorem. The proof extends an idea of Eu and Fu for Aztec diamonds, by using a bijection between domino tilings and non-intersecting Schr¨oder paths, then applying Lindstr¨om-Gessel-Viennot methodology.

A Simple Proof For The Number Of Tilings Of Quartered Aztec Diamonds, Tri Lai

Department of Mathematics: Faculty Publications

We get four quartered Aztec diamonds by dividing an Aztec diamond region by two zigzag cuts passing its center. W. Jockusch and J. Propp (in an unpublished work) found that the number of tilings of quartered Aztec diamonds is given by simple product formulas. In this paper we present a simple proof for this result.

Downhill Domination In Graphs, Teresa W. Haynes, Stephen T. Hedetniemi, Jessie D. Jamieson, William B. Jamieson

Department of Mathematics: Faculty Publications

A path π = (v₁, v₂, . . . , v_k+1) iun a graph G = (V, E) is a downhill path if for every i, 1 ≤ i ≤ k, deg(v_i) ≥ deg(v_i+1), where deg(vi) denotes the degree of vertex v_i ∈ V. The downhill domination number equals the minimum cardinality of a set S ⊆ V having the property that every vertex v ∈ V lies on a downhill path originating from some vertex in S …

Bimodules Over Cartan Masas In Von Neumann Algebras, Norming Algebras, And Mercer's Theorem, Jan Cameron, David R. Pitts, Vrej Zarikian

Department of Mathematics: Faculty Publications

In a 1991 paper, R. Mercer asserted that a Cartan bimod- ule isomorphism between Cartan bimodule algebras A1 and A2 extends uniquely to a normal -isomorphism of the von Neumann algebras gener- ated by A1 and A2 (Corollary 4.3 of Mercer, 1991). Mercer's argument relied upon the Spectral Theorem for Bimodules of Muhly, Saito and Solel, 1988 (Theorem 2.5, there). Unfortunately, the arguments in the literature supporting their Theorem 2.5 contain gaps, and hence Mercer's proof is incomplete.

In this paper, we use the outline in Pitts, 2008, Remark 2.17, to give a proof of Mercer's Theorem under the additional …

The Neural Ring: An Algebraic Tool For Analyzing The Intrinsic Structure Of Neural Codes, Carina Curto, Vladimir Itskov, Alan Veliz-Cuba, Nora Youngs

Department of Mathematics: Faculty Publications

Neurons in the brain represent external stimuli via neural codes. These codes often arise from stereotyped stimulus-response maps, associating to each neuron a convex receptive field. An important problem confronted by the brain is to infer properties of a represented stimulus space without knowledge of the receptive fields, using only the intrinsic structure of the neural code. How does the brain do this? To address this question, it is important to determine what stimulus space features can - in principle - be extracted from neural codes. This motivates us to define the neural ring and a related neural ideal, …

Isomorphisms Of Lattices Of Bures-Closed Bimodules Over Cartan Masas, Adam H. Fuller, David R. Pitts

Department of Mathematics: Faculty Publications

For i = 1; 2, let (Mi;Di) be pairs consisting of a Cartan MASA Di in a von Neumann algebra Mi, let atom(Di) be the set of atoms of Di, and let Si be the lattice of Bures-closed Di bimodules in Mi. We show that when Mi have separable preduals, there is a lattice isomorphism between S1 and S2 if and only if the sets

f(Q1;Q2) 2 atom(Di) atom(Di) : Q1MiQ2 6= (0)g

have the same cardinality. In particular, when Di is nonatomic, Si is isomorphic to the lattice of projections in L1([0; 1];m) where m is Lebesgue measure, regardless …

Generalized Analytic Fourier-Feynman Transform Of Functionals In A Banach Algebra F_(A1,A2)^(A,B), Jae Gil Choi, David Skough, Seung Jun Chang

Department of Mathematics: Faculty Publications

We introduce the Fresnel type class F_(A1,A2)^(a,b).We also establish the existence of the generalized analytic Fourier-Feynman transform for functionals in the Banach algebra F_(A1,A2)^(a,b).

Structure For Regular Inclusions, David R. Pitts

Department of Mathematics: Faculty Publications

We study pairs (C,D) of unital C∗-algebras where D is an abelian C∗-subalgebra of C which is regular in C in the sense that the span of {v 2 C : vDv∗ [ v∗Dv D} is dense in C. When D is a MASA in C, we prove the existence and uniqueness of a completely positive unital map E of C into the injective envelope I(D) of D whose restriction to D is the identity on D. We show that the left kernel of E, L(C,D), is the unique closed two-sided ideal of C maximal with respect to having trivial …

Negative Curves On Algebraic Surfaces, Thomas Bauer, Brian Harbourne, Andreas Leopold Knutsen, Alex Kuronya, Stefan Muller-Stach, Xavier Roulleau, Tomasz Szemberg

Department of Mathematics: Faculty Publications

We study curves of negative self-intersection on algebraic surfaces. In contrast to what occurs in positive characteristics, it turns out that any smooth complex projective surface X with a surjective non-isomorphic endomorphism has bounded negativity (i.e., that C2 is bounded below for prime divisors C on X). We prove the same statement for Shimura curves on Hilbert modular surfaces. As a byproduct we obtain that there exist only finitely many smooth Shimura curves on a given Hilbert modular surface. We. also show that any set of curves of bounded genus on a smooth complex projective surface must have bounded negativity

R0 Analysis Of A Spatiotemporal Model For A Stream Population, H. W. Mckenzie, Y. Jin, J. Jacobsen, M. A. Lewis

Department of Mathematics: Faculty Publications

Water resources worldwide require management to meet industrial, agricultural, and urban consumption needs. Management actions change the natural flow regime, which impacts the river ecosystem. Water managers are tasked with meeting water needs while mitigating ecosystem im- pacts. We develop process-oriented advection-diffusion-reaction equations that couple hydraulic flow to population growth, and we analyze them to assess the effect of water flow on population persistence. We present a new mathematical framework, based on the net reproductive rate R₀ for advection-diffusion-reaction equations and on related measures. We apply the measures to popula- tion persistence in rivers under various flow regimes. This …

Are Symbolic Powers Highly Evolved?, Brian Harbourne, Craig Hunkeke

Department of Mathematics: Faculty Publications

Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in PN, we make conjectures which explain them, and we prove the conjectures in certain cases, including the case of general points in P2. Our conjectures were also partly motivated by the Eisenbud-Mazur Conjecture on evolutions, which concerns symbolic squares of prime ideals in local rings, but in contrast we consider higher symbolic powers of homogeneous ideals in polynomial rings.

How Do Neurons Work Together? Lessons From Auditory Cortex, Kenneth D. Harris, Peter Bartho, Paul Chadderton, Carina Curto, Jaime De La Rocha, Liad Hollender, Vladimir Itskov, Artur Luczak, Stephan Marguet, Alfonso Renart, Shuzo Sakata

Department of Mathematics: Faculty Publications

Recordings of single neurons have yielded great insights into the way acoustic stimuli are represented in auditory cortex. However, any one neuron functions as part of a population whose combined activity underlies cortical information processing. Here we review some results obtained by recording simultaneously from auditory cortical populations and individual morphologically identified neurons, in urethane-anesthetized and unanesthetized passively listening rats. Auditory cortical populations produced structured activity patterns both in response to acoustic stimuli, and spontaneously without sensory input. Population spike time patterns were broadly conserved across multiple sensory stimuli and spontaneous events, exhibiting a generally conserved sequential organization lasting approximately …

Neural Spike Renormalization. Part I — Universal Number 1, Bo Deng

Department of Mathematics: Faculty Publications

For a class of circuit models for neurons, it has been shown that the transmembrane electrical potentials in spike bursts have an inverse correlation with the intra-cellular energy conversion: the fewer spikes per burst the more energetic each spike is. Here we demonstrate that as the per-spike energy goes down to zero, a universal constant to the bifurcation of spike-bursts emerges in a similar way as Feigenbaum’s constant does to the period-doubling bifurcation to chaos generation, and the new universal constant is the first natural number 1.

Neural Spike Renormalization. Part Ii — Multiversal Chaos, Bo Deng

Department of Mathematics: Faculty Publications

Reported here for the first time is a chaotic infinite-dimensional system which contains infinitely many copies of every deterministic and stochastic dynamical system of all finite dimensions. The system is the renormalizing operator of spike maps that was used in a previous paper to show that the first natural number 1 is a universal constant in the generation of metastable and plastic spike-bursts of a class of circuit models of neurons.

Short-Term Facilitation May Stabilize Parametric Working Memory Trace, Vladimir Itskov, David Hansel, Misha Tsodyks

Department of Mathematics: Faculty Publications

Networks with continuous set of attractors are considered to be a paradigmatic model for parametric working memory (WM), but require fine tuning of connections and are thus structurally unstable. Here we analyzed the network with ring attractor, where connections are not perfectly tuned and the activity state therefore drifts in the absence of the stabilizing stimulus. We derive an analytical expression for the drift dynamics and conclude that the network cannot function as WM for a period of several seconds, a typical delay time in monkey memory experiments. We propose that short-term synaptic facilitation in recurrent connections significantly improves the …

Extremal Problems For Independent Set Enumeration, Jonathan Cutler, A. J. Radcliffe

Department of Mathematics: Faculty Publications

The study of the number of independent sets in a graph has a rich history. Recently, Kahn proved that disjoint unions of Kr,r’s have the maximum number of independent sets amongst r-regular bipartite graphs. Zhao extended this to all r-regular graphs. If we instead restrict the class of graphs to those on a fixed number of vertices and edges, then the Kruskal-Katona theorem implies that the graph with the maximum number of independent sets is the lex graph, where edges form an initial segment of the lexicographic ordering. In this paper, we study three related questions. Firstly, we …

An Entropy Proof Of The Kahn-Lovasz Theorem, Jonathan Cutler, A. J. Radcliffe

Department of Mathematics: Faculty Publications

Bregman [2], gave a best possible upper bound for the number of perfect matchings in a balanced bipartite graph in terms of its degree sequence. Recently Kahn and Lovasz [8] extended Bregman’s theorem to general graphs. In this paper, we use entropy methods to give a new proof of the Kahn-Lovasz theorem. Our methods build on Radhakrishnan’s [9] use of entropy to prove Bregman’s theorem.

Metastability And Plasticity In A Conceptual Model Of Neurons, Bo Deng

Department of Mathematics: Faculty Publications

For a new class of neuron models we demonstrate here that typical membrane action potentials and spike-bursts are only transient states but appear to be asymptotically stable; and yet such metastable states are plastic — being able to dynamically change from one action potential to another with different pulse frequencies and from one spike-burst to another with different spike-per-burst numbers. The pulse and spike-burst frequencies change with individual ions’ pump currents while their corresponding metastable-plastic states maintain the same transmembrane voltage and current profiles in range. It is also demonstrated that the plasticity requires two one-way ion pumps operating in …