### Top 10 Arxiv Papers Today in Mathematics

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 11371
Unqiue Words: 2517

##### #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
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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 5305
Unqiue Words: 1409

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 2434
Unqiue Words: 859

##### #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
###### 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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 15710
Unqiue Words: 2874

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 10679
Unqiue Words: 2078

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 3
Total Words: 14337
Unqiue Words: 2191

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 3
Total Words: 3657
Unqiue Words: 1241

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 7751
Unqiue Words: 1213

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 18506
Unqiue Words: 2821

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 42231
Unqiue Words: 3320

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
Online
###### Stats
Tracking 99,586 papers.