{"paper":{"title":"Admissible sets of integers in imaginary quadratic fields of class number 1","arxiv_id":"2610.34556","primary_cat":"math.NT","submitted_at":"2026-10-25T20:34:32+00:00","version_compiled":"v1"},"notice":"Every quoted sentence is the authors' text from the arXiv listing abstract. Labels and probabilities are the outputs of classifier-1.13.0 on the question bank abstract-p1-20260923, exactly as returned. No sentence in this record was written by a language model.","schema":"pith.compiled-record/v0","status":"compiled","abstract":{"source":"arXiv listing abstract v1","sentences":[{"i":0,"p":1.0,"id":"s0","own":false,"role":"background","text":"Let $\\mathcal O_K$ be the ring of integers of a number field $K$.","hedge":{"p":0.78,"label":"asserted"},"own_p":0.04,"main_claim_p":0.01,"quantitative":false,"quantitative_p":0.03,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.0,"background":1.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":1,"p":1.0,"id":"s1","own":false,"role":"background","text":"A finite subset $\\mathcal H=\\{\\eta_1,\\ldots,\\eta_k\\}\\subset\\mathcal O_K$ is said to be \\emph{admissible} if for every prime ideal $\\mathfrak p$ in $\\mathcal O_K$, the reductions of the $\\eta_i$ modulo $\\mathfrak p$ do not represent every residue class.","hedge":{"p":0.94,"label":"asserted"},"own_p":0.05,"main_claim_p":0.02,"quantitative":false,"quantitative_p":0.1,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.0,"background":1.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":2,"p":0.96,"id":"s2","own":false,"role":"background","text":"The diameter of a finite subset $S$ of $\\mathcal O_K$ is defined to be \\[\\mathrm{diam}(S):= \\max_{\\eta_i,\\eta_j\\in S:\\eta_i\\neq\\eta_j}|\\mathcal N(\\eta_i-\\eta_j)|\\] where $\\mathcal N$ denotes the norm down to the rational field.","hedge":{"p":0.98,"label":"asserted"},"own_p":0.13,"main_claim_p":0.02,"quantitative":false,"quantitative_p":0.12,"role_probabilities":{"gap":0.0,"method":0.04,"result":0.0,"background":0.96,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":3,"p":0.98,"id":"s3","own":true,"role":"contribution","text":"This paper computationally investigates admissible subsets of rings of integers in imaginary quadratic fields of class number 1 (such as the Gaussian integers or the Eisenstein integers) that are large relative to their diameter.","hedge":{"p":0.97,"label":"asserted"},"own_p":0.93,"main_claim_p":0.07,"quantitative":false,"quantitative_p":0.17,"role_probabilities":{"gap":0.0,"method":0.02,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.98,"interpretation":0.0}},{"i":4,"p":0.63,"id":"s4","own":false,"role":"background","text":"The motivation is twofold.","hedge":{"p":0.83,"label":"asserted"},"own_p":0.17,"main_claim_p":0.01,"quantitative":false,"quantitative_p":0.23,"role_probabilities":{"gap":0.14,"method":0.01,"result":0.0,"background":0.63,"limitation":0.0,"future_work":0.0,"contribution":0.08,"interpretation":0.14}},{"i":5,"p":0.96,"id":"s5","own":false,"role":"background","text":"Firstly, there is the improvement of results analogous to the question of an upper bound for the least gap between large rational primes, which has been one of the great number theoretic successes of the twenty-first century.","hedge":{"p":0.97,"label":"asserted"},"own_p":0.06,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.25,"role_probabilities":{"gap":0.02,"method":0.0,"result":0.0,"background":0.96,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.02}},{"i":6,"p":0.82,"id":"s6","own":false,"role":"background","text":"A second motivation is that there is the opportunity to disprove a variation of the second Hardy-Littlewood conjecture.","hedge":{"p":0.74,"label":"hedged_possibility"},"own_p":0.14,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.07,"role_probabilities":{"gap":0.07,"method":0.0,"result":0.02,"background":0.82,"limitation":0.0,"future_work":0.0,"contribution":0.05,"interpretation":0.04}},{"i":7,"p":0.99,"id":"s7","own":true,"role":"result","text":"The calculations in the paper provide new records on the smallest distance between primes in the fields in question, and explicit counter-examples to a generalisation of the second Hardy-Littlewood conjecture in all bar one of the fields.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.95,"main_claim_p":0.85,"quantitative":true,"quantitative_p":0.56,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.99,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.01,"interpretation":0.0}}]},"compiled":{"main_claim":{"p":1.0,"text":"The calculations in the paper provide new records on the smallest distance between primes in the fields in question, and explicit counter-examples to a generalisation of the second Hardy-Littlewood conjecture in all bar one of the fields.","location":"abstract s7","hedge_strength":{"p":1.0,"label":"asserted"}},"provenance":{"route":{"via":"TypeSafe API","model":"classifier-1.13.0","endpoint":"https://api.typesafe.ai/v1/systemone","provider":"TypeSafe"},"packing":"one request per paper","requests":1,"input_tokens":6567,"cost_usd_reported":0.0},"compiled_at":"2026-10-27","bank_version":"abstract-p1-20260923","model_version":"classifier-1.13.0","abstract_states":{"claims_first":0.06,"states_limitation":0.32,"human_participants":0.01,"controlled_comparison":0.03,"randomized_assignment":0.01,"states_quantitative_result":0.16,"compares_with_prior_results":0.54,"mentions_code_or_data_availability":0.03},"evidential_basis":{"p":1.0,"value":"simulation or computation","probabilities":{"argument":0.0,"literature":0.0,"proof_or_derivation":0.0,"analysis_of_existing_data":0.0,"observation_or_experiment":0.0,"simulation_or_computation":1.0}},"contribution_type":{"p":0.84,"value":"simulation study","probabilities":{"review":0.0,"method_or_tool":0.0,"empirical_study":0.16,"simulation_study":0.84,"theoretical_result":0.0,"dataset_or_benchmark":0.0,"position_or_commentary":0.0}},"contribution_statement":{"p":0.98,"text":"The calculations in the paper provide new records on the smallest distance between primes in the fields in question, and explicit counter-examples to a generalisation of the second Hardy-Littlewood conjecture in all bar one of the fields.","location":"abstract s7"}},"coverage":{"tier":"abstract","levels_run":["P abstract"],"not_examined":["full text","figures and tables","references and citing sentences","relations to other papers"],"sources_read":["arXiv listing abstract v1"],"levels_not_run":["S sections","T body sentences","C citations","R cross-paper relations"],"sentences_examined":8,"sentences_in_abstract":8},"measured_accuracy":{"url":"https://pith.science/accuracy","measured_on":"2026-10-02","method":"two independent model families labelled a fresh random sample blind; the figure is how often the published label matches their consensus","sentence_role_agreement":0.92,"main_claim_agreement":0.908,"typed_citation_agreement":0.933,"typed_citation_agreement_95_interval":[0.917,0.945],"review_comments_accurate":0.758,"review_comments_accurate_95_interval":[0.684,0.82],"review_caught_admitted_error_found_or_related":0.448}}