<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article
  PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD with MathML3 v1.2 20190208//EN" "JATS-journalpublishing1-mathml3.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ali="http://www.niso.org/schemas/ali/1.0/" article-type="brief-report" dtd-version="1.2" xml:lang="en">
<front>
<journal-meta><journal-id journal-id-type="publisher-id">BIOLING</journal-id><journal-id journal-id-type="nlm-ta">Biolinguistics</journal-id>
<journal-title-group>
<journal-title>Biolinguistics</journal-title><abbrev-journal-title abbrev-type="pubmed">Biolinguistics</abbrev-journal-title>
</journal-title-group>
<issn pub-type="epub">1450-3417</issn>
<publisher><publisher-name>PsychOpen</publisher-name></publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">bioling.22899</article-id>
<article-id pub-id-type="doi">10.5964/bioling.22899</article-id>
<article-categories>
<subj-group subj-group-type="heading"><subject>Briefs</subject></subj-group>
</article-categories>
<title-group>
<article-title>Reconstruction and the New Minimalism</article-title>
<alt-title alt-title-type="right-running">Reconstruction and the New Minimalism</alt-title>
<alt-title specific-use="APA-reference-style" xml:lang="en">Reconstruction and the new minimalism</alt-title>
</title-group>
<contrib-group>
<contrib contrib-type="author" corresp="yes"><name name-style="western"><surname>Collins</surname><given-names>Chris</given-names></name><xref ref-type="corresp" rid="cor1">*</xref><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib>
<contrib contrib-type="editor">
<name>
  <surname>Grohmann</surname>
  <given-names>Kleanthes K.</given-names>
</name>
<xref ref-type="aff" rid="aff2"/>
</contrib>
<aff id="aff1"><label>1</label><institution content-type="dept">Department of Linguistics</institution>, <institution>New York University</institution>, <addr-line><city>New York</city>, <state>NY</state></addr-line>, <country country="US">USA</country></aff>
  <aff id="aff2">University of Cyprus, Nicosia, <country>Cyprus</country></aff>
</contrib-group>
<author-notes>
  <corresp id="cor1"><label>*</label>Department of Linguistics, New York University, 10 Washington Place, New York, NY 10003, USA. <email xlink:href="cc116@nyu.edu">cc116@nyu.edu</email></corresp>
</author-notes>
<pub-date date-type="pub" publication-format="electronic"><day>11</day><month>09</month><year>2026</year></pub-date>
<pub-date pub-type="collection" publication-format="electronic"><year>2026</year></pub-date>
<volume>20</volume>
<elocation-id>e22899</elocation-id>
<history>
<date date-type="received">
<day>31</day>
<month>03</month>
<year>2026</year>
</date>
<date date-type="accepted">
<day>11</day>
<month>08</month>
<year>2026</year>
</date>
</history>
<permissions><copyright-year>2026</copyright-year><copyright-holder>Collins</copyright-holder><license license-type="open-access" specific-use="CC BY 4.0" xlink:href="https://creativecommons.org/licenses/by/4.0/"><ali:license_ref>https://creativecommons.org/licenses/by/4.0/</ali:license_ref><license-p>This is an open access article distributed under the terms of the Creative Commons Attribution 4.0 International License, CC BY 4.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</license-p></license></permissions>
<abstract>
<p>In this brief note, I discuss a problem that arises within the theoretical framework for natural language syntax based on Hopf algebra (Marcolli et al., 2025). The framework does not capture reconstruction effects that are the main empirical motivation for the copy theory of movement, and a cornerstone of minimalist syntax.</p>
</abstract>
<kwd-group kwd-group-type="author"><kwd>reconstruction</kwd><kwd>internal Merge</kwd><kwd>copies</kwd><kwd>No Tampering Condition</kwd></kwd-group>

