Top 10 Arxiv Papers Today in Mathematics


2.031 Mikeys
#1. Noisy Accelerated Power Method for Eigenproblems with Applications
Vien V. Mai, Mikael Johansson
This paper introduces an efficient algorithm for finding the dominant generalized eigenvectors of a pair of symmetric matrices. Combining tools from approximation theory and convex optimization, we develop a simple scalable algorithm with strong theoretical performance guarantees. More precisely, the algorithm retains the simplicity of the well-known power method but enjoys the asymptotic iteration complexity of the powerful Lanczos method. Unlike these classic techniques, our algorithm is designed to decompose the overall problem into a series of subproblems that only need to be solved approximately. The combination of good initializations, fast iterative solvers, and appropriate error control in solving the subproblems lead to a linear running time in the input sizes compared to the superlinear time for the traditional methods. The improved running time immediately offers acceleration for several applications. As an example, we demonstrate how the proposed algorithm can be used to accelerate canonical correlation analysis, which...
more | pdf | html
Figures
None.
Tweets
arxiv_org: Noisy Accelerated Power Method for Eigenproblems with Applications. https://t.co/6P14bX9PJf https://t.co/USddGq7Ti0
arxivml: "Noisy Accelerated Power Method for Eigenproblems with Applications", Vien V. Mai, Mikael Johansson https://t.co/g8NGze6ezY
mathOCb: Vien V. Mai, Mikael Johansson : Noisy Accelerated Power Method for Eigenproblems with Applications https://t.co/TeUBKP8eYp https://t.co/brUvV2nptW
arxiv_cs_LG: Noisy Accelerated Power Method for Eigenproblems with Applications. Vien V. Mai and Mikael Johansson https://t.co/RLgAZYZNPR
Memoirs: Noisy Accelerated Power Method for Eigenproblems with Applications. https://t.co/F6XNiHFf9R
JoshARhoads: RT @arxiv_org: Noisy Accelerated Power Method for Eigenproblems with Applications. https://t.co/6P14bX9PJf https://t.co/USddGq7Ti0
ChristEd930427: RT @arxiv_org: Noisy Accelerated Power Method for Eigenproblems with Applications. https://t.co/6P14bX9PJf https://t.co/USddGq7Ti0
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 11371
Unqiue Words: 2517

2.024 Mikeys
#2. SVAG: Unified Convergence Results for SAG-SAGA Interpolation with Stochastic Variance Adjusted Gradient Descent
Martin Morin, Pontus Giselsson
We analyze SVAG, a variance reduced stochastic gradient method with SAG and SAGA as special cases. Our convergence result for SVAG is the first to simultaneously capture both the biased low-variance method SAG and the unbiased high-variance method SAGA. In the case of SAGA, it matches previous upper bounds on the allowed step-size. The SVAG algorithm has a parameter that decides the bias-variance trade-off in the stochastic gradient estimate. We provide numerical examples demonstrating the intuition behind this bias-variance trade-off.
more | pdf | html
Figures
None.
Tweets
BrundageBot: SVAG: Unified Convergence Results for SAG-SAGA Interpolation with Stochastic Variance Adjusted Gradient Descent. Martin Morin and Pontus Giselsson https://t.co/4kgC3ddyWE
Quasi_quant2010: learnig rate調整ではなく、svrgのvariance adjustment。 https://t.co/YDhtg5drHC
mathOCb: Martin Morin, Pontus Giselsson : SVAG: Unified Convergence Results for SAG-SAGA Interpolation with Stochastic Variance Adjusted Gradient Descent https://t.co/oBl9a9xLeI https://t.co/0LBcurlYzX
MathPaper: SVAG: Unified Convergence Results for SAG-SAGA Interpolation with Stochastic Variance Adjusted Gradient Descent. https://t.co/JsEoRWjfhy
arxivml: "SVAG: Unified Convergence Results for SAG-SAGA Interpolation with Stochastic Variance Adjusted Gradient Descent", … https://t.co/P89K6ux27Z
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 5305
Unqiue Words: 1409

