Learning Latent Representations with Progressive Hypothesis Space Expansion
Summary
The paper tackles a learnability problem in morphophonology. Some analyses need underlying representations (URs) that differ from every surface form of a morpheme. Allowing that much abstraction raises two issues: the learner may not settle on the least abstract adequate UR, and the candidate space can grow without limit. Earlier models either fixed a finite UR set by hand or, as in Wang and Hayes (2025), failed at high abstraction levels.
Paramore proposes the UR PHaSE learner, which combines MaxEnt with expectation-maximization. Building on Tesar's ordering of URs by disparity count, it starts with fully concrete UR candidates. It moves to more abstract batches only when a likelihood threshold is not met. New candidates are generated selectively, using constraints whose weights signal unresolved uncertainty.
Tested on Pakistani Punjabi vowel nasality, the learner finds the abstract URs that parallel-search learners miss. The result suggests that limits on abstraction can come from the search procedure itself rather than from an external stipulation.
Key points
- Learning has four stages, with stages 2–4 repeated until every morpheme passes the threshold:
- phonotactic MaxEnt learning (weights start at 50 within [0, 100], with an L2 prior favoring a restrictive grammar),
- EM over URs with up to n disparities,
- a likelihood-threshold check,
- targeted generation of (n+1)-disparity candidates.
- Case study: in Pakistani Punjabi (about 110 million speakers), vowels before tautomorphemic nasals are always nasal on the surface but do not trigger regressive nasal harmony. Contrastive nasal vowels do trigger it. This motivates underlyingly oral URs for pre-N vowels.
- After 1-disparity EM, the learner gives full posterior probability (1.00) to /sA/ for 'breath' and to the abstract /tAVAn/ for 'penalty'.
- Predicted likelihoods for the observed surface forms are 1.00, 0.96 and 1.00. These depend on high weights for *VN and ID[NAS]/_V.
- Planned future work:
- testing on other cases said to need abstract URs (e.g., O'Hara 2017; Wang and Hayes 2025),
- finding the point where deep disparity levels become computationally intractable.
Cite
@inproceedings{paramore2026learning,
title = {{Learning Latent Representations with Progressive Hypothesis Space Expansion}},
author = {Paramore, Jonathan Charles},
booktitle = {Proceedings of the Society for Computation in Linguistics 2026},
year = {2026},
doi = {10.18653/v1/2026.scil-main.5},
url = {https://doi.org/10.18653/v1/2026.scil-main.5}
}References
- Caleb Belth. 2026. A learning-based account of phonological tiers. Linguistic Inquiry, 57(2):229–265. find
- John J. McCarthy. 2007. Hidden Generalizations: Phonological Opacity in Optimality Theory. Sheffield: Equinox. find
- Arthur P. Dempster, Nan M. Laird, and Donald B. Rubin. 1977. Maximum likelihood from incomplete data via the EM algorithm. In Royal Statistical Society. find
- Charlie O’Hara. 2017. How abstract is more abstract? learning abstract underlying representations. Phonology, 34(2):325–345. find
- Madeline Gilbert. 2023. Testing for underlying representations: Segments and clusters in Sevillian Span-Jonathan Charles Paramore. 2025. Learning covert URs via disparity minimization. In Eighth Annual Meeting of the Society for Computation in Linguistics (SCiL), volume 8. ii. *N AS O BS (Walker, 20… find
- Jonathan Charles Paramore and Ryan T. Bennett. 2025. Covert URs: evidence from nasalization in Pakistani Punjabi. Manuscript, UC Santa Cruz. iii. *N AS G (Walker, 2003, p.51) Assign a violation for every glide that dominates a [+ NAS ] feature. find
- Alan Prince and Paul Smolensky. 1993/2004. Optimality Theory: constraint interaction in Generative grammar. Malden, Mass: Blackwell Publishers. iv. *N AS V (Walker, 2003, p.51) Assign a violation for every vowel that dominates a [+ NAS ] feature. find
- Herbert A. Simon. 1955. A behavioral model of rational choice. The Quarterly Journal of Economics, 69(1):99–118. v. *VN Assign a violation for every vowel that dominates a [- NAS ] feature when directly preceding a nasal consonant. find
- Herbert A. Simon. 1956. Rational choice and the structure of the environment. Psychological Review, 63(2):129–138. vi. I D [ NAS ] For every segment, A, assign a violation if the output value for the [ NAS ] feature dominated by A does not match the input value for the [ NAS ] feature dominated by A… find
- Bruce Tesar. 2014. Output-Driven Phonology. Cambridge: Cambridge University Press. find
- Bruce Tesar. 2016. Phonological learning with output-driven maps. Language Acquisition, 24(2):148–167. find
- Rachel Walker. 2003. Reinterpreting transparency in nasal harmony, pages 37–72. Amsterdam: John Benjamins. find
This page in Markdown → https://md.research.elamur.ai/free/en/papers/paramore-2026-learning-latent-representations-progressive-hypothesis/