Docs / Studies / Studies.JingBlasiBickel2022
Dependency-length minimization and its limits: A possible role for a probabilistic version of the final-over-final condition
Jing, Y., Blasi, D. E. & Bickel, B. (2022). Language, 98(3), 397–418
A two-dependency catena is a dependency with a dependency of its dependent (hierarchical) or two
of one head (parallel), harmonic when both point one way. The paper scores a sentence by the
chance that a baseline relinearization has longer catenae. Mirroring keeps
harmony and the score and exchanges head-final with
head-initial pairs, so a law invariant under it, such as one weighting
length alone, gives the score one law at k head-final and at k
head-initial pairs. A score falling with head-finality needs a cause that
sees direction, such as a penalty on final over initial.
Implementation notes
- A sentence is a linearization
σof a treeg, the graphg.map σ: catenae and their head–dependent pairs are read offg, directions and lengths offσ. Only dependencies between verbs, nouns, adjectives and adverbs are measured, at distances counting every word; on catenae covering every arc the length is the total dependency length (length_eq_totalLength). dlmis the probability that the paper estimates from 100 baseline samples, for any baseline law;fig2ais one sample.- The paper's tentative principle is modelled one catena at a time (
disprefer): the final-over-initial configuration of a catena is downweighted byε < 1in a mirror-invariant law. Like the paper, the model drops both restrictions of Biberauer, Holmberg and Roberts, that the two heads lie in one extended projection and share their value of ±V. - The symmetry argument is the one Roberts makes against harmony as the source of the condition, in his chapter of the book of Sheehan, Biberauer, Roberts and Holmberg, whose chapter by Sheehan weighs the parsing accounts of the condition.
Errata
- Fig. 2b, the free-word-order baseline, attaches into and certain to article, so it is not the dependency-preserving linearization of Figure 1 that §2.3 describes; with the heads of Figure 1 its order puts into after parts, reversing a dependency the baseline keeps.
- The reference list credits "Harmony, symmetry, and dominance in word order universals" to Biberauer, Holmberg, Roberts and Sheehan; the chapter is Roberts's alone.
TODO
- The paper's three baselines as laws on projective linearizations, which needs the
supplementary materials on function words and the order of siblings.
dlm_mirrorandmeasure_dlm_headFinalhold for every baseline. - A law downweighting every final-over-initial catena of a sentence does not reduce to the
model of one catena, since the other catenae break the symmetry
measure_swap_directionsgives. - Behaghel's law against nested ordering: the second is mirror-symmetric and the first is not.
References
- Jing et al. 2022, Dependency-length minimization and its limits: A possible role for a probabilistic version of the final-over-final condition
- Biberauer et al. 2014, A syntactic universal and its consequences
- Sheehan et al. 2017, The final-over-final condition: A syntactic universal
- Sheehan 2017b, The final-over-final condition and processing formalized
Declarations
Two-dependency catenae, §2.2
The hierarchical two-dependency catenae of g: an arc and an arc out of its dependent.
- hierarchical g = {x ∈ g.arcs ×ˢ g.arcs | x.1.2 = x.2.1}
Used by isCatena_triple_iff, table2, length_fig2a, measure_finalOverInitial, dlm_chain
The parallel two-dependency catenae of g: two arcs out of one head, each pair counted once,
with the first dependent at the lower position of g.
Used by isCatena_triple_iff, table2, measure_pileUp
Built from ,
Harmony, head-finality, length and the DLM score
The directions in σ of the two arcs of a catena.
- directions σ x = (σ.headDirection x.1.1 x.1.2, σ.headDirection x.2.1 x.2.2)
Used by IsHarmonic, directions_mirror, ex6, projective_chain, measure_swap_directions, measure_finalOverInitial, measure_pileUp, disprefer_apply, cond_harmonic
A catena is harmonic in σ when its two arcs have one direction.
- IsHarmonic σ x = ((directions σ x).1 = (directions σ x).2)
Built from
Used by instDecidableIsHarmonic, harmonic, isHarmonic_mirror, cond_harmonic
Built from
The head–dependent pairs of the catenae C.
Used by headFinalPairs, headInitialPairs, length, card_headFinalPairs_add_card_headInitialPairs, length_eq_totalLength, table2
The catenae of C that are harmonic in σ.
- harmonic σ C = {y ∈ C | IsHarmonic σ y}
Built from
Used by harmonic_mirror, table2
The pairs of C that are head-final in σ.
- headFinalPairs σ C = {p ∈ pairs C | σ.headDirection p.1 p.2 = HeadDirection.headFinal}
Built from
Used by card_headFinalPairs_add_card_headInitialPairs, headFinalPairs_mirror, table2, measure_dlm_headFinal
The pairs of C that are head-initial in σ.
- headInitialPairs σ C = {p ∈ pairs C | σ.headDirection p.1 p.2 = HeadDirection.headInitial}
Built from
Used by card_headFinalPairs_add_card_headInitialPairs, headFinalPairs_mirror, measure_dlm_headFinal
The summed length in σ of the pairs of C.
Built from
Used by dlm, length_mirror, length_eq_totalLength, table2, length_fig2a
The DLM score of σ against the baseline law ν, the probability of a baseline
linearization in which the pairs of C are strictly longer.
- dlm σ C ν = ν {τ : WordOrder.Arrangement (Fin n) n | length σ C < length τ C}
Built from
Used by dlm_mirror, dlm_map_mirror, measure_dlm_headFinal, dlm_chain
Built from
Built from
Built from , ,
Built from
Built from ,
Built from
Built from
Built from
Built from ,
Figures 1 and 2a, §§2.1–2.4
Verbs, nouns, adjectives and adverbs, the categories whose dependencies are measured.
- IsLexical w = (w.cat = UD.UPOS.VERB ∨ w.cat = UD.UPOS.NOUN ∨ w.cat = UD.UPOS.ADJ ∨ w.cat = UD.UPOS.ADV)
Used by instDecidablePredWordIsLexical
The definition is too large to print here; read it in the source.
Built from
The dependencies of g between lexical words, every word kept in place.
The definition is too large to print here; read it in the source.
Used by table2, length_fig2a
Figure 1: We certainly fit into certain parts of the article.
The definition is too large to print here; read it in the source.
Used by table2, length_fig2a
In Figure 1 the two hierarchical catenae, one of them harmonic, have three pairs of summed length 7, one of them head-final, and the two parallel catenae, neither harmonic, have four pairs of summed length 8, two of them head-final.
Built from , , , , , , ,
Figure 2a: We fit certainly into certain of the article parts, a linearization of the tree of Figure 1 drawn by the paper's baseline.
The definition is too large to print here; read it in the source.
Used by length_fig2a
Built from , , , ,
The four orders of a chain, (6)
The chain of (6): A heads B, which heads C.
The definition is too large to print here; read it in the source.
Used by ex6, projective_chain, dlm_chain
The order A C B, initial over final; (6a) is the identity, (6b) its mirror image and
(6d) the mirror image of (6c).
- ex6c = Equiv.swap 1 2
Used by ex6, projective_chain
The harmonic orders of the chain have length 2 and the disharmonic ones length 3; (6d), the mirror image of (6c), has its length, and is final over initial where (6c) is initial over final.
Built from , ,
Built from , ,
Mirror-invariant laws
Under a law of linearizations invariant under mirroring, the DLM score has one distribution
at k head-final pairs and at k head-initial pairs, so no such law makes the score fall with
head-finality. Every law weighting dependency length alone is one (map_mirror_eq_self).
Built from , ,
p. 412: under a law of linearizations invariant under mirroring, reversing the directions of
two dependencies preserves the probability of every event about their directions. Every law
weighting dependency length alone is one (map_mirror_eq_self).
Built from
Built from ,
Built from ,
ν with the final-over-initial configuration of the catena x downweighted by ε.
The definition is too large to print here; read it in the source.
Used by disprefer_apply, disprefer_one, cond_harmonic
Built from ,
Built from
Table 4, Fig. 6: let disprefer ν x ε downweight by ε < 1 the final-over-initial
configuration of two dependencies under a mirror-invariant law ν. Under ν the lower
dependency is as likely to be harmonic with the upper one when head-final as when head-initial;
under disprefer ν x ε the head-final probability is unchanged and the head-initial one is
greater. Every conditioning set has positive probability.
Built from , ,
The chain of (6) under the uniform law
Built from , ,