Mathematics

Authors and titles for February 2018

[2801] arXiv:1802.01139 (cross-list from hep-th) [pdf, other]

Title: Two-dimensional algebra in lattice gauge theory

Arthur J. Parzygnat

Comments: 85 pages, 132 figures, updated version of a part of the author's PhD thesis

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

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

Title: On Higher Inductive Types in Cubical Type Theory

Thierry Coquand, Simon Huber, Anders Mörtberg

Comments: 24 pages

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

[2803] arXiv:1802.01207 (cross-list from cs.MA) [pdf, other]

Title: A Sharp Bound on the $s$-Energy and Its Applications to Averaging Systems

Bernard Chazelle

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

[2804] arXiv:1802.01208 (cross-list from cs.MA) [pdf, other]

Title: Toward a Theory of Markov Influence Systems and their Renormalization

Bernard Chazelle

Subjects: Multiagent Systems (cs.MA); Probability (math.PR); Adaptation and Self-Organizing Systems (nlin.AO)

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

Title: Learning Compact Neural Networks with Regularization

Samet Oymak

Comments: ICML 2018, 46 pages, 11 figures

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

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

Title: Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

André Platzer, Yong Kiam Tan

Comments: LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9-12, 2018, Oxford, United Kingdom, ACM ISBN 978-1-4503-5583-4/18/07

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Classical Analysis and ODEs (math.CA); Logic (math.LO)

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

Title: Listening to the cohomology of graphs

Oliver Knill

Comments: 20 pages, 1 figure

Subjects: Discrete Mathematics (cs.DM); Algebraic Topology (math.AT); Combinatorics (math.CO)

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

Title: Counting and Sampling from Markov Equivalent DAGs Using Clique Trees

AmirEmad Ghassami, Saber Salehkaleybar, Negar Kiyavash, Kun Zhang

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Combinatorics (math.CO); Machine Learning (stat.ML)

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

Title: Models for characterizing the transition among anomalous diffusions with different diffusion exponents

Trifce Sandev, Weihua Deng, Pengbo Xu

Comments: 11 pages, 5 figures

Journal-ref: Journal of Physics A: Mathematical and Theoretical 51, 405002 (2018)

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

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

Title: Stochastic control and non-equilibrium thermodynamics: fundamental limits

Yongxin Chen, Tryphon Georgiou, Allen Tannenbaum

Comments: 20 pages, 5 figures

Subjects: Statistical Mechanics (cond-mat.stat-mech); Systems and Control (eess.SY); Optimization and Control (math.OC)

[2811] arXiv:1802.01316 (cross-list from cs.NI) [pdf, other]

Title: Study of Realistic Antenna Patterns in 5G mmWave Cellular Scenarios

Mattia Rebato, Laura Resteghini, Christian Mazzucco, Michele Zorzi

Comments: to be published in 2018 IEEE ICC Communications QoS, Reliability, and Modeling Symposium (ICC18 CQRM), Kansas City, USA, May 2018

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

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

Title: Optimal bounds on codes for location in circulant graphs

Ville Junnila, Tero Laihonen, Gabrielle Paris

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[2813] arXiv:1802.01337 (cross-list from quant-ph) [pdf, other]

Title: All unital qubit channels are $4$-noisy operations

Alexander Müller-Hermes, Christopher Perry

Comments: 8 pages, no pictures

Journal-ref: Lett. Math. Phys. (2019) 109: 1

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Operator Algebras (math.OA)

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

Title: Lie Transform--based Neural Networks for Dynamics Simulation and Learning

Andrei Ivanov, Alena Sholokhova, Sergei Andrianov, Roman Konoplev-Esgenburg

Comments: 12 pages, 7 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Dynamical Systems (math.DS); Numerical Analysis (math.NA)

[2815] arXiv:1802.01436 (cross-list from eess.IV) [pdf, other]

Title: Variational image compression with a scale hyperprior

Johannes Ballé, David Minnen, Saurabh Singh, Sung Jin Hwang, Nick Johnston

Comments: accepted as a conference contribution to International Conference on Learning Representations 2018

Subjects: Image and Video Processing (eess.IV); Information Theory (cs.IT)

[2816] arXiv:1802.01458 (cross-list from eess.IV) [pdf, other]

Title: Image denoising with generalized Gaussian mixture model patch priors

Charles-Alban Deledalle (IMB, UCSD), Shibin Parameswaran (UCSD), Truong Q. Nguyen (UCSD)

Subjects: Image and Video Processing (eess.IV); Computer Vision and Pattern Recognition (cs.CV); Statistics Theory (math.ST); Machine Learning (stat.ML)

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

Title: Predictive Management of Electric Vehicles in a Community Microgrid

Bin Wang, Dai Wang, Cy Chan, Rongxin Yin, Doug Black

Subjects: Signal Processing (eess.SP); Optimization and Control (math.OC)

[2818] arXiv:1802.01545 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Solution for a bipartite Euclidean traveling-salesman problem in one dimension

Sergio Caracciolo, Andrea Di Gioacchino, Marco Gherardi, Enrico M. Malatesta