2.016 Mikeys
#3. A Note on OTM-Realizability and Constructive Set Theories
Merlin Carl
We define an ordinalized version of Kleene's realizability interpretation of intuitionistic logic by replacing Turing machines with Koepke's ordinal Turing machines (OTMs), thus obtaining a notion of realizability applying to arbitrary statements in the language of set theory. We observe that every instance of the axioms of intuitionistic first-order logic are OTM-realizable and consider the question which axioms of Friedman's Intuitionistic Set Theory (IZF) and Aczel's Constructive Set Theory (CZF) are OTM-realizable. This is an introductory note, and proofs are mostly only sketched or omitted altogether. It will soon be replaced by a more elaborate version.
more | pdf | html
Figures
None.
Tweets
logicians: “A Note on OTM-Realizability and Constructive Set Theories”, M. Carl. #math #logic https://t.co/EFk9uH8iQ2
mathLOb: Merlin Carl : A Note on OTM-Realizability and Constructive Set Theories https://t.co/7Eiat8RGJc https://t.co/XbSxgTa8H4
MathPaper: A Note on OTM-Realizability and Constructive Set Theories. https://t.co/RaozbCezzs
BenediktLoewe: RT @logicians: “A Note on OTM-Realizability and Constructive Set Theories”, M. Carl. #math #logic https://t.co/EFk9uH8iQ2
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 2434
Unqiue Words: 859

2.012 Mikeys
#4. Notes on Markov embedding
Michael Baake, Jeremy Sumner
The representation problem of finite-dimensional Markov matrices in Markov semigroups is revisited, with emphasis on concrete criteria for matrix subclasses of theoretical or practical relevance, such as equal-input, circulant, symmetric or doubly stochastic matrices. Here, we pay special attention to various algebraic properties of the embedding problem, and discuss the connection with the centraliser of a Markov matrix.
more | pdf | html
Figures
Tweets
mathPRb: Michael Baake (Bielefeld), Jeremy Sumner (UTAS, Hobart) : Notes on Markov embedding https://t.co/7YnS1tf5le https://t.co/V6xjDBeVSi
jezlurch: New pre-print with Michael Baake exploring the Markov embedding problem. We report some general algebraic properties and apply to several important subclasses of Markov models. https://t.co/ZFDdsf3sqW
BioPapers: Notes on Markov embedding. https://t.co/fli1o2EJdX
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 15710
Unqiue Words: 2874

2.011 Mikeys
#5. Thermodynamic limit of the two-spinon form factors for the zero field XXX chain
Nikolai Kitanine, Giridhar Kulkarni
In this paper we propose a method based on the algebraic Bethe ansatz leading to explicit results for the form factors of quantum spin chains in the thermodynamic limit. Starting from the determinant representations we retrieve in particular the formula for the two-spinon form factors for the isotropic XXX Heisenberg chain obtained initially in the framework of the $q$-vertex operator approach.
more | pdf | html
Figures
None.
Tweets
mathMPb: Nikolai Kitanine, Giridhar Kulkarni : Thermodynamic limit of the two-spinon form factors for the zero field XXX chain https://t.co/i5dSdWohW9 https://t.co/EL5SQxSd01
OSablin: "Thermodynamic limit of the two-spinon form factors for the zero field XXX chain. (arXiv:1903.09058v1 [math-ph])" https://t.co/0DmpSXKQmV
SciencePapers: Thermodynamic limit of the two-spinon form factors for the zero field XXX chain. https://t.co/Ag4AgtTjB1
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 10679
Unqiue Words: 2078

2.011 Mikeys
#6. Coalgebraic Geometric Logic
Nick Bezhanishvili, Jim de Groot, Yde Venema
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor $\mathsf{T}$ on some full subcategory of the category $\mathbf{Top}$ of topological spaces and continuous functions. We compare the notions of modal equivalence, behavioural equivalence and bisimulation on the resulting class of models, and we provide a final object for the corresponding category. Furthermore, we specify a method of lifting an endofunctor on $\mathbf{Set}$, accompanied by a collection of predicate liftings, to an endofunctor on the category of topological spaces.
more | pdf | html
Figures
None.
Tweets
logicians: “Coalgebraic Geometric Logic”, N. Bezhanishvili, et al. #math #logic https://t.co/bHokk1ABsp
mathLOb: Nick Bezhanishvili, Jim de Groot, Yde Venema : Coalgebraic Geometric Logic https://t.co/ik8vkaE2c2 https://t.co/8YnXvy9Kb1
berenbeim: RT @mathLOb: Nick Bezhanishvili, Jim de Groot, Yde Venema : Coalgebraic Geometric Logic https://t.co/ik8vkaE2c2 https://t.co/8YnXvy9Kb1
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 14337
Unqiue Words: 2191