</article-meta>
</front>
<body>
<sec id="sec1" sec-type="intro"><title>1 Introduction</title>
<p><xref ref-type="bibr" rid="r8">Marcolli et al. (2025</xref>, henceforth MCB2025) introduce what they call the ‘New Minimalism’, which is a framework for syntactic analysis based on Hopf algebra (developed in part on the basis of the framework presented in <xref ref-type="bibr" rid="r5">Chomsky et al., 2023</xref>). The terminology ‘New Minimalism’ is meant to draw a contrast between the framework of MCB2025, and <xref ref-type="bibr" rid="r12">Stabler’s (2010)</xref> ‘computational minimalism’ which has quite different syntactic properties. In contrast to the ‘Old Minimalism’, the ‘New Minimalism’ has the following two properties (see page 8 for discussion):</p>
  
  <disp-quote content-type="formal"><label>1</label>
    <list list-type="alpha-lower">
      <list-item><p>Trees are non-planar (terminals are not ordered).</p></list-item>
      <list-item><p>The existence of workspaces.</p></list-item>
    </list>
  </disp-quote>
  
 
  <p>These are also core properties of the framework worked out in <xref ref-type="bibr" rid="r6">Collins and Stabler (2016)</xref>, the standard formalization of minimalist syntax. As noted in MCB2025, p. 187, the formalization of workspace that they adopt comes from <xref ref-type="bibr" rid="r6">Collins and Stabler (2016</xref>, reference [44] in the quote below):</p>
  
  
  <disp-quote content-type="formal"><label>2</label>
    <p>“In New Minimalism, Merge acts on workspaces, consisting of material (lexical items and syntactic objects) available for computation. The Merge operation updates the workspace for the next step of structure formation. This notion of workspace is formalized in [44].”</p>
  </disp-quote>
  
<p>As a result, we can ask whether there are any empirical differences between the formalization in <xref ref-type="bibr" rid="r6">Collins and Stabler (2016)</xref> and MCB2025. In the remainder of this note, I will show how MCB2025 is unable to account for reconstruction effects, because the derivations violate the No Tampering Condition, which is not violated in the framework of <xref ref-type="bibr" rid="r6">Collins and Stabler (2016)</xref>.</p></sec>
<sec id="sec2" sec-type="other1"><title>2 Internal Merge in the New Minimalism</title>
<p>Suppose that in a tree T, β undergoes internal Merge to the root of T. Internal Merge is implemented by MCB2025 in the following way. Starting with a tree T in a workspace W, T is replaced in the workspace by a constituent β and the contraction quotient T/<sup>c</sup>β, then those two are externally Merged (p. 50). The sequence of steps is shown below:</p>
  
  
  <disp-quote content-type="formal"><label>3</label>
    <table-wrap position="anchor">
      <table width="auto" frame="void"  style="pure">
        <tbody>
          
          <tr>
            <td>a.</td>
            <td>{T}</td>
            <td>T in workspace</td>
          </tr>
          
          <tr>
            <td>b.</td>
            <td>{β, T/<sup>c</sup>β}</td>
            <td>β and T/<sup>c</sup>β in workspace</td>
          </tr>
          
          <tr>
            <td>c.</td>
            <td>{{β, T/<sup>c</sup>β}}</td>
            <td>{β, T/<sup>c</sup>β} in workspace</td>
          </tr>
          
        </tbody>
      </table>
    </table-wrap>
  </disp-quote>
 

<p>The contraction quotient is defined as follows:</p>
  
  <disp-quote content-type="formal"><label>4</label>
    <p>“The usual way of defining the quotient of T by T<sub>v</sub> … is to contract (shrink) the entire tree T<sub>v</sub> to a single vertex, so the root of T<sub>v</sub> becomes a leaf.” (p. 30)</p>
  </disp-quote>
  
<p>MCB2025 (p. 53) remark that “..the quotient notation T/<sup>c</sup>T<sub>2</sub> reminds us that T<sub>2</sub> is a copy, and it is the deeper copy that gets deleted.” Furthermore, the resulting leaf has the label <strike>Tv</strike> (called ‘the trace of T<sub>v</sub>’).</p>
  
<p>MCB2025 states clearly that the contraction quotient is the form that “goes to the Conceptual-Intentional (semantic) interface for interpretation…” (p. 33).</p>
  
  
  <disp-quote content-type="formal"><label>5</label>
    <p>“…T/<sup>c</sup>T<sub>v</sub> with the explicit remaining leaf with label T<sub>v</sub> represents the form that the Conceptual-Intentional interface receives for interpretation…” (p. 82)</p>
  </disp-quote>

  
