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.

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.

Sample Sizes : None.

Authors: 2

Total Words: 11371

Unqiue Words: 2517

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.

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

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 5305

Unqiue Words: 1409

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.

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.

Sample Sizes : None.

Authors: 1

Total Words: 2434

Unqiue Words: 859

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
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.

Sample Sizes : None.

Authors: 2

Total Words: 15710

Unqiue Words: 2874

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.

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.

Sample Sizes : None.

Authors: 2

Total Words: 10679

Unqiue Words: 2078

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.

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.

Sample Sizes : None.

Authors: 3

Total Words: 14337

Unqiue Words: 2191

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.

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.

Sample Sizes : None.

Authors: 3

Total Words: 3657

Unqiue Words: 1241

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.

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.

Sample Sizes : None.

Authors: 2

Total Words: 7751

Unqiue Words: 1213

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.

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.

Sample Sizes : None.

Authors: 2

Total Words: 18506

Unqiue Words: 2821

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.

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.

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.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible