Mathematics

Authors and titles for February 2018

[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 eess.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, arXiv:1712.09702

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)

[2851] arXiv:1802.03042 (cross-list from q-fin.CP) [pdf, other]

Title: Deep Hedging

Hans Bühler, Lukas Gonon, Josef Teichmann, Ben Wood

Subjects: Computational Finance (q-fin.CP); Numerical Analysis (math.NA); Optimization and Control (math.OC); Probability (math.PR); Risk Management (q-fin.RM)

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

Title: Doppler Spread Estimation in MIMO Frequency-selective Fading Channels

Mostafa Mohammadkarimi, Ebrahim Karami, Octavia A. Dobre, Moe Z. Win

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

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

Title: Comparison of data-driven uncertainty quantification methods for a carbon dioxide storage benchmark scenario

Markus Köppel, Fabian Franzelin, Ilja Kröker, Sergey Oladyshkin, Gabriele Santin, Dominik Wittwar, Andrea Barth, Bernard Haasdonk, Wolfgang Nowak, Dirk Pflüger, Christian Rohde

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

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

Title: The structure of state transition graphs in hysteresis models with return point memory: I. General Theory

Muhittin Mungan, M. Mert Terzi

Comments: 55 pages, 16 figures. Rearrangement of material in the introductory part. Former Section 2 has been merged into preceding and succeeding section. Minor typos corrected. To appear in Ann. H. Poinc

Journal-ref: Ann. Henri Poincare (2019)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Soft Condensed Matter (cond-mat.soft); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

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

Title: Blockchain-Assisted Crowdsourced Energy Systems

Shen Wang, Ahmad Taha, Jianhui Wang

Comments: To appear in the 2018 PES General Meeting, Portland, Oregon, August 5--10, 2018

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

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

Title: Optimized Bacteria are Environmental Prediction Engines

Sarah E. Marzen, James P. Crutchfield

Comments: 7 pages, 1 figure; this http URL

Journal-ref: Phys. Rev. E 98, 012408 (2018)

Subjects: Populations and Evolution (q-bio.PE); Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT); Adaptation and Self-Organizing Systems (nlin.AO)

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

Title: Deep Private-Feature Extraction

Seyed Ali Osia, Ali Taheri, Ali Shahin Shamsabadi, Kleomenis Katevas, Hamed Haddadi, Hamid R. Rabiee

Subjects: Machine Learning (stat.ML); Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Machine Learning (cs.LG)

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

Title: In a One-Bit Rush: Low-Latency Wireless Spectrum Monitoring with Binary Sensor Arrays

Manuel S. Stein, Michael Fauß

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

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

Title: The $b$-bibranching Problem: TDI System, Packing, and Discrete Convexity

Kenjiro Takazawa

Comments: 19 pages

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

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

Title: A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

Manuel Bodirsky, Florent Madelaine, Antoine Mottet

Comments: A long version of an extended abstract that appeared in LICS 2018

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

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

Title: Explicit size distributions of failure cascades redefine systemic risk on finite networks

Rebekka Burkholz, Hans J. Herrmann, Frank Schweitzer

Comments: systemic risk, finite size effects, cascades, networks

Subjects: Physics and Society (physics.soc-ph); Statistics Theory (math.ST); Risk Management (q-fin.RM)

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

Title: A fast speed planning algorithm for robotic manipulators

Luca Consolini, Marco Locatelli, Andrea Minari, Akos Nagy, Istvan Vajk

Subjects: Robotics (cs.RO); Optimization and Control (math.OC)

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

Title: Peregrine's system revisited

Angel Durán (ETSI), Denys Dutykh (LAMA), Dimitrios Mitsotakis

Comments: 43 pages, 91 references, 15 figures, 2 tables. Other author's papers can be downloaded at this http URL

Journal-ref: In: Abcha N., Pelinovsky E., Mutabazi I. (Eds) Nonlinear Waves and Pattern Dynamics (2018). Springer, Cham, pp. 3-43

Subjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Atmospheric and Oceanic Physics (physics.ao-ph); Classical Physics (physics.class-ph)

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

Title: Opacity of nondeterministic transition systems: A (bi)simulation relation approach

Kuize Zhang, Xiang Yin, Majid Zamani

Comments: 21 pages, partially presented at IEEE CDC 2017

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

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

Title: Replica Approach for Minimal Investment Risk with Cost

Takashi Shinzato

Subjects: Portfolio Management (q-fin.PM); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Optimization and Control (math.OC); Risk Management (q-fin.RM)

[2866] arXiv:1802.03330 (cross-list from quant-ph) [pdf, other]

Title: Non-Hermitian noncommutative quantum mechanics

Jonas F. G. Santos, Fabricio. S. Luiz, Oscar. S. Duarte, Miled. H. Y. Moussa

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

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

Title: Large Scale Constrained Linear Regression Revisited: Faster Algorithms via Preconditioning

Di Wang, Jinhui Xu

Comments: Appear in AAAI-18

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

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

Title: On the symmetry properties of a random passive scalar with and without boundaries, and their connection between hot and cold states

Roberto Camassa, Zeliha Kilic, Richard M. McLaughlin

Subjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP)

[2869] arXiv:1802.03370 (cross-list from gr-qc) [pdf, other]

Title: Cosmological aspects of the Eisenhart-Duval lift

M. Cariglia, A. Galajinsky, G.W. Gibbons, P.A. Horvathy

Comments: Minor corrections and precisions, a couple of references added. 34 pages, 3 figures. To be published in European Physical Journal C

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

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

Title: Particle-without-Particle: a practical pseudospectral collocation method for linear partial differential equations with distributional sources

Marius Oltean, Carlos F. Sopuerta, Alessandro D.A.M. Spallicci

Comments: 41 pages, 11 figures; v2: references and clarifications added (mostly in the introduction), matches the published version in Journal of Scientific Computing

Journal-ref: Journal of Scientific Computing 79, 827 (2019)

Subjects: Computational Physics (physics.comp-ph); General Relativity and Quantum Cosmology (gr-qc); Numerical Analysis (math.NA); Neurons and Cognition (q-bio.NC); Computational Finance (q-fin.CP)

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

Title: Coded Sparse Matrix Multiplication

Sinong Wang, Jiashang Liu, Ness Shroff

Comments: new comparisons with existing sparse codes are added

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)

[2872] arXiv:1802.03433 (cross-list from cs.MS) [pdf, other]

Title: GPU Accelerated Finite Element Assembly with Runtime Compilation

Tao Cui, Xiaohu Guo, Hui Liu

Comments: 6 pages, 8 figures, conference

Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[2873] arXiv:1802.03436 (cross-list from cs.FL) [pdf, other]

Title: The language (and series) of Hammersley-type processes

Cosmin Bonchis, Gabriel Istrate, Vlad Rochian

Comments: to appear in Machines, Computation and Universality (MCU'2018)

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)

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

Title: Bayesian Compressive Sensing with Circulant Matrix for Spectrum Sensing in Cognitive Radio Networks

Fatima Salahdine, Naima Kaabouch, Hassan El Ghazi

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

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

Title: Communication-Computation Efficient Gradient Coding

Min Ye, Emmanuel Abbe

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