<p>An example from MCB2025 (pp. 52–53) illustrates the derivation of the passive sentence ‘The apple was eaten.’. First, the workspace contains the following tree:</p>
  
  <disp-quote content-type="formal"><label>6</label>
    <fig position="anchor" fig-type="figure" orientation="portrait"><graphic xlink:href="bioling.22899-f1" position="anchor" orientation="portrait"/></fig>
  </disp-quote>
  
  
<p>This tree is replaced in the workspace by the constituent {the, apple} and the contraction quotient of T/<sup>c</sup>{the, apple}, forming the workspace in (7).</p>
  
  <disp-quote content-type="formal"><label>7</label>
    <fig position="anchor" fig-type="figure" orientation="portrait"><graphic xlink:href="bioling.22899-f2" position="anchor" orientation="portrait"/></fig>
  </disp-quote>
  
<p>Lastly, these two syntactic objects are externally merged, forming the tree in (8).</p>
  
  <disp-quote content-type="formal"><label>8</label>
    <fig position="anchor" fig-type="figure" orientation="portrait"><graphic xlink:href="bioling.22899-f3" position="anchor" orientation="portrait"/></fig>
  </disp-quote>

</sec>
<sec id="sec3" sec-type="other2"><title>3 Reconstruction</title>
<p>Principle A of the Binding Theory determines the relation between an anaphor and its antecedent. It is stated below (see <xref ref-type="bibr" rid="r11">Sportiche et al., 2014</xref>, Chapter 7, amongst many other sources):</p>
  
  <disp-quote content-type="formal"><label>9</label>
    <p>Principle A: An anaphor must be bound in its local domain.</p>
  </disp-quote>

<p>In this definition A binds B if A and B are co-indexed, and A c-commands B. The definition of c-command is as follows:</p>
  
  <disp-quote content-type="formal"><label>10</label>
    <p>A c-commands B iff (a) A and B are sisters, or (b) the sister of A dominates B.</p>
  </disp-quote>
 
<p>For example, in the following sentence the subject c-commands and binds the reflexive, which satisfies Principle A of the Binding Theory.</p>
  
  <disp-quote content-type="formal"><label>11</label>
    <p>John<sub>1</sub> loves pictures of himself<sub>1</sub>.</p>
  </disp-quote>
  
<p>But now consider the following movement structures:</p>
  
  
  <disp-quote content-type="formal"><label>12</label>
    <list list-type="alpha-lower">
      <list-item><p>Pictures of himself, John loves.</p></list-item>
      <list-item><p>Only pictures of himself does John love.</p></list-item>
      <list-item><p>It is pictures of himself that John loves.</p></list-item>
      <list-item><p>Which pictures of himself does John love?</p></list-item>
      <list-item><p>the pictures of himself that John loves</p></list-item>
    </list>
  </disp-quote>
 
  
<p>In all cases, the antecedent of the reflexive pronoun is <italic>John</italic>, but <italic>John</italic> does not c-command the reflexive pronoun. So the acceptability of the sentences in (12) poses a problem for Principle A. The acceptability of the sentences in (12) is referred to as a reconstruction effect, because as far as the Binding Theory goes, it is as if the <italic>DP pictures of himself</italic> has been put back (reconstructed into) in its theta-position, as in (11).</p>
<p>In minimalist syntax, such examples are analyzed in terms of the copy theory of movement (see <xref ref-type="bibr" rid="r2">Chomsky, 1995</xref>). For example, the structure of (12a) is:</p>
  

  <disp-quote content-type="formal"><label>13</label>
    <p>Pictures of himself, John loves &lt;pictures of himself&gt;</p>
  </disp-quote>

  
