Documentation

Studies.FedzechkinaChuJaeger2018

Fedzechkina, Chu and Jaeger (2018): Human information processing shapes language change #

Fedzechkina, Chu and Jaeger taught English speakers two miniature languages with free order of subject and object, one verb-final and one verb-initial, from input in which both orders were equally frequent and the two arguments always equally long. Describing scenes with one long argument, verb-final learners put it first and verb-initial learners put it last, the orders that shorten the verb's dependencies, although English prefers short before long (Arnold, Wasow, Losongco and Ginstrom); their productions had shorter dependencies than the input.

The paper measures the verb's dependency length as the summed distance in words from the verb to the closest boundary of each argument: on its sentences, the yield distance of dependency graphs (Graph.yieldDist), and on arrangements of subject, object and verb, the boundary distance of constituents of given lengths (Arrangement.boundaryDist), which agree on Fig. 1 as the substrate's bridge theorem predicts. The measure is invariant under mirroring, and with the verb at an edge it is two plus the length of the argument next to the verb. A learner's productions are a probability measure on pairs of the scene's long argument and the order used. Their mean dependency length is affine in the probability of the symmetric difference of "the subject is long" and "the subject comes first", which places every learner in the diamond of Fig. 5 and ties Fig. 5 to the order proportions of Fig. 4.

Main statements #

Implementation notes #

References #

The paper's measure #

The verb's dependency length sums the distances from the verb to the closest boundary of each argument (Fig. 1).

Equations
  • One or more equations did not get rendered due to their size.
