To elucidate the combinatorial architecture of neural codes, the neural ideal $ J_C $, an algebraic object, was introduced. Represented in its canonical form, $ J_C $ provides a succinct characterization of the inherent receptive field architecture within the code. The polynomials in $ J_C $ are also instrumental in determining the relationships among the neurons' receptive fields. Consequently, the computation of the collection of canonical forms is pivotal. In this paper, based on the study of relations between pseudo-monomials, the authors present a computationally efficient iterative algorithm for the canonical forms of the neural ideal. Additionally, we introduce a new relationship among the neurons' receptive fields, which can be characterized by if-and-only-if statements, relating both to $ J_C $ and to a larger ideal of a code $ I(C) $.
Citation: Licui Zheng, Yiyao Zhang, Jinwang Liu. The algorithm for canonical forms of neural ideals[J]. Electronic Research Archive, 2024, 32(5): 3162-3170. doi: 10.3934/era.2024145
To elucidate the combinatorial architecture of neural codes, the neural ideal $ J_C $, an algebraic object, was introduced. Represented in its canonical form, $ J_C $ provides a succinct characterization of the inherent receptive field architecture within the code. The polynomials in $ J_C $ are also instrumental in determining the relationships among the neurons' receptive fields. Consequently, the computation of the collection of canonical forms is pivotal. In this paper, based on the study of relations between pseudo-monomials, the authors present a computationally efficient iterative algorithm for the canonical forms of the neural ideal. Additionally, we introduce a new relationship among the neurons' receptive fields, which can be characterized by if-and-only-if statements, relating both to $ J_C $ and to a larger ideal of a code $ I(C) $.
[1] | C. Curto, V. Itskov, A. Veliz-Cuba, N. Youngs, The neural ring: an algebraic tool for analyzing the intrinsic structure of neural codes, Bull. Math. Biol., 75 (2013), 1571–1611. https://doi.org/10.1007/s11538-013-9860-3 doi: 10.1007/s11538-013-9860-3 |
[2] | C. Curto, N. Youngs, Neural ring homomorphisms and maps between neural codes, in Topological Data Analysis, (2020), 163–180. https://doi.org/10.1007/978-3-030-43408-3_7 |
[3] | C. Giusti, E. Pastalkova, C. Curto, V. Itskov, Clique topology reveals intrinsic geometric structure in neural correlations, PNAS, 112 (2015), 13455–13460. https://doi.org/10.1073/pnas.1506407112 doi: 10.1073/pnas.1506407112 |
[4] | C. S. Gunturkun, J. Jeffries, J. Sun, Polarization of neural rings, J. Algebra Appl., 19 (2020), 2050146. https://doi.org/10.1142/S0219498820501467 doi: 10.1142/S0219498820501467 |
[5] | H. Geller, R. G. Rebecca, Canonical forms of neural ideals, preprint, arXiv: 2209.09948. |
[6] | D. Li, J. Liu, L. Zheng, A zero-dimensional valuation ring is 1- Gröbner, J. Algebra, 484 (2017), 334–343. https://doi.org/10.1016/j.jalgebra.2017.04.015 doi: 10.1016/j.jalgebra.2017.04.015 |
[7] | L. Zheng, D. Li, J. Liu, An improvement for GVW, J. Syst. Sci. Complexity, 35 (2022), 427–436. https://doi.org/10.1007/s11424-021-9051-5 doi: 10.1007/s11424-021-9051-5 |
[8] | L. Zheng, D. Li, J. Liu, Some improvements for the specific algorithm of Gröbner bases over dual valuation domain, Electron. Res. Arch., 31 (2023), 3999–4010. https://doi.org/10.3934/era.2023203 doi: 10.3934/era.2023203 |
[9] | A. Morvant, Strengthening relationships between neural ideals and receptive fields, preprint, arXiv: 1803.03204. |
[10] | E. Petersen, N. Youngs, R. Kruse, D. Miyata, R. Garcia, L. D. G. Puente, Neural ideals in SageMath, in Mathematical Software – ICMS 2018, (2018), 182–190. https://doi.org/10.1007/978-3-319-96418-8_22 |
[11] | A. R. Perez, L. F. Matusevich, A. Shiu, Neural codes and the factor complex, Adv. Appl. Math., 114 (2020), 101977. https://doi.org/10.1016/j.aam.2019.101977 doi: 10.1016/j.aam.2019.101977 |