Mathematics

Authors and titles for Feb 2021, skipping first 3165

[3166]  arXiv:2102.05945 (cross-list from cs.LO) [pdf, other]

Title: A formal proof of modal completeness for provability logic

Authors: Marco Maggesi, Cosimo Perini Brogi

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

[3167]  arXiv:2102.05952 (cross-list from cs.LO) [pdf, other]

Title: Universal Algebra in UniMath

Authors: Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi

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

[3168]  arXiv:2102.06014 (cross-list from cs.CE) [pdf, other]

Title: Full waveform inversion using extended and simultaneous sources

Authors: Sagi Buchatsky, Eran Treister

Comments: To appear in SIAM Journal on Scientific Computing

Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

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

Title: Optimal adaptive inspection and maintenance planning for deteriorating structural systems

Authors: Elizabeth Bismut, Daniel Straub

Journal-ref: Reliab.Eng.Syst.Saf. 215 (2021) 107891

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

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

Title: STUaNet: Understanding uncertainty in spatiotemporal collective human mobility

Authors: Zhengyang Zhou, Yang Wang, Xike Xie, Lei Qiao, Yuantao Li

Comments: 12 pages, 8 figures, WWW 2021 Conference

Subjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)

[3171]  arXiv:2102.06035 (cross-list from cs.DC) [pdf, other]

Title: A Continuized View on Nesterov Acceleration

Authors: Raphaël Berthier (PSL, SIERRA), Francis Bach (SIERRA, PSL), Nicolas Flammarion, Pierre Gaillard (UGA), Adrien Taylor (SIERRA, PSL)

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

[3172]  arXiv:2102.06070 (cross-list from physics.soc-ph) [pdf, other]

Title: Optimal Lockdown Policy for Covid-19: A Modelling Study

Authors: Yuting Fu, Haitao Xiang, Hanqing Jin, Ning Wang

Subjects: Physics and Society (physics.soc-ph); Dynamical Systems (math.DS)

[3173]  arXiv:2102.06122 (cross-list from cond-mat.stat-mech) [pdf, ps, other]

Title: A Novel Trick to Overcome the Phase Space Volume Change and the Use of Hamiltonian Trajectories with an emphasis on the Free Expansion

Authors: P.D. Gujrati

Comments: 21 pages, 3 figures

Subjects: Statistical Mechanics (cond-mat.stat-mech); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph)

[3174]  arXiv:2102.06126 (cross-list from physics.med-ph) [pdf, other]

Title: Core Imaging Library -- Part II: Multichannel reconstruction for dynamic and spectral tomography

Authors: Evangelos Papoutsellis, Evelina Ametova, Claire Delplancke, Gemma Fardell, Jakob S. Jørgensen, Edoardo Pasca, Martin Turner, Ryan Warr, William R. B. Lionheart, Philip J. Withers

Subjects: Medical Physics (physics.med-ph); Mathematical Software (cs.MS); Optimization and Control (math.OC)

[3175]  arXiv:2102.06133 (cross-list from quant-ph) [pdf, ps, other]

Title: New sum rules for Wigner 3jm symbols: application to expectation values of hydrogenic ions

Authors: Jean-Christophe Pain, Franck Gilleron

Comments: submitted to J. Phys. B: At. Mol. Opt. Phys

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Atomic Physics (physics.atom-ph)

[3176]  arXiv:2102.06148 (cross-list from cs.GT) [pdf, ps, other]

Title: A Logic for Conditional Local Strategic Reasoning

Authors: Valentin Goranko, Fengkui Ju

Comments: 21 pages, to appear in the LORI'2019 special issue of the Journal of Logic, Language and Information

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)

[3177]  arXiv:2102.06184 (cross-list from hep-th) [pdf, other]

Title: Integrable Models and Supersymmetry Breaking

Authors: P. Pelliconi, A. Sagnotti

Comments: 66 pages, latex, 34 figures

Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)

[3178]  arXiv:2102.06193 (cross-list from quant-ph) [pdf, other]

Title: Witnessing Wigner Negativity

Authors: Ulysse Chabaud, Pierre-Emmanuel Emeriau, Frédéric Grosshans

