arXiv subjects

Nora Youngs

Publications and source records attributed to Nora Youngs.

13 recordsLinked to original sources

arXiv2026

Betti numbers of inductively pierced codes

Neural ideals were introduced by Curto, Itskov, et al as an algebraic tool to study neural codes. In this paper, we use the notion of polarization introduced by G\"{u}nt\"{u}rk\"{u}n, Jeffries, and Sun to compute Betti numbers of inductively pierced neural codes. We prove that quadratically generated neural ideals are inductively pierced if and only if they have regularity 2. Further, we demonstrate how the Betti numbers yield information on the number and type of piercings of the original code. This work shows the utility of algebraic invariants of the neural ideal in detecting geometric features of the associated receptive fields.

math.AC↗

arXiv2022

Recognizing and Realizing Inductively Pierced Codes

We prove algebraic and combinatorial characterizations of the class of inductively pierced codes, resolving a conjecture of Gross, Obatake, and Youngs. Starting from an algebraic invariant of a code called its canonical form, we explain how to compute a piercing order in polynomial time, if one exists. Given a piercing order of a code, we explain how to construct a realization of the code using a well-formed collection of open balls, and classify the minimal dimension in which such a realization exists.

math.CO↗

arXiv2020

Order-forcing in Neural Codes

Convex neural codes are subsets of the Boolean lattice that record the intersection patterns of convex sets in Euclidean space. Much work in recent years has focused on finding combinatorial criteria on codes that can be used to classify whether or not a code is convex. In this paper we introduce order-forcing, a combinatorial tool which recognizes when certain regions in a realization of a code must appear along a line segment between other regions. We use order-forcing to construct novel examples of non-convex codes, and to expand existing families of examples. We also construct a family of codes which shows that a dimension bound of Cruz, Giusti, Itskov, and Kronholm (referred to as monotonicity of open convexity) is tight in all dimensions.

math.CO↗

arXiv2020

The case for algebraic biology: from research to education

Though it goes without saying that linear algebra is fundamental to mathematical biology, polynomial algebra is less visible. In this article, we will give a brief tour of four diverse biological problems where multivariate polynomials play a central role -- a subfield that is sometimes called "algebraic biology." Namely, these topics include biochemical reaction networks, Boolean models of gene regulatory networks, algebraic statistics and genomics, and place fields in neuroscience. After that, we will summarize the history of discrete and algebraic structures in mathematical biology, from their early appearances in the late 1960s to the current day. Finally, we will discuss the role of algebraic biology in the modern classroom and curriculum, including resources in the literature and relevant software. Our goal is to make this article widely accessible, reaching the mathematical biologist who knows no algebra, the algebraist who knows no biology, and especially the interested student who is curious about the synergy between these two seemingly unrelated fields.

q-bio.NC↗

arXiv2019

Neural ring homomorphisms and maps between neural codes

Neural codes are binary codes that are used for information processing and representation in the brain. In previous work, we have shown how an algebraic structure, called the {\it neural ring}, can be used to efficiently encode geometric and combinatorial properties of a neural code [1]. In this work, we consider maps between neural codes and the associated homomorphisms of their neural rings. In order to ensure that these maps are meaningful and preserve relevant structure, we find that we need additional constraints on the ring homomorphisms. This motivates us to define {\it neural ring homomorphisms}. Our main results characterize all code maps corresponding to neural ring homomorphisms as compositions of 5 elementary code maps. As an application, we find that neural ring homomorphisms behave nicely with respect to convexity. In particular, if $\mathcal{C}$ and $\mathcal{D}$ are convex codes, the existence of a surjective code map $\mathcal{C}\rightarrow \mathcal{D}$ with a corresponding neural ring homomorphism implies that the minimal embedding dimensions satisfy $d(\mathcal{D}) \leq d(\mathcal{C})$.

q-bio.NC↗

arXiv2018

Algebraic signatures of convex and non-convex codes

A convex code is a binary code generated by the pattern of intersections of a collection of open convex sets in some Euclidean space. Convex codes are relevant to neuroscience as they arise from the activity of neurons that have convex receptive fields. In this paper, we use algebraic methods to determine if a code is convex. Specifically, we use the neural ideal of a code, which is a generalization of the Stanley-Reisner ideal. Using the neural ideal together with its standard generating set, the canonical form, we provide algebraic signatures of certain families of codes that are non-convex. We connect these signatures to the precise conditions on the arrangement of sets that prevent the codes from being convex. Finally, we also provide algebraic signatures for some families of codes that are convex, including the class of intersection-complete codes. These results allow us to detect convexity and non-convexity in a variety of situations, and point to some interesting open questions.

q-bio.NC↗

arXiv2016

What makes a neural code convex?

Neural codes allow the brain to represent, process, and store information about the world. Combinatorial codes, comprised of binary patterns of neural activity, encode information via the collective behavior of populations of neurons. A code is called convex if its codewords correspond to regions defined by an arrangement of convex open sets in Euclidean space. Convex codes have been observed experimentally in many brain areas, including sensory cortices and the hippocampus, where neurons exhibit convex receptive fields. What makes a neural code convex? That is, how can we tell from the intrinsic structure of a code if there exists a corresponding arrangement of convex open sets? In this work, we provide a complete characterization of local obstructions to convexity. This motivates us to define max intersection-complete codes, a family guaranteed to have no local obstructions. We then show how our characterization enables one to use free resolutions of Stanley-Reisner ideals in order to detect violations of convexity. Taken together, these results provide a significant advance in understanding the intrinsic combinatorial properties of convex codes.

