{"id":"5761784b-c0d6-49ba-8450-253b9ae01c73","arxiv_id":"2601.05510","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Mirror di-Cayley constructions from unitary Cayley graphs over rings produce isospectral integral Cayley graphs over R × Z₂ with all-even or all-odd spectra.","lead":"The paper defines mirror di-Cayley graphs on a group with two connection sets and shows their spectra can be expressed using those of ordinary Cayley graphs. It then builds explicit pairs of isospectral integral Cayley graphs over product groups that have either all even or all odd integer eigenvalues.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Spectrum parity claim for MX^*(G;S,T) may require extra conditions on G or eigenvalues beyond choice of T","rationale":"The reader's weakest assumption directly identifies the spectrum-to-parity implication as the least secure step. The concrete test on a minimal ring example would confirm whether the asserted parity holds under the paper's own construction without hidden restrictions.","tokens_in":1973,"tokens_out":342,"duration_ms":66095,"concrete_test":"For R=ℤ/4ℤ, S=R^*={1,3}, explicitly construct the adjacency matrices of MX(R;S,S) and MX^+(R;S,S) from the definitions, compute their spectra by direct diagonalization, and verify that both consist solely of even integers and are identical; repeat the check for T=S∪{0} to test the odd case.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central construction rests on an explicit spectrum formula for MX^*(G;S,T) in terms of the spectrum of X^*(G,S), from which the paper concludes that T=S forces all eigenvalues even while T=S∪{e} forces all odd (when the underlying spectrum is integral). This parity step is asserted to hold for any group G and any such integral X(G,S). If the formula involves additive shifts or scalings that do not uniformly preserve parity for arbitrary integer eigenvalues (e.g., if an eigenvalue λ satisfies λ ≡ 1 mod 2 but the transformed value does not become uniformly even), or if the derivation uses commutativity of G, the claim fails for the stated generality. The examples use commutative rings, so the general statement is untested.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper introduces mirror di-Cayley graphs MX(G;S,T) and mirror di-Cayley sum graphs MX^+(G;S,T) (collectively MX^*(G;S,T)) for a group G and subsets S,T. It computes the spectra of MX^*(G;S,T) for T in the family { {e}, S, S∪{e} } directly in terms of the spectra of the underlying Cayley graphs X^*(G,S). It proves that integral spectrum of X(G,S) implies integral spectrum of the mirror versions, with the additional property that T=S yields even spectrum while T=S∪{e} yields odd spectrum. Using unitary Cayley graphs X(R,R*) over finite commutative rings R (known to be integral), it constructs explicit isospectral pairs {MX(R;R*,T), MX^+(R;R*,T)} with even (resp. odd) spectrum, which are also realized as Cayley graphs over R×Z_2.","tokens_in":2154,"tokens_out":746,"duration_ms":19514,"significance":"If the spectrum formulas and parity claims hold in the stated generality, the work supplies a systematic construction of isospectral Cayley graphs whose eigenvalues are forced to be all even or all odd. This appears to be a new phenomenon and could be useful for studying integral graphs, eigenvalue parity in relation to bipartiteness or other invariants, and for generating examples from known integral Cayley graphs such as unitary ones. The reduction to ordinary Cayley spectra is a clear strength, as it reuses existing results without introducing new parameters.","major_comments":[{"comment":"Spectrum theorem (likely §2 or §3): the explicit eigenvalue formula for MX^*(G;S,T) in terms of the eigenvalues of X^*(G,S) must be stated and the parity argument verified. The claim that T=S produces all-even eigenvalues and T=S∪{e} produces all-odd eigenvalues for arbitrary integral base spectra is load-bearing for the central 'interesting phenomenon' and for the later constructions. If the transformation involves an additive shift (e.g., λ ↦ λ+1) rather than a scaling that maps Z to 2Z or 2Z+1 uniformly, parity will flip for some eigenvalues rather than uniformize; the proof must rule this out for general (possibly non-commutative) G.","section":"Spectrum theorem"},{"comment":"Construction in §4 using unitary Cayley graphs X(R,R*): while the examples are over commutative rings (where the parity step can be checked directly), the general statement in the abstract and introduction asserts the even/odd property for any group G with integral X(G,S). The manuscript should either prove the parity step without commutativity or explicitly restrict the generality; otherwise the claim that the examples 'can be seen as' Cayley graphs over R×Z_2 does not fully support the broader assertion.","section":"§4"}],"minor_comments":[{"comment":"Notation: the family F and the set S are introduced in the abstract but their precise definitions and the distinction between MX and MX^+ should be restated at the beginning of the main text for readability.","section":"Introduction"},{"comment":"The abstract states that spectra are 'computed in terms of' the ordinary Cayley spectra; the manuscript should include a short table or explicit list of the eigenvalue mappings (even if derived from representation theory) to make the parity argument immediate.","section":"Spectrum section"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and valuable comments, which help clarify the presentation and scope of our results. We address each major point below and will revise the manuscript to include the explicit spectrum formulas and strengthen the discussion of generality.","responses":[{"response":"We will state the spectrum theorem explicitly in the revised Section 2. The eigenvalues of MX^*(G;S,T) are derived from the irreducible representations of G (valid for non-commutative groups) and take the form 2λ for T=S and 2λ+1 for T=S∪{e}, where λ runs over the spectrum of the base Cayley graph X^*(G,S). Because the base spectrum is integral by assumption, 2λ is uniformly even and 2λ+1 is uniformly odd; there is no mixing or partial parity flip. The derivation uses only the standard character-sum expression for Cayley eigenvalues and does not require commutativity of G.","revision_made":"yes","referee_comment":"[Spectrum theorem] Spectrum theorem (likely §2 or §3): the explicit eigenvalue formula for MX^*(G;S,T) in terms of the eigenvalues of X^*(G,S) must be stated and the parity argument verified. The claim that T=S produces all-even eigenvalues and T=S∪{e} produces all-odd eigenvalues for arbitrary integral base spectra is load-bearing for the central 'interesting phenomenon' and for the later constructions. If the transformation involves an additive shift (e.g., λ ↦ λ+1) rather than a scaling that maps Z to 2Z or 2Z+1 uniformly, parity will flip for some eigenvalues rather than uniformize; the proof must rule this out for general (possibly non-commutative) G."},{"response":"The spectrum formula and parity argument in Section 2 are proved for arbitrary groups G using representation theory and hold without assuming commutativity. The unitary-Cayley examples in §4 are chosen because integrality is already established for commutative rings R; they illustrate the general construction rather than limit it. We will add a clarifying sentence in the introduction and §4 noting that the even/odd phenomenon is general while the concrete pairs happen to arise from commutative rings (and can be realized as Cayley graphs on R×Z₂). No restriction of the main claims is required.","revision_made":"partial","referee_comment":"[§4] Construction in §4 using unitary Cayley graphs X(R,R*): while the examples are over commutative rings (where the parity step can be checked directly), the general statement in the abstract and introduction asserts the even/odd property for any group G with integral X(G,S). The manuscript should either prove the parity step without commutativity or explicitly restrict the generality; otherwise the claim that the examples 'can be seen as' Cayley graphs over R×Z_2 does not fully support the broader assertion."}],"tokens_in":1779,"tokens_out":619,"duration_ms":44671,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main contribution is the mirror di-Cayley graph MX(G;S,T) and its sum variant, together with the observation that choosing T equal to S or S union the identity produces even or odd spectra whenever the underlying Cayley graph has integral spectrum. They derive the spectrum formula directly from the base graph and then use it to produce explicit isospectral pairs from unitary Cayley graphs on finite commutative rings. Those pairs are also Cayley graphs on the product group R times Z2. This is useful concrete progress inside the subfield of algebraic graph theory that studies integral and isospectral Cayley graphs. The reduction to known integral spectra is clean and the examples are explicit enough to be checked by hand or machine. The even/odd parity follows from the choice of T without extra fitting, which matches the abstract description. The stress-test concern about whether the parity step holds for arbitrary groups is worth checking in the proofs, since all the concrete examples sit on commutative rings and the general claim is stated for any G. If the spectrum formula involves no additive shifts that break parity on integers, the claim should stand; otherwise the statement needs a commutativity hypothesis or similar restriction. The citation pattern looks standard and the work does not rely on circular definitions or free parameters. This paper is aimed at specialists who already work with Cayley spectra and want new families of examples with controlled parity. It is solid enough on its own terms to deserve a serious referee, even if the general claim turns out to need a small caveat.","headline":"The paper gives a straightforward construction for pairs of isospectral Cayley graphs where one has even spectrum and the other odd spectrum, built from integral base graphs via a mirror di-Cayley extension.","tokens_in":2670,"tokens_out":386,"would_cite":true,"duration_ms":43567,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Spectral graph theory constructions on Cayley products and eigenvalue parity show no overlap with RS forcing","alignment":"orthogonal","rationale":"Paper derives spectra of mirror di-Cayley graphs via Cartesian/direct/strong products and character sums over groups/rings, yielding even/odd integral spectra for specific T choices. RS chain (reality_from_one_distinction, J-cost uniqueness, 8-tick/D=3 forcing) contains no graph spectra, Cayley constructions, or eigenvalue-parity results; domain is purely combinatorial and outside RS scope.","tokens_in":68728,"confidence":"high","tokens_out":132,"duration_ms":18319,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Mirror di-Cayley graphs over finite rings produce pairs of integral isospectral graphs, one with all even eigenvalues and one with all odd eigenvalues.","keywords":["isospectral graphs","Cayley graphs","integral spectrum","mirror di-Cayley graphs","even spectrum","odd spectrum","finite rings","unitary Cayley graphs"],"falsifier":"A concrete finite commutative ring R for which the unitary Cayley graph X(R,R*) has integral spectrum but the constructed mirror graph MX(R;R*,R*) fails to have every eigenvalue even.","tokens_in":2865,"feed_emoji":"","tokens_out":796,"duration_ms":44150,"temperature":0.7,"pith_summary":"The paper defines mirror di-Cayley graphs MX(G;S,T) and their sum versions MX+(G;S,T) using two connection sets on a group G. Their spectra turn out to be simple functions of the spectrum of the ordinary Cayley graph X(G,S), with the choice of T determining whether every eigenvalue is even or every eigenvalue is odd. When the base Cayley graph has integral spectrum, these new graphs remain integral but acquire the uniform parity property. Applying the construction to unitary Cayley graphs on finite commutative rings yields explicit infinite families of such pairs that are also isospectral to each other. The same pairs can be rewritten as ordinary Cayley graphs on the direct product group R × Z₂, giving isospectral Cayley graphs that differ only in the parity of their spectra.","feed_headline":"Rings produce Cayley graph pairs with even and odd spectra","feed_subtitle":"Mirror di-Cayley construction on unitary graphs over finite rings yields integral isospectral pairs where all eigenvalues share the same par","key_machinery":"The mirror di-Cayley graph MX(G;S,T) (and its sum variant), whose spectrum is obtained directly from the spectrum of the underlying Cayley graph X(G,S) by a formula that forces uniform even or odd parity according to the choice of T.","core_discovery":"We construct pairs of integral isospectral mirror di-Cayley (sum) graphs {MX(R;R*,T), MX+(R;R*,T)}, both with even (resp. odd) spectrum for T=R* (resp. T=R* ∪ {0}). All these examples can be seen as Cayley (sum) graphs over G=R × Z₂, hence obtaining pairs of even and odd isospectral Cayley graphs of the form {Γ, Γ+}.","pith_inferences":["The parity-control mechanism may be useful for designing graphs whose eigenvalues lie in a single arithmetic progression, which could matter for discrete quantum walks or perfect state transfer.","One could test whether the same even-odd spectrum pairs arise directly from Cayley graphs on product groups without passing through the mirror construction.","The method might extend to other families of integral graphs beyond unitary Cayley graphs, producing further controlled-spectrum examples."],"forward_implications":["Any integral Cayley graph on a group G immediately produces two integral graphs on the same vertex set whose eigenvalues are uniformly even or uniformly odd.","The construction yields infinite families of isospectral pairs once one starts from any family of integral unitary Cayley graphs on rings.","Every such pair admits an equivalent description as a pair of isospectral Cayley graphs on the product group G × Z₂.","Isospectrality between different mirror pairs reduces exactly to isospectrality between the underlying ordinary Cayley graphs."],"fun_headline_variants":["Cayley graph pairs from rings have even and odd spectra","Isospectral Cayley pairs with even or odd spectra from rings","Rings generate even-odd spectrum isospectral Cayley graphs","Even and odd spectra pair isospectrally in Cayley graphs"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The spectra of the mirror di-Cayley graphs can be computed directly from those of the underlying Cayley graphs for the listed choices of T, and the even or odd character of every eigenvalue is then fixed solely by which T is chosen.","fun_headline_variants_meta":{"raw":{"variants":["Cayley graph pairs from rings have even and odd spectra","Isospectral Cayley pairs with even or odd spectra from rings","Rings generate even-odd spectrum isospectral Cayley graphs","Even and odd spectra pair isospectrally in Cayley graphs"]},"model":"grok-4.3","cost_usd":0.008055,"raw_usage":{"total_tokens":3676,"prompt_tokens":854,"num_sources_used":0,"completion_tokens":55,"cost_in_usd_ticks":80553000,"prompt_tokens_details":{"text_tokens":854,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2767,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":854,"tokens_out":55,"duration_ms":27809,"temperature":1.0,"reasoning_tokens":2767,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-16T16:38:46.245241+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete finite commutative ring R for which the unitary Cayley graph X(R,R*) has integral spectrum but the constructed mirror graph MX(R;R*,R*) fails to have every eigenvalue even.","supporting_citations":[],"review_version":1}