相关论文: A Note on Induction Schemas in Bounded Arithmetic

Let $d,n$ be positive integers and $S$ be an arbitrary set of positive integers. We say that $d$ is an $S$-divisor of $n$ if $d|n$ and gcd $(d,n/d)\in S$. Consider the $S$-convolution of arithmetical functions given by (1.1), where the sum…

We present a combination of the Mixed-Echelon-Hermite transformation and the Double-Bounded Reduction for systems of linear mixed arithmetic that preserve satisfiability and can be computed in polynomial time. Together, the two…

In 1985, Bloom characterized the boundedness of the commutator $[b,H]$ as a map between a pair of weighted $L^{p}$ spaces, where both weights are in $A_p$. The characterization is in terms of a novel $BMO$ condition. We give a 'modern'…

We show that if $\mathcal{L}_1$ and $\mathcal{L}_2$ are linear transformations from $\mathbb{Z}^d$ to $\mathbb{Z}^d$ satisfying certain mild conditions, then, for any finite subset $A$ of $\mathbb{Z}^d$, $$|\mathcal{L}_1 A+\mathcal{L}_2…

Monoidal closed categories naturally model NMILL, non-commutative multiplicative intuitionistic linear logic: the monoidal unit and tensor interpret the multiplicative verum and conjunction; the internal hom interprets linear implication.…

The famous $T1$ theorem for classical Calder\'on-Zygmund operators is a characterisation for their boundedness in $L^{2}$. In the bi-parameter case, on the other hand, the current $T1$ theorem is merely a collection of sufficient…

We consider generic bricks and use them in the study of arbitrary biserial algebras over algebraically closed fields. For a biserial algebra $\Lambda$, we show that $\Lambda$ is brick-infinite if and only if it admits a generic brick, that…

The weak boundedness property associated with a standard alpha-fractional Calderon-Zygmund operator and a weight pair is good-lambda controlled by the testing conditions and the Muckenhoupt and energy side conditions. As a consequence,…

In this paper it is argued that the central charge extension of the Coulomb branch of ${\cal N}=4 $ SYM theory appears as a limit of Beisert's central charge extension of the planar ${\cal N}=4 $ spin chain in the presence of boundaries.…

Let $u:A\to B$ be a bounded linear operator between two $C^*$-algebras $A,B$. The following result was proved by the second author. Theorem 0.1. There is a numerical constant $K_1$ such that for all finite sequences $x_1,\ldots, x_n$ in $A$…

The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…

Given a Legendrian knot $\Lambda \subset \mathbb{R}^3$ and a vertical line dividing the front projection of $\Lambda$ into two halves, we construct a differential graded algebra associated to each half-knot. We then show that one may obtain…

Arzel\`a's bounded convergence theorem (1885) states that if a sequence of Riemann integrable functions on a closed interval is uniformly bounded and has an integrable pointwise limit, then the sequence of their integrals tends to the…

We give here a counter-example to a conjecture of Spivakovsky. M. Spivakovsky conjectured that the function that appears in the strong Artin approximation theorem is bounded by a linear function. First we show that there is no Liouville…

This paper resolves a famous and longstanding open question in automata theory, i.e., the {\it linear-bounded automata question} (or shortly, LBA question), which can also be phrased succinctly in the language of computational complexity…

Add to each level of binary tree edges to make the induced graph on the level a uniform expander. It is shown that such a graph admits no non-constant bounded harmonic functions.

SL_2-tilings were introduced by Assem, Reutenauer, and Smith in connection with frieses and their applications to cluster algebras. An SL_2-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 x 2-submatrix has…

The physics of ``particles of spin $\leq 2$'' leads to representations of a Lie algebra $\Xi$ of gauge parameters on a vector space $\Phi$ of fields. Attempts to develop an analogous theory for spin $>2$ have failed; in fact, there are…

In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without…

We study a new class of NP search problems, those which can be proved total using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoning is the bounded arithmetic theory $\mathrm{APC}_2$ of…