Comments: 29 pages + 40 pages of appendices, 6 figures, 4 tables. v2: Added link to the set of Wigner positive states. v3: Extension to the multimode setting. v4: Accepted to Quantum; fixed typos. v5: Mistake in Eq.(57) in v4 and revision accordingly. v6: more details on programs p.6

Journal-ref: Quantum 5, 471 (2021)

Subjects: Quantum Physics (quant-ph); Optimization and Control (math.OC)

[3179]  arXiv:2102.06198 (cross-list from eess.SP) [pdf, other]

Title: Millimeter Wave MIMO based Depth Maps for Wireless Virtual and Augmented Reality

Authors: Abdelrahman Taha, Qi Qu, Sam Alex, Ping Wang, William L. Abbott, Ahmed Alkhateeb

Comments: Submitted to IEEE, 43 pages, 24 figures

Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

[3180]  arXiv:2102.06206 (cross-list from hep-th) [pdf, other]

Title: Coaction and double-copy properties of configuration-space integrals at genus zero

Authors: Ruth Britto, Sebastian Mizera, Carlos Rodriguez, Oliver Schlotterer

Comments: 100 pages, 7 figures, journal version

Journal-ref: JHEP 05 (2021) 053

Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Number Theory (math.NT)

[3181]  arXiv:2102.06233 (cross-list from q-fin.PM) [pdf, other]

Title: Deep Reinforcement Learning for Portfolio Optimization using Latent Feature State Space (LFSS) Module

Authors: Kumar Yashaswi

Comments: 14 Pages, 13 Figures, 3 Tables

Subjects: Portfolio Management (q-fin.PM); Optimization and Control (math.OC)

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

Title: Efficient Algorithms for Federated Saddle Point Optimization

Authors: Charlie Hou, Kiran K. Thekumparampil, Giulia Fanti, Sewoong Oh

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

[3183]  arXiv:2102.06344 (cross-list from cs.CR) [pdf, other]

Title: Generating cryptographically-strong random lattice bases and recognizing rotations of $\mathbb{Z}^n$

Authors: Tamar Lichter Blanks, Stephen D. Miller

Comments: 20 pages, 2 figures, to appear in PQCrypto 2021

Subjects: Cryptography and Security (cs.CR); Group Theory (math.GR); Number Theory (math.NT)

[3184]  arXiv:2102.06358 (cross-list from cs.NE) [pdf, ps, other]

Title: Min-Max-Plus Neural Networks

Authors: Ye Luo, Shiqing Fan

Comments: 21 pages, 5 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Combinatorics (math.CO)

[3185]  arXiv:2102.06463 (cross-list from cs.DM) [pdf, other]

Title: A more accurate view of the Flat Wall Theorem

Authors: Ignasi Sau, Giannos Stamoulis, Dimitrios M. Thilikos

Comments: arXiv admin note: text overlap with arXiv:2004.12692

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[3186]  arXiv:2102.06502 (cross-list from cond-mat.soft) [pdf]

Title: Flying V and Reference Aircraft Evacuation Simulation and Comparison

Authors: Julia Gebauer, Justus Benad

Subjects: Soft Condensed Matter (cond-mat.soft); Numerical Analysis (math.NA); Cellular Automata and Lattice Gases (nlin.CG)

[3187]  arXiv:2102.06532 (cross-list from cs.LO) [src]

Title: Algebraic cocompleteness and finitary functors

Authors: Jiri Adamek

Comments: Accidental duplicate of arXiv:1903.02438

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

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

Title: Is Q-Learning Minimax Optimal? A Tight Sample Complexity Analysis

Authors: Gen Li, Changxiao Cai, Yuxin Chen, Yuting Wei, Yuejie Chi

Comments: accepted to Operations Research

Subjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG); Optimization and Control (math.OC); Statistics Theory (math.ST)

[3189]  arXiv:2102.06570 (cross-list from cs.MS) [pdf, ps, other]

Title: User manual for bch, a program for the fast computation of the Baker-Campbell-Hausdorff and similar series

Authors: Harald Hofstätter

Subjects: Mathematical Software (cs.MS); Rings and Algebras (math.RA)