2.01 Mikeys
#7. Irreversible Langevin MCMC on Lie Groups
Alexis Arnaudon, Alessandro Barp, So Takao
It is well-known that irreversible MCMC algorithms converge faster to their stationary distributions than reversible ones. Using the special geometric structure of Lie groups $\mathcal G$ and dissipation fields compatible with the symplectic structure, we construct an irreversible HMC-like MCMC algorithm on $\mathcal G$, where we first update the momentum by solving an OU process on the corresponding Lie algebra $\mathfrak g$, and then approximate the Hamiltonian system on $\mathcal G \times \mathfrak g$ with a reversible symplectic integrator followed by a Metropolis-Hastings correction step. In particular, when the OU process is simulated over sufficiently long times, we recover HMC as a special case. We illustrate this algorithm numerically using the example $\mathcal G = SO(3)$.
more | pdf | html
Figures
None.
Tweets
mathSTb: Alexis Arnaudon, Alessandro Barp, So Takao : Irreversible Langevin MCMC on Lie Groups https://t.co/GTF0vpk3CJ https://t.co/mALV77DIr7
StatsPapers: Irreversible Langevin MCMC on Lie Groups. https://t.co/x9LTpzTvgi
MarcosMatabuena: RT @StatsPapers: Irreversible Langevin MCMC on Lie Groups. https://t.co/x9LTpzTvgi
331prime: RT @StatsPapers: Irreversible Langevin MCMC on Lie Groups. https://t.co/x9LTpzTvgi
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 3657
Unqiue Words: 1241

2.01 Mikeys
#8. Graphs avoiding immersion of K_{3,3}
Zdeněk Dvořák, Michal Hruška
DeVos and Malekian gave a structural description of graphs avoiding an immersion of K_{3,3}, showing that all such graphs are composed over small edge-cuts from graphs with at most 8 vertices and from 3-regular planar graphs. We provide another proof of this fact, simpler in some aspects.
more | pdf | html
Figures
None.
Tweets
mathCObot: Zdeněk Dvořák, Michal Hruška : Graphs avoiding immersion of K_{3,3} https://t.co/EIEUnLzgYT https://t.co/Sy4eVi41HZ
MathPaper: Graphs avoiding immersion of K_{3,3}. https://t.co/nySyv7ukDu
Derektionary: RT @MathPaper: Graphs avoiding immersion of K_{3,3}. https://t.co/nySyv7ukDu
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 7751
Unqiue Words: 1213

2.009 Mikeys
#9. Trace decategorification of tensor product algebras
Christopher Leonard, Michael Reeks
We show that in ADE type the trace of Webster's categorification of a tensor product of irreducibles for the quantum group is isomorphic to a tensor product of Weyl modules for the current algebra $\dot{U}(\mathfrak{g}[t])$. This extends a result of Beliakova, Habiro, Lauda, and Webster who showed that the trace of the categorified quantum group $\dot{\mathcal{U}}^*(\mathfrak{g})$ is isomorphic to $\dot{U}(\mathfrak{g}[t])$, and the trace of a cyclotomic quotient of $\dot{\mathcal{U}}^*(\mathfrak{g})$, which categorifies a single irreducible for the quantum group, is isomorphic to a Weyl module for $\dot{U}(\mathfrak{g}[t])$. We use a deformation argument based on Webster's technique of unfurling 2-representations.
more | pdf | html
Figures
None.
Tweets
mathRTb: Christopher Leonard, Michael Reeks : Trace decategorification of tensor product algebras https://t.co/9dEK56cBoE https://t.co/wBnZs2YOOy
MathPaper: Trace decategorification of tensor product algebras. https://t.co/UAjVd1q9ED
ysykimura: RT @MathPaper: Trace decategorification of tensor product algebras. https://t.co/UAjVd1q9ED
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 18506
Unqiue Words: 2821

2.008 Mikeys
#10. Cohomologie des fibrés en droite sur SL3 /B en caractéristique positive : deux filtrations et conséquences
Linyuan Liu
In the paper, I will prove the existence of two filtrations of the cohomology of line bundles on SL_3/B. The first one is a two-step filtration that exists for $H^1(\mu)$ and $H^2(\mu)$ if $\mu$ is in the Griffith region. The second one exists for all $H^i(\mu)$, which is similar to the p-filtration that has been considered by Jens Carsten Jantzen.
more | pdf | html
Figures
None.
Tweets
MathPaper: Cohomologie des fibr\'es en droite sur SL3 /B en caract\'eristique positive : deux filtrations et cons\'equences. https://t.co/3t9L9i2Lxa
mathRTb: Linyuan Liu : Cohomologie des fibrés en droite sur SL3 /B en caractéristique positive : deux filtrations et conséquences https://t.co/MaDZNoBUuA https://t.co/SqcNwgx4JI
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 42231
Unqiue Words: 3320

