The DOI matches its DataCite record; 6 of the 6 references it cites were found in a registry or an index; none of the 2 sources its claims cite is checked for support yet.
The number of non-isomorphic arithmetic expressions that can be constructed using +,-,x and /
Open accessAbstract
The goal of this paper is to count the number of distinct functions of n variables, up to permutation of the variables, that can be constructed using each variable exactly once, without constants, using only the operations of addition, subtraction, multiplication, and division. We refer to such a function as an arithmetic expression. Under this definition, two expressions are identical if they represent the same rational function; for example, $x_1-x_2-x_3$ and $x_1-(x_2+x_3)$ are identical arithmetic expressions, as are $x_1(x_2+x_3)$ and $(x_2+x_3)x_1$. Two arithmetic expressions are said to be isomorphic if one can be obtained from the other by a permutation of the variables. For example, $(x_1-x_2)/x_3$ and $(x_2-x_3)/x_1$ are isomorphic. The first few values of the number of non-isomorphic arithmetic expressions with n variables are: $$1,4,18,93,500,2844,16621,99674,608448,...$$ In order to accomplish this enumeration, we classify the set of all arithmetic expressions into 12 disjoint categories. Counting all non-isomorphic expressions in each category allows us to obtain the total required quantity.
Overview
CoChat Summary
TL;DR
This paper counts non-isomorphic arithmetic expressions built from \(n\) variables, each used exactly once, with binary \(+, -, \times, \div\) and no constants, up to permutation of variables. It proves a canonical classification into 12 categories and gives explicit enumeration formulas, with first values \(1,4,18,93,500,2844,16621,99674,608448,\ldots\).
Key findings
- The paper defines arithmetic expressions as rational functions built from \(n\) variables using only binary \(+,-,\times,\div\), where two expressions are identical if they represent the same rational function and isomorphic if related by a variable permutation.
- The first reported non-isomorphic counts are \(1,4,18,93,500,2844,16621,99674,608448,\ldots\); the table gives totals for \(n=1\) to \(6\) as \(1,4,18,93,500,2844\), and for \(n=17\) as \(1,717,542,967,251\). It compares these with non-identical counts for \(n=1\) to \(6\): \(1,6,68,1170,27142,793002\).
- The Fundamental Theorem of Arithmetic Expressions states that every expression ends with exactly one of \(+,-,\times,\div\), and gives unique canonical decompositions for each operator class, with conditions for first, second, and third types; the abstract describes this as classifying all expressions into 12 disjoint categories.
- The paper solves the 21-puzzle: among the 93 non-isomorphic expressions in \(A_4\), a unique expression up to isomorphism is needed for the solution.
Methods
- Combinatorial enumeration using the projectively extended real line, generalized multivariate functions, partial derivatives to test variable dependence, and a unique multilinear form for arithmetic expressions.
- Expressions are classified by ending operator and by type relative to negation (first, second, third); counting uses partitions, multisets, and a colored-weights lemma.
- The Fundamental Theorem is proved in Appendix A, converted to equivalence classes in Theorem 4.2, and used to derive explicit formulas in Theorem 4.3; tables are computed for \(n\) up to 17.
Limitations
- The paper states that characterizing the asymptotic relationship \(R_n \sim n! \cdot c^{-n}\) for a constant \(c \approx 1.16\) formally remains an open problem; it also reports asymptotic constants \(b \approx 0.16142\) and \(c \approx 1.87722\), but the corresponding formula is not decoded in the provided text.
- Evident from the provided text: many formulas appear as “formula-not-decoded,” and the Appendix A/B proofs are referenced but not included, so exact formulas and proofs cannot be verified from the supplied text. No dedicated limitations section appears in the paper.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Figures
Verification
Claims the paper makes
0 Valid · 3 Not valid · 3 Not checked · 43 Own results and interpretations
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Empirical data shows that this ratio grows significantly slower than the full factorial; specifically, the multiplier between successive terms, M n = R n /R n -1 , grows linearly with n .”
plainstates a cause- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Every [ f ] ∈ A n ( -) can be expressed uniquely as”
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on an assumption not shown here.
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Every [ f ] ∈ C n (+) can be expressed uniquely, up to the order of the summands, in one of the following ways: either as”
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on an assumption not shown here.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Note that |F k ( × , ÷ ) | = |F k ( × ) | + |F k ( ÷ ) | for every k .”
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: unclear — It is unclear why the paper says it holds.
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Every [ f ] ∈ C n ( ÷ ) can be expressed uniquely as”
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on an assumption not shown here.
29 more claims
Create a free account to see all 49 claims and every source verdict.
- The quote only partly states this claim. 6
- Probably not a substantial claim. 6
- It may state two separate claims as one. 3
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Rated minor: it would not touch a result — a value no result rests on, a p-value that stays on the same side of the significance level, or a conflict that is clerical, resolved elsewhere in the paper, or outside its own findings.
In the paper
§ as required. · p. 25
“it is natural to observe R n < n !.”
§ 4.2 Our main result · p. 22
“| 1 | 1 | 1 |”
Citations
Cites
The publisher hasn’t deposited this paper’s reference list.
Research works printed but not linked: 7
- [3][3] Isokawa, Y., 2015. Listing up Combinations of Resistances , Bulletin of the Faculty of Education, Kagoshima University. Natural science, 67, pp.1-8. -
- [7][7] MacMahon, P.A., 1890. Yoke Chains and Multipartite Compositions in connexion with the Analytical forms called 'Trees' . Proceedings of the London Mathematical Society, 1(1), pp.330-346. -
- [10][10] Riordan, J. and Shannon, C.E., 1942. The number of two-terminal seriesparallel networks , Journal of Mathematics and Physics, 21(1-4), pp.83-93. -
- [11][11] Sloane, N.J.A. (ed.), 'Sequence A140606 Number of inequivalent expressions involving n operands', The On-Line Encyclopedia of Integer Sequences, OEIS Foundation, https://oeis.org/A140606 -
- [12][12] Sloane, N.J.A. (ed.), 'Sequence A000084 Number of series-parallel networks with n unlabeled edges. Also called yoke-chains by Cayley and MacMahon', The On-Line Encyclopedia of Integer Sequences, OEIS Foundation, https://oeis.org/A000084 -
- [13][13] Sloane, N.J.A. (ed.), 'Sequence A393077 The number of non-isomorphic arithmetic expressions with n variables that can be constructed using +,,x,*,/', The On-Line Encyclopedia of Integer Sequences, OEIS Foundation, https://oeis.org/A393077 -
- [14][14] V. A. Zorich, Mathematical Analysis II , Springer, 4nd edn. 2002.
Cited by
Still being checked.
Metadata
- Authors
- Cohen, B.
- Affiliations
- Academic College of Tel Aviv-Yafo (IL)
- Corresponding author
- Cohen, Boaz
- ORCID
- Cohen, Boaz
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2026
- ISSN
- 2331-8422 (ISSN-L)
- arXiv
- 2602.18522
- OpenAlex
- W7131250931
- Semantic Scholar
- 86d17657146d1d3c5a1b5c452f56dfcd217e5efd
- Cited by
- 0
- References
- 0
- Type
- posted content
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Mathematics › Discrete Mathematics and Combinatorics › Advanced Combinatorial Mathematics
- Physical Sciences › Computer Science › Computational Theory and Mathematics › semigroups and automata theory
- Physical Sciences › Mathematics › Modeling and Simulation › Mathematical and Computational Methods
- Keywords
- arithmetic expressions, rational functions, variable permutation, enumeration, binary operations, combinatorial enumeration
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-11-14, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).
A second model labelled each claim on 2026-11-14 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: The number of non-isomorphic arithmetic expressions that can be constructed using +,-,x and /. https://app.cochat.ai/papers/10.48550/arxiv.2602.18522
- The paper
- Cohen, B. (2026). The number of non-isomorphic arithmetic expressions that can be constructed using +,-,x and /. arXiv. https://doi.org/10.48550/arxiv.2602.18522
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