<p>In this structure, the DP <italic>pictures of himself</italic> occupies two different positions via internal Merge. It is externally merged as the complement of <italic>love</italic>, and then undergoes internal Merge to the specifier of FocP (in the left periphery). We say that <italic>pictures of himself</italic> has two copies or two occurrences in (13). Since the anaphor (in one of the occurrences of the moved DP) is bound by <italic>John</italic>, it counts as satisfying Principle A of the Binding Theory.</p>
<p>There are many different kinds of reconstruction effects. There are reconstruction effects for Principles A, B, C. There are also scope reconstruction effects, where a quantifier phrase that has undergone A-movement is interpreted in a position lower than its visible surface position. It is safe to say that reconstruction is one of the empirical cornerstones of minimalist syntax, which provides an elegant theoretical account of a large range of data. For more discussion of reconstruction, see <xref ref-type="bibr" rid="r1">Barss (2001)</xref>, <xref ref-type="bibr" rid="r7">Fox (2003)</xref>, and <xref ref-type="bibr" rid="r10">Sportiche (2017)</xref>.</p></sec>
<sec id="sec4" sec-type="other3"><title>4 No Hopf for Reconstruction</title>
<p>Combining the results from the last two sections, we see that in the Hopf algebra framework of MCB2025, the partial structure of the sentence in (12a) will be as follows (suppressing many irrelevant details):</p>
  
  <disp-quote content-type="formal"><label>14</label>
    <fig position="anchor" fig-type="figure" orientation="portrait"><graphic xlink:href="bioling.22899-f4" position="anchor" orientation="portrait"/></fig>
  </disp-quote>
 
<p>In this example, there is only a vertex (node) in the place of <italic>pictures of himself</italic>, and that vertex is labeled <strike>[pictures of himself]</strike>. Therefore, in this structure <italic>John</italic> no longer c-commands the anaphor.</p>
<p>It might be proposed that <italic>John</italic> c-commands <italic>himself</italic>, because the anaphor is part of the label. But labels play no role in the definition of c-command, which only refers to the relationship between syntactic objects in a tree. In effect, as part of the label, <italic>himself</italic> is no longer accessible for any syntactic operation or condition, including Binding Theory. Under the implementation of internal Merge in MCB2025, no reconstruction effect can be accounted for in terms of the copy theory of movement.</p>
<p>As another example, consider the classical case of quantifier scope reconstruction (<xref ref-type="bibr" rid="r9">McCloskey, 1997</xref>, p. 207; see also <xref ref-type="bibr" rid="r10">Sportiche, 2017</xref>, p. 18):</p>
  
  <disp-quote content-type="formal"><label>15</label>
    <p>Every player didn’t score.</p>
  </disp-quote>
 
<p>Perhaps the most accessible interpretation of this sentence is that it is not the case that every play scored, with the negation taking scope over the universal quantifier. McCloskey notes: “It is, in turn, a well-known property of the relation established by A-Movement that the moved nominal phrase may make its semantic contribution either at the head or at the tail of the A-Chain so formed…” (p. 207).</p>
<p>On the copy theory of movement, the syntactic structure formed is:</p>
  
  
  <disp-quote content-type="formal"><label>16</label>
    <p>Every player didn’t &lt;every player&gt; score.</p>
  </disp-quote>
 
  
<p>The quantifier phrase is interpreted at the LF (Conceptual Intentional) interface in its in-situ position (Spec vP). At the PF (Sensorimotor) interface, the quantifier phrase is spelled-out overtly in in Spec TP. It is not easy to see how this explanation would go through in the approach of MCB2025, since at the LF interface, nothing except a labeled vertex (which is not an actual quantifier phrase) remains under negation.</p>
<p>About reconstruction MCB2025, p. 206 offers the following comment:</p>
 
  <disp-quote content-type="formal"><label>17</label>
    <p>“The intermediate construction T/<sup>ρ</sup>T<sub>v</sub> maintains an unlabeled nonbranching vertex marking the cancellation of the deeper copy T<sub>v</sub>. This provides so-called <italic>trace</italic>s, the empty categories left behind by movement implemented by Internal Merge. As is familiar from the long historical discussion of what is called “reconstruction”, such traces are needed for semantic parsing.”</p>
  </disp-quote>

  
