Mathematics

Authors and titles for recent submissions, skipping first 708

• Tue, 30 May 2023
• Mon, 29 May 2023
• Fri, 26 May 2023
• Thu, 25 May 2023
• Wed, 24 May 2023

Thu, 25 May 2023 (continued, showing 25 of 172 entries)

[709]  arXiv:2305.14542 [pdf, ps, other]

Title: Classification of low-rank odd-dimensional modular categories

Authors: Agustina Czenky, William Gvozdjak, Julia Plavnik

Comments: Comments welcome!

Subjects: Quantum Algebra (math.QA)

[710]  arXiv:2305.14541 [pdf, other]

Title: Adversarial Channels with O(1)-Bit Partial Feedback

Authors: Eric Ruzomberka, Yongkyu Jang, David J. Love, H. Vincent Poor

Subjects: Information Theory (cs.IT)

[711]  arXiv:2305.14524 [pdf, ps, other]

Title: Some criteria of rational infinite divisibility for distribution functions

Authors: A. A. Khartov

Subjects: Probability (math.PR)

[712]  arXiv:2305.14518 [pdf, ps, other]

Title: An effective version of Nadkarni's Theorem

Authors: Alexander S. Kechris, Michael S. Wolman

Comments: 26 pages

Subjects: Logic (math.LO); Dynamical Systems (math.DS)

[713]  arXiv:2305.14512 [pdf, other]

Title: Robust Cooperative Output Regulation for Networks of Hyperbolic PIDE-ODE Systems

Authors: Jakob Gabriel, Joachim Deutscher

Comments: 16 pages, 5 figures, accepted for publication in IEEE Transactions on Automatic Control

Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

[714]  arXiv:2305.14508 [pdf, ps, other]

Title: A Spinorial Hopf Differential for Associative Submanifolds

Authors: Gavin Ball, Jesse Madnick

Comments: 10 pages

Subjects: Differential Geometry (math.DG)

[715]  arXiv:2305.14505 [pdf, ps, other]

Title: Nonuniqueness of generalised weak solutions to the primitive and Prandtl equations

Authors: Daniel W. Boutros, Simon Markfelder, Edriss S. Titi

Comments: 73 pages

Subjects: Analysis of PDEs (math.AP)

[716]  arXiv:2305.14488 [pdf, other]

Title: Looking forwards and backwards: dynamics and genealogies of locally regulated populations

Authors: Alison M. Etheridge, Thomas G. Kurtz, Ian Letter, Peter L. Ralph, Terence Tsui Ho Lung

Subjects: Probability (math.PR); Populations and Evolution (q-bio.PE)

[717]  arXiv:2305.14479 [pdf, ps, other]

Title: The probabilistic characterization of weakly harmonic maps with respect to non-local Dirichlet forms

Authors: Fumiya Okazaki

Comments: 26 pages

Subjects: Probability (math.PR)

[718]  arXiv:2305.14475 [pdf, other]

Title: Moduli Space of Bi-Invariant Metrics

Authors: Juan Flores Torres

Comments: 14 pages, 1 figure

Subjects: Differential Geometry (math.DG)

[719]  arXiv:2305.14474 [pdf, ps, other]

Title: Nonlocal anisotropic interactions of Coulomb type

Authors: Maria Giovanna Mora

Subjects: Analysis of PDEs (math.AP)

[720]  arXiv:2305.14473 [pdf, other]

Title: Weighted maximal inequalities on hyperbolic spaces

Authors: Jorge Antezana, Sheldy Ombrosi

Comments: 21 pages, 3 figures

Subjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)

[721]  arXiv:2305.14465 [pdf, ps, other]

Title: Arithmetic Fundamental Lemma for the spherical Hecke algebra

Authors: Chao Li, Michael Rapoport, Wei Zhang

Comments: 47 pages

Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)

[722]  arXiv:2305.14448 [pdf, other]

Title: Robust non-computability and stability of dynamical systems

Authors: Daniel S. Graça, Ning Zhong

Comments: arXiv admin note: substantial text overlap with arXiv:2109.15080

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)

[723]  arXiv:2305.14439 [pdf, ps, other]

Title: A detailed description of the generalized Calabi type Kahler surfaces

Authors: Ewelina Mulawa

Comments: 28 pages. arXiv admin note: text overlap with arXiv:1906.11640

Subjects: Differential Geometry (math.DG)

[724]  arXiv:2305.14407 [pdf, ps, other]

Title: Large-Scale Formal Proof for the Working Mathematician -- Lessons learnt from the ALEXANDRIA Project

Authors: Lawrence C Paulson

Comments: Invited paper for CICM 2023 (Conference on Intelligent Computer Mathematics). This revised version adds two references

Subjects: History and Overview (math.HO)

[725]  arXiv:2305.14401 [pdf]

Title: Isomorphic pastings and the two possible structures for a pair of graphs having the same deck

Authors: Ramachandran S

Comments: 20 pages, 8 figures

Subjects: Combinatorics (math.CO)

[726]  arXiv:2305.14397 [pdf]

Title: Reviewing Evolution of Learning Functions and Semantic Information Measures for Understanding Deep Learning

Authors: Chenguang Lu

Comments: 34 pages, 9 figures. published in Entropy, 2023

Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)

[727]  arXiv:2305.14393 [pdf, ps, other]

Title: Finite Sums and Products involving Special Functions

Authors: Robert Reynolds

Subjects: Number Theory (math.NT)

[728]  arXiv:2305.14367 [pdf, ps, other]

Title: A series of Ramanujan, two-term dilogarithm identities and some Lucas series

Authors: Kunle Adegoke, Robert Frontczak

Comments: 26 pages, no figures or tables

Subjects: Number Theory (math.NT)

[729]  arXiv:2305.14362 [pdf, ps, other]

Title: On the Eight Levels theorem and applications towards Lucas-Lehmer primality test for Mersenne primes, I

Authors: Moustafa Ibrahim

Comments: 33 pages, 4 tables, 3 new versions for the Lucas-Lehmer primality test, 4 new combinatorial identities. arXiv admin note: substantial text overlap with arXiv:2108.13792

Journal-ref: Arab Journal of Basic and Applied Sciences, 30:1, 267-284

Subjects: Number Theory (math.NT); Cryptography and Security (cs.CR); Combinatorics (math.CO)

[730]  arXiv:2305.14353 [pdf, ps, other]

Title: An inequality involving primes and the product of primes

Authors: Andrej Leško

Comments: 3 pages

Subjects: Number Theory (math.NT)

[731]  arXiv:2305.14350 [pdf, ps, other]

Title: Highly Composite Numbers

Authors: Lars Magnus Øverlier

Comments: 11 pages, Master's thesis. 1 table

Subjects: Number Theory (math.NT)

[732]  arXiv:2305.14349 [pdf, ps, other]

Title: One example of singular representations of real numbers from the unit interval

Authors: Symon Serbenyuk

Comments: 7 pages

Subjects: Number Theory (math.NT)

[733]  arXiv:2305.15382 (cross-list from cs.LO) [pdf, ps, other]

Title: Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint

Authors: Colin Rothgang, Florian Rabe, Christoph Benzmüller

Comments: 72 pages, The 29th International Conference on Automated Deduction (CADE-29), July 1-5, 2023, Rome, Italy

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

• Tue, 30 May 2023
• Mon, 29 May 2023
• Fri, 26 May 2023
• Thu, 25 May 2023
• Wed, 24 May 2023