[3190]  arXiv:2102.06576 (cross-list from quant-ph) [pdf, other]

Title: The $α\to 1$ Limit of the Sharp Quantum Rényi Divergence

Authors: Bjarne Bergh, Robert Salzmann, Nilanjana Datta

Comments: 11 pages, no figures. v3: Fixed a typo in Lemma 3 and simplified the argument in Lemma 11. v2: Restructured the proof of the main result and added clarifications to improve readability

Journal-ref: J. Math. Phys. 62, 092205 (2021)

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)

[3191]  arXiv:2102.06632 (cross-list from cs.CR) [pdf, other]

Title: Deep Reinforcement Learning for Backup Strategies against Adversaries

Authors: Pascal Debus, Nicolas Müller, Konstantin Böttinger

Comments: 9 pages, 3 figures

Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Optimization and Control (math.OC)

[3192]  arXiv:2102.06652 (cross-list from cs.CC) [pdf, other]

Title: Barriers for recent methods in geodesic optimization

Authors: Cole Franks, Philipp Reichenbach

Comments: worked in referee comments, added references and acknowledgments

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO); Optimization and Control (math.OC)

[3193]  arXiv:2102.06673 (cross-list from cs.CC) [pdf, ps, other]

Title: Proof complexity of positive branching programs

Authors: Anupam Das, Avgerinos Delkos

Comments: 31 pages, 5 figures

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: Proximal and Federated Random Reshuffling

Authors: Konstantin Mishchenko, Ahmed Khaled, Peter Richtárik

Comments: 21 pages, 2 figures, 3 algorithms

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

[3195]  arXiv:2102.06706 (cross-list from physics.med-ph) [pdf, other]

Title: Crystalline phase discriminating neutron tomography using advanced reconstruction methods

Authors: Evelina Ametova, Genoveva Burca, Suren Chilingaryan, Gemma Fardell, Jakob S. Jørgensen, Evangelos Papoutsellis, Edoardo Pasca, Ryan Warr, Martin Turner, William R. B. Lionheart, Philip J. Withers

Subjects: Medical Physics (physics.med-ph); Image and Video Processing (eess.IV); Optimization and Control (math.OC)

[3196]  arXiv:2102.06708 (cross-list from quant-ph) [pdf, ps, other]

Title: A pedagogical note on the computation of relative entropy of two $n$-mode gaussian states

Authors: K R Parthasarathy

Comments: 13 pages, no figures; Section 6 on Petz-Renyi relative entropy added in the revised version

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)

[3197]  arXiv:2102.06734 (cross-list from gr-qc) [pdf, other]

Title: The Teukolsky--Starobinsky constants: facts and fictions

Authors: Rita Teixeira da Costa, Marc Casals

Comments: 17 pages, 4 figures

Journal-ref: Classical and Quantum Gravity, 38:165016 (2020)

Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

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

Title: Kronecker-factored Quasi-Newton Methods for Deep Learning

Authors: Yi Ren, Achraf Bahamou, Donald Goldfarb

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

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

Title: Appearance of Random Matrix Theory in Deep Learning

Authors: Nicholas P Baskerville, Diego Granziol, Jonathan P Keating

Comments: 33 pages, 14 figures

Subjects: Machine Learning (cs.LG); Mathematical Physics (math-ph); Machine Learning (stat.ML)

[3200]  arXiv:2102.06743 (cross-list from cs.AI) [pdf, other]

Title: Edge Minimizing the Student Conflict Graph

Authors: Joshua S. Friedman

Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI); Optimization and Control (math.OC)

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

Title: Stochastic Gradient Langevin Dynamics with Variance Reduction

Authors: Zhishen Huang, Stephen Becker

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

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

Title: Distributed Event-Triggered Algorithms for Finite-Time Privacy-Preserving Quantized Average Consensus

Authors: Apostolos I. Rikos, Themistoklis Charalambous, Karl H. Johansson, Christoforos N. Hadjicostis

Comments: 12 pages

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

[3203]  arXiv:2102.06805 (cross-list from cs.DS) [pdf, other]

Title: The Structure of Minimum Vertex Cuts

