Mathematics

Authors and titles for January 2019

[3401] arXiv:1901.09234 (cross-list from cs.CG) [pdf, other]

Title: Plantinga-Vegter algorithm takes average polynomial time

Felipe Cucker, Alperen A. Ergür, Josue Tonelli-Cueto

Comments: 8 pages, correction of typos

Journal-ref: ACM Symposium on Symbolic and Algebraic Computation (ISSAC), 2019

Subjects: Computational Geometry (cs.CG); Numerical Analysis (math.NA)

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

Title: Frequency truncated discrete-time system norm

Hanumant Singh Shekhawat

Comments: 7 pages and one figure

Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)

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

Title: Distributed Learning with Compressed Gradient Differences

Konstantin Mishchenko, Eduard Gorbunov, Martin Takáč, Peter Richtárik

Comments: 59 pages; Changes in V3: writing, presentation, and numerical experiments

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

[3404] arXiv:1901.09282 (cross-list from quant-ph) [pdf, other]

Title: Coherence Optimization in Neutron Interferometry through Defocussing

J. Nsofini, D. Sarenac, D. G. Cory, D. A. Pushin

Comments: & pages, 5 figures

Journal-ref: Phys. Rev. A 99, 043614 (2019)

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

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

Title: Dynamic Vaccination Game in a Heterogeneous Mixing Population

Liqun Lu, Yanfeng Ouyang

Subjects: Physics and Society (physics.soc-ph); Optimization and Control (math.OC)

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

Title: Heterogeneity-aware Gradient Coding for Straggler Tolerance

Haozhao Wang, Song Guo, Bin Tang, Ruixuan Li, Chengjie Li

Comments: 10 pages, 5 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)

[3407] arXiv:1901.09377 (cross-list from cs.SC) [pdf, other]

Title: On the Existence of Telescopers for Rational Functions in Three Variables

Shaoshi Chen, Lixin Du, Rong-Hua Wang, Chaochao Zhu

Comments: 30 pages

Subjects: Symbolic Computation (cs.SC); Combinatorics (math.CO)

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

Title: SGD: General Analysis and Improved Rates

Robert Mansel Gower, Nicolas Loizou, Xun Qian, Alibek Sailanbayev, Egor Shulgin, Peter Richtarik

Comments: 23 pages, 6 figures

Journal-ref: Proceedings of the 36th International Conference on Machine Learning, PMLR 97:5200-5209, 2019

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

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

Title: Information-Theoretic Understanding of Population Risk Improvement with Model Compression

Yuheng Bu, Weihao Gao, Shaofeng Zou, Venugopal V. Veeravalli

Comments: submitted to ICML 2019

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

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

Title: Subspace arrangements, graph rigidity and derandomization through submodular optimization

Orit E. Raz, Avi Wigderson

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

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

Title: 99% of Distributed Optimization is a Waste of Time: The Issue and How to Fix it

Konstantin Mishchenko, Filip Hanzely, Peter Richtárik

Comments: 41 pages, 8 algorithms, 10 theorems, 12 figures

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

[3412] arXiv:1901.09486 (cross-list from cs.RO) [pdf, other]

Title: Modeling and Simulation of Robotic Finger Powered by Nylon Artificial Muscles- Equations with Simulink model

Lokesh Saharan, Lianjun Wu, Yonas Tadesse,

Comments: 11 pages, 11 pages, this paper show the modeling equations and it has two figures. Simulation and Experimental results are to be submitted to Journal of Mechanism and Robotics (JMR). The detailed model and equations can be used for numerical simulation of other robotic fingers by utilizing any contractile actuators

Subjects: Robotics (cs.RO); Dynamical Systems (math.DS)

[3413] arXiv:1901.09510 (cross-list from quant-ph) [pdf, other]

Title: Iterative methods for computing U-eigenvalues of non-symmetric complex tensors with application in quantum entanglement

Mengshi Zhang, Guyan Ni, Guofeng Zhang

Comments: 19 pages; submitted for publication; comments are welcome

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

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

Title: Black Box Submodular Maximization: Discrete and Continuous Settings

Lin Chen, Mingrui Zhang, Hamed Hassani, Amin Karbasi

Comments: Accepted to AISTATS 2020. First two authors contributed equally to this work

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

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

Title: Envy-free Matchings in Bipartite Graphs and their Applications to Fair Division

Elad Aigner-Horev, Erel Segal-Halevi

Comments: Appeared in Information Sciences, 587:164--187. But during the production, the main theorem text was deleted. The arXiv version is the correct one

Journal-ref: Information Sciences, 2022, 587:164--187. Note: during the production, the main theorem text was deleted. The arXiv version is the correct one

Subjects: Data Structures and Algorithms (cs.DS); Computer Science and Game Theory (cs.GT); Combinatorics (math.CO)

[3416] arXiv:1901.09548 (cross-list from cs.CV) [pdf, other]

Title: CURE: Curvature Regularization For Missing Data Recovery

