Related papers: A Note on Induction Schemas in Bounded Arithmetic

4d $\mathcal{N} = 2$ SCFTs and their invariants can be often enriched by non-local BPS operators. In this paper we study the flavored Schur index of several types of N = 2 SCFTs with and without line operators, using a series of new…

The Schur algebra is the algebra of operators which are bounded on l^1 and on l^{\infty}. Q. Sun conjectured that the Schur algebra is inverse-closed. In this note, we disprove this conjecture. Precisely, we exhibit an operator in the Schur…

Fix n>2. Let s be a principally embedded sl(2)-subalgebra in sl(n). A special case of results of the second author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite dimensional…

We study when a sound arithmetic theory $\mathcal S{\supseteq}S^1_2$ with polynomial-time decidable axioms efficiently proves the bounded consistency statements $Con_{\mathcal S{+}\phi}(n)$ for a true sentence $\phi$. Equivalently, we ask…

We develop a wide general theory of bilinear bi-parameter singular integrals $T$. First, we prove a dyadic representation theorem starting from $T1$ assumptions and apply it to show many estimates, including $L^p \times L^q \to L^r$…

Famous descriptive characterisations of P and PSPACE are restated in terms of the Cook-Nguyen style second order bounded arithmetic. We introduce an axiom of inductive definitions over second order bounded arithmetic. We show that P can be…

In [Kim05], Kim gave a new proof of Siegel's Theorem that there are only finitely many $S$-integral points on $\mathbb P^1_{\mathbb Z}\setminus\{0,1,\infty\}$. One advantage of Kim's method is that it in principle allows one to actually…

For most purposes, one can replace the use of Rolle's theorem and the mean value theorem, which are not constructively valid, by the law of bounded change. The proof of two basic results in numerical analysis, the error term for Lagrange…

We prove a downward separation for $\mathsf{\Sigma}_2$-time classes. Specifically, we prove that if $\Sigma_2$E does not have polynomial size non-deterministic circuits, then $\Sigma_2$SubEXP does not have \textit{fixed} polynomial size…

This paper gives an explicit argument to show strong boundedness for ${\rm Sp}_{2n}(R)$ for $R$ a ring of S-algebraic integers or a semi-local ring. This gives a quantitative version of a related abstract result in a previous paper of the…

In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $\Sigma_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is…

In this paper we introduce an algebra embedding $\iota:K< X >\to S$ from the free associative algebra $K< X >$ generated by a finite or countable set $X$ into the skew monoid ring $S = P * \Sigma$ defined by the commutative polynomial ring…

We prove that for every graph H and for every integer s, the class of graphs that do not contain K_s, K_{s,s}, or any subdivision of H as an induced subgraph has bounded expansion; this strengthens a result of Kuhn and Osthus. The argument…

We study various conjectural dual descriptions of a stack of M2-branes in M-theory including ADHM, ABJ(M), BLG, discrete gauge theories and quiver Chern-Simons (CS) theories and propose several new dualities of the M2-brane SCFTs by…

For each $s\in \mathbb R$ and $n\in \mathbb N$, let $\sigma_s(n) = \sum_{d\mid n}d^s$. In this article, we give a comparison between $\sigma_s(an+b)$ and $\sigma_s(cn+d)$ where $a$, $b$, $c$, $d$, $s$ are fixed, the vectors $(a,b)$ and…

In this paper, we look at a linear system of ordinary differential equations as derived from the two-dimensional Ginzburg-Landau equation. In two cases, it is known that this system admits bounded solutions coming from the invariance of the…

Here we prove the following result. Let $A = \{a_{ij}\}_{i,j\in \mathbb{N}}$ be a bounded operator. Then there exists a signing of $A$ such that $$||A\circ S||_2 < 2||A||_{l_\infty(l_2)},$$ where $A\circ S$ denotes the matrix generated by…

We prove that the gcd of certain infinite number of integers associated to generalised arithmetic progressions remains bounded independent of the progression. Using this we also get bounds on the indices of certain congruence subgroups of…

We study the algebra $\Sigma_n$ induced by the action of the symmetric group $S_n$ on $V^{\otimes n}$ when $\dim V=2$. Our main result is that the space of symmetric elements of $\Sigma_n$ is linearly spanned by the involutions of $S_n$.

In this note, we use the concept of a polynomial ring to give an elementary proof to Cayley-Hamilton Theorem. We also give an elementary proof to Birkhoff theorem on Bi-stochastic matrices.