[{"article_processing_charge":"Yes","type":"journal_article","supplementarymaterial":"no","das_tickbox":"0","issue":"2","acknowledgement":"The authors thank the referee for important comments which led to significant improvements is the presentation of several results in the paper. They also thank Ami Paz for preparing the figures for this paper. Horesh thanks Ami Paz and Yakov Karasik for helpful discussions. Nevo thanks John Parker and Rene Rühr for providing some very useful references. Nevo is supported by ISF Grant No. 2095/15.","date_updated":"2026-07-29T10:13:41Z","researchdata_availability":"no","arxiv":1,"file":[{"file_name":"2023_PacificJourMaths_Horesh.pdf","date_updated":"2023-09-05T07:26:17Z","access_level":"open_access","file_id":"14267","content_type":"application/pdf","checksum":"a675b53cfb31fa46be1e879b7e77fe8c","date_created":"2023-09-05T07:26:17Z","file_size":654895,"relation":"main_file","success":1,"creator":"dernst"}],"month":"07","publication":"Pacific Journal of Mathematics","intvolume":" 324","title":"Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution","has_accepted_license":"1","year":"2023","abstract":[{"text":"We establish effective counting results for lattice points in families of domains in real, complex and quaternionic hyperbolic spaces of any dimension. The domains we focus on are defined as product sets with respect to an Iwasawa decomposition. Several natural diophantine problems can be reduced to counting lattice points in such domains. These include equidistribution of the ratio of the length of the shortest solution (x,y) to the gcd equation bx−ay=1 relative to the length of (a,b), where (a,b) ranges over primitive vectors in a disc whose radius increases, the natural analog of this problem in imaginary quadratic number fields, as well as equidistribution of integral solutions to the diophantine equation defined by an integral Lorentz form in three or more variables. We establish an effective rate of convergence for these equidistribution problems, depending on the size of the spectral gap associated with a suitable lattice subgroup in the isometry group of the relevant hyperbolic space. The main result underlying our discussion amounts to establishing effective joint equidistribution for the horospherical component and the radial component in the Iwasawa decomposition of lattice elements.","lang":"eng"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":324,"publication_status":"published","oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","fulldoi":"https://doi.org/10.2140/pjm.2023.324.265","corr_author":"1","language":[{"iso":"eng"}],"oa_version":"Published Version","scopus_import":"1","_id":"14245","ddc":["510"],"date_created":"2023-08-27T22:01:18Z","day":"26","publisher":"Mathematical Sciences Publishers","status":"public","page":"265-294","author":[{"full_name":"Horesh, Tal","first_name":"Tal","last_name":"Horesh","id":"C8B7BF48-8D81-11E9-BCA9-F536E6697425"},{"first_name":"Amos","full_name":"Nevo, Amos","last_name":"Nevo"}],"isi":1,"citation":{"ama":"Horesh T, Nevo A. Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. Pacific Journal of Mathematics. 2023;324(2):265-294. doi:10.2140/pjm.2023.324.265","mla":"Horesh, Tal, and Amos Nevo. “Horospherical Coordinates of Lattice Points in Hyperbolic Spaces: Effective Counting and Equidistribution.” Pacific Journal of Mathematics, vol. 324, no. 2, Mathematical Sciences Publishers, 2023, pp. 265–94, doi:10.2140/pjm.2023.324.265.","ista":"Horesh T, Nevo A. 2023. Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. Pacific Journal of Mathematics. 324(2), 265–294.","ieee":"T. Horesh and A. Nevo, “Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution,” Pacific Journal of Mathematics, vol. 324, no. 2. Mathematical Sciences Publishers, pp. 265–294, 2023.","short":"T. Horesh, A. Nevo, Pacific Journal of Mathematics 324 (2023) 265–294.","chicago":"Horesh, Tal, and Amos Nevo. “Horospherical Coordinates of Lattice Points in Hyperbolic Spaces: Effective Counting and Equidistribution.” Pacific Journal of Mathematics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pjm.2023.324.265.","apa":"Horesh, T., & Nevo, A. (2023). Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. Pacific Journal of Mathematics. Mathematical Sciences Publishers. https://doi.org/10.2140/pjm.2023.324.265"},"quality_controlled":"1","department":[{"_id":"TiBr"}],"doi":"10.2140/pjm.2023.324.265","file_date_updated":"2023-09-05T07:26:17Z","publication_identifier":{"issn":["0030-8730"],"eissn":["1945-5844"]},"external_id":{"isi":["001047690500001"],"arxiv":["1612.08215"]},"date_published":"2023-07-26T00:00:00Z","article_type":"original"},{"page":"719-748","author":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","orcid":"0000-0002-8314-0177","first_name":"Timothy D","full_name":"Browning, Timothy D"},{"full_name":"Sawin, Will","first_name":"Will","last_name":"Sawin"}],"quality_controlled":"1","isi":1,"citation":{"mla":"Browning, Timothy D., and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” Algebra & Number Theory, vol. 17, no. 3, Mathematical Sciences Publishers, 2023, pp. 719–48, doi:10.2140/ant.2023.17.719.","ista":"Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces and the circle method. Algebra & Number Theory. 17(3), 719–748.","ama":"Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and the circle method. Algebra & Number Theory. 2023;17(3):719-748. doi:10.2140/ant.2023.17.719","chicago":"Browning, Timothy D, and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” Algebra & Number Theory. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/ant.2023.17.719.","apa":"Browning, T. D., & Sawin, W. (2023). Free rational curves on low degree hypersurfaces and the circle method. Algebra & Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2023.17.719","ieee":"T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces and the circle method,” Algebra & Number Theory, vol. 17, no. 3. Mathematical Sciences Publishers, pp. 719–748, 2023.","short":"T.D. Browning, W. Sawin, Algebra & Number Theory 17 (2023) 719–748."},"publisher":"Mathematical Sciences Publishers","status":"public","date_published":"2023-04-12T00:00:00Z","publication_identifier":{"issn":["1937-0652"],"eissn":["1944-7833"]},"external_id":{"arxiv":["1810.06882"],"isi":["000996014700004"]},"article_type":"original","file_date_updated":"2023-05-30T08:05:22Z","doi":"10.2140/ant.2023.17.719","department":[{"_id":"TiBr"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","fulldoi":"https://doi.org/10.2140/ant.2023.17.719","project":[{"grant_number":"EP-P026710-2","name":"Between rational and integral points","_id":"26A8D266-B435-11E9-9278-68D0E5697425"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":17,"publication_status":"published","oa":1,"ddc":["510"],"date_created":"2023-05-28T22:01:02Z","day":"12","scopus_import":"1","language":[{"iso":"eng"}],"corr_author":"1","oa_version":"Published Version","_id":"13091","file":[{"content_type":"application/pdf","checksum":"5d5d67b235905650e33cf7065d7583b4","file_size":1430719,"date_created":"2023-05-30T08:05:22Z","success":1,"relation":"main_file","creator":"dernst","date_updated":"2023-05-30T08:05:22Z","file_name":"2023_AlgebraNumberTheory_Browning.pdf","file_id":"13101","access_level":"open_access"}],"month":"04","date_updated":"2026-07-29T10:11:06Z","arxiv":1,"researchdata_availability":"no","publication":"Algebra & Number Theory","year":"2023","abstract":[{"lang":"eng","text":"We use a function field version of the Hardy–Littlewood circle method to study the locus of free rational curves on an arbitrary smooth projective hypersurface of sufficiently low degree. On the one hand this allows us to bound the dimension of the singular locus of the moduli space of rational curves on such hypersurfaces and, on the other hand, it sheds light on Peyre’s reformulation of the Batyrev–Manin conjecture in terms of slopes with respect to the tangent bundle."}],"has_accepted_license":"1","intvolume":" 17","title":"Free rational curves on low degree hypersurfaces and the circle method","type":"journal_article","article_processing_charge":"No","issue":"3","acknowledgement":"The authors are grateful to Paul Nelson, Per Salberger and Jason Starr for useful comments. While working on this paper the first author was supported by EPRSC grant EP/P026710/1. The research was partially conducted during the period the second author served as a Clay Research Fellow, and partially conducted during the period he was supported by Dr. Max Rössler, the Walter Haefner Foundation and the ETH Zurich Foundation.","das_tickbox":"0","supplementarymaterial":"no"},{"_id":"13973","oa_version":"Published Version","language":[{"iso":"eng"}],"corr_author":"1","scopus_import":"1","date_created":"2023-08-06T22:01:12Z","day":"12","ec_funded":1,"ddc":["510"],"publication_status":"published","oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","short":"CC BY-ND (4.0)","image":"/image/cc_by_nd.png","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)"},"project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"}],"volume":73,"fulldoi":"https://doi.org/10.5802/aif.3529","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","department":[{"_id":"TiBr"}],"file_date_updated":"2023-08-07T07:19:42Z","doi":"10.5802/aif.3529","article_type":"original","external_id":{"arxiv":["2005.14013"],"isi":["001000279500001"]},"publication_identifier":{"issn":["0373-0956"]},"date_published":"2023-05-12T00:00:00Z","status":"public","publisher":"Association des Annales de l'Institut Fourier","citation":{"apa":"Lyczak, J. (2023). Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces. Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier. https://doi.org/10.5802/aif.3529","chicago":"Lyczak, Julian. “Order 5 Brauer–Manin Obstructions to the Integral Hasse Principle on Log K3 Surfaces.” Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier, 2023. https://doi.org/10.5802/aif.3529.","short":"J. Lyczak, Annales de l’Institut Fourier 73 (2023) 447–478.","ieee":"J. Lyczak, “Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces,” Annales de l’Institut Fourier, vol. 73, no. 2. Association des Annales de l’Institut Fourier, pp. 447–478, 2023.","ista":"Lyczak J. 2023. Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces. Annales de l’Institut Fourier. 73(2), 447–478.","mla":"Lyczak, Julian. “Order 5 Brauer–Manin Obstructions to the Integral Hasse Principle on Log K3 Surfaces.” Annales de l’Institut Fourier, vol. 73, no. 2, Association des Annales de l’Institut Fourier, 2023, pp. 447–78, doi:10.5802/aif.3529.","ama":"Lyczak J. Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces. Annales de l’Institut Fourier. 2023;73(2):447-478. doi:10.5802/aif.3529"},"isi":1,"quality_controlled":"1","author":[{"id":"3572849A-F248-11E8-B48F-1D18A9856A87","last_name":"Lyczak","first_name":"Julian","full_name":"Lyczak, Julian"}],"page":"447-478","das_tickbox":"0","supplementarymaterial":"yes","acknowledgement":"This paper was completed as part of a project which received funding from the\r\nEuropean Union’s Horizon 2020 research and innovation programme under the Marie\r\nSkłodowska-Curie grant agreement No. 754411.","issue":"2","article_processing_charge":"Yes (in subscription journal)","type":"journal_article","title":"Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces","intvolume":" 73","has_accepted_license":"1","license":"https://creativecommons.org/licenses/by-nd/4.0/","abstract":[{"text":"We construct families of log K3 surfaces and study the arithmetic of their members. We use this to produce explicit surfaces with an order 5 Brauer–Manin obstruction to the integral Hasse principle.","lang":"eng"}],"year":"2023","publication":"Annales de l'Institut Fourier","arxiv":1,"date_updated":"2026-07-29T10:12:43Z","researchdata_availability":"no","month":"05","file":[{"relation":"main_file","success":1,"creator":"dernst","checksum":"daf53fc614c894422e4c0fb3d2a2ae3e","content_type":"application/pdf","file_size":1529821,"date_created":"2023-08-07T07:19:42Z","file_id":"13977","access_level":"open_access","date_updated":"2023-08-07T07:19:42Z","file_name":"2023_AnnalesFourier_Lyczak.pdf"}]},{"volume":151,"oa":1,"publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","fulldoi":"https://doi.org/10.1090/proc/15239","scopus_import":"1","language":[{"iso":"eng"}],"corr_author":"1","oa_version":"Preprint","_id":"12427","day":"01","date_created":"2023-01-29T23:00:58Z","publisher":"American Mathematical Society","status":"public","page":"907-914","author":[{"full_name":"Balestrieri, Francesca","first_name":"Francesca","last_name":"Balestrieri","id":"3ACCD756-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","citation":{"ista":"Balestrieri F. 2023. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 151(3), 907–914.","mla":"Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American Mathematical Society, vol. 151, no. 3, American Mathematical Society, 2023, pp. 907–14, doi:10.1090/proc/15239.","ama":"Balestrieri F. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 2023;151(3):907-914. doi:10.1090/proc/15239","apa":"Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15239","chicago":"Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/15239.","short":"F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.","ieee":"F. Balestrieri, “Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups,” Proceedings of the American Mathematical Society, vol. 151, no. 3. American Mathematical Society, pp. 907–914, 2023."},"isi":1,"doi":"10.1090/proc/15239","department":[{"_id":"TiBr"}],"date_published":"2023-01-01T00:00:00Z","publication_identifier":{"issn":["0002-9939"],"eissn":["1088-6826"]},"external_id":{"isi":["000898440000001"]},"article_type":"original","article_processing_charge":"No","type":"journal_article","supplementarymaterial":"no","das_tickbox":"0","issue":"3","month":"01","researchdata_availability":"no","date_updated":"2026-07-29T10:09:11Z","publication":"Proceedings of the American Mathematical Society","title":"Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups","intvolume":" 151","year":"2023","abstract":[{"lang":"eng","text":"Let k be a number field and X a smooth, geometrically integral quasi-projective variety over k. For any linear algebraic group G over k and any G-torsor g : Z → X, we observe that if the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for all twists of Z by elements in H^1(k, G), then the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for X. As an application, we show that any homogeneous space of the form G/H with G a connected linear algebraic group over k satisfies strong approximation off the infinite places with étale-Brauer obstruction, under some compactness assumptions when k is totally real. We also prove more refined strong approximation results for homogeneous spaces of the form G/H with G semisimple simply connected and H finite, using the theory of torsors and descent."}],"main_file_link":[{"open_access":"1","url":"https://hal.science/hal-03013498/"}]},{"article_type":"original","date_published":"2023-02-16T00:00:00Z","external_id":{"arxiv":["2007.14182"]},"publication_identifier":{"issn":["0391-173X"],"eissn":["2036-2145"]},"doi":"10.2422/2036-2145.202010_018","department":[{"_id":"TiBr"}],"quality_controlled":"1","citation":{"ama":"Bonolis D, Browning TD. Uniform bounds for rational points on hyperelliptic fibrations. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. 2023;24(1):173-204. doi:10.2422/2036-2145.202010_018","mla":"Bonolis, Dante, and Timothy D. Browning. “Uniform Bounds for Rational Points on Hyperelliptic Fibrations.” Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze, vol. 24, no. 1, Scuola Normale Superiore - Edizioni della Normale, 2023, pp. 173–204, doi:10.2422/2036-2145.202010_018.","ista":"Bonolis D, Browning TD. 2023. Uniform bounds for rational points on hyperelliptic fibrations. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. 24(1), 173–204.","ieee":"D. Bonolis and T. D. Browning, “Uniform bounds for rational points on hyperelliptic fibrations,” Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, vol. 24, no. 1. Scuola Normale Superiore - Edizioni della Normale, pp. 173–204, 2023.","short":"D. Bonolis, T.D. Browning, Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze 24 (2023) 173–204.","chicago":"Bonolis, Dante, and Timothy D Browning. “Uniform Bounds for Rational Points on Hyperelliptic Fibrations.” Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze. Scuola Normale Superiore - Edizioni della Normale, 2023. https://doi.org/10.2422/2036-2145.202010_018.","apa":"Bonolis, D., & Browning, T. D. (2023). Uniform bounds for rational points on hyperelliptic fibrations. Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze. Scuola Normale Superiore - Edizioni della Normale. https://doi.org/10.2422/2036-2145.202010_018"},"page":"173-204","author":[{"id":"6A459894-5FDD-11E9-AF35-BB24E6697425","last_name":"Bonolis","first_name":"Dante","full_name":"Bonolis, Dante"},{"first_name":"Timothy D","full_name":"Browning, Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","orcid":"0000-0002-8314-0177"}],"status":"public","publisher":"Scuola Normale Superiore - Edizioni della Normale","day":"16","date_created":"2023-05-07T22:01:04Z","_id":"12916","scopus_import":"1","language":[{"iso":"eng"}],"oa_version":"Preprint","corr_author":"1","fulldoi":"https://doi.org/10.2422/2036-2145.202010_018","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","oa":1,"volume":24,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2007.14182","open_access":"1"}],"abstract":[{"text":"We apply a variant of the square-sieve to produce an upper bound for the number of rational points of bounded height on a family of surfaces that admit a fibration over P1 whose general fibre is a hyperelliptic curve. The implied constant does not depend on the coefficients of the polynomial defining the surface.\r\n","lang":"eng"}],"year":"2023","title":"Uniform bounds for rational points on hyperelliptic fibrations","intvolume":" 24","publication":"Annali della Scuola Normale Superiore di Pisa, Classe di Scienze","month":"02","arxiv":1,"date_updated":"2026-07-29T10:10:35Z","researchdata_availability":"no","issue":"1","das_tickbox":"0","supplementarymaterial":"no","type":"journal_article","article_processing_charge":"No"},{"_id":"13180","scopus_import":"1","language":[{"iso":"eng"}],"corr_author":"1","oa_version":"Preprint","date_created":"2023-07-02T22:00:43Z","day":"26","publication_status":"published","oa":1,"volume":16,"fulldoi":"https://doi.org/10.2140/involve.2023.16.331","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.2140/involve.2023.16.331","department":[{"_id":"TiBr"}],"article_type":"original","date_published":"2023-05-26T00:00:00Z","publication_identifier":{"eissn":["1944-4184"],"issn":["1944-4176"]},"external_id":{"arxiv":["2203.06881"]},"status":"public","publisher":"Mathematical Sciences Publishers","quality_controlled":"1","citation":{"ama":"Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331","ista":"Browning TD, Lyczak J, Sarapin R. 2023. Local solubility for a family of quadrics over a split quadric surface. Involve. 16(2), 331–342.","mla":"Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331.","short":"T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.","ieee":"T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023.","apa":"Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331","chicago":"Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331."},"page":"331-342","author":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","orcid":"0000-0002-8314-0177","first_name":"Timothy D","full_name":"Browning, Timothy D"},{"full_name":"Lyczak, Julian","first_name":"Julian","last_name":"Lyczak","id":"3572849A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sarapin","first_name":"Roman","full_name":"Sarapin, Roman"}],"supplementarymaterial":"no","das_tickbox":"0","issue":"2","article_processing_charge":"No","type":"journal_article","intvolume":" 16","title":"Local solubility for a family of quadrics over a split quadric surface","abstract":[{"lang":"eng","text":"We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface"}],"main_file_link":[{"url":"https://arxiv.org/abs/2203.06881","open_access":"1"}],"year":"2023","publication":"Involve","month":"05","arxiv":1,"researchdata_availability":"no","date_updated":"2026-07-29T10:11:41Z"},{"oa_version":"Published Version","corr_author":"1","language":[{"iso":"eng"}],"scopus_import":"1","_id":"14717","ddc":["510"],"day":"01","date_created":"2023-12-31T23:01:03Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":74,"project":[{"grant_number":"EP-P026710-2","_id":"26A8D266-B435-11E9-9278-68D0E5697425","name":"Between rational and integral points"}],"oa":1,"publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","fulldoi":"https://doi.org/10.1093/qmath/haad008","department":[{"_id":"TiBr"}],"file_date_updated":"2024-01-02T07:37:09Z","doi":"10.1093/qmath/haad008","external_id":{"arxiv":["2012.04508"],"isi":["001005945400001"]},"publication_identifier":{"issn":["0033-5606"],"eissn":["1464-3847"]},"date_published":"2023-12-01T00:00:00Z","article_type":"original","publisher":"Oxford University Press","status":"public","author":[{"id":"C8B7BF48-8D81-11E9-BCA9-F536E6697425","last_name":"Horesh","first_name":"Tal","full_name":"Horesh, Tal"},{"last_name":"Karasik","full_name":"Karasik, Yakov","first_name":"Yakov"}],"page":"1253-1294","isi":1,"citation":{"ama":"Horesh T, Karasik Y. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 2023;74(4):1253-1294. doi:10.1093/qmath/haad008","mla":"Horesh, Tal, and Yakov Karasik. “Equidistribution of Primitive Lattices in ℝn.” Quarterly Journal of Mathematics, vol. 74, no. 4, Oxford University Press, 2023, pp. 1253–94, doi:10.1093/qmath/haad008.","ista":"Horesh T, Karasik Y. 2023. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 74(4), 1253–1294.","ieee":"T. Horesh and Y. Karasik, “Equidistribution of primitive lattices in ℝn,” Quarterly Journal of Mathematics, vol. 74, no. 4. Oxford University Press, pp. 1253–1294, 2023.","short":"T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.","chicago":"Horesh, Tal, and Yakov Karasik. “Equidistribution of Primitive Lattices in ℝn.” Quarterly Journal of Mathematics. Oxford University Press, 2023. https://doi.org/10.1093/qmath/haad008.","apa":"Horesh, T., & Karasik, Y. (2023). Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haad008"},"quality_controlled":"1","das_tickbox":"0","supplementarymaterial":"no","issue":"4","acknowledgement":"This work was done when both authors were visiting Institute of Science and Technology (IST) Austria. T.H. was being supported by Engineering and Physical Sciences Research Council grant EP/P026710/1. Y.K. had a great time there and is grateful for the hospitality. The appendix to this paper is largely based on a mini course T.H. had given at IST in February 2020.","article_processing_charge":"Yes (via OA deal)","type":"journal_article","title":"Equidistribution of primitive lattices in ℝn","intvolume":" 74","has_accepted_license":"1","year":"2023","abstract":[{"text":"We count primitive lattices of rank d inside Zn as their covolume tends to infinity, with respect to certain parameters of such lattices. These parameters include, for example, the subspace that a lattice spans, namely its projection to the Grassmannian; its homothety class and its equivalence class modulo rescaling and rotation, often referred to as a shape. We add to a prior work of Schmidt by allowing sets in the spaces of parameters that are general enough to conclude the joint equidistribution of these parameters. In addition to the primitive d-lattices Λ themselves, we also consider their orthogonal complements in Zn, A1, and show that the equidistribution occurs jointly for Λ and A1. Finally, our asymptotic formulas for the number of primitive lattices include an explicit bound on the error term.","lang":"eng"}],"date_updated":"2026-07-29T10:22:09Z","arxiv":1,"researchdata_availability":"no","month":"12","file":[{"relation":"main_file","success":1,"creator":"dernst","content_type":"application/pdf","checksum":"bf29baa9eae8500f3374dbcb80712687","date_created":"2024-01-02T07:37:09Z","file_size":724748,"access_level":"open_access","file_id":"14720","file_name":"2023_QuarterlyJourMath_Horesh.pdf","date_updated":"2024-01-02T07:37:09Z"}],"publication":"Quarterly Journal of Mathematics"},{"department":[{"_id":"TiBr"}],"doi":"10.5802/pmb.50","file_date_updated":"2024-10-07T11:32:32Z","article_type":"original","external_id":{"arxiv":["2103.10889"]},"publication_identifier":{"eissn":["2592-6616"],"issn":["2804-8504"]},"date_published":"2023-06-15T00:00:00Z","status":"public","publisher":"Presses Universitaires de Franche-Comté","citation":{"mla":"Guilloux, Antonin, and Tal Horesh. “P-Adic Directions of Primitive Vectors.” Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres, vol. 2023, Presses Universitaires de Franche-Comté, 2023, pp. 85–107, doi:10.5802/pmb.50.","ista":"Guilloux A, Horesh T. 2023. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023, 85–107.","ama":"Guilloux A, Horesh T. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023;2023:85-107. doi:10.5802/pmb.50","chicago":"Guilloux, Antonin, and Tal Horesh. “P-Adic Directions of Primitive Vectors.” Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres. Presses Universitaires de Franche-Comté, 2023. https://doi.org/10.5802/pmb.50.","apa":"Guilloux, A., & Horesh, T. (2023). p-adic directions of primitive vectors. Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres. Presses Universitaires de Franche-Comté. https://doi.org/10.5802/pmb.50","ieee":"A. Guilloux and T. Horesh, “p-adic directions of primitive vectors,” Publications mathématiques de Besançon - Algèbre et Théorie des nombres, vol. 2023. Presses Universitaires de Franche-Comté, pp. 85–107, 2023.","short":"A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107."},"quality_controlled":"1","page":"85-107","author":[{"first_name":"Antonin","full_name":"Guilloux, Antonin","last_name":"Guilloux"},{"id":"C8B7BF48-8D81-11E9-BCA9-F536E6697425","last_name":"Horesh","first_name":"Tal","full_name":"Horesh, Tal"}],"_id":"18179","language":[{"iso":"eng"}],"corr_author":"1","oa_version":"Published Version","scopus_import":"1","date_created":"2024-10-06T22:01:13Z","day":"15","ddc":["510"],"publication_status":"published","oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","short":"CC BY-ND (4.0)","image":"/image/cc_by_nd.png","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)"},"project":[{"grant_number":"EP-P026710-2","name":"Between rational and integral points","_id":"26A8D266-B435-11E9-9278-68D0E5697425"}],"volume":2023,"fulldoi":"https://doi.org/10.5802/pmb.50","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":" 2023","title":"p-adic directions of primitive vectors","has_accepted_license":"1","abstract":[{"text":"Linnik type problems concern the distribution of projections of integral points on the unit sphere as their norm increases, and different generalizations of this phenomenon. Our work addresses a question of this type: we prove the uniform distribution of the projections of primitive Z2 points in the p-adic unit sphere, as their (real) norm tends to infinity. The proof is via counting lattice points in semi-simple S-arithmetic groups.","lang":"eng"},{"text":"Les problèmes de type Linnik concernent la distribution des projections des points entiers sur la sphère unitaire lorsque leur norme augmente et différentes généralisations de ce phénomène. Notre travail s’intéresse à une question de ce type : nous prouvons la distribution uniforme des projections des points primitifs de Z2 sur la sphère unitaire p-adique lorsque leur norme (réelle) tend vers l’infini. La preuve se fait en comptant les points d’un réseau dans des S-groupes arithmétiques semi-simples.","lang":"fre"}],"year":"2023","publication":"Publications mathématiques de Besançon - Algèbre et Théorie des nombres","researchdata_availability":"no","date_updated":"2026-07-29T10:40:38Z","arxiv":1,"file":[{"checksum":"cefc47a2cf55a87f8e4960197f73353b","content_type":"application/pdf","file_size":1399390,"date_created":"2024-10-07T11:32:32Z","success":1,"relation":"main_file","creator":"dernst","date_updated":"2024-10-07T11:32:32Z","file_name":"2023_MathBesancon_Guilloux.pdf","file_id":"18186","access_level":"open_access"}],"month":"06","das_tickbox":"0","supplementarymaterial":"no","acknowledgement":"The second author is supported by EPRSC grant EP/P026710/1.","article_processing_charge":"Yes (in subscription journal)","type":"journal_article"},{"publication":"Annals of Mathematics","arxiv":1,"date_updated":"2026-07-29T10:41:58Z","researchdata_availability":"no","month":"05","intvolume":" 197","title":"The Hasse principle for random Fano hypersurfaces","related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/when-is-necessary-sufficient/"}]},"main_file_link":[{"url":"https://arxiv.org/abs/2006.02356","open_access":"1"}],"abstract":[{"text":"It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least 3 over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thélène that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least 3. This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces.","lang":"eng"}],"year":"2023","article_processing_charge":"No","type":"journal_article","supplementarymaterial":"no","das_tickbox":"0","issue":"3","status":"public","publisher":"Princeton University","citation":{"chicago":"Browning, Timothy D, Pierre Le Boudec, and Will Sawin. “The Hasse Principle for Random Fano Hypersurfaces.” Annals of Mathematics. Princeton University, 2023. https://doi.org/10.4007/annals.2023.197.3.3.","apa":"Browning, T. D., Boudec, P. L., & Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2023.197.3.3","ieee":"T. D. Browning, P. L. Boudec, and W. Sawin, “The Hasse principle for random Fano hypersurfaces,” Annals of Mathematics, vol. 197, no. 3. Princeton University, pp. 1115–1203, 2023.","short":"T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.","mla":"Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.” Annals of Mathematics, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi:10.4007/annals.2023.197.3.3.","ista":"Browning TD, Boudec PL, Sawin W. 2023. The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. 197(3), 1115–1203.","ama":"Browning TD, Boudec PL, Sawin W. The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. 2023;197(3):1115-1203. doi:10.4007/annals.2023.197.3.3"},"isi":1,"quality_controlled":"1","page":"1115-1203","author":[{"orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","first_name":"Timothy D","full_name":"Browning, Timothy D"},{"last_name":"Boudec","full_name":"Boudec, Pierre Le","first_name":"Pierre Le"},{"last_name":"Sawin","full_name":"Sawin, Will","first_name":"Will"}],"department":[{"_id":"TiBr"}],"doi":"10.4007/annals.2023.197.3.3","article_type":"original","external_id":{"arxiv":["2006.02356"],"isi":["000966611000003"]},"publication_identifier":{"issn":["0003-486X"]},"date_published":"2023-05-01T00:00:00Z","publication_status":"published","oa":1,"volume":197,"fulldoi":"https://doi.org/10.4007/annals.2023.197.3.3","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","_id":"8682","corr_author":"1","language":[{"iso":"eng"}],"oa_version":"Preprint","scopus_import":"1","day":"01","date_created":"2020-10-19T14:28:50Z"},{"supplementarymaterial":"no","das_tickbox":"0","acknowledgement":"This work was supported by the German Academic Exchange Service. Parts of this article were prepared at the Institut de Mathémathiques de Jussieu—Paris Rive Gauche. I wish to thank Antoine Chambert-Loir for his remarks and the institute for its hospitality, as well as the anonymous referee for several useful remarks and suggestions for improvements.","issue":"8","article_processing_charge":"No","type":"journal_article","intvolume":" 2023","title":"Integral points of bounded height on a log Fano threefold","abstract":[{"lang":"eng","text":"We determine an asymptotic formula for the number of integral points of bounded height on a blow-up of P3 outside certain planes using universal torsors."}],"main_file_link":[{"url":"https://arxiv.org/abs/1901.08503","open_access":"1"}],"year":"2023","publication":"International Mathematics Research Notices","month":"04","date_updated":"2026-07-29T10:43:18Z","arxiv":1,"researchdata_availability":"no","_id":"9034","scopus_import":"1","oa_version":"Preprint","corr_author":"1","language":[{"iso":"eng"}],"day":"01","date_created":"2021-01-22T09:31:09Z","publication_status":"published","oa":1,"volume":2023,"fulldoi":"https://doi.org/10.1093/imrn/rnac048","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1093/imrn/rnac048","department":[{"_id":"TiBr"}],"article_type":"original","date_published":"2023-04-01T00:00:00Z","external_id":{"arxiv":["1901.08503"],"isi":["000773116000001"]},"publication_identifier":{"issn":["1073-7928"],"eissn":["1687-0247"]},"status":"public","publisher":"Oxford University Press","quality_controlled":"1","citation":{"apa":"Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnac048","chicago":"Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices. Oxford University Press, 2023. https://doi.org/10.1093/imrn/rnac048.","short":"F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.","ieee":"F. A. Wilsch, “Integral points of bounded height on a log Fano threefold,” International Mathematics Research Notices, vol. 2023, no. 8. Oxford University Press, pp. 6780–6808, 2023.","ista":"Wilsch FA. 2023. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023(8), 6780–6808.","mla":"Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices, vol. 2023, no. 8, Oxford University Press, 2023, pp. 6780–808, doi:10.1093/imrn/rnac048.","ama":"Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048"},"isi":1,"page":"6780-6808","author":[{"id":"560601DA-8D36-11E9-A136-7AC1E5697425","last_name":"Wilsch","orcid":"0000-0001-7302-8256","first_name":"Florian Alexander","full_name":"Wilsch, Florian Alexander"}]},{"date_published":"2023-04-26T00:00:00Z","publication_identifier":{"issn":["1662-5110"]},"external_id":{"pmid":["37180760"],"isi":["000984606200001"]},"article_type":"original","doi":"10.3389/fncir.2023.1146449","file_date_updated":"2024-01-03T13:33:21Z","department":[{"_id":"LoSw"}],"author":[{"first_name":"Alexia C","full_name":"Wilson, Alexia C","id":"5230e794-15b2-11ec-abd3-e2d5335ebd1d","last_name":"Wilson","orcid":"0000-0001-6191-1367"},{"orcid":"0000-0001-9242-5601","id":"56BE8254-C4F0-11E9-8E45-0B23E6697425","last_name":"Sweeney","first_name":"Lora Beatrice Jaeger","full_name":"Sweeney, Lora Beatrice Jaeger"}],"quality_controlled":"1","citation":{"ieee":"A. C. Wilson and L. B. Sweeney, “Spinal cords: Symphonies of interneurons across species,” Frontiers in Neural Circuits, vol. 17. Frontiers, 2023.","short":"A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).","chicago":"Wilson, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” Frontiers in Neural Circuits. Frontiers, 2023. https://doi.org/10.3389/fncir.2023.1146449.","apa":"Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449","ama":"Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449","mla":"Wilson, Alexia C., and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” Frontiers in Neural Circuits, vol. 17, 1146449, Frontiers, 2023, doi:10.3389/fncir.2023.1146449.","ista":"Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 17, 1146449."},"isi":1,"publisher":"Frontiers","status":"public","ddc":["570"],"date_created":"2023-05-28T22:01:04Z","day":"26","scopus_import":"1","language":[{"iso":"eng"}],"oa_version":"Published Version","corr_author":"1","_id":"13097","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.3389/fncir.2023.1146449","volume":17,"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"grant_number":"101041551","name":"Development and Evolution of Tetrapod Motor Circuits","_id":"ebb66355-77a9-11ec-83b8-b8ac210a4dae"}],"publication_status":"published","oa":1,"year":"2023","abstract":[{"lang":"eng","text":"Vertebrate movement is orchestrated by spinal inter- and motor neurons that, together with sensory and cognitive input, produce dynamic motor behaviors. These behaviors vary from the simple undulatory swimming of fish and larval aquatic species to the highly coordinated running, reaching and grasping of mice, humans and other mammals. This variation raises the fundamental question of how spinal circuits have changed in register with motor behavior. In simple, undulatory fish, exemplified by the lamprey, two broad classes of interneurons shape motor neuron output: ipsilateral-projecting excitatory neurons, and commissural-projecting inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates, a more complex spinal neuron composition is observed. In this review, we provide evidence that movement elaboration correlates with an increase and specialization of these three basic interneuron types into molecularly, anatomically, and functionally distinct subpopulations. We summarize recent work linking neuron types to movement-pattern generation across fish, amphibians, reptiles, birds and mammals."}],"related_material":{"record":[{"id":"20735","status":"public","relation":"dissertation_contains"}]},"has_accepted_license":"1","title":"Spinal cords: Symphonies of interneurons across species","intvolume":" 17","file":[{"file_id":"14729","access_level":"open_access","date_updated":"2024-01-03T13:33:21Z","file_name":"2023_FrontiersNeuralCircuits_Wilson.pdf","creator":"dernst","success":1,"relation":"main_file","file_size":6667157,"date_created":"2024-01-03T13:33:21Z","checksum":"7efd06de284a28e91e97127611a9c3fd","content_type":"application/pdf"}],"month":"04","date_updated":"2026-07-29T12:55:11Z","publication":"Frontiers in Neural Circuits","acknowledgement":"This work was supported by the ERC Starting grant, ERC-2021-STG #101041551.","article_number":"1146449","pmid":1,"type":"journal_article","article_processing_charge":"Yes"},{"type":"conference","article_processing_charge":"No","acknowledgement":"Jasmin Blanchette: This research has received funding from the Netherlands Organization\r\nfor Scientific Research (NWO) under the Vidi program (project No. 016.Vidi.189.037, Lean Forward).\r\n__\r\nWe thank Vladimir Kolmogorov for making this collaboration possible. We\r\nthank Václav Končický for discussing ideas about the Kleene star construction. We thank Patrick Johnson, Floris van Doorn, and Damiano Testa for their small yet very valuable contributions to our code. We thank Eric Wieser for simplifying one of our proofs. We thank Mark Summerfield for suggesting textual improvements. We thank the anonymous reviewers for very helpful comments. Finally, we thank the Lean community for helping us with various technical issues and answering many questions. ","article_number":"15","publication":"14th International Conference on Interactive Theorem Proving","month":"07","file":[{"relation":"main_file","success":1,"creator":"dernst","checksum":"773a0197f05b67feaa6cb1e17ec3642d","content_type":"application/pdf","date_created":"2023-08-07T11:55:43Z","file_size":715976,"access_level":"open_access","file_id":"13982","file_name":"2023_LIPIcS_Dvorak.pdf","date_updated":"2023-08-07T11:55:43Z"}],"date_updated":"2026-07-29T12:56:51Z","alternative_title":["LIPIcs"],"arxiv":1,"abstract":[{"lang":"eng","text":"We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to show closure of the class of type-0 languages under four operations: union, reversal, concatenation, and the Kleene star. The literature mostly focuses on Turing machine arguments, which are possibly more difficult to formalize. For the Kleene star, we could not follow the literature and came up with our own grammar-based construction."}],"year":"2023","has_accepted_license":"1","title":"Closure properties of general grammars - formally verified","intvolume":" 268","related_material":{"record":[{"id":"21393","relation":"dissertation_contains","status":"public"}],"link":[{"url":"https://github.com/madvorak/grammars/tree/publish","relation":"software"}]},"fulldoi":"https://doi.org/10.4230/LIPIcs.ITP.2023.15","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","oa":1,"conference":{"start_date":"2023-07-31","name":"ITP: Interactive Theorem Proving","end_date":"2023-08-04","location":"Bialystok, Poland"},"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":268,"day":"27","date_created":"2023-06-05T07:29:05Z","ddc":["000"],"_id":"13120","scopus_import":"1","corr_author":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"quality_controlled":"1","citation":{"ama":"Dvorak M, Blanchette J. Closure properties of general grammars - formally verified. In: 14th International Conference on Interactive Theorem Proving. Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ITP.2023.15","mla":"Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.","ista":"Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: Interactive Theorem Proving, LIPIcs, vol. 268, 15.","ieee":"M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.","short":"M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","chicago":"Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ITP.2023.15.","apa":"Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15"},"isi":1,"author":[{"last_name":"Dvorak","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","orcid":"0000-0001-5293-214X","full_name":"Dvorak, Martin","first_name":"Martin"},{"last_name":"Blanchette","first_name":"Jasmin","full_name":"Blanchette, Jasmin"}],"status":"public","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_published":"2023-07-27T00:00:00Z","external_id":{"arxiv":["2302.06420"],"isi":["001515590500015"]},"publication_identifier":{"eissn":["1868-8969"],"isbn":["9783959772846"]},"file_date_updated":"2023-08-07T11:55:43Z","doi":"10.4230/LIPIcs.ITP.2023.15","department":[{"_id":"GradSch"},{"_id":"VlKo"}]},{"related_material":{"record":[{"id":"20276","status":"public","relation":"dissertation_contains"}]},"intvolume":" 42","title":"PCBend: Light up your 3D shapes with foldable circuit boards","has_accepted_license":"1","year":"2023","abstract":[{"text":"We propose a computational design approach for covering a surface with individually addressable RGB LEDs, effectively forming a low-resolution surface screen. To achieve a low-cost and scalable approach, we propose creating designs from flat PCB panels bent in-place along the surface of a 3D printed core. Working with standard rigid PCBs enables the use of\r\nestablished PCB manufacturing services, allowing the fabrication of designs with several hundred LEDs. \r\nOur approach optimizes the PCB geometry for folding, and then jointly optimizes the LED packing, circuit and routing, solving a challenging layout problem under strict manufacturing requirements. Unlike paper, PCBs cannot bend beyond a certain point without breaking. Therefore, we introduce parametric cut patterns acting as hinges, designed to allow bending while remaining compact. To tackle the joint optimization of placement, circuit and routing, we propose a specialized algorithm that splits the global problem into one sub-problem per triangle, which is then individually solved.\r\nOur technique generates PCB blueprints in a completely automated way. After being fabricated by a PCB manufacturing service, the boards are bent and glued by the user onto the 3D printed support. We demonstrate our technique on a range of physical models and virtual examples, creating intricate surface light patterns from hundreds of LEDs.","lang":"eng"}],"date_updated":"2026-07-29T13:03:30Z","month":"07","file":[{"creator":"dernst","success":1,"relation":"main_file","date_created":"2023-06-19T11:02:23Z","file_size":78940724,"content_type":"application/pdf","checksum":"a0b0ba3b36f43a94388e8824613d812a","access_level":"open_access","file_id":"13156","file_name":"2023_ACMToG_Freire.pdf","date_updated":"2023-06-19T11:02:23Z"},{"creator":"dernst","success":1,"relation":"main_file","file_size":34345905,"date_created":"2023-06-20T12:20:51Z","checksum":"b9206bbb67af82df49b7e7cdbde3410c","content_type":"application/pdf","file_id":"13157","access_level":"open_access","date_updated":"2023-06-20T12:20:51Z","file_name":"2023_ACMToG_SuppMaterial_Freire.pdf"}],"publication":"Transactions on Graphics","article_number":"142","issue":"4","acknowledgement":"We thank the reviewers for the valuable feedback. We also thank the Miba Machine Shop at ISTA, PCBWay, and PragoBoard for helping us with fabrication and assembly. This project was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 715767 – MATERIALIZABLE).","article_processing_charge":"No","type":"journal_article","department":[{"_id":"GradSch"},{"_id":"BeBi"}],"file_date_updated":"2023-06-20T12:20:51Z","doi":"10.1145/3592411","keyword":["PCB design and layout","Mesh geometry models"],"publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"external_id":{"isi":["001044671300108"]},"date_published":"2023-07-26T00:00:00Z","article_type":"original","publisher":"Association for Computing Machinery","status":"public","author":[{"full_name":"Freire, Marco","first_name":"Marco","last_name":"Freire"},{"orcid":"0009-0007-6138-6890","id":"FF8FA64C-AA6A-11E9-99AD-50D4E5697425","last_name":"Bhargava","first_name":"Manas","full_name":"Bhargava, Manas"},{"last_name":"Schreck","id":"2B14B676-F248-11E8-B48F-1D18A9856A87","full_name":"Schreck, Camille","first_name":"Camille"},{"full_name":"Hugron, Pierre-Alexandre","first_name":"Pierre-Alexandre","last_name":"Hugron"},{"full_name":"Bickel, Bernd","first_name":"Bernd","orcid":"0000-0001-6511-9385","last_name":"Bickel","id":"49876194-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Sylvain","full_name":"Lefebvre, Sylvain","last_name":"Lefebvre"}],"citation":{"chicago":"Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592411.","apa":"Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., & Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592411","ieee":"M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.","short":"M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).","mla":"Freire, Marco, et al. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics, vol. 42, no. 4, 142, Association for Computing Machinery, 2023, doi:10.1145/3592411.","ista":"Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. 2023. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 42(4), 142.","ama":"Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411"},"isi":1,"quality_controlled":"1","language":[{"iso":"eng"}],"oa_version":"Submitted Version","corr_author":"1","scopus_import":"1","_id":"13049","acknowledged_ssus":[{"_id":"M-Shop"}],"ec_funded":1,"ddc":["006"],"day":"26","date_created":"2023-05-22T08:37:04Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"grant_number":"715767","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"volume":42,"conference":{"start_date":"2023-08-06","name":"SIGGRAPH: Computer Graphics and Interactive Techniques Conference","end_date":"2023-08-10","location":"Los Angeles, CA, United States"},"publication_status":"published","oa":1,"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","fulldoi":"https://doi.org/10.1145/3592411"},{"date_created":"2023-07-30T22:01:02Z","day":"21","ec_funded":1,"ddc":["510","530"],"_id":"13317","oa_version":"Published Version","language":[{"iso":"eng"}],"scopus_import":"1","fulldoi":"https://doi.org/10.1007/s10955-023-03132-4","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa":1,"project":[{"grant_number":"101020331","call_identifier":"H2020","name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":190,"article_type":"original","external_id":{"arxiv":["2304.04213"],"isi":["001035677200002"]},"publication_identifier":{"issn":["0022-4715"],"eissn":["1572-9613"]},"date_published":"2023-07-21T00:00:00Z","department":[{"_id":"LaEr"}],"file_date_updated":"2023-07-31T07:49:31Z","doi":"10.1007/s10955-023-03132-4","isi":1,"citation":{"chicago":"Sugimoto, Shoki, Sven Joscha Henheik, Volodymyr Riabov, and László Erdös. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.” Journal of Statistical Physics. Springer Nature, 2023. https://doi.org/10.1007/s10955-023-03132-4.","apa":"Sugimoto, S., Henheik, S. J., Riabov, V., & Erdös, L. (2023). Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-023-03132-4","ieee":"S. Sugimoto, S. J. Henheik, V. Riabov, and L. Erdös, “Eigenstate thermalisation hypothesis for translation invariant spin systems,” Journal of Statistical Physics, vol. 190, no. 7. Springer Nature, 2023.","short":"S. Sugimoto, S.J. Henheik, V. Riabov, L. Erdös, Journal of Statistical Physics 190 (2023).","mla":"Sugimoto, Shoki, et al. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.” Journal of Statistical Physics, vol. 190, no. 7, 128, Springer Nature, 2023, doi:10.1007/s10955-023-03132-4.","ista":"Sugimoto S, Henheik SJ, Riabov V, Erdös L. 2023. Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. 190(7), 128.","ama":"Sugimoto S, Henheik SJ, Riabov V, Erdös L. Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. 2023;190(7). doi:10.1007/s10955-023-03132-4"},"quality_controlled":"1","author":[{"last_name":"Sugimoto","full_name":"Sugimoto, Shoki","first_name":"Shoki"},{"orcid":"0000-0003-1106-327X","last_name":"Henheik","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","full_name":"Henheik, Sven Joscha","first_name":"Sven Joscha"},{"last_name":"Riabov","id":"1949f904-edfb-11eb-afb5-e2dfddabb93b","full_name":"Riabov, Volodymyr","first_name":"Volodymyr"},{"full_name":"Erdös, László","first_name":"László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603"}],"status":"public","publisher":"Springer Nature","acknowledgement":"LE, JH, and VR were supported by ERC Advanced Grant “RMTBeyond” No. 101020331. SS was supported by KAKENHI Grant Number JP22J14935 from the Japan Society for the Promotion of Science (JSPS) and Forefront Physics and Mathematics Program to Drive Transformation (FoPM), a World-leading Innovative Graduate Study (WINGS) Program, the University of Tokyo.\r\nOpen access funding provided by The University of Tokyo.","issue":"7","article_number":"128","type":"journal_article","article_processing_charge":"Yes (in subscription journal)","abstract":[{"lang":"eng","text":"We prove the Eigenstate Thermalisation Hypothesis (ETH) for local observables in a typical translation invariant system of quantum spins with L-body interactions, where L is the number of spins. This mathematically verifies the observation first made by Santos and Rigol (Phys Rev E 82(3):031130, 2010, https://doi.org/10.1103/PhysRevE.82.031130) that the ETH may hold for systems with additional translational symmetries for a naturally restricted class of observables. We also present numerical support for the same phenomenon for Hamiltonians with local interaction."}],"year":"2023","intvolume":" 190","title":"Eigenstate thermalisation hypothesis for translation invariant spin systems","has_accepted_license":"1","related_material":{"record":[{"id":"20575","status":"public","relation":"dissertation_contains"},{"id":"19540","relation":"dissertation_contains","status":"public"}]},"publication":"Journal of Statistical Physics","date_updated":"2026-07-29T13:18:16Z","arxiv":1,"month":"07","file":[{"creator":"dernst","relation":"main_file","success":1,"file_size":612755,"date_created":"2023-07-31T07:49:31Z","content_type":"application/pdf","checksum":"c2ef6b2aecfee1ad6d03fab620507c2c","file_id":"13325","access_level":"open_access","date_updated":"2023-07-31T07:49:31Z","file_name":"2023_JourStatPhysics_Sugimoto.pdf"}]},{"article_processing_charge":"Yes","type":"journal_article","article_number":"e74","acknowledgement":"G.C. and L.E. gratefully acknowledge many discussions with Dominik Schröder at the preliminary stage of this project, especially his essential contribution to identify the correct generalisation of traceless observables to the deformed Wigner ensembles.\r\nL.E. and J.H. acknowledges support by ERC Advanced Grant ‘RMTBeyond’ No. 101020331.","file":[{"file_name":"2023_ForumMathematics_Cipolloni.pdf","date_updated":"2023-09-20T11:09:35Z","access_level":"open_access","file_id":"14352","checksum":"eb747420e6a88a7796fa934151957676","content_type":"application/pdf","date_created":"2023-09-20T11:09:35Z","file_size":852652,"success":1,"relation":"main_file","creator":"dernst"}],"month":"08","arxiv":1,"date_updated":"2026-07-29T13:18:16Z","publication":"Forum of Mathematics, Sigma","related_material":{"record":[{"id":"19540","status":"public","relation":"dissertation_contains"}]},"has_accepted_license":"1","title":"Gaussian fluctuations in the equipartition principle for Wigner matrices","intvolume":" 11","year":"2023","abstract":[{"text":"The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation.","lang":"eng"}],"project":[{"grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d","call_identifier":"H2020"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":11,"publication_status":"published","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.1017/fms.2023.70","scopus_import":"1","corr_author":"1","language":[{"iso":"eng"}],"oa_version":"Published Version","_id":"14343","ddc":["510"],"ec_funded":1,"date_created":"2023-09-17T22:01:09Z","day":"23","publisher":"Cambridge University Press","status":"public","author":[{"first_name":"Giorgio","full_name":"Cipolloni, Giorgio","orcid":"0000-0002-4901-7992","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","last_name":"Cipolloni"},{"orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","first_name":"László","full_name":"Erdös, László"},{"orcid":"0000-0003-1106-327X","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik","first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha"},{"last_name":"Kolupaiev","id":"149b70d4-896a-11ed-bdf8-8c63fd44ca61","orcid":"0000-0003-1491-4623","full_name":"Kolupaiev, Oleksii","first_name":"Oleksii"}],"quality_controlled":"1","citation":{"ista":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. 2023. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 11, e74.","mla":"Cipolloni, Giorgio, et al. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum of Mathematics, Sigma, vol. 11, e74, Cambridge University Press, 2023, doi:10.1017/fms.2023.70.","ama":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 2023;11. doi:10.1017/fms.2023.70","apa":"Cipolloni, G., Erdös, L., Henheik, S. J., & Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.70","chicago":"Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Oleksii Kolupaiev. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum of Mathematics, Sigma. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.70.","short":"G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).","ieee":"G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations in the equipartition principle for Wigner matrices,” Forum of Mathematics, Sigma, vol. 11. Cambridge University Press, 2023."},"isi":1,"doi":"10.1017/fms.2023.70","file_date_updated":"2023-09-20T11:09:35Z","department":[{"_id":"LaEr"},{"_id":"GradSch"}],"date_published":"2023-08-23T00:00:00Z","external_id":{"arxiv":["2301.05181"],"isi":["001051980200001"]},"publication_identifier":{"eissn":["2050-5094"]},"article_type":"original"},{"article_number":"445201","acknowledgement":"J H gratefully acknowledges partial financial support by the ERC Advanced Grant 'RMTBeyond' No. 101020331.","issue":"44","article_processing_charge":"Yes (via OA deal)","type":"journal_article","has_accepted_license":"1","intvolume":" 56","title":"Creation rate of Dirac particles at a point source","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"19540"}]},"abstract":[{"lang":"eng","text":"Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\\in\\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission)."}],"year":"2023","publication":"Journal of Physics A: Mathematical and Theoretical","file":[{"access_level":"open_access","file_id":"14429","file_name":"2023_JourPhysics_Henheik.pdf","date_updated":"2023-10-16T07:07:24Z","success":1,"relation":"main_file","creator":"dernst","content_type":"application/pdf","checksum":"5b68de147dd4c608b71a6e0e844d2ce9","date_created":"2023-10-16T07:07:24Z","file_size":721399}],"month":"10","arxiv":1,"date_updated":"2026-07-29T13:18:16Z","_id":"14421","scopus_import":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"corr_author":"1","day":"11","date_created":"2023-10-12T12:42:53Z","ec_funded":1,"ddc":["510"],"publication_status":"published","oa":1,"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":56,"project":[{"name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d","call_identifier":"H2020","grant_number":"101020331"}],"fulldoi":"https://doi.org/10.1088/1751-8121/acfe62","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1088/1751-8121/acfe62","file_date_updated":"2023-10-16T07:07:24Z","department":[{"_id":"GradSch"},{"_id":"LaEr"}],"article_type":"original","date_published":"2023-10-11T00:00:00Z","external_id":{"arxiv":["2211.16606"],"isi":["001080908000001"]},"publication_identifier":{"issn":["1751-8113"],"eissn":["1751-8121"]},"status":"public","publisher":"IOP Publishing","quality_controlled":"1","isi":1,"citation":{"ieee":"S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point source,” Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 44. IOP Publishing, 2023.","short":"S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).","chicago":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” Journal of Physics A: Mathematical and Theoretical. IOP Publishing, 2023. https://doi.org/10.1088/1751-8121/acfe62.","apa":"Henheik, S. J., & Tumulka, R. (2023). Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/acfe62","ama":"Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 2023;56(44). doi:10.1088/1751-8121/acfe62","mla":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:10.1088/1751-8121/acfe62.","ista":"Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201."},"author":[{"first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik","orcid":"0000-0003-1106-327X"},{"last_name":"Tumulka","first_name":"Roderich","full_name":"Tumulka, Roderich"}]},{"publication":"Nature Communications","researchdata_availability":"yes","date_updated":"2026-08-07T10:50:07Z","file":[{"file_name":"2023_NatComm_Cheng.pdf","date_updated":"2023-03-07T10:58:00Z","access_level":"open_access","file_id":"12713","content_type":"application/pdf","checksum":"5ff61ad21511950c15abb73b18613883","date_created":"2023-03-07T10:58:00Z","file_size":1946443,"relation":"main_file","success":1,"creator":"cchlebak"}],"month":"02","abstract":[{"lang":"eng","text":"Hydrocarbon mixtures are extremely abundant in the Universe, and diamond formation from them can play a crucial role in shaping the interior structure and evolution of planets. With first-principles accuracy, we first estimate the melting line of diamond, and then reveal the nature of chemical bonding in hydrocarbons at extreme conditions. We finally establish the pressure-temperature phase boundary where it is thermodynamically possible for diamond to form from hydrocarbon mixtures with different atomic fractions of carbon. Notably, here we show a depletion zone at pressures above 200 GPa and temperatures below 3000 K-3500 K where diamond formation is thermodynamically favorable regardless of the carbon atomic fraction, due to a phase separation mechanism. The cooler condition of the interior of Neptune compared to Uranus means that the former is much more likely to contain the depletion zone. Our findings can help explain the dichotomy of the two ice giants manifested by the low luminosity of Uranus, and lead to a better understanding of (exo-)planetary formation and evolution."}],"year":"2023","title":"Thermodynamics of diamond formation from hydrocarbon mixtures in planets","intvolume":" 14","has_accepted_license":"1","type":"journal_article","pmid":1,"article_processing_charge":"No","acknowledgement":"BC thanks Daan Frenkel for stimulating discussions. We thank Aleks Reinhardt, Daan Frenkel, Marius Millot, Federica Coppari, Rhys Bunting, and Chris J. Pickard for critically reading the manuscript and providing useful suggestions. BC acknowledges resources provided by the Cambridge Tier-2 system operated by the University of Cambridge Research Computing Service funded by EPSRC Tier-2 capital grant EP/P020259/1. SH acknowledges support from LDRD 19-ERD-031 and computing support from the Lawrence Livermore National Laboratory (LLNL) Institutional Computing Grand Challenge program. Lawrence Livermore National Laboratory is operated by Lawrence Livermore National Security, LLC, for the U.S. Department of Energy, National Nuclear Security Administration under Contract DE-AC52-07NA27344. MB acknowledges support by the European Horizon 2020 program within the Marie Skłodowska-Curie actions (xICE grant number 894725), funding from the NOMIS foundation and computational resources at the North-German Supercomputing Alliance (HLRN) facilities.","article_number":"1104","supplementarymaterial":"no","das_tickbox":"1","isi":1,"citation":{"chicago":"Cheng, Bingqing, Sebastien Hamel, and Mandy Bethkenhagen. “Thermodynamics of Diamond Formation from Hydrocarbon Mixtures in Planets.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-36841-1.","apa":"Cheng, B., Hamel, S., & Bethkenhagen, M. (2023). Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-36841-1","ieee":"B. Cheng, S. Hamel, and M. Bethkenhagen, “Thermodynamics of diamond formation from hydrocarbon mixtures in planets,” Nature Communications, vol. 14. Springer Nature, 2023.","short":"B. Cheng, S. Hamel, M. Bethkenhagen, Nature Communications 14 (2023).","mla":"Cheng, Bingqing, et al. “Thermodynamics of Diamond Formation from Hydrocarbon Mixtures in Planets.” Nature Communications, vol. 14, 1104, Springer Nature, 2023, doi:10.1038/s41467-023-36841-1.","ista":"Cheng B, Hamel S, Bethkenhagen M. 2023. Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. 14, 1104.","ama":"Cheng B, Hamel S, Bethkenhagen M. Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. 2023;14. doi:10.1038/s41467-023-36841-1"},"quality_controlled":"1","author":[{"full_name":"Cheng, Bingqing","first_name":"Bingqing","last_name":"Cheng","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","orcid":"0000-0002-3584-9632"},{"last_name":"Hamel","full_name":"Hamel, Sebastien","first_name":"Sebastien"},{"last_name":"Bethkenhagen","id":"201939f4-803f-11ed-ab7e-d8da4bd1517f","orcid":"0000-0002-1838-2129","full_name":"Bethkenhagen, Mandy","first_name":"Mandy"}],"status":"public","publisher":"Springer Nature","article_type":"original","external_id":{"pmid":["36843123"],"isi":["000939678300002"]},"publication_identifier":{"eissn":["2041-1723"]},"date_published":"2023-02-27T00:00:00Z","department":[{"_id":"BiCh"}],"doi":"10.1038/s41467-023-36841-1","file_date_updated":"2023-03-07T10:58:00Z","fulldoi":"https://doi.org/10.1038/s41467-023-36841-1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"publication_status":"published","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":14,"project":[{"name":"NOMIS Fellowship Program","_id":"9B861AAC-BA93-11EA-9121-9846C619BF3A"}],"dataavailabilitystatement":"All original data generated for the study, including the MLP, the training set, simulation input files, intermediate data, PYTHON notebook, are in the SI repository https://github.com/BingqingCheng/highp-ch\r\nhttps://doi.org/10.5281/ZENODO.7578498","date_created":"2023-03-05T23:01:04Z","day":"27","ddc":["540"],"_id":"12702","corr_author":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"scopus_import":"1"},{"article_processing_charge":"No","pmid":1,"type":"journal_article","das_tickbox":"1","supplementarymaterial":"yes","article_number":"161101 ","issue":"16","acknowledgement":"We thank Aleks Reinhardt and Daan Frenkel for their insightful comments and suggestions on the article. B.C. acknowledges the resources provided by the Cambridge Tier-2 system operated by the University of Cambridge Research Computing Service funded by EPSRC Tier-2 capital Grant No. EP/P020259/1.","researchdata_availability":"yes","arxiv":1,"date_updated":"2026-08-07T10:55:19Z","file":[{"file_id":"12918","access_level":"open_access","date_updated":"2023-05-08T07:44:49Z","file_name":"2023_JourChemicalPhysics_Schmid.pdf","success":1,"relation":"main_file","creator":"dernst","checksum":"4ab8c965f2fa4e17920bfa846847f137","content_type":"application/pdf","file_size":6499468,"date_created":"2023-05-08T07:44:49Z"}],"month":"04","publication":"The Journal of Chemical Physics","related_material":{"link":[{"relation":"software","url":"https://github.com/BingqingCheng/mu-adsorption"},{"relation":"software","url":"https://github.com/BingqingCheng/S0"}]},"title":"Computing chemical potentials of adsorbed or confined fluids","intvolume":" 158","has_accepted_license":"1","year":"2023","abstract":[{"lang":"eng","text":"The chemical potential of adsorbed or confined fluids provides insight into their unique thermodynamic properties and determines adsorption isotherms. However, it is often difficult to compute this quantity from atomistic simulations using existing statistical mechanical methods. We introduce a computational framework that utilizes static structure factors, thermodynamic integration, and free energy perturbation for calculating the absolute chemical potential of fluids. For demonstration, we apply the method to compute the adsorption isotherms of carbon dioxide in a metal-organic framework and water in carbon nanotubes."}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":158,"dataavailabilitystatement":"Additional simulation details are provided in the supplementary material. All Python scripts and simulation input files generated for the study are in the supplementary material repository at https://github.com/BingqingCheng/mu-adsorption. Scripts for the S0 analysis are at https://github.com/BingqingCheng/S0.","oa":1,"publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","fulldoi":"https://doi.org/10.1063/5.0146711","corr_author":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"scopus_import":"1","_id":"12912","ddc":["540"],"day":"24","date_created":"2023-05-07T22:01:03Z","publisher":"AIP Publishing","status":"public","author":[{"first_name":"Rochus","full_name":"Schmid, Rochus","last_name":"Schmid"},{"id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","last_name":"Cheng","orcid":"0000-0002-3584-9632","first_name":"Bingqing","full_name":"Cheng, Bingqing"}],"isi":1,"citation":{"ieee":"R. Schmid and B. Cheng, “Computing chemical potentials of adsorbed or confined fluids,” The Journal of Chemical Physics, vol. 158, no. 16. AIP Publishing, 2023.","short":"R. Schmid, B. Cheng, The Journal of Chemical Physics 158 (2023).","chicago":"Schmid, Rochus, and Bingqing Cheng. “Computing Chemical Potentials of Adsorbed or Confined Fluids.” The Journal of Chemical Physics. AIP Publishing, 2023. https://doi.org/10.1063/5.0146711.","apa":"Schmid, R., & Cheng, B. (2023). Computing chemical potentials of adsorbed or confined fluids. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0146711","ama":"Schmid R, Cheng B. Computing chemical potentials of adsorbed or confined fluids. The Journal of Chemical Physics. 2023;158(16). doi:10.1063/5.0146711","mla":"Schmid, Rochus, and Bingqing Cheng. “Computing Chemical Potentials of Adsorbed or Confined Fluids.” The Journal of Chemical Physics, vol. 158, no. 16, 161101, AIP Publishing, 2023, doi:10.1063/5.0146711.","ista":"Schmid R, Cheng B. 2023. Computing chemical potentials of adsorbed or confined fluids. The Journal of Chemical Physics. 158(16), 161101."},"quality_controlled":"1","department":[{"_id":"BiCh"}],"doi":"10.1063/5.0146711","file_date_updated":"2023-05-08T07:44:49Z","publication_identifier":{"eissn":["1089-7690"]},"external_id":{"pmid":["37093149"],"arxiv":["2302.01297"],"isi":["001010676000010"]},"date_published":"2023-04-24T00:00:00Z","article_type":"original"},{"publication":"Chemical Science","file":[{"date_created":"2023-05-02T07:17:05Z","file_size":1515446,"checksum":"5eeec69a51e192dcd94b955d84423836","content_type":"application/pdf","creator":"dernst","success":1,"relation":"main_file","file_name":"2023_ChemialScience_Chen.pdf","date_updated":"2023-05-02T07:17:05Z","access_level":"open_access","file_id":"12883"}],"month":"04","date_updated":"2026-08-07T10:53:37Z","researchdata_availability":"yes","abstract":[{"text":"Machine learning (ML) has been widely applied to chemical property prediction, most prominently for the energies and forces in molecules and materials. The strong interest in predicting energies in particular has led to a ‘local energy’-based paradigm for modern atomistic ML models, which ensures size-extensivity and a linear scaling of computational cost with system size. However, many electronic properties (such as excitation energies or ionization energies) do not necessarily scale linearly with system size and may even be spatially localized. Using size-extensive models in these cases can lead to large errors. In this work, we explore different strategies for learning intensive and localized properties, using HOMO energies in organic molecules as a representative test case. In particular, we analyze the pooling functions that atomistic neural networks use to predict molecular properties, and suggest an orbital weighted average (OWA) approach that enables the accurate prediction of orbital energies and locations.","lang":"eng"}],"year":"2023","has_accepted_license":"1","title":"Physics-inspired machine learning of localized intensive properties","type":"journal_article","article_processing_charge":"No","acknowledgement":"KC acknowledges funding from the China Scholarship Council. KC is grateful for the TUM graduate school finance support to visit Bingqing Cheng's group in IST for two months. We also thankfully acknowledge computational resources provided by the MPCDF Supercomputing Centre.","das_tickbox":"1","supplementarymaterial":"yes","quality_controlled":"1","citation":{"mla":"Chen, Ke, et al. “Physics-Inspired Machine Learning of Localized Intensive Properties.” Chemical Science, Royal Society of Chemistry, 2023, doi:10.1039/d3sc00841j.","ista":"Chen K, Kunkel C, Cheng B, Reuter K, Margraf JT. 2023. Physics-inspired machine learning of localized intensive properties. Chemical Science.","ama":"Chen K, Kunkel C, Cheng B, Reuter K, Margraf JT. Physics-inspired machine learning of localized intensive properties. Chemical Science. 2023. doi:10.1039/d3sc00841j","chicago":"Chen, Ke, Christian Kunkel, Bingqing Cheng, Karsten Reuter, and Johannes T. Margraf. “Physics-Inspired Machine Learning of Localized Intensive Properties.” Chemical Science. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3sc00841j.","apa":"Chen, K., Kunkel, C., Cheng, B., Reuter, K., & Margraf, J. T. (2023). Physics-inspired machine learning of localized intensive properties. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d3sc00841j","ieee":"K. Chen, C. Kunkel, B. Cheng, K. Reuter, and J. T. Margraf, “Physics-inspired machine learning of localized intensive properties,” Chemical Science. Royal Society of Chemistry, 2023.","short":"K. Chen, C. Kunkel, B. Cheng, K. Reuter, J.T. Margraf, Chemical Science (2023)."},"isi":1,"author":[{"first_name":"Ke","full_name":"Chen, Ke","id":"c636c5ca-e8b8-11ed-b2d4-cc2c37613a8d","last_name":"Chen"},{"first_name":"Christian","full_name":"Kunkel, Christian","last_name":"Kunkel"},{"first_name":"Bingqing","full_name":"Cheng, Bingqing","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","last_name":"Cheng","orcid":"0000-0002-3584-9632"},{"full_name":"Reuter, Karsten","first_name":"Karsten","last_name":"Reuter"},{"first_name":"Johannes T.","full_name":"Margraf, Johannes T.","last_name":"Margraf"}],"status":"public","publisher":"Royal Society of Chemistry","article_type":"original","date_published":"2023-04-10T00:00:00Z","external_id":{"isi":["000971508100001"]},"publication_identifier":{"issn":["2041-6520"],"eissn":["2041-6539"]},"file_date_updated":"2023-05-02T07:17:05Z","doi":"10.1039/d3sc00841j","department":[{"_id":"BiCh"}],"fulldoi":"https://doi.org/10.1039/d3sc00841j","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","oa":1,"dataavailabilitystatement":"Data and code for this paper are publicly available at https://gitlab.mpcdf.mpg.de/kchen/localized-intensive-property-prediciton.git.","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","short":"CC BY (3.0)","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","image":"/images/cc_by.png"},"day":"10","date_created":"2023-04-30T22:01:06Z","ddc":["000","540"],"_id":"12879","scopus_import":"1","language":[{"iso":"eng"}],"oa_version":"Published Version"},{"department":[{"_id":"BiCh"},{"_id":"GradSch"}],"doi":"10.1038/s41467-023-41865-8","file_date_updated":"2023-10-16T07:34:49Z","article_type":"original","external_id":{"isi":["001084354900008"],"pmid":["37783698"],"arxiv":["2303.07433"]},"publication_identifier":{"eissn":["2041-1723"]},"date_published":"2023-10-02T00:00:00Z","status":"public","publisher":"Springer Nature","citation":{"chicago":"Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter, Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41865-8.","apa":"Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., & Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41865-8","ieee":"Z. Zeng et al., “Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations,” Nature Communications, vol. 14. Springer Nature, 2023.","short":"Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).","mla":"Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications, vol. 14, 6131, Springer Nature, 2023, doi:10.1038/s41467-023-41865-8.","ista":"Zeng Z, Wodaczek F, Liu K, Stein F, Hutter J, Chen J, Cheng B. 2023. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 14, 6131.","ama":"Zeng Z, Wodaczek F, Liu K, et al. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 2023;14. doi:10.1038/s41467-023-41865-8"},"isi":1,"quality_controlled":"1","author":[{"orcid":"0000-0001-5126-4928","last_name":"Zeng","id":"54a2c730-803f-11ed-ab7e-95b29d2680e7","full_name":"Zeng, Zezhu","first_name":"Zezhu"},{"full_name":"Wodaczek, Felix","first_name":"Felix","last_name":"Wodaczek","id":"8b4b6a9f-32b0-11ee-9fa8-bbe85e26258e","orcid":"0009-0000-1457-795X"},{"first_name":"Keyang","full_name":"Liu, Keyang","last_name":"Liu"},{"full_name":"Stein, Frederick","first_name":"Frederick","last_name":"Stein"},{"full_name":"Hutter, Jürg","first_name":"Jürg","last_name":"Hutter"},{"last_name":"Chen","full_name":"Chen, Ji","first_name":"Ji"},{"full_name":"Cheng, Bingqing","first_name":"Bingqing","last_name":"Cheng","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","orcid":"0000-0002-3584-9632"}],"_id":"14425","corr_author":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"scopus_import":"1","day":"02","date_created":"2023-10-15T22:01:10Z","ddc":["540","000"],"ec_funded":1,"publication_status":"published","oa":1,"project":[{"call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"dataavailabilitystatement":"The machine learning potentials, training sets, sample DFT and metadynamics input files, PYTHON data analysis scripts and other necessary source data files generated for this study are available in the SI repository (https://github.com/BingqingCheng/TiO2-water) see ref 58.\r\n58. Zeng, Z. et al. Source data for Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations, Zenodo, https://zenodo.org/record/8301965 (2023).","volume":14,"fulldoi":"https://doi.org/10.1038/s41467-023-41865-8","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":" 14","title":"Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations","has_accepted_license":"1","related_material":{"link":[{"relation":"software","url":"https://github.com/BingqingCheng/TiO2-water"}]},"abstract":[{"lang":"eng","text":"Water adsorption and dissociation processes on pristine low-index TiO2 interfaces are important but poorly understood outside the well-studied anatase (101) and rutile (110). To understand these, we construct three sets of machine learning potentials that are simultaneously applicable to various TiO2 surfaces, based on three density-functional-theory approximations. Here we show the water dissociation free energies on seven pristine TiO2 surfaces, and predict that anatase (100), anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase (101) and rutile (100) have mostly molecular adsorption, while the simulations of rutile (110) sensitively depend on the slab thickness and molecular adsorption is preferred with thick slabs. Moreover, using an automated algorithm, we reveal that these surfaces follow different types of atomistic mechanisms for proton transfer and water dissociation: one-step, two-step, or both. These mechanisms can be rationalized based on the arrangements of water molecules on the different surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces react with water in distinct ways, and cannot be represented using just the low-energy anatase (101) and rutile (110) surfaces."}],"year":"2023","publication":"Nature Communications","arxiv":1,"date_updated":"2026-08-07T11:00:29Z","researchdata_availability":"yes","file":[{"date_created":"2023-10-16T07:34:49Z","file_size":3194116,"checksum":"7d1dffd36b672ec679f08f70ce79da87","content_type":"application/pdf","creator":"dernst","success":1,"relation":"main_file","file_name":"2023_NatureComm_Zeng.pdf","date_updated":"2023-10-16T07:34:49Z","access_level":"open_access","file_id":"14432"}],"month":"10","article_number":"6131","das_tickbox":"1","supplementarymaterial":"yes","acknowledgement":"F.S., J.H., and B.C. thank the Swiss National Supercomputing Centre (CSCS) for the generous allocation of CPU hours via production project s1108 at the Piz Daint supercomputer. B.C. acknowledges resources provided by the Cambridge Tier-2 system operated by the University of Cambridge Research Computing Service funded by EPSRC Tier-2 capital grant EP/P020259/1. J.C. acknowledges the Beijing Natural Science Foundation for support under grant No. JQ22001. F.S., and J.H. thank the Swiss Platform for Advanced Scientific Computing (PASC) via the 2021-2024 “Ab Initio Molecular Dynamics at the Exa-Scale” project. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413.","article_processing_charge":"Yes","type":"journal_article","pmid":1}]