Bin Dong, Haocheng Ju, Yiping Lu, Zuoqiang Shi

Comments: 17 pages, 7 figures, 4 tables

Subjects: Computer Vision and Pattern Recognition (cs.CV); Numerical Analysis (math.NA)

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

Title: ErasureHead: Distributed Gradient Descent without Delays Using Approximate Gradient Coding

Hongyi Wang, Zachary Charles, Dimitris Papailiopoulos

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

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

Title: Node isolation in large homogeneous binary multiplicative attribute graph models

Sikai Qu, Armand M. Makowski

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

Subjects: Social and Information Networks (cs.SI); Probability (math.PR)

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

Title: Intuitionistic Non-Normal Modal Logics: A general framework

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Comments: Preprint

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

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

Title: Reaction kinetics in the few-encounter limit

David Hartich, Aljaz Godec

Comments: 16 pages, 5 figures, Chapter 11 in "Chemical Kinetics Beyond the Textbook" edited by K. Lindenberg, R. Metzler, Gleb Oshanin (World Scientific, 2019)

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

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

Title: Error Feedback Fixes SignSGD and other Gradient Compression Schemes

Sai Praneeth Karimireddy, Quentin Rebjock, Sebastian U. Stich, Martin Jaggi

Comments: ICML 2019 (long talk)

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

[3422] arXiv:1901.09870 (cross-list from gr-qc) [pdf, other]

Title: Self-Assembly of Geometric Space from Random Graphs

Christy Kelly, Carlo A Trugenberger, Fabio Biancalana

Comments: 26 pages, 9 figures, 2 appendices

Journal-ref: Classical and Quantum Gravity, 2019

Subjects: General Relativity and Quantum Cosmology (gr-qc); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Combinatorics (math.CO)

[3423] arXiv:1901.09889 (cross-list from quant-ph) [pdf, other]

Title: Numerical and Exact Analyses of Bures and Hilbert-Schmidt Separability and PPT-Probabilities

Paul B. Slater

Comments: 24 pages, 9 figures--substantially revised per referees' comments. arXiv admin note: text overlap with arXiv:1809.09040

Journal-ref: Quantum Information Processing 18(10):312 (October 2019)

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Probability (math.PR); Computational Physics (physics.comp-ph)

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

Title: Lie Group Auto-Encoder

Liyu Gong, Qiang Cheng

Subjects: Machine Learning (cs.LG); Group Theory (math.GR); Machine Learning (stat.ML)

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

Title: Statistical inference of probabilistic origin-destination demand using day-to-day traffic data

Wei Ma, Zhen Qian

Journal-ref: Transportation Research Part C: Emerging Technologies 88 (2018): 227-256

Subjects: Methodology (stat.ME); Systems and Control (eess.SY); Numerical Analysis (math.NA)

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

Title: On the $k$-error linear complexity of binary sequences derived from the discrete logarithm in finite fields

Zhixiong Chen, Qiuyan Wang

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

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

Title: A maximum principle argument for the uniform convergence of graph Laplacian regressors

Nicolas Garcia Trillos, Ryan Murray

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

[3428] arXiv:1901.10117 (cross-list from quant-ph) [pdf, other]

Title: Universal Properties in Quantum Theory

Mathieu Huot, Sam Staton

Comments: In Proceedings QPL 2018, arXiv:1901.09476

Journal-ref: EPTCS 287, 2019, pp. 213-223

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)

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

Title: Canonisation and Definability for Graphs of Bounded Rank Width

Martin Grohe, Daniel Neuen

Comments: 32 pages, 2 figures; second version corrects a small error in the proof of Theorem 1.1 and improves the presentation

Journal-ref: ACM Trans. Comput. Log. 24(1): 6:1-6:31 (2023)

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Rank-one Convexification for Sparse Regression

Alper Atamturk, Andres Gomez

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

[3431] arXiv:1901.10349 (cross-list from hep-th) [pdf, other]

Title: Resurgence of one-point functions in a matrix model for 2D type IIA superstrings

Tsunehide Kuroki, Fumihiko Sugino

Comments: 25 pages, 2 figures, typos corrected

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

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

Title: Using adjoint CFD to quantify the impact of manufacturing variations on a heavy duty turbine vane

Alexander Liefke, Vincent Marciniak, Uwe Janoske, Hanno Gottschalk

Comments: 15 p., 10 figures, 2 tables

Journal-ref: 6th European Conference on Computational Mechanics (ECCM 6) 7th European Conference on Computational Fluid Dynamics (ECFD 7) June 2018, Glasgow, UK

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

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

Title: Representation theorems for extended contact algebras based on equivalence relations

Philippe Balbiani, Tatyana Ivanova

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

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

Title: Optimal Trajectory Tracking of Nonholonomic Mechanical Systems: a geometric approach

Aradhana Nayak, Rodrigo Sato Martín de Almagro, Leonardo Colombo, David Martín de Diego

