dorsal/arxiv
View SchemaNested Canalyzing, unate cascade, and polynomial functions
| Authors | Abdul Salam Jarrah, Blessilda Raposa, Reinhard Laubenbacher |
|---|---|
| Categories | |
| ArXiv ID | q-bio/0606013 |
| URL | https://arxiv.org/abs/q-bio/0606013 |
Abstract
This paper focuses on the study of certain classes of Boolean functions that have appeared in several different contexts. Nested canalyzing functions have been studied recently in the context of Boolean network models of gene regulatory networks. In the same context, polynomial functions over finite fields have been used to develop network inference methods for gene regulatory networks. Finally, unate cascade functions have been studied in the design of logic circuits and binary decision diagrams. This paper shows that the class of nested canalyzing functions is equal to that of unate cascade functions. Furthermore, it provides a description of nested canalyzing functions as a certain type of Boolean polynomial function. Using the polynomial framework one can show that the class of nested canalyzing functions, or, equivalently, the class of unate cascade functions, forms an algebraic variety which makes their analysis amenable to the use of techniques from algebraic geometry and computational algebra. As a corollary of the functional equivalence derived here, a formula in the literature for the number of unate cascade functions provides such a formula for the number of nested canalyzing functions.
{
"annotation_id": "bf9e1136-166d-4596-9658-fc4452420cfc",
"date_created": "2026-03-02T18:01:35.825000Z",
"date_modified": "2026-03-02T18:01:35.825000Z",
"file_hash": "363d6db49e7bb8913fce3803b8381e07a6038f2f85c684b9fddbe0a44cc13a52",
"private": false,
"record": {
"abstract": "This paper focuses on the study of certain classes of Boolean functions that\nhave appeared in several different contexts. Nested canalyzing functions have\nbeen studied recently in the context of Boolean network models of gene\nregulatory networks. In the same context, polynomial functions over finite\nfields have been used to develop network inference methods for gene regulatory\nnetworks. Finally, unate cascade functions have been studied in the design of\nlogic circuits and binary decision diagrams. This paper shows that the class of\nnested canalyzing functions is equal to that of unate cascade functions.\nFurthermore, it provides a description of nested canalyzing functions as a\ncertain type of Boolean polynomial function. Using the polynomial framework one\ncan show that the class of nested canalyzing functions, or, equivalently, the\nclass of unate cascade functions, forms an algebraic variety which makes their\nanalysis amenable to the use of techniques from algebraic geometry and\ncomputational algebra. As a corollary of the functional equivalence derived\nhere, a formula in the literature for the number of unate cascade functions\nprovides such a formula for the number of nested canalyzing functions.",
"arxiv_id": "q-bio/0606013",
"authors": [
"Abdul Salam Jarrah",
"Blessilda Raposa",
"Reinhard Laubenbacher"
],
"categories": [
"q-bio.QM",
"math.AC"
],
"title": "Nested Canalyzing, unate cascade, and polynomial functions",
"url": "https://arxiv.org/abs/q-bio/0606013"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "cd70f590-6c81-46ae-845a-fcf15f262736",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}