Mathematics

Authors and titles for recent submissions, skipping first 471

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

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

[472]  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)

[473]  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)

[474]  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)

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

Title: Finite Sums and Products involving Special Functions

Authors: Robert Reynolds

Subjects: Number Theory (math.NT)

[476]  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: 25 pages, no figures or tables

Subjects: Number Theory (math.NT)

[477]  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)

[478]  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)

[479]  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)

[480]  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)

[481]  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)

[482]  arXiv:2305.15349 (cross-list from cs.LG) [pdf, other]

Title: Black-Box Variational Inference Converges

Authors: Kyurae Kim, Kaiwen Wu, Jisu Oh, Yian Ma, Jacob R. Gardner

Comments: under review

Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Optimization and Control (math.OC); Computation (stat.CO); Machine Learning (stat.ML)

[483]  arXiv:2305.15319 (cross-list from quant-ph) [pdf, other]

Title: Defining a quantum active particle using non-Hermitian quantum walk

Authors: Manami Yamagishi, Naomichi Hatano, Hideaki Obuse

Comments: 12 pages, 12 figures

Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

[484]  arXiv:2305.15249 (cross-list from cs.LG) [pdf, other]

Title: Decision-Aware Actor-Critic with Function Approximation and Theoretical Guarantees

Authors: Sharan Vaswani, Amirreza Kazemi, Reza Babanezhad, Nicolas Le Roux

Comments: 44 pages

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

[485]  arXiv:2305.15220 (cross-list from cs.NE) [pdf, other]

Title: Selection for short-term empowerment accelerates the evolution of homeostatic neural cellular automata

Authors: Caitlin Grasso, Josh Bongard

Comments: To be published in the Proceedings of the Genetic and Evolutionary Computation Conference 2023 (GECCO'23), 8 pages, 9 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[486]  arXiv:2305.15196 (cross-list from cs.LG) [pdf, other]

Title: Feature-aligned N-BEATS with Sinkhorn divergence

Authors: Myeongho Jeon, Myungjoo Kang, Joonhun Lee, Kyunghyun Park

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Probability (math.PR)

[487]  arXiv:2305.15172 (cross-list from eess.SY) [pdf, other]

Title: Distributed outer approximation of the intersection of ellipsoids

Authors: Rodrigo Aldana-Lopez, Eduardo Sebastian, Rosario Aragues, Eduardo Montijano, Carlos Sagues

Comments: This is the accepted version of the manuscript: "Distributed outer approximation of the intersection of ellipsoids," Rodrigo Aldana-Lopez, Eduardo Sebastian, Rosario Aragues, Eduardo Montijano and Carlos Sagues, in IEEE Control Systems Letters, 2023, DOI: 10.1109/LCSYS.2023.3280259

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

[488]  arXiv:2305.15157 (cross-list from cs.LG) [pdf, other]

Title: Towards More Suitable Personalization in Federated Learning via Decentralized Partial Model Training

Authors: Yifan Shi, Yingqi Liu, Yan Sun, Zihao Lin, Li Shen, Xueqian Wang, Dacheng Tao

Comments: 26 pages

Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)

[489]  arXiv:2305.15155 (cross-list from cs.LG) [pdf, other]

Title: Momentum Provably Improves Error Feedback!

Authors: Ilyas Fatkhullin, Alexander Tyurin, Peter Richtárik

Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)

[490]  arXiv:2305.15027 (cross-list from stat.ML) [pdf, other]

Title: A Rigorous Link between Deep Ensembles and (Variational) Bayesian Methods

Authors: Veit David Wild, Sahra Ghalebikesabi, Dino Sejdinovic, Jeremias Knoblauch

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)

[491]  arXiv:2305.14922 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Finite reservoirs and irreversibility corrections to Hamiltonian systems statistics

Authors: Matteo Colangeli, Antonio Di Francesco, Lamberto Rondoni

Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

[492]  arXiv:2305.14883 (cross-list from quant-ph) [pdf, other]

Title: Quantum cyclic redundancy check codes

Authors: Ricard Vilar, Simeon Ball

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)

[493]  arXiv:2305.14816 (cross-list from cs.LG) [pdf, ps, other]

Title: Provable Offline Reinforcement Learning with Human Feedback

Authors: Wenhao Zhan, Masatoshi Uehara, Nathan Kallus, Jason D. Lee, Wen Sun

Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)

[494]  arXiv:2305.14689 (cross-list from stat.ML) [pdf, other]

Title: Under-Parameterized Double Descent for Ridge Regularized Least Squares Denoising of Data on a Line

Authors: Rishi Sonthalia, Xinyue Li, Bochao Gu

Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)

[495]  arXiv:2305.14607 (cross-list from eess.SY) [pdf, other]

Title: An Equivalent Circuit Approach to Distributed Optimization

Authors: Aayushya Agarwal, Larry Pileggi

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

[496]  arXiv:2305.14604 (cross-list from q-fin.MF) [pdf, other]

Title: Automated Market Making and Arbitrage Profits in the Presence of Fees

Authors: Jason Milionis, Ciamac C. Moallemi, Tim Roughgarden

Comments: 27 pages

Subjects: Mathematical Finance (q-fin.MF); Optimization and Control (math.OC); Portfolio Management (q-fin.PM); Pricing of Securities (q-fin.PR); Trading and Market Microstructure (q-fin.TR)

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