Authors: Seth Pettie, Longhui Yin

Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[3204]  arXiv:2102.06825 (cross-list from cs.SI) [pdf, other]

Title: A Bounded-Confidence Model of Opinion Dynamics on Hypergraphs

Authors: Abigail Hickok, Yacoub Kureh, Heather Z. Brooks, Michelle Feng, Mason A. Porter

Comments: revised version

Subjects: Social and Information Networks (cs.SI); Combinatorics (math.CO); Dynamical Systems (math.DS); Adaptation and Self-Organizing Systems (nlin.AO); Physics and Society (physics.soc-ph)

[3205]  arXiv:2102.06831 (cross-list from cs.DL) [pdf, other]

Title: Bibliometric analysis on mathematics, 3 snapshots: 2005, 2010, 2015

Authors: Serge Richard, Qiwen Sun

Comments: 24 pages

Subjects: Digital Libraries (cs.DL); History and Overview (math.HO)

[3206]  arXiv:2102.06851 (cross-list from stat.ME) [pdf, other]

Title: Robust Model-Based Clustering

Authors: Juan D. Gonzalez, Ricardo Maronna, Victor J. Yohai, Ruben H.Zamar

Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO)

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

Title: On Robust Optimal Transport: Computational Complexity and Barycenter Computation

Authors: Khang Le, Huy Nguyen, Quang Nguyen, Tung Pham, Hung Bui, Nhat Ho

Comments: Advances in NeurIPS, 2021; 52 pages, 10 figures; Khang Le and Huy Nguyen contributed equally to this week

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC); Machine Learning (stat.ML)

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

Title: Wasserstein Proximal of GANs

Authors: Alex Tong Lin, Wuchen Li, Stanley Osher, Guido Montufar

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)

[3209]  arXiv:2102.06863 (cross-list from physics.comp-ph) [pdf, other]

Title: A consistent and conservative Phase-Field model for thermo-gas-liquid-solid flows including liquid-solid phase change

Authors: Ziyang Huang, Guang Lin, Arezoo M. Ardekani

Comments: This is an accepted manuscript

Journal-ref: Journal of Computational Physics 449 (2022) 110795

Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)

[3210]  arXiv:2102.06880 (cross-list from cs.LO) [pdf, other]

Title: Twin-width and permutations

Authors: Édouard Bonnet, Jaroslav Nešetřil, Patrice Ossona de Mendez, Sebastian Siebertz, Stéphan Thomassé

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[3211]  arXiv:2102.06881 (cross-list from cs.LO) [pdf, other]

Title: Ordered graphs of bounded twin-width

Authors: Pierre Simon, Szymon Toruńczyk

Comments: arXiv admin note: text overlap with arXiv:2102.03117

Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[3212]  arXiv:2102.06898 (cross-list from econ.TH) [pdf, ps, other]

Title: Expected utility theory on mixture spaces without the completeness axiom

Authors: David McCarthy, Kalle Mikkola, Teruji Thomas

Comments: 29 pages

Subjects: Theoretical Economics (econ.TH); Functional Analysis (math.FA)

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

Title: Revisiting Smoothed Online Learning

Authors: Lijun Zhang, Wei Jiang, Shiyin Lu, Tianbao Yang

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

[3214]  arXiv:2102.06957 (cross-list from nlin.AO) [pdf, other]

Title: Identifying symmetries and predicting cluster synchronization in complex networks

Authors: Pitambar Khanra, Subrata Ghosh, Karin Alfaro-Bittner, Prosenjit Kundu, Stefano Boccaletti, Chittaranjan Hens, Pinaki Pal

Comments: 5 pages, 3 figures (Communicated to Physical Review Letters)

Subjects: Adaptation and Self-Organizing Systems (nlin.AO); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD); Physics and Society (physics.soc-ph)

[3215]  arXiv:2102.06963 (cross-list from quant-ph) [pdf, other]

Title: Classical algorithms for Forrelation

Authors: Sergey Bravyi, David Gosset, Daniel Grier, Luke Schaeffer

Comments: 53 pages, 10 figures. v2: added a new author, a linear-time algorithm for graph-based forrelation, improved presentation

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)