Comments: 9 pages, 5 figures

Journal-ref: Phys. Rev. E 97, 052109 (2018)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Combinatorics (math.CO)

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

Title: Integrable time-dependent Hamiltonians, solvable Landau-Zener models and Gaudin magnets

Emil A. Yuzbashyan

Comments: 29 pages, references added

Journal-ref: Annals of Physics 392 (2018) 323-339

Subjects: Statistical Mechanics (cond-mat.stat-mech); Quantum Gases (cond-mat.quant-gas); Superconductivity (cond-mat.supr-con); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

[2820] arXiv:1802.01579 (cross-list from hep-th) [pdf, other]

Title: Gauge Theory and Integrability, II

Kevin Costello, Edward Witten, Masahito Yamazaki

Comments: 51 pp

Journal-ref: ICCM Not. 6, 120-146 (2018)

Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Quantum Algebra (math.QA)

[2821] arXiv:1802.01617 (cross-list from cs.SY) [pdf, other]

Title: Predictive Second Order Sliding Control of Constrained Linear Systems with Application to Automotive Control Systems

Mohammad Reza Amini, Mahdi Shahbakhti, Jing Sun

Comments: 6 pages, 5 figures, 2018 American Control Conferance (ACC), June 27-29, 2018, Milwaukee, WI, USA. [Accepted in Jan. 2018]

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

[2822] arXiv:1802.01641 (cross-list from q-fin.PR) [pdf, other]

Title: Volatility options in rough volatility models

Blanka Horvath, Antoine Jacquier, Peter Tankov

Comments: 52 pages, 33 figures

Subjects: Pricing of Securities (q-fin.PR); Probability (math.PR)

[2823] arXiv:1802.01649 (cross-list from cs.SY) [pdf, other]

Title: Real-Time Rejection and Mitigation of Time Synchronization Attacks on the Global Positioning System

Ali Khalajmehrabadi, Nikolaos Gatsis, David Akopian, Ahmad F. Taha

Subjects: Systems and Control (eess.SY); Cryptography and Security (cs.CR); Signal Processing (eess.SP); Optimization and Control (math.OC)

[2824] arXiv:1802.01806 (cross-list from q-bio.MN) [pdf, other]

Title: Detection of persistent signals and its relation to coherent feedforward loops

Chun Tung Chou

Journal-ref: Royal Society Open Science, 2018

Subjects: Molecular Networks (q-bio.MN); Information Theory (cs.IT)

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

Title: Polynomial Invariants for Affine Programs

Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Algebraic Geometry (math.AG)

[2826] arXiv:1802.01849 (cross-list from quant-ph) [pdf, other]

Title: Breakdown of Ehrenfest theorem for free particle constrained on a hypersurface

Q. Li, Z. Li, X. Wang, Q. H. Liu

Comments: 3 pages, no figure

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

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

Title: Neural Network Detection of Data Sequences in Communication Systems

Nariman Farsad, Andrea Goldsmith

Comments: Accepted for publication in IEEE Transactions on Signal Processing

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

[2828] arXiv:1802.02128 (cross-list from nlin.SI) [pdf, other]

Title: Fifty years of the finite nonperiodic Toda lattice: A geometric and topological viewpoint

Yuji Kodama, Barbara Shipman

Comments: 35 pages, 7 figures, Submitted to J Phys A Special Issue "Fifty years of the Toda lattice"

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

[2829] arXiv:1802.02140 (cross-list from cs.SY) [pdf, other]

Title: Solve the General Constrained Optimal Control Problem with Common Integration Method

Sheng Zhang, Jin-Mei Gao

Comments: Key words: Optimal control, path constraint, dynamics stability, variation evolution, the second evolution equation, costate-free optimality condition, Karush-Kuhn-Tucker (KKT) condition, initial-value problem. arXiv admin note: text overlap with arXiv:1801.07395, arXiv:1801.01383, arXiv:1801.10486

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

[2830] arXiv:1802.02158 (cross-list from quant-ph) [pdf, other]

Title: The minimum error probability of quantum illumination

Giacomo De Palma, Johannes Borregaard

Journal-ref: Phys. Rev. A 98, 012101 (2018)

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

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

Title: Cellular Cohomology in Homotopy Type Theory

Ulrik Buchholtz, Kuen-Bang Hou (Favonia)

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2 (June 1, 2020) lmcs:5274

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

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

Title: A Schematic Definition of Quantum Polynomial Time Computability

Tomoyuki Yamakami

Comments: A4, 10pt, pp.29. This is a complete and corrected version of an extended abstract that appeared in the Proceedings of the 9th Workshop on Non-Classical Models of Automata and Applications (NCMA 2017), Prague, Czech Republic, August 17-18, 2017, the Austrian Computer Society, 2017

Journal-ref: J. symb. log. 85 (2020) 1546-1587

Subjects: Computational Complexity (cs.CC); Logic (math.LO); Quantum Physics (quant-ph)

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

Title: The $b$-branching problem in digraphs

Naonori Kakimura, Naoyuki Kamiyama, Kenjiro Takazawa

