enumerimit

Enumerimit is a theoretical construct in combinatorics and probability that denotes the limiting frequency, or density, of a given property within a class of combinatorial objects when those objects are organized by size. The term combines enumerate and limit to describe how common a property becomes (or fails to become) as size grows.

Definition and notation: Let C_n denote the set of objects of size n in a combinatorial class, and let P be a property. Define E(n) as the number of objects in C_n that satisfy P, and T(n) as the total number of objects in C_n. If the limit e(P) = lim_{n→∞} E(n)/T(n) exists, then e(P) is called the enumerimit of P in C. The enumerimit, when it exists, represents the asymptotic density of objects with property P within the size-n objects.

Examples: In the class of binary strings of length n, with P = “the string contains at least one 0,” E(n) = 2^n − 1 and T(n) = 2^n, so e(P) = 1. For P = “the string is a palindrome,” E(n) = 2^{ceil(n/2)} and T(n) = 2^n, yielding e(P) = 0 as n grows. These illustrate how enumerimits capture limiting behavior of properties under size growth.

Computation and scope: Enumerimits are studied using generating functions, analytic combinatorics, and probabilistic methods. Existence often follows from regular growth and limit laws, while nonexistence can occur in classes with oscillatory behavior.

Applications: Enumerimits guide random generation, approximate counting, and threshold analyses in algorithms and statistical physics, helping quantify how likely certain patterns are in large systems.

See also: asymptotic density, natural density, limiting distribution, analytic combinatorics. References include standard texts on combinatorics and generating functions for methods related to enumerative limits.