{"entities":{"Q1869650":{"pageid":1880392,"ns":120,"title":"Item:Q1869650","lastrevid":74154684,"modified":"2026-04-14T18:37:54Z","type":"item","id":"Q1869650","labels":{"en":{"language":"en","value":"Arithmetic forms of Selberg zeta functions with applications to prime geodesic theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1902571"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$DB127042-9613-4E23-A8D5-9B658FC5CDDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26d2b7ae10988dee17e5f5f1bbea823cd38704db","datavalue":{"value":{"text":"Arithmetic forms of Selberg zeta functions with applications to prime geodesic theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1869650$D61366EB-1BE4-4C9A-902E-04ABC4D2D3E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d539b6581065aa3abcc1c73f6b71bc96a94ffe6e","datavalue":{"value":"1027.11065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$A95D96E6-44DB-4640-AE54-977F2ACEFF3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15dcaa5b172cdf114db1813bea12151b435ec60f","datavalue":{"value":{"entity-type":"item","numeric-id":750497,"id":"Q750497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$7855CB02-DE20-478B-9757-68FCA6ACF666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60b51ca43fdac2079648db4f9eb8e60b4e6c82a","datavalue":{"value":{"entity-type":"item","numeric-id":196527,"id":"Q196527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$8EFB203A-A6A0-4BCD-8A57-6CB10AD3A4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3adf2a794d6baaa068cda727ce9f84d8e3a9b94","datavalue":{"value":{"entity-type":"item","numeric-id":696373,"id":"Q696373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$0A65C1CA-2AF3-4892-A21D-11C5DF0DA454","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$72B39865-3331-455D-AC45-1D3E54C8D907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad5e0ccb1f33d4e953d3cbe4e608e42b46cc271a","datavalue":{"value":{"time":"+2004-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1869650$4B8A702A-E0E4-4E62-AF4B-79FF82B2CC6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"634c8df4bdca81ff2cdc7c40cf93ff380622d0f7","datavalue":{"value":"Excerpts from portions of the introduction: ``Let \\(\\Gamma\\) be a discrete subgroup of \\(\\text{SL}_2(\\mathbb{R})\\) containing \\(-1_2\\) with finite covolume \\(v(\\Gamma\\setminus{\\mathfrak H})\\), \\({\\mathfrak H}\\) denoting the upper half plane. The Selberg zeta-function attached to \\(\\Gamma\\) is defined by  \\[ Z_\\Gamma(s):= \\prod_{\\{P\\}_\\Gamma} \\prod_{m=0}^\\infty (1-N(P)^{-s-m}), \\quad(\\operatorname {Re}(s)>1), \\]  where \\(\\{P\\}_\\Gamma\\) runs through all primitive hyperbolic conjugacy classes of \\(\\Gamma\\) with \\(\\text{tr}(P)>2\\), and \\(N(P):= |\\rho|^2\\) with \\(\\rho\\) the eigenvalue of \\(P\\in \\Gamma\\) such that\\(|\\rho|> 1\\). \\dots{} For any basis \\(\\{u_i\\}\\) of \\({\\mathcal O}\\) [a maximal order of \\(B\\), an indefinite division quaternion algebra over \\(\\mathbb{Q}\\)] over \\(\\mathbb{Z}\\), set  \\[ d(B)= |\\det (\\operatorname {tr}(u_iu_j))|^{1/2}. \\]  Put  \\[ {\\mathcal D}:= \\{D\\in \\mathbb{Z}_{>0}\\mid D\\equiv 0,1\\pmod 4,\\text{ not a square}\\}. \\]  Let \\({\\mathfrak o}\\) be an order of \\(K= \\mathbb{Q}(\\sqrt{D})\\) and \\(h({\\mathfrak o})= h(D)\\) be the number of classes of proper \\({\\mathfrak o}\\)-ideals in the narrow sense. We moreover set  \\[ \\lambda(K)= \\prod_{p\\mid d(B)} \\Bigl(1 -\\bigl(\\tfrac Kp\\bigr)\\Bigr), \\]  where \\((K/p)\\) denotes the Artin symbol for \\(K= \\mathbb{Q}(\\sqrt{D})\\). Let \\(\\varepsilon_D= (\\alpha+ \\beta\\sqrt{D})/2\\) with \\((\\alpha,\\beta)\\) being the minimal solution of the Pell equation: \\(x^2- Dy^2=4\\). The main theorem of this paper is as follows.    Theorem 1.1. Let \\(B\\) be a division indefinite quaternion algebra over \\(\\mathbb{Q}\\). Then  \\[ Z_B(s)= \\mathop{{\\prod}^*}_{D>0} \\prod_{n=0}^\\infty \\Bigl(1-\\varepsilon_D^{-2(s+n)} \\Bigr)^{h(D)\\lambda(D)}, \\]  and  \\[ \\frac{Z_B'}{Z_B}(s)= \\mathop{{\\sum}^*}_{D>0} \\sum_{m=1}^\\infty h(D) \\lambda(D) \\log \\varepsilon_D^2\\cdot \\frac{\\varepsilon_D^{-2ms}} {1-\\varepsilon_D^{-2m}}, \\]  where \\(\\lambda(D)= \\lambda(\\mathbb{Q} (\\sqrt{D}))\\) and the symbol * indicates that \\(D\\) runs through all elements in \\({\\mathcal D}\\) satisfying the following conditions:    (Pr-i) \\((\\frac{K}{p})\\neq 1\\) for any prime integers \\(p\\mid d(B)\\).    (Pr-ii) \\((f(D),d(B))= 1\\), where the positive integer \\(f(D)\\) is given by \\(D= f(D)^2 D_K\\), \\(D_K\\) being the discriminant of \\(K\\).    Remark. For \\(\\Gamma= \\text{SL}(2,\\mathbb{Z})\\) and its congruence subgroups. Sarnak obtains such an arithmetic form of \\(Z_\\Gamma(s)\\).    Theorem 1.1 has an application of improving the prime geodesic theorem:  \\[ \\pi_\\Gamma(x)\\sim \\text{li}(x)\\sim \\frac{x}{\\log x}, \\tag{1.2} \\]  where \\(\\pi_\\Gamma(x)\\) is the number of primitive hyperbolic conjugacy classes \\(P\\) of \\(\\Gamma\\) whose norm \\(N(P)\\) satisfies that \\(N(P)\\leq x\\).    Theorem 1.4. Let \\(B\\) be a division indefinite quaternion algebra over \\(\\mathbb{Q}\\). Put \\(\\pi_B(x)= \\pi_{{\\mathcal O}^1}(x)\\). Then for \\(x^{(1/2)} (\\log x)^2< y< x\\), we have  \\[ \\pi_B(x+y)- \\pi_B(x)\\ll y. \\tag{1.4} \\]  The implicit constant depends only on \\(B\\). [Here \\({\\mathcal O}'\\) is a certain sub-order of \\({\\mathcal O}\\).]''    The exponents of \\(x+y\\) in the range inequality of Theorem 1.4 are best possible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869650$7FE4BE0F-B046-4E0C-92F2-A7F72CDBED3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd66ef8ebb08009d6c7c443705066bc1eebb3e7a","datavalue":{"value":"11M36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$EBA68832-BF4B-42D3-9B32-5BB890AF47C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f1cb07288bba9b47801526212098ae83d5ba151","datavalue":{"value":"11R52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$069C80A0-A7A0-4A6D-AC44-6C7DDB35892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfdb7489b493c4b148ee746cc9bdd9415d56d151","datavalue":{"value":"11F72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$988CC01F-22C9-4565-BFFA-8610D813E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0608a4d4ef1c7e8f6f3ffaea50c8a1b75866f5","datavalue":{"value":"58E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$34CAE2EA-F46F-4B64-BBF4-AC4ED6E845D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0e578d73426ec8c9fd6cbfbbc024867c98ec7bf","datavalue":{"value":"1902571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$FB705F34-5E31-4B6A-BF9C-9EE148A11AAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b6b763784a87ef03fb0919097c283d44e8aaf01","datavalue":{"value":"Selberg zeta-function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869650$A2C3DEB5-AE68-4EF4-A8B5-BB0FA9E338D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8557a6f0e7e9c3dd49cb5f355b80ca7b719c11a7","datavalue":{"value":"prime geodesic theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869650$4C8CA676-2E45-48C8-A4CE-F820E761AB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891f1205b13a050a1cfe444a3452154aae5ba049","datavalue":{"value":"number of primitive hyperbolic conjugacy classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869650$A733A084-0282-4714-84D6-AC2F960BEE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2b101fc70ecb2eb01fdea85de2585885126482","datavalue":{"value":"division indefinite quaternion algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869650$E768B8A8-91A6-472E-A76E-425DBA7FD960","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"43eb4d298c9d72ec265a7344f1ce13b9a3af74f5","datavalue":{"value":{"entity-type":"item","numeric-id":212917,"id":"Q212917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$094222C1-6B75-4DFC-9B43-572482796B25","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$3CD60DFE-88F6-4752-8EC8-7C7485EC9524","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cf8ed36ddecf5b5a6d33bc8c2aabbc5c653e87b","datavalue":{"value":"https://doi.org/10.3792/pjaa.78.120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1869650$30134A7D-7D95-485F-AA75-2EBAC1680514","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66049d0d0890a0fa608dcc2249d277d7d1fa0db0","datavalue":{"value":"W2029135115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$5F3711B7-6315-47CA-8300-F9676F6CE690","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeaf6a0d226f322c31374890547624f6c37debc6","datavalue":{"value":{"entity-type":"item","numeric-id":1151425,"id":"Q1151425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$B6B9B1C8-8902-46C0-8820-1715E0AC01DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d68b92880cf414f2d2b7d099a84f2a76392c06","datavalue":{"value":{"entity-type":"item","numeric-id":1970015,"id":"Q1970015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$6C572049-A288-4061-B9E3-1F5F3142520A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e35e0e1a9489b350c07884c612fea356dd8dbda","datavalue":{"value":{"entity-type":"item","numeric-id":3900124,"id":"Q3900124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$680A8213-7908-40D8-B688-C847A75456F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa82a2ed0b498a2c0071ed9d7f563865cf12ad9","datavalue":{"value":{"entity-type":"item","numeric-id":3229465,"id":"Q3229465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$B6EC74C0-D94F-4386-913E-B7E94B5951C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9968d954caf9f407f870ba12c08f9ea4d94a6af7","datavalue":{"value":{"entity-type":"item","numeric-id":795862,"id":"Q795862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$21168E40-5DFA-4E6A-80D8-33B37114BFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1da9d6f0188198f56ed05cf145dccba91754a2","datavalue":{"value":{"entity-type":"item","numeric-id":3043235,"id":"Q3043235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$4666C01C-5F65-472C-BC8D-9A0412E542A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f36571adeec9e273b4f1133046316dfae512f0","datavalue":{"value":{"entity-type":"item","numeric-id":4212809,"id":"Q4212809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$16280285-0D15-4878-A68C-F9499D461793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90196b01167f1972efef6562228dfb69ca719e9","datavalue":{"value":{"entity-type":"item","numeric-id":3246487,"id":"Q3246487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$9A0E6771-AEAF-4043-885B-CA52B263E6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7793678abd2afaa3c8dfef65753cc55c5c1524d","datavalue":{"value":{"entity-type":"item","numeric-id":5905305,"id":"Q5905305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$0EBD0DF8-425E-484F-90F6-076918DE36FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58eff955c5694edfec9349680fe28ef28c6ed2aa","datavalue":{"value":{"entity-type":"item","numeric-id":2546526,"id":"Q2546526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$26565460-0634-4632-A8B3-70E68863C411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf595ca05860b38a36e56ba517f714238e8d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2726328,"id":"Q2726328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869650$65AD7600-41EE-45CB-8B40-3CCAE17F826B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9036915724e3e33c361e196f7a78147857938d37","datavalue":{"value":"10.3792/PJAA.78.120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869650$057897C6-F81D-413A-BA25-02B6806E597E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ddf2643149d53f08247e867e1ddfaa147db35f","datavalue":{"value":{"entity-type":"item","numeric-id":1005552,"id":"Q1005552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2523ac55ac1004658f5b9e73c114109dbe22e63f","datavalue":{"value":{"amount":"+0.8339620232582092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1869650$65FA88F7-CA0F-4674-AA4F-419E221AC94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a58a7030726197ed12cd842948224abe030e711","datavalue":{"value":{"entity-type":"item","numeric-id":5087134,"id":"Q5087134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8272e13f0557c4648000d96c4dd72323c8e8dff","datavalue":{"value":{"amount":"+0.8190107345581055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1869650$CF8482B0-B6C8-4502-87A8-D40588316885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92c0c19f2f19884ebbf2875678c552ec59602d5","datavalue":{"value":{"entity-type":"item","numeric-id":4914032,"id":"Q4914032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a8d81440410dec0899898285ad734e4b2d4111","datavalue":{"value":{"amount":"+0.7986539006233215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1869650$33DEDA08-0792-490B-BA13-7BB2A9EDC642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5a088174b41b725d81f072e03200458a928adc","datavalue":{"value":{"entity-type":"item","numeric-id":2481347,"id":"Q2481347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bfbe84248e65bab90a668eb96d192cfa37c8c1","datavalue":{"value":{"amount":"+0.77475506067276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1869650$E83CAD97-888A-4C5C-80CB-8630B0F82451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e047e95198a69754c2649280460964bdbc13fe10","datavalue":{"value":{"entity-type":"item","numeric-id":2104866,"id":"Q2104866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cae433b37e59ed544670873cdb3023118e733f","datavalue":{"value":{"amount":"+0.7719560861587524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1869650$677C43F1-385E-4A62-97E4-C616573D462C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic forms of Selberg zeta functions with applications to prime geodesic theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_forms_of_Selberg_zeta_functions_with_applications_to_prime_geodesic_theorem"}}}}}