q-bio.NC↗

arXiv2016

Neural Ideal Preserving Homomorphisms

The neural ideal of a binary code $\mathbb{C} \subseteq \mathbb{F}_2^n$ is an ideal in $\mathbb{F}_2[x_1,\ldots, x_n]$ closely related to the vanishing ideal of $\mathbb{C}$. The neural ideal, first introduced by Curto et al, provides an algebraic way to extract geometric properties of realizations of binary codes. In this paper we investigate homomorphisms between polynomial rings $\mathbb{F}_2[x_1,\ldots, x_n]$ which preserve all neural ideals. We show that all such homomorphisms can be decomposed into a composition of three basic types of maps. Using this decomposition, we can interpret how these homomorphisms act on the underlying binary codes. We can also determine their effect on geometric realizations of these codes using sets in $\mathbb{R}^d$. We also describe how these homomorphisms affect a canonical generating set for neural ideals, yielding an efficient method for computing these generators in some cases.

math.AC↗

arXiv2016

Neural Ideals in SageMath

A major area in neuroscience research is the study of how the brain processes spatial information. 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 consists in determining what stimulus space features can be extracted directly from a neural code. The neural ideal is an algebraic object that encodes the full combinatorial data of a neural code. This ideal can be expressed in a canonical form that directly translates to a minimal description of the receptive field structure intrinsic to the code. In here, we describe a SageMath package that contains several algorithms related to the canonical form of a neural ideal.

q-bio.NC↗

arXiv2016

Neural ideals and stimulus space visualization

A neural code $\mathcal{C}$ is a collection of binary vectors of a given length n that record the co-firing patterns of a set of neurons. Our focus is on neural codes arising from place cells, neurons that respond to geographic stimulus. In this setting, the stimulus space can be visualized as subset of $\mathbb{R}^2$ covered by a collection $\mathcal{U}$ of convex sets such that the arrangement $\mathcal{U}$ forms an Euler diagram for $\mathcal{C}$. There are some methods to determine whether such a convex realization $\mathcal{U}$ exists; however, these methods do not describe how to draw a realization. In this work, we look at the problem of algorithmically drawing Euler diagrams for neural codes using two polynomial ideals: the neural ideal, a pseudo-monomial ideal; and the neural toric ideal, a binomial ideal. In particular, we study how these objects are related to the theory of piercings in information visualization, and we show how minimal generating sets of the ideals reveal whether or not a code is $0$, $1$, or $2$-inductively pierced.

q-bio.NC↗

arXiv2015

Sparse Neural Codes and Convexity

Determining how the brain stores information is one of the most pressing problems in neuroscience. In many instances, the collection of stimuli for a given neuron can be modeled by a convex set in $\mathbb{R}^d$. Combinatorial objects known as \emph{neural codes} can then be used to extract features of the space covered by these convex regions. We apply results from convex geometry to determine which neural codes can be realized by arrangements of open convex sets. We restrict our attention primarily to sparse codes in low dimensions. We find that intersection-completeness characterizes realizable $2$-sparse codes, and show that any realizable $2$-sparse code has embedding dimension at most $3$. Furthermore, we prove that in $\mathbb{R}^2$ and $\mathbb{R}^3$, realizations of $2$-sparse codes using closed sets are equivalent to those with open sets, and this allows us to provide some preliminary results on distinguishing which $2$-sparse codes have embedding dimension at most $2$.

math.CO↗

arXiv2014

The neural ring: using algebraic geometry to analyze neural codes

Neurons in the brain represent external stimuli via neural codes. These codes often arise from 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, algebraic objects that encode the full combinatorial data of a neural code. We find that these objects can be expressed in a "canonical form" that directly translates to a minimal description of the receptive field structure intrinsic to the neural code. We consider the algebraic properties of homomorphisms between neural rings, which naturally relate to maps between neural codes. We show that maps between two neural codes are in bijection with ring homomorphisms between the respective neural rings, and define the notion of neural ring homomorphism, a special restricted class of ring homomorphisms which preserve neuron structure. We also find connections to Stanley-Reisner rings, and use ideas similar to those in the theory of monomial ideals to obtain an algorithm for computing the canonical form associated to any neural code, providing the groundwork for inferring stimulus space features from neural activity alone.

q-bio.NC↗

arXiv2013

The neural ring: an algebraic tool for analyzing the intrinsic structure of neural codes

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, algebraic objects that encode the full combinatorial data of a neural code. Our main finding is that these objects can be expressed in a "canonical form" that directly translates to a minimal description of the receptive field structure intrinsic to the code. We also find connections to Stanley-Reisner rings, and use ideas similar to those in the theory of monomial ideals to obtain an algorithm for computing the primary decomposition of pseudo-monomial ideals. This allows us to algorithmically extract the canonical form associated to any neural code, providing the groundwork for inferring stimulus space features from neural activity alone.

q-bio.NC↗