BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jonathan Rubin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and Hill in the affirmative.
We introduce new Elmendorf constructions for equivariant categories and posets, and we prove that they are compatible with the classical topological one. Our constructions are more concrete than their model-categorical counterparts, and they give rise to new proofs of the Elmendorf theorems for equivariant categories and posets.
We introduce categorical models of $N_\infty$ spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a particular class of examples, they reveal a connection between the equivariant symmetric monoidal categories of Guillou-May-Merling-Osorno and those of Hill-Hopkins. We also give an operadic interpretation of the Mac Lane coherence theorem and generalize it to include NSMCs. Among other things, this theorem ensures that the classifying space of a NSMC is a $N_\infty$ space. We conclude by extending our coherence theorem to include NSMCs with strict relations.
Experimental characterization of neuronal dynamics involves recording both of spontaneous activity patterns and of responses to transient and sustained inputs. While much theoretical attention has been devoted to the spontaneous activity of neurons, less is known about the dynamic mechanisms shaping their responses to transient inputs, although these bear significant physiological relevance. Here, we study responses to transient inputs in a widely used class of neuron models (nonlinear adaptive hybrid models) well-known to reproduce a number of biologically realistic behaviors. We focus on responses to transient inputs that have been previously associated with Type III neurons, arguably the least studied category in Hodgkin's classification, which are those neurons that never exhibit continuous firing in response to sustained excitatory currents. The two phenomena that we study are post-inhibitory facilitation, in which an otherwise subthreshold excitatory input can induce a spike if it is applied with proper timing after an inhibitory pulse, and slope detection, in which a neuron spikes to a transient input only when the input's rate of change is in a specific, bounded range. We analyze the origin of these phenomena in nonlinear hybrid models and provide a geometric characterization of dynamical structures associated with PIF in the system and an analytical study of slope detection for tent inputs. While the necessary and sufficient conditions for these behaviors are easily satisfied in neurons with Type III excitability, our proofs are quite general and valid for neurons that do not exhibit Type III excitability as well. This study therefore provides a framework for the mathematical analysis of these responses to transient inputs associated with Type III neurons in other systems and for advancing our understanding of these systems' computational properties.
We provide a novel method for constructing asymptotics (to arbitrary accuracy) for the number of directed graphs that realize a fixed bidegree sequence $d = a \times b$ with maximum degree $d_{max}=O(S^{\frac{1}{2}-τ})$ for an arbitrarily small positive number $τ$, where $S$ is the number edges specified by $d$. Our approach is based on two key steps, graph partitioning and degree preserving switches. The former idea allows us to relate enumeration results for given sequences to those for sequences that are especially easy to handle, while the latter facilitates expansions based on numbers of shared neighbors of pairs of nodes. While we focus primarily on directed graphs allowing loops, our results can be extended to other cases, including bipartite graphs, as well as directed and undirected graphs without loops. In addition, we can relax the constraint that $d_{max} = O(S^{\frac{1}{2}-τ})$ and replace it with $a_{max} b_{max} = O(S^{1-τ})$. where $a_{max}$ and $b_{max}$ are the maximum values for $a$ and $b$ respectively. The previous best results, from Greenhill et al., only allow for $d_{max} = o(S^{\frac{1}{3}})$ or alternatively $a_{max} b_{max} = o(S^{\frac{2}{3}})$. Since in many real world networks, $d_{max}$ scales larger than $o(S^{\frac{1}{3}})$, we expect that this work will be helpful for various applications.
There are a variety of existing conditions for a degree sequence to be graphic. When a degree sequence satisfies any of these conditions, there exists a graph that realizes the sequence. We formulate several novel sufficient graphicality criteria that depend on the number of elements in the sequence, corresponding to the number of nodes in an associated graph, and the mean degree of the sequence. These conditions, which are stated in terms of bidegree sequences for directed graphs, are easier to apply than classic necessary and sufficient graphicality conditions involving multiple inequalities. They are also more flexible than more recent graphicality conditions, in that they imply graphicality of some degree sequences not covered by those conditions. The form of our results will allow them to be easily used for the generation of graphs with particular degree sequences for applications.
Motivated by earlier studies of artificial perceptions of light called phosphenes, we analyze traveling wave solutions in a chain of periodically forced coupled nonlinear oscillators modeling this phenomenon. We examine the discrete model problem in its co-traveling frame and systematically obtain the corresponding traveling waves in one spatial dimension. Direct numerical simulations as well as linear stability analysis are employed to reveal the parameter regions where the traveling waves are stable, and these waves are, in turn, connected to the standing waves analyzed in earlier work. We also consider a two-dimensional extension of the model and demonstrate the robust evolution and stability of planar fronts and annihilation of radial ones. Finally, we show that solutions that initially feature two symmetric fronts with bulged centers evolve in qualitative agreement with experimental observations of phosphenes.
Dynamical systems studies of differential equations often focus on the behavior of solutions near critical points and on invariant manifolds, to elucidate the organization of the associated flow. In addition, effective methods, such as the use of Poincare maps and phase resetting curves, have been developed for the study of periodic orbits. However, the analysis of transient dynamics associated with solutions on their way to an attracting fixed point has not received much rigorous attention. This paper introduces methods for the study of such transient dynamics. In particular, we focus on the analysis of whether one component of a solution to a system of differential equations can overtake the corresponding component of a reference solution, given that both solutions approach the same stable node. We call this phenomenon tolerance, which derives from a certain biological effect. Here, we establish certain general conditions, based on the initial conditions associated with the two solutions and the properties of the vector field, that guarantee that tolerance does or does not occur in two-dimensional systems. We illustrate these conditions in particular examples, and we derive and demonstrate additional techniques that can be used on a case by case basis to check for tolerance. Finally, we give a full rigorous analysis of tolerance in two-dimensional linear systems.