{"id":"74f20b58-590d-4938-99ee-47031430215e","arxiv_id":"2411.18181","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The interval between 1-codirection and the order on the integers contains exactly six definability spaces, ordered by inclusion.","lead":"This paper pinpoints every definability relation on the ordered integers that lies between 'same-direction neighbors' and the full order. It shows this interval contains exactly six spaces, giving a complete picture for that slice of the definability lattice.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of the [A11,<] classification hinges on Lemma 4's unproved claim about block rearrangements; the displayed one-pass construction does not obviously generate all finite block permutations, leaving the exhaustiveness proof incomplete.","rationale":"The reader flagged the dependence on the self-cited Svenonius correspondence (Proposition 1) and on the five-group classification for Sym(Q) (Proposition 2). I agree that these are load-bearing and that the preprint should make the citations and their applicability explicit. However, the more directly testable soft spot is internal to Section 4: even granting both background theorems, the proof that no additional groups occur between the shift group and Gamma(A11) depends on Lemma 4's informal block-permutation argument and on very compressed maximality arguments for the five cases. The main theorem's completeness is exactly as strong as this reduction. A failure of Lemma 4 would allow extra closed groups whose initiated image is one of the five but whose positive/negative orientation pattern differs from the described groups, so the Diagram would miss spaces. The concrete test isolates that failure mode: checking whether the combinatorial moves actually generate all finite block permutations is finite, mechanical, and decisive. If they do, the proof could be repaired by writing out the missing generation argument; if they do not, the theorem would need a different exhaustiveness proof or would be false. Since the reader's CONDITIONAL verdict already reflects the need for additional detail, this stress-test does not change the recommended verdict; it sharpens the reason for conditionality.","tokens_in":7516,"tokens_out":33577,"duration_ms":330688,"concrete_test":"Formalize the block-moving operation in Lemma 4 as moves on permutations of n labeled blocks: choose 1 <= k <= l <= m <= n, place the four consecutive segments on four verticals with sufficiently large gaps, apply the given permutation g (positive, reversing vertical order), and then relabel the blocks by their new vertical order. Allow repeated moves. By exhaustive search for n = 3, 4, 5, determine whether these moves generate the full symmetric group S_n. If some permutation of blocks is unreachable, Lemma 4's conclusion that Gamma* contains Gamma(+1) is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem's completeness direction asserts that every definability space between A11 and the order < is one of the Diagram's vertices. That exhaustiveness is established through the Section 4 case analysis, whose engine is Lemma 4: it claims that a single positive permutation reversing the order of four verticals forces Gamma* to contain Gamma(+1), and a single negative permutation preserving such an order forces Gamma* to contain Gamma(A11). The proof of Lemma 4 is the least secure step: it says that by 'placing' blocks on four verticals with mutual distances above the boundary and applying g, 'we can obtain every predetermined order of blocks', and therefore any relation preserved by Gamma* is preserved by every finite positive permutation. But the displayed construction (*) only gives one specific segment-reversal order for a given k,l,m; for n=3 blocks it produces only four of the six permutations. The text does not show that repeated placements, applications of g, and relabelings generate the full symmetric group on blocks. This matters because Lemma 4 is exactly what rules out mixed-orientation groups (positive elements initiating decreasing maps, negative elements initiating increasing maps) and forces each of the five initiated subgroups of Sym(Q) to have the unique orientation pattern drawn in the Diagram. If Lemma 4's block-generation claim is false, there could be additional closed groups between Gamma(<) and Gamma(A11), and the classification would be incomplete. The subsequent 'maximality' checks for the Separation, Between, Cycle, and Order cases are one-paragraph assertions that every proper extension falls into a previously handled case; they are not independent proofs of exhaustiveness if Lemma 4 fails.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the definability (reducts) lattice of the ordered set of integers \\langle\\mathbb{Z},<\\rangle. It introduces the relations of 1-codirection (A11), neighborhood, between (B), cycle (C), separation (S), and the order relation itself, and claims that the interval [A11,<] in the definability lattice is exactly the sublattice shown in Figure 2, with strict inclusions along the edges and all other inclusions given by transitive closure. The proof strategy is to use a Svenonius-type correspondence (Proposition 1, from the authors' prior work [1]) to translate the problem into a classification of closed subgroups of the automorphism group of A11 that contain the shift group, then to split into five cases according to the induced subgroup of Sym(\\mathbb{Q}) (Proposition 2 from [3]), and to analyze each case to show that the only possible closed groups are those corresponding to vertices of the diagram.","tokens_in":7797,"tokens_out":14372,"duration_ms":126041,"significance":"If the main theorem is correct, it constitutes a substantial step toward a full understanding of the definability lattice of \\langle\\mathbb{Z},<\\rangle, a structure of central interest in the area of reducts and oligomorphic groups. The paper leverages a powerful and elegant correspondence between definability spaces and closed automorphism groups, and it builds naturally on the authors' previous work. The claimed classification of the interval [A11,<] is falsifiable and concrete, and the paper correctly identifies the five possible initiated subgroups of Sym(\\mathbb{Q}), which is a well-founded starting point. However, the proof as written is far too compressed: the key technical lemma (Lemma 4) is not rigorously established, and the maximality arguments in several of the five cases are only sketched. Because of these gaps, the paper's central claim is not yet substantiated, though the overall approach appears promising and the gaps seem addressable in a thorough revision.","major_comments":[{"comment":"The proof of Lemma 4 is not complete. The central assertion that \"by applying such vector transformations for different k,l,m we can obtain every predetermined order of blocks\" is unproved. For a vector with n=3 blocks, the displayed construction (*) yields only four of the six possible permutations in a single step, and the text does not show that compositions of these transformations generate the full symmetric group on the blocks. Since Lemma 4 is the engine that rules out mixed-orientation groups and forces each initiated subgroup to have the orientation pattern claimed in the diagram, this gap is load-bearing. The authors must either provide a proof that the transformations (*) generate the symmetric group, or replace the argument with a different one.","section":"Section 4, Lemma 4"},{"comment":"Even if all finite block permutations were generated, the inference from block-permutation invariance to the conclusion Γ* ⊃ Γ(+1) (or Γ* ⊃ Γ(A11) in case (ii)) is not justified. The proof states \"Thus, any relation preserved by Γ* is preserved by any finite permutation of Γ(+1)\" and then uses closure to conclude Γ* contains Γ(+1), but it does not explain why the finite block permutations form a dense subgroup of Γ(+1), nor does it define the \"family of relations defined by +1\" that the closure argument refers to. A careful density or definability argument is needed here.","section":"Section 4, Lemma 4 (continued)"},{"comment":"The proof of maximality for the group corresponding to the initiated subgroup Γ(Q,<) is a single sentence and is not a proof. It asserts that any proper supergroup is \"considered above\" or has a negative element leading to Sym(Q) by Lemma 4(ii), but it does not explain why a supergroup that initiates exactly Γ(Q,<) cannot contain additional positive or negative elements without falling into one of those categories. The \"Between\" and \"Cycle\" cases are similarly terse, relying on \"directly check\" and \"as in previous cases\" without providing the necessary arguments. For a classification theorem, these maximality proofs need to be written out in full.","section":"Section 4, \"Order\" case"},{"comment":"The completeness of the classification depends entirely on Proposition 2, cited from the authors' prior work [3], that Sym(Q) has exactly five closed subgroups containing the shift group. This is an external result, and the paper does not state it precisely or verify that its formulation matches the cited source. If Proposition 2 is incomplete or misquoted, the five-case split would miss possible spaces and the main theorem would fail. The authors should state explicitly which results from [1], [3], and [4] are being used in which step, and ensure the formulations align.","section":"Section 4, Proposition 2 dependence"},{"comment":"The proof of the boundary lemma (every definable relation has a boundary) is only sketched. The argument uses a non-standard elementary extension and asserts that property (*) holds for a positive non-standard element m0, but the justification for this existence is not given. Since Lemma 3 is used in Lemma 4 to justify placing blocks at large distances, this step should be spelled out more carefully. The reference to Lemma 4.4 from [4] is helpful, but the proof as presented in the current paper is not self-contained enough for the key role it plays.","section":"Section 4, Lemma 3"}],"minor_comments":[{"comment":"The definition of the relation A1n in Section 3 uses the difference x−y and absolute value |x−y| before the function \"−\" is defined in Section 4; consider moving the definition of subtraction to the preliminary section or adding a forward reference.","section":"Section 3"},{"comment":"The text \"the ratio R\" should be \"the relation R\" in the sentence about checking conservation of relations.","section":"Section 4, Lemma 1 proof"},{"comment":"There is a typo: \"comsideration\" should be \"consideration\".","section":"Section 4, \"Equality\" case"},{"comment":"The phrase \"g+ decreases on some infinite element of the section\" is unclear; it likely means \"on an infinite part of the section\" or \"on some element of an infinite component of the section.\" The intended meaning should be clarified.","section":"Section 4, \"Separation\" case"},{"comment":"The reference to \"statement 2\" in the sentence \"according to the statement 2, Γ∗ contains all negative permutations\" appears to refer to Proposition 3, not to any statement numbered 2. The numbering of propositions should be made consistent.","section":"Section 4, \"Equality\" case"},{"comment":"The abstract mentions that the lattice is generated by relations including \"equality\", but the main theorem's interval [A11,<] does not explicitly mention equality. Please clarify how equality fits into the diagram and the statement of the main theorem.","section":"Abstract and Section 3"},{"comment":"The diagram is not reproduced in the text provided; since the main theorem refers to \"the Diagram (Fig.2)\", the final manuscript must ensure the figure clearly labels all vertices and edges and that the inclusion claims are visually verifiable.","section":"Figure 2"}],"recommendation":"major_revision","confidential_remarks":"The paper is essentially a research announcement: the proof of the main theorem is not fully written out, and the most important technical lemma (Lemma 4) is not rigorously established. The gaps are substantial but appear to be fixable with a thorough revision that provides complete proofs of Lemma 4 and the five case analyses. The dependence on the authors' own prior results is not inappropriate, but the current manuscript does not meet the standard of a journal publication in mathematical logic. I recommend major revision rather than rejection because the overall strategy is sound and the missing details are likely within the scope of a substantial revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's main result is that the interval between 1-codirection and the order relation in the definability lattice for <Z,<> is exactly the diagram in Fig. 2. That is a real and useful step: it connects the known lattices for <Q,<> and <Z,+1> and pins down the behavior between two previously understood layers. The automorphism-group method is the same one the authors used for <Z,+1>, so the strategy is established rather than novel, but that's fine; the target is the classification, not the machinery.\n\nWhat I like: the reduction to five initiated subgroups of Sym(Q) via Proposition 2 is clean, and the distinction between positive and negative permutations does the heavy lifting. If the main theorem holds, it fills an open interval and gives a concrete diagram of relations (between, cycle, separation, neighbor, 1-codirection) that people in the area will want to have.\n\nThe soft spot is Lemma 4, and it's not minor. The proof claims that from a single positive permutation reversing four verticals you can generate every finite block permutation. The displayed construction for n=3 gives only four of the six permutations; the text just says 'it is clear' that repeated applications give all of them. That is true in the small case, and the underlying operations probably do generate the symmetric group, but the paper doesn't show it. Since Lemma 4 is what rules out mixed-orientation groups and forces the five cases to be exhaustive, this gap sits directly under the main theorem. The later 'maximality' checks for Between, Cycle, and Order are also one-paragraph assertions, and the Order case is essentially a single sentence. These are fixable, but they need to be written out.\n\nI also want to flag the reliance on the authors' own earlier results [1], [3], [4] for the Svenonius correspondence and the Q and Z,+1 lattices. That's normal for this program, and the cited results appear to be established, so I don't hold it against them. But a referee should verify that the anti-isomorphism applies to Q x Z and that Proposition 2 is exactly the five-subgroup list.\n\nBottom line: the result is plausible and worth a serious referee. I would not desk-reject it. But I'd send it back for a substantial revision of the proof of Lemma 4 and the case checks before accepting. As it stands, I wouldn't cite it as a proven classification, only as a conjecture with a promising proof sketch.","headline":"A plausible classification of the [A11,<] interval for <Z,<> that needs a proper proof of Lemma 4 before I'd trust the exhaustiveness.","tokens_in":8390,"tokens_out":7923,"would_cite":false,"duration_ms":66170,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03C07","06A05","20B27"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the interval between 1-codirection and the full order relation in the definability lattice of the integers is exactly the finite set of spaces in the Diagram, with strict inclusions along the edges and no other…","keywords":["definability lattice","reducts","order of integers","1-codirection","between relation","cycle relation","separation relation","closed permutation groups"],"falsifier":"Exhibit a closed subgroup of $\\Gamma(A1_1)$ that contains the shift group and is not one of the groups corresponding to the Diagram's vertices; its existence would force an additional definability space in $[A1_1, <]$, contradicting the main theorem. A concrete first search would be to compute the automorphism group of the $n$-codirection relation $A1_n$ for $n>1$ and compare it with the Diagram groups; a mismatch would expose a missing space.","tokens_in":7321,"feed_emoji":"🔢","tokens_out":23239,"duration_ms":170408,"temperature":0.7,"pith_summary":"The paper studies the definability lattice of the ordered set of integers $\\langle \\mathbb{Z}, <\\rangle$: which relations on the integers can be defined from the order relation, and which of those relations define one another. The main theorem describes a contiguous slice of that lattice, the interval lying between the relation of 1-codirection (two neighboring segments pointing the same way) and the full order relation. The theorem states that the Diagram in the paper lists exactly the definability spaces in that interval, that each edge of the Diagram is a strict inclusion, and that every other inclusion is already forced by transitivity. If this is correct, then any relation definable from the integer order that is at least as expressive as 1-codirection and strictly less expressive than the order itself must coincide with one of the spaces shown. The full lattice for $\\langle \\mathbb{Z}, <\\rangle$ remains open, but this central interval is now completely known.","feed_headline":"Integer order's codirection-to-order interval is fully mapped","feed_subtitle":"The paper lists every definable relation between 1-codirection and the integer order, and proves the list is complete.","key_machinery":"The argument is carried by an anti-isomorphism (Proposition 1) between the definability lattice of a structure with an upward complete extension and the lattice of closed supergroups of its automorphism group. For $\\langle \\mathbb{Z}, <\\rangle$ the upward complete extension is $\\mathbb{Q} \\times \\mathbb{Z}$, thought of as copies of $\\mathbb{Z}$ (vertical fibers) indexed by $\\mathbb{Q}$. The work then classifies closed groups $\\Gamma^*$ sitting between the shift group and the automorphism group $\\Gamma(A1_1)$ of the 1-codirection relation: each such group is determined by its image under the 'initiation' map to $\\operatorname{Sym}(\\mathbb{Q})$ together with which elements are initiated by positive versus negative permutations. Proposition 2 limits the possible images to five known groups from the rational order, and Lemma 3 (every definable relation has a finite boundary) together with Lemma 4 (certain permutations acting on four rationals force $\\Gamma(+1)$ or $\\Gamma(A1_1)$) make each case a finite check. This machinery converts a question about which relations are definable into a question about which closed permutation groups are possible.","core_discovery":"The main theorem is the completeness statement that the Diagram (Fig. 2) shows all definability spaces greater than $A1_1$ and smaller than $<$, where $A1_1$ is the 1-codirection relation. The authors prove that the interval $[A1_1, <]$ in the definability lattice of $\\langle \\mathbb{Z}, <\\rangle$ is exactly the finite sublattice shown in the Diagram, generated by the relations between, cycle, separation, neighbor, 1-codirection, equality, and order, with strict inclusions along the edges and all remaining inclusions contained in the transitive closure of the edges. The proof works through the upward complete extension $\\mathbb{Q} \\times \\mathbb{Z}$: by Proposition 1 the definability lattice is anti-isomorphic to the lattice of closed supergroups of the shift group, so the problem becomes a classification of the closed permutation groups lying between the shift group and the automorphism group of $A1_1$. Under the 'initiation' map, each such group projects to one of the five closed supergroups of the rational shift group given by Proposition 2, and the five resulting cases are analyzed using the boundary lemma for definable relations. The conclusion is a finite, exact picture of the interval.","pith_inferences":["The paper leaves it implicit that the same group-theoretic machinery should classify the interval above the $n$-codirection relation $A1_n$ for each fixed $n$; the boundary lemma and the five-image split do not depend on $n$, so a parallel diagram for each $n$ is a plausible extension.","One testable consequence of the method, not stated in the paper, is that every definability space in the interval $[A1_1, <]$ is finitely determined: the boundary lemma suggests that membership of a relation in the interval can be decided from a finite amount of data about the relation.","If the main theorem is right, the open region below $A1_1$ contains the genuinely intricate part of the integer-order reduct lattice; the authors' own open problems point to the neighborhood relation as the next boundary, and one could try to classify the interval between neighbor and order in the same style.","A computation of the automorphism group of $A1_n$ for $n>1$ would be a direct, minimal test of the completeness claim: if such a group lies strictly between $\\Gamma(A1_1)$ and $\\Gamma(<)$ and is not one of the Diagram groups, the theorem would need revision."],"forward_implications":["If the main theorem is correct, the interval $[A1_1, <]$ in the definability lattice of $\\langle \\mathbb{Z}, <\\rangle$ is completely known: every definability space in that interval coincides with one of the Diagram's vertices.","Because the inclusions are exactly the transitive closure of the Diagram's edges, the Hasse diagram functions as a complete lookup table for the interval, with no hidden dependencies between vertices.","The five-case group-theoretic analysis establishes that the rational-order lattice and the successor lattice of $\\mathbb{Z}$ together control this part of the integer-order lattice, so the method transfers to other intervals with the same two background classifications.","Any future full description of all reducts of the integer order must place the Diagram as a finite block within the larger lattice, which substantially narrows the open problems stated in the paper.","The theorem confirms that the three classical relations between, cycle, and separation, together with neighbor and 1-codirection, generate every definability space in this interval."],"supporting_citations":[{"why":"Supplies Proposition 1, the anti-isomorphism between definability spaces and closed supergroups, and identifies $\\mathbb{Q} \\times \\mathbb{Z}$ as the upward complete extension of the integer order.","marker":"[1]"},{"why":"Supplies Proposition 2, the classification of exactly five closed subgroups above the rational shift group, which anchors the five-case analysis.","marker":"[3]"},{"why":"Supplies the $A1_n$ notation, the classification for integers with successor, and the analogue of Lemma 3 that establishes a finite boundary for definable relations.","marker":"[4]"},{"why":"Supplies Proposition 4, the section-based description of the separation-relation automorphism group on $\\mathbb{Q}$, used in the Separation case.","marker":"[5]"}],"fun_headline_variants":["Integer order's interval from 1-codirection: finite and complete","Definability lattice between 1-codirection and integer order is finite and exact","All definable relations above 1-codirection in integer order are now known","Complete finite lattice describes integer order's relations from 1-codirection"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on two prior results being exactly right: that every definability relation on the integer order is mirrored by a symmetry group of a larger ordered structure, and that the order of the rational numbers has only the five known symmetry groups above its shift maps; if either background classification is incomplete, the five-case analysis could miss a definability space.","fun_headline_variants_meta":{"raw":{"variants":["Integer order's interval from 1-codirection: finite and complete","Definability lattice between 1-codirection and integer order is finite and exact","All definable relations above 1-codirection in integer order are now known","Complete finite lattice describes integer order's relations from 1-codirection"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001136,"raw_usage":{"total_tokens":4663,"prompt_tokens":837,"completion_tokens":3826,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":453,"completion_tokens_details":{"reasoning_tokens":3742}},"tokens_in":453,"tokens_out":3826,"duration_ms":26443,"temperature":1.0,"reasoning_tokens":3742,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:28:10.687370+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a closed subgroup of $\\Gamma(A1_1)$ that contains the shift group and is not one of the groups corresponding to the Diagram's vertices; its existence would force an additional definability space in $[A1_1, <]$, contradicting the main theorem. A concrete first search would be to compute the automorphism group of the $n$-codirection relation $A1_n$ for $n>1$ and compare it with the Diagram groups; a mismatch would expose a missing space.","supporting_citations":[{"cited_title":"Automorphisms and Definability (of Reducts) for Upward Com- plete Structures","cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 1, the anti-isomorphism between definability spaces and closed supergroups, and identifies $\\mathbb{Q} \\times \\mathbb{Z}$ as the upward complete extension of the integer order."},{"cited_title":"A, Semenov, A","cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 2, the classification of exactly five closed subgroups above the rational shift group, which anchors the five-case analysis."},{"cited_title":"L.; Soprunov, S","cited_arxiv_id":null,"evidence_quote":"Supplies the $A1_n$ notation, the classification for integers with successor, and the analogue of Lemma 3 that establishes a finite boundary for definable relations."},{"cited_title":"Mappings preserving relations definable through linear order","cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 4, the section-based description of the separation-relation automorphism group on $\\mathbb{Q}$, used in the Separation case."}],"review_version":1}