<p>The quote notes that an unlabeled nonbranching vertex provides an empty category left behind by movement. Because this vertex lacks syntactic structure, it cannot host a reflexive pronoun such as <italic>himself</italic>. Therefore, it is geometrically impossible for an antecedent to bind the reflexive, as required by Principle A.</p>
<p>One of the main theoretical innovations of minimalist syntax (see <xref ref-type="bibr" rid="r2">Chomsky, 1995</xref>) has been to replace such traces by copies (occurrences), which then play a role in accounting for reconstruction phenomena (such as the examples discussed above).</p>
<p>It remains to be seen whether all reconstruction phenomena pose similar problems for MCB2025 (for a summary of such effects see <xref ref-type="bibr" rid="r10">Sportiche, 2017</xref>).</p></sec>
<sec id="sec5" sec-type="other4"><title>5 No Tampering Condition</title>
<p>As noted in <xref ref-type="bibr" rid="r3">Chomsky (2005</xref>, p. 13), there is close connection between internal Merge, the copy theory of movement, the No Tampering Condition and reconstruction effects. Some of this is discussed in the quote below:</p>

  <disp-quote content-type="formal"><label>18</label>
    <p>“The no-tampering condition also entails the so-called copy theory of movement, which leaves unmodified the objects to which it applies, forming an extended object…Neither indexing nor the notion of traces is required if we adopt the simplest assumptions: the copy theory. An important additional gain is that rules of reconstruction can be eliminated, and the phenomena can be accounted for more effectively, as has been shown in a great deal of recent work.”</p>
  </disp-quote>
  
  
<p>The No Tampering Condition is defined by <xref ref-type="bibr" rid="r4">Chomsky (2007</xref>, p. 8) below:</p>
  
  <disp-quote content-type="formal"><label>19</label>
    <p>“Suppose X and Y are merged. Evidently, efficient computation will leave X and Y unchanged (the No-Tampering Condition [NTC]). We therefore assume that NTC holds unless empirical evidence requires a departure from SMT [strong minimalist thesis] in this regard, hence increasing the complexity of UG. Accordingly, we can take Merge(X, Y) = {X,Y}.”</p>
  </disp-quote>
  
<p>Here is the argument laid out in more detail:</p>
  
  <disp-quote content-type="formal"><label>20</label>
    <list list-type="alpha-lower">
      <list-item><p>If X dominates Y, Internal Merge creates the structure {X, Y}.</p></list-item>
      <list-item><p>By the NTC, neither X nor Y have been modified.</p></list-item>
      <list-item><p>Therefore, there are two occurrences (“copies”) of Y.</p></list-item>
      <list-item><p>As a result, there are no “traces” (empty elements) created by Internal Merge.</p></list-item>
      <list-item><p>The lower copy of Y plays a key role in explaining reconstruction effects.</p></list-item>
    </list>
  </disp-quote>
  
<p>From this point of view, the reason that the implementation of internal Merge of MCB2025 presented in Section 2 above does not work is that it involves massive violations of the No Tampering Condition. In particular, the formation of the contraction quotient tampers with one of the two objects that are being merged together. This violation of the No Tampering Condition gives rise to the failure to account for reconstruction effects in terms of the copy theory of movement.</p></sec>
<sec id="sec6" sec-type="conclusions"><title>6 Conclusion</title>
<p>In this short note, I have shown how the Hopf algebra framework presented in MCB2025 involves massive violations of the No Tampering Condition, and as a result is incapable of accounting for reconstruction effects in terms of the copy theory of movement.</p>
<p>In comparison, the formalization in <xref ref-type="bibr" rid="r6">Collins and Stabler (2016)</xref> does not involve violations of the No Tampering Condition. In fact, <xref ref-type="bibr" rid="r6">Collins and Stabler (2016)</xref> state that the No Tampering Condition is a theorem of their system.</p></sec>
</body>
<back><ack><title>Acknowledgments</title>
<p>I would like to thank Avery Andrews, Tegan Lakshmanan and Jonathan Merchan for useful discussions of Marcolli et al. (2025). This paper has also benefitted from the comments of the editor and two anonymous reviewers.</p></ack>
<ref-list><title>References</title>
  <ref id="r1"><mixed-citation publication-type="book">Barss, A. (2001). Syntactic reconstruction effects. In M. Baltin &amp; Chris Collins (Eds.), <italic>The handbook of contemporary syntactic theory</italic> (670–696). Blackwell.</mixed-citation></ref>