Instances For

    language d holds the orders of the miniature language whose verb has direction d towards both arguments.

    Equations
    Instances For

      The verb-initial orders are the mirror images of the verb-final ones; mirroring reverses the order of subject and object (Arrangement.precedes_mirror).

      With the verb at an edge, the measure is two plus the length of the argument in the middle, next to the verb.

      In the verb-final language of Fig. 1, subject-first order is shorter exactly when the subject is the longer argument, long before short.

      In the verb-initial language of Fig. 1, subject-first order is shorter exactly when the subject is the shorter argument, short before long.

      With arguments of equal length the measure makes no ordering prediction (the baseline of Fig. 4).

      Fig. 1 #

      Fig. 1's verb-final sentence with subject first, MOUNTIE [[RED STOOL ON] HUNTER-OBJ] PUNCH, with the arcs of its bracketing.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For

        The verb-initial sentence with subject first, PUNCH MOUNTIE [HUNTER-OBJ [ON RED STOOL]].

        Equations
        Instances For
          theorem FedzechkinaChuJaeger2018.fig1_yieldDist_eq :
          fig1Sov.yieldDist 5 0 = 5 ∧ fig1Sov.yieldDist 5 4 = 1 ∧ fig1Osv.yieldDist 5 4 = 1 ∧ fig1Osv.yieldDist 5 3 = 2 ∧ fig1Vso.yieldDist 0 1 = 1 ∧ fig1Vso.yieldDist 0 2 = 2 ∧ fig1Vos.yieldDist 0 5 = 5 ∧ fig1Vos.yieldDist 0 1 = 1

          The printed numbers are 5 and 1, 1 and 2, 1 and 2, and 5 and 1.

          The object's yield has four words and the subject's one.

          Two events and their symmetric difference #

          theorem FedzechkinaChuJaeger2018.abs_measureReal_symmDiff_sub_half_le {Ω : Type u_1} [MeasurableSpace Ω] {P : MeasureTheory.Measure Ω} [MeasureTheory.IsProbabilityMeasure P] {A B : Set Ω} (hA : MeasurableSet A) (hB : MeasurableSet B) (hA₂ : P.real A = 1 / 2) :
          |P.real (symmDiff A B) - 1 / 2| ≤ min (P.real B) (1 - P.real B)

          An event of probability one half differs from B with probability within min (P B) (1 - P B) of one half.

          theorem FedzechkinaChuJaeger2018.measureReal_symmDiff_of_indepSet {Ω : Type u_1} [MeasurableSpace Ω] {P : MeasureTheory.Measure Ω} [MeasureTheory.IsProbabilityMeasure P] {A B : Set Ω} (hA : MeasurableSet A) (hB : MeasurableSet B) (hAB : ProbabilityTheory.IndepSet A B P) :
          P.real (symmDiff A B) = P.real A + P.real B - 2 * (P.real A * P.real B)

          Learners' productions #

          @[reducible, inline]

          A test production pairs the long argument of the scene with the order used.

          Equations
          Instances For

            A production is in long c when c is the long argument of its scene.

            Equations
            Instances For

              A production is in longAdjacent when its long argument is next to the verb.

              Equations
              Instances For

                With the verb at an edge, an argument is next to it exactly when it stands in the middle.

                dependencyLength L x is the verb's dependency length in the production x when its long argument has L words and its other argument is a bare noun.

                Equations
                Instances For
                  theorem FedzechkinaChuJaeger2018.measureReal_long {P : MeasureTheory.Measure Production} (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) {c : WordOrder.Constituent} (hc : c ≠ WordOrder.Constituent.verb) :
                  P.real (long c) = 1 / 2
                  theorem FedzechkinaChuJaeger2018.ae_fst_ne_verb {P : MeasureTheory.Measure Production} (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) :
                  ∀ᵐ (x : Production) ∂P, x.1 ≠ WordOrder.Constituent.verb
                  theorem FedzechkinaChuJaeger2018.longAdjacent_ae_eq_headFinal {P : MeasureTheory.Measure Production} (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language HeadDirection.headFinal) :

                  In the verb-final language the long argument is next to the verb exactly when either the subject is long or it comes first, but not both.

                  theorem FedzechkinaChuJaeger2018.longAdjacent_ae_eq_headInitial {P : MeasureTheory.Measure Production} (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language HeadDirection.headInitial) :
                  theorem FedzechkinaChuJaeger2018.measureReal_cond_long {P : MeasureTheory.Measure Production} (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) {c : WordOrder.Constituent} (hc : c ≠ WordOrder.Constituent.verb) (s : Set Production) :
                  P[|long c].real s = 2 * P.real (long c ∩ s)
                  theorem FedzechkinaChuJaeger2018.integral_dependencyLength {P : MeasureTheory.Measure Production} {d : HeadDirection} {L : ℕ} [MeasureTheory.IsProbabilityMeasure P] (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language d) :
                  ∫ (x : Production), dependencyLength L x ∂P = 3 + (↑L - 1) * P.real longAdjacent

                  The mean dependency length is three plus L - 1 times the probability that the long argument is next to the verb.

                  theorem FedzechkinaChuJaeger2018.integral_dependencyLength_of_indepFun {P : MeasureTheory.Measure Production} {d : HeadDirection} {L : ℕ} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language d) (h : ProbabilityTheory.IndepFun Prod.fst Prod.snd P) :
                  ∫ (x : Production), dependencyLength L x ∂P = (↑L + 5) / 2

                  Without a length-based ordering preference the mean is (L + 5) / 2, the input's 4.5, at any overall order frequency, which is the dashed line of Fig. 5.

                  theorem FedzechkinaChuJaeger2018.abs_integral_dependencyLength_sub_le {P : MeasureTheory.Measure Production} {d : HeadDirection} {L : ℕ} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hL : 1 ≤ L) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language d) :
                  |∫ (x : Production), dependencyLength L x ∂P - (↑L + 5) / 2| ≤ (↑L - 1) * min (P.real subjectFirst) (1 - P.real subjectFirst)

                  In the diamond of Fig. 5 the mean lies within L - 1 times the frequency of the rarer order of the input's (L + 5) / 2.

                  theorem FedzechkinaChuJaeger2018.measureReal_subjectFirst_eq_half_of_integral_eq_three {P : MeasureTheory.Measure Production} {d : HeadDirection} {L : ℕ} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hL : 1 < L) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language d) (h : ∫ (x : Production), dependencyLength L x ∂P = 3) :
                  P.real subjectFirst = 1 / 2

                  The least mean length, 3, needs perfectly flexible order.

                  theorem FedzechkinaChuJaeger2018.integral_dependencyLength_of_fixed {P : MeasureTheory.Measure Production} {d : HeadDirection} {L : ℕ} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hL : 1 ≤ L) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language d) (h : P.real subjectFirst = 0 ∨ P.real subjectFirst = 1) :
                  ∫ (x : Production), dependencyLength L x ∂P = (↑L + 5) / 2

                  Fixed order gives the input's mean length.

                  theorem FedzechkinaChuJaeger2018.measureReal_subjectFirst {P : MeasureTheory.Measure Production} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) :

                  The overall subject-first proportion averages those on the two kinds of scene.

                  theorem FedzechkinaChuJaeger2018.measureReal_long_symmDiff_subjectFirst {P : MeasureTheory.Measure Production} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) :
                  theorem FedzechkinaChuJaeger2018.integral_dependencyLength_eq_cond {P : MeasureTheory.Measure Production} {L : ℕ} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language HeadDirection.headFinal) :
                  ∫ (x : Production), dependencyLength L x ∂P = (↑L + 5) / 2 - (↑L - 1) / 2 * (P[|long WordOrder.Constituent.subject].real subjectFirst - P[|long WordOrder.Constituent.object].real subjectFirst)

                  A verb-final learner's mean dependency length is the input's minus (L - 1) / 2 times how much more often they put the subject first when it is long than when the object is (Fig. 4), so the paper's two analyses measure one quantity.

                  theorem FedzechkinaChuJaeger2018.integral_dependencyLength_eq_lower_iff {P : MeasureTheory.Measure Production} {L : ℕ} [MeasureTheory.IsProbabilityMeasure P] (hscene : P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object}) (hL : 1 < L) (hlang : ∀ᵐ (x : Production) ∂P, x.2 ∈ language HeadDirection.headFinal) :
                  ∫ (x : Production), dependencyLength L x ∂P = (↑L + 5) / 2 - (↑L - 1) * min (P.real subjectFirst) (1 - P.real subjectFirst) ↔ P[|long WordOrder.Constituent.object].real subjectFirst = 0 ∨ P[|long WordOrder.Constituent.subject].real subjectFirst = 1

                  The lower lines of Fig. 5 are reached exactly by the verb-final learners who never put the subject first with a long object or always do with a long subject, spending subject-first order first where it shortens the dependencies; fixed order does so trivially.

                  theorem FedzechkinaChuJaeger2018.exists_integral_dependencyLength_eq_lower {L : ℕ} (p : ↑unitInterval) :
                  ∃ (P : MeasureTheory.Measure Production), MeasureTheory.IsProbabilityMeasure P ∧ P.fst = ProbabilityTheory.uniformOn {WordOrder.Constituent.subject, WordOrder.Constituent.object} ∧ (∀ᵐ (x : Production) ∂P, x.2 ∈ language HeadDirection.headFinal) ∧ P.real subjectFirst = ↑p ∧ ∫ (x : Production), dependencyLength L x ∂P = (↑L + 5) / 2 - (↑L - 1) * min (↑p) (1 - ↑p)

                  Every point of the lower lines of Fig. 5 is reached, at subject-first frequency p by a verb-final learner who spends subject-first order on long-subject scenes first.