How communicatively optimal are exact numeral systems? Once more on lexicon size and morphosyntactic complexity
Authors: Chundra Cathcart, Arne Rubehn, Katja Bocklage, Luca Ciucci, Kellen Parker van Dam, Alžběta Kučerová, Jekaterina Mažara, Carlo Y. Meloni, David Snee, Johann-Mattis List
Organizations: Institute for the Interdisciplinary Study of Language Evolution University of Zurich, Zurich, Switzerland · Chair for Multilingual Computational Linguistics University of Passau, Passau, Germany
Recent research argues that exact recursive numeral systems optimize communicative efficiency by balancing a tradeoff between the size of the numeral lexicon and the average morphosyntactic complexity (roughly length in morphemes) of numeral terms. We argue that previous studies have not characterized the data in a fashion that accounts for the degree of complexity languages display. Using data from 52 genetically diverse languages and an annotation scheme distinguishing between predictable and unpredictable allomorphy (formal variation), we show that many of the world's languages are decisively less efficient than one would expect. We discuss the implications of our findings for the study of numeral systems and linguistic evolution more generally.
Figures & tables
Language
Concept
Source Form
Surface Form
Underlying Form
Morpheme Gloss
French
ten
dix
\IPA dis
\IPA /dis/
ten
French
sixteen
seize
\IPA sEz
\IPA /sEz/
sixteen
French
seventeen
dix-sept
\IPA disEt
\IPA /dis-sEt/
ten seven
French
eighteen
dix-huit
\IPA diz \textturnh it
\IPA /dis- \textturnh it/
ten eight
Balochi
ten
d \textschwa
\IPA d@
\IPA /d@/
ten
Balochi
sixteen
šãzd \textschwa [g]
\IPA Sãzd@
\IPA /Sãz-d@/
six 2 ten
Table 1: Selected examples of annotation scheme from French (stan1290; Doherty, 2016a ), Balochi (west2368; Barker & Mengal, 1969a ) and Dhivehi (dhiv1236; Gnanadesikan, 2017a ), slightly modified for increased clarity. Phonologically predictable allomorphs (e.g., French \IPA [di] before \IPA /s/ vs. \IPA [diz] before a voiced segment vs. \IPA [dis] elsewhere) are coded as underlyingly the same, whereas allomorphs with no clear phonological conditioning environment (e.g., Balochi \IPA [S@S:] vs. \IPA [Sãz] ‘6’, Dhivehi \IPA [Vihi] vs. \IPA [Vi:s] ‘20’) are coded as separate underlying morphemes. We exclude cognate codings, as cognacy is not relevant to the research question investigated here, which depends only on the synchronic configurations exhibited by languages.
Figure 1: Lexicon sizes plotted against morphosyntactic complexity values for languages in our sample, under broad and narrow data formats, with selected languages labeled. Colors represent posterior probabilities of component membership (lighter values indicate higher P(k=2) ). The solid line represents the Pareto frontier estimated by the evolutionary algorithm.
Human languages expand vocabularies by combining existing morphemes rather than inventing arbitrary forms. Communicative efficiency shapes lexical systems at multiple levels (Gibson et al., 2019), yet morphological composition -- combining morphemes through compounding or affixation -- has rarely been modeled as a historically situated speaker choice among competing morpheme sequences, leaving unanswered why a language settles on one morpheme combination over other plausible alternatives. We ask whether a trade-off between listener recoverability and speaker production cost can predict attested compositions over contemporaneously available alternatives. Here we show, within the Rational Speech Act (RSA) framework (Frank & Goodman, 2012; Goodman & Frank, 2016) using a time-indexed lexicon constructed from Corpus of Historical American English (COHA) and Corpus of Contemporary American English (COCA), that across 4323 naturally occurring English compounds and derivations spanning 1820--2019, attested compositions are systematically ranked above unattested alternatives generated from contemporaneously available morphemes. Models integrating semantic informativeness with production cost outperform semantic-only and cost-only baselines on Mean Reciprocal Rank (MRR) and top-k accuracy (Acc@k), with the advantage of the Pragmatic Speaker model (S1) over the semantic-only baseline growing as the candidate set expands, where meaning alone leaves morphological choice underdetermined. These findings suggest that lexicalization reflects a communicative trade-off between expressiveness and efficiency, extending rational accounts of communication from utterance-level choice to the internal structure of words.
Fengyuan Yang, Yongqian Peng, Yuxi Ma +2
Institute for Artificial Intelligence, Peking University · School of Psychological and Cognitive Sciences, Peking University · Yuanpei College, Peking University +2
Human recursive numeral systems (i.e., counting systems such as English base-10 numerals), like many other grammatical systems, are highly regular. Following prior work that relates cross-linguistic tendencies to biases in learning, we ask whether regular systems are common because regularity facilitates learning. Adopting methods from the Reinforcement Learning literature, we confirm that highly regular human(-like) systems are easier to learn than unattested but possible irregular systems. This asymmetry emerges under the natural assumption that recursive numeral systems are designed for generalisation from limited data to represent all integers exactly. We also find that the influence of regularity on learnability is absent for unnatural, highly irregular systems, whose learnability is influenced instead by signal length, suggesting that different pressures may influence learnability differently in different parts of the space of possible numeral systems. Our results contribute to the body of work linking learnability to cross-linguistic prevalence.
Andrea Silvi, Ponrawee Prasertsom, Jennifer Culbertson +3
Chalmers University of Technology and Gothenburg University · University of Edinburgh
The structure of naming systems in natural languages hinges on a trade-off between high informativeness and low complexity. Focusing on the domain of kinship naming, we analyze such trade-off while addressing simplifying assumptions of prior work, namely: (i) universal communicative need across languages, and (ii) optimal listeners. To that aim, we collect data from four different languages, and analyze how different communicative needs and variations in the listener model influence the informativeness--complexity trade-off. Adopting a referential game setup from emergent communication, we further show that trade-off optimality is not only theoretically achievable but also emerges empirically in learned communication systems.
Phong Le, Mees Lindeman, Raquel G. Alhama
University of St Andrews · Institute for Logic, Language and Computation; University of Amsterdam.