Comments: 19 pages

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

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

Title: Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem

Albert Atserias, Joanna Fijalkow

Comments: Revised version incorporating the comments of the journal reviewers. The title changed slightly. The second author changed surname

Journal-ref: SIAM Journal on Computing, 52(5), pp. 1193-1229, 2023

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

[2835] arXiv:1802.02457 (cross-list from hep-th) [pdf, other]

Title: Asymptotically Locally Euclidean/Kaluza-Klein Stationary Vacuum Black Holes in 5 Dimensions

Marcus Khuri, Gilbert Weinstein, Sumio Yamada

Comments: 11 pages

Journal-ref: PTEP. Prog. Theor. Exp. Phys., 2018, no. 5, 053E01, 13pp

Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)

[2836] arXiv:1802.02490 (cross-list from physics.flu-dyn) [pdf, other]

Title: Conformal invariance and the Lundgren-Monin-Novikov equations for vorticity fields in 2D turbulence: Refuting a recent claim

Michael Frewer, George Khujadze

Comments: 19 pages, 2 lists CAS-Code. Extended version with now 4 independent proofs. All conclusions remain unchanged

Subjects: Fluid Dynamics (physics.flu-dyn); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

[2837] arXiv:1802.02520 (cross-list from q-bio.PE) [pdf, other]

Title: Combinatorial views on persistent characters in phylogenetics

Kristina Wicke, Mareike Fischer

Subjects: Populations and Evolution (q-bio.PE); Combinatorics (math.CO)

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

Title: Neyman-Pearson classification: parametrics and sample size requirement

Xin Tong, Lucy Xia, Jiacheng Wang, Yang Feng

Comments: 44 pages

Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)

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

Title: Fourier Analysis and Evaluation of DG, FD and Compact Difference Methods for Conservation Laws

Mohammad Alhawwary, Z.J. Wang

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

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

Title: The Higher-Order Prover Leo-III (Extended Version)

Alexander Steen, Christoph Benzmüller

Comments: 13 pages (this is an extended version of the IJCAR 2018 paper)

Journal-ref: 9th International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings, Springer

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

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

Title: Impredicative Encodings of (Higher) Inductive Types

Steve Awodey, Jonas Frey, Sam Speight

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

[2842] arXiv:1802.02850 (cross-list from cs.GT) [pdf, other]

Title: Detection Games Under Fully Active Adversaries

Benedetta Tondi, Neri Merhav, Mauro Barni

Subjects: Computer Science and Game Theory (cs.GT); Information Theory (cs.IT)

[2843] arXiv:1802.02883 (cross-list from hep-th) [pdf, other]

Title: Renormalization for a Scalar Field in an External Scalar Potential

S. A. Fulling, T. E. Settlemyre, K. A. Milton

Comments: 19 pages; invited issue of Symmetry on Casimir Interactions

Journal-ref: Symmetry 10 (2018) 54

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

[2844] arXiv:1802.02890 (cross-list from hep-th) [pdf, other]

Title: Adinkras From Ordered Quartets of BC4 Coxeter Group Elements and Regarding Another Gadget's 1,358,954,496 Matrix Elements

S. J. Gates Jr., Lucas Kang, David S. Kessler, Vadim Korotkikh

Comments: LaTeX twice, 2 figures, 4 tables, 21 ppg, version two contains improved discussion of 4D weight space and meta data corrections

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

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

Title: Statistical tests for extreme precipitation volumes

V.Yu. Korolev, A.K. Gorshenin, K.P.Belyaev

Comments: 21 pages, 10 figures, 2 tables

Subjects: Methodology (stat.ME); Probability (math.PR)

[2846] arXiv:1802.02932 (cross-list from cs.NI) [pdf, other]

Title: Lower Bounds for the Fair Resource Allocation Problem

Zaid Allybokus, Konstantin Avrachenkov, Jérémie Leguay, Lorenzo Maggi

Comments: in IFIP WG 7.3 Performance 2017, New York, NY USA

Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

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

Title: Uncertainty Quantification for Maxwell's Eigenproblem based on Isogeometric Analysis and Mode Tracking

Niklas Georg, Wolfgang Ackermann, Jacopo Corno, Sebastian Schöps

Journal-ref: Comput. Method Appl. M., 350(15): 228-244, 2019

Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Accelerator Physics (physics.acc-ph); Computational Physics (physics.comp-ph)

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

Title: A Generalization Method of Partitioned Activation Function for Complex Number

HyeonSeok Lee, Hyo Seon Park

Comments: Complex Activation Function, Holomorphic, Phase-preserving, real-complex interaction

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Complex Variables (math.CV)

[2849] arXiv:1802.03011 (cross-list from hep-th) [pdf, other]

Title: The gluon condensate in an effective SU(2) Yang-Mills theory

A.N. Efremov

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

[2850] arXiv:1802.03020 (cross-list from gr-qc) [pdf, other]

Title: Predictability of subluminal and superluminal wave equations

Felicity C. Eperon, Harvey S. Reall, Jan J. Sbierski

Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Analysis of PDEs (math.AP)