About

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

Tracking 99,586 papers.

Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Categories
All
Astrophysics
Cosmology and Nongalactic Astrophysics
Earth and Planetary Astrophysics
Astrophysics of Galaxies
High Energy Astrophysical Phenomena
Instrumentation and Methods for Astrophysics
Solar and Stellar Astrophysics
Condensed Matter
Disordered Systems and Neural Networks
Mesoscale and Nanoscale Physics
Materials Science
Other Condensed Matter
Quantum Gases
Soft Condensed Matter
Statistical Mechanics
Strongly Correlated Electrons
Superconductivity
Computer Science
Artificial Intelligence
Hardware Architecture
Computational Complexity
Computational Engineering, Finance, and Science
Computational Geometry
Computation and Language
Cryptography and Security
Computer Vision and Pattern Recognition
Computers and Society
Databases
Distributed, Parallel, and Cluster Computing
Digital Libraries
Discrete Mathematics
Data Structures and Algorithms
Emerging Technologies
Formal Languages and Automata Theory
General Literature
Graphics
Computer Science and Game Theory
Human-Computer Interaction
Information Retrieval
Information Theory
Machine Learning
Logic in Computer Science
Multiagent Systems
Multimedia
Mathematical Software
Numerical Analysis
Neural and Evolutionary Computing
Networking and Internet Architecture
Other Computer Science
Operating Systems
Performance
Programming Languages
Robotics
Symbolic Computation
Sound
Software Engineering
Social and Information Networks
Systems and Control
Economics
Econometrics
General Economics
Theoretical Economics
Electrical Engineering and Systems Science
Audio and Speech Processing
Image and Video Processing
Signal Processing
General Relativity and Quantum Cosmology
General Relativity and Quantum Cosmology
High Energy Physics - Experiment
High Energy Physics - Experiment
High Energy Physics - Lattice
High Energy Physics - Lattice
High Energy Physics - Phenomenology
High Energy Physics - Phenomenology
High Energy Physics - Theory
High Energy Physics - Theory
Mathematics
Commutative Algebra
Algebraic Geometry
Analysis of PDEs
Algebraic Topology
Classical Analysis and ODEs
Combinatorics
Category Theory
Complex Variables
Differential Geometry
Dynamical Systems
Functional Analysis
General Mathematics
General Topology
Group Theory
Geometric Topology
History and Overview
Information Theory
K-Theory and Homology
Logic
Metric Geometry
Mathematical Physics
Numerical Analysis
Number Theory
Operator Algebras
Optimization and Control
Probability
Quantum Algebra
Rings and Algebras
Representation Theory
Symplectic Geometry
Spectral Theory
Statistics Theory
Mathematical Physics
Mathematical Physics
Nonlinear Sciences
Adaptation and Self-Organizing Systems
Chaotic Dynamics
Cellular Automata and Lattice Gases
Pattern Formation and Solitons
Exactly Solvable and Integrable Systems
Nuclear Experiment
Nuclear Experiment
Nuclear Theory
Nuclear Theory
Physics
Accelerator Physics
Atmospheric and Oceanic Physics
Applied Physics
Atomic and Molecular Clusters
Atomic Physics
Biological Physics
Chemical Physics
Classical Physics
Computational Physics
Data Analysis, Statistics and Probability
Physics Education
Fluid Dynamics
General Physics
Geophysics
History and Philosophy of Physics
Instrumentation and Detectors
Medical Physics
Optics
Plasma Physics
Popular Physics
Physics and Society
Space Physics
Quantitative Biology
Biomolecules
Cell Behavior
Genomics
Molecular Networks
Neurons and Cognition
Other Quantitative Biology
Populations and Evolution
Quantitative Methods
Subcellular Processes
Tissues and Organs
Quantitative Finance
Computational Finance
Economics
General Finance
Mathematical Finance
Portfolio Management
Pricing of Securities
Risk Management
Statistical Finance
Trading and Market Microstructure
Quantum Physics
Quantum Physics
Statistics
Applications
Computation
Methodology
Machine Learning
Other Statistics
Statistics Theory
Feedback
Online
Stats
Tracking 99,586 papers.