<ref id="r2"><mixed-citation publication-type="book">Chomsky, N. (1995). <italic>The Minimalist Program</italic>. MIT Press, Cambridge.</mixed-citation></ref>
<ref id="r3"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Chomsky</surname>, <given-names>N.</given-names></string-name></person-group> (<year>2005</year>). <article-title>Three factors in language design.</article-title> <source>Linguistic Inquiry</source>, <volume>36</volume>, <fpage>1</fpage>–<lpage>22</lpage>. <pub-id pub-id-type="doi">10.1162/0024389052993655</pub-id></mixed-citation></ref>
<ref id="r4"><mixed-citation publication-type="book">Chomsky, N. (2007). Approaching UG from below. In U. Sauerland &amp; H.-M. Gärtner (Eds.), <italic>Interfaces</italic> + <italic>recursion</italic> = <italic>language?</italic> (pp. 1–29). Mouton de Gruyter, Berlin.</mixed-citation></ref>
<ref id="r5"><mixed-citation publication-type="thesis">Chomsky, N., Seely, T. D., Berwick, R. C., Fong, S., Huybregts, M. A. C., Kitahara, H., McInnerney, A., &amp; Sugimoto, Y. (2023). <italic>Merge and the Strong Minimalist Thesis</italic>. Cambridge University Press.</mixed-citation></ref>
<ref id="r6"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Collins</surname>, <given-names>C.</given-names></string-name>, &amp; <string-name name-style="western"><surname>Stabler</surname>, <given-names>E.</given-names></string-name></person-group> (<year>2016</year>). <article-title>A formalization of minimalist syntax.</article-title> <source>Syntax</source>, <volume>19</volume>(<issue>1</issue>), <fpage>43</fpage>–<lpage>78</lpage>. <pub-id pub-id-type="doi">10.1111/synt.12117</pub-id></mixed-citation></ref>
  <ref id="r7"><mixed-citation publication-type="book">Fox, D. (2003). On logical form. In R. Hendrick (Ed.), <italic>Minimalist syntax</italic> (82–123). Blackwell.</mixed-citation></ref>
<ref id="r8"><mixed-citation publication-type="book">Marcolli, M., Chomsky, N., &amp; Berwick, R. C. (2025). <italic>Mathematical structure of syntactic merge: An algebraic model for generative linguistics.</italic> MIT Press.</mixed-citation></ref>
<ref id="r9"><mixed-citation publication-type="book">McCloskey, J. (1997). Subjecthood and subject positions. In L. Haegeman (Ed.), <italic>Elements of grammar</italic> (pp. 197–235). Kluwer Academic Publishers.</mixed-citation></ref>
  <ref id="r10"><mixed-citation publication-type="book">Sportiche, D. (2017). Reconstruction, binding and scope. In M. Everaert &amp; H. C. van Riemsdijk (Eds.), <italic>The Wiley Blackwell companion to syntax</italic> (2nd ed., 1–58). John Wiley and Sons.</mixed-citation></ref>
<ref id="r11"><mixed-citation publication-type="book">Sportiche, D., Koopman, H., &amp; Stabler, E. (2014). <italic>An introduction to syntactic analysis and theory</italic>. Wiley Blackwell.</mixed-citation></ref>
<ref id="r12"><mixed-citation publication-type="book">Stabler, E. P. (2010). Computational perspectives on Minimalism. In C. Boeckx (Ed.), <italic>Oxford handbook of linguistic minimalism</italic> (pp. 616–641). Oxford University Press.</mixed-citation></ref>
</ref-list>
<fn-group>
<fn fn-type="financial-disclosure"><p>The author has no funding to report.</p></fn>
</fn-group>
<fn-group>
<fn fn-type="conflict"><p>The author has declared that no competing interests exist.</p></fn>
</fn-group>
</back>
</article>