Comments: To appear in American Control Conference 2019

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

[3435] arXiv:1901.10378 (cross-list from gr-qc) [pdf, other]

Title: Attractors of the Einstein-Klein Gordon system

David Fajman, Zoe Wyatt

Journal-ref: Comm. Partial Differential Equations 46 (2021), no. 1, 1-30

Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)

[3436] arXiv:1901.10415 (cross-list from cs.CV) [pdf, other]

Title: MgNet: A Unified Framework of Multigrid and Convolutional Neural Network

Juncai He, Jinchao Xu

Comments: 30 pages

Journal-ref: Sci. China Math. 62 (2019) 1331-1354

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Numerical Analysis (math.NA)

[3437] arXiv:1901.10497 (cross-list from hep-th) [pdf, other]

Title: $\mathcal{N}=2^*$ gauge theory, free fermions on the torus and Painlev\'e VI

Giulio Bonelli, Fabrizio Del Monte, Pavlo Gavrylenko, Alessandro Tanzini

Comments: 40 pages, 6 figures

Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)

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

Title: Repairing without Retraining: Avoiding Disparate Impact with Counterfactual Distributions

Hao Wang, Berk Ustun, Flavio P. Calmon

Subjects: Machine Learning (cs.LG); Computers and Society (cs.CY); Information Theory (cs.IT); Machine Learning (stat.ML)

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

Title: Reliable Smart Road Signs

Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar

Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Information Theory (cs.IT); Machine Learning (stat.ML)

[3440] arXiv:1901.10626 (cross-list from quant-ph) [pdf, other]

Title: A new strategy for directly calculating the minimum eigenvector of matrices without diagonalization

Wei Pan, Jing Wang, Deyan Sun

Comments: 14 pages, 5 figures

Journal-ref: Scientific Reports 2020, 10

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

[3441] arXiv:1901.10723 (cross-list from cs.CL) [pdf, other]

Title: Compositionality for Recursive Neural Networks

Martha Lewis

Comments: presented at NeSy2018, Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning, co-located with Human-Level AI 2018, Prague, CZ, August 23-24, 2018

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Category Theory (math.CT)

[3442] arXiv:1901.10730 (cross-list from cs.SC) [pdf, other]

Title: LU factorization with errors *

Jean-Guillaume Dumas (CASYS), Joris Van Der Hoeven (CNRS, LIX), Clément Pernet (CASYS), Daniel Roche

Subjects: Symbolic Computation (cs.SC); Information Theory (cs.IT)

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

Title: JuliaReach: a Toolbox for Set-Based Reachability

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

Comments: Accepted in Proceedings of HSCC'19: 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19)

Journal-ref: HSCC 2019

Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)

[3444] arXiv:1901.10739 (cross-list from cond-mat.quant-gas) [pdf, other]

Title: Vortex patterns in the almost-bosonic anyon gas

Michele Correggi (Sapienza University of Rome), Romain Duboscq (INSA Toulouse), Douglas Lundholm (KTH), Nicolas Rougerie (LPM2C)

Journal-ref: Europhys. Lett. 126 (2019), 20005

Subjects: Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Quantum Physics (quant-ph)

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

Title: Practicable Simulation-Free Model Order Reduction by Nonlinear Moment Matching

Maria Cruz Varona, Raphael Gebhart, Julian Suk, Boris Lohmann

Comments: 7 pages, 3 figures; submitted to ECC 2019

Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Numerical Analysis (math.NA)

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

Title: Distributionally Robust and Multi-Objective Nonnegative Matrix Factorization

Nicolas Gillis, Le Thi Khanh Hien, Valentin Leplat, Vincent Y. F. Tan

Comments: Accepted in IEEE Trans. on Pattern Analysis and Machine Intelligence

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

[3447] arXiv:1901.10797 (cross-list from quant-ph) [pdf, other]

Title: On the size of the space spanned by a nonequilibrium state in a quantum spin lattice system

Maurizio Fagotti

Comments: 25 pages, 7 figures; new appendix with a proof that the energy cumulants are extensive whenever the Hamiltonian is quasilocal and the state has finite correlation lengths

Journal-ref: SciPost Phys. 6, 059 (2019)

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

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

Title: Learning to Project in Multi-Objective Binary Linear Programming

Alvaro Sierra-Altamiranda, Hadi Charkhgard, Iman Dayarian, Ali Eshragh, Sorna Javadi

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

[3449] arXiv:1901.10888 (cross-list from cs.CG) [pdf, other]

Title: A common lines approach for ab-initio modeling of cyclically-symmetric molecules

Gabi Pragier, Yoel Shkolnisky

Subjects: Computational Geometry (cs.CG); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

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

Title: Open XXZ chain and boundary modes at zero temperature

Sebastian Grijalva, Jacopo De Nardis, Veronique Terras

Comments: 77 pages with appendices

Journal-ref: SciPost Phys. 7, 023 (2019)

Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)