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

In this paper, we study the structure of set-multilinear arithmetic circuits and set-multilinear branching programs with the aim of showing lower bound results. We define some natural restrictions of these models for which we are able to…

Let $X$ and $Y$ be Banach spaces, $A\,:\,X\rightarrow Y$ and $B,\,C\,:\,Y\rightarrow X$ be bounded linear operators. We prove that if $A(BA)^2=ABACA=ACABA=(AC)^2A,$ then $$\sigma_{*}(AC)\setminus\{0\}=\sigma_{*}(BA)\setminus\{0\}$$ where…

In the theories of Lebesgue integration and of ordinary differential equations, the Lebesgue Dominated Convergence Theorem provides one of the most widely used tools. Available analogy in the Riemann or Riemann-Stieltjes integration is the…

The paper suggests a slightly more rigorous justification to Wang et al.'s work from 2007, and introduces the Slanted Line Integral.

We find matching pairs of the line defect indices for 3d supersymmetric Abelian gauge theories as strong evidence of dualities of the BPS line operators. They lead to novel duality maps of the BPS line operators for $\mathcal{N}\ge 4$…

We present a new manifestation of G\"odel's second incompleteness theorem and discuss its foundational significance, in particular with respect to Hilbert's program. Specifically, we consider a proper extension of Peano arithmetic…

This is the first paper of a series. We prove an arithmetic Hodge index theorem for adelic line bundles on projective varieties over number fields. It extends the arithmetic Hodge index theorem of Faltings, Hriljac and Moriwaki on…

This paper is the second in a series of planned papers which provide first bijective proofs of alternating sign matrix results. Based on the main result from the first paper, we construct a bijective proof of the enumeration formula for…

We introduce and analyse a new type of quantum 2-spheres. Then we apply index theory for noncommutative line bundles over these spheres to conclude that quantum lens spaces are non-crossed-product examples of principal extensions of…

We find upper and lower bounds of the multiplicities of irreducible admissible representations $\pi$ of a semisimple Lie group $G$ occurring in the induced representations $Ind_H^G\tau$ from irreducible representations $\tau$ of a closed…

Grade-$d$ measures on a $\sigma$-algebra $\mathcal{A}\subseteq 2^X$ over a set $X$ are generalizations of measures satisfying one of a hierarchy of weak additivity-type conditions initially introduced as interference operators in quantum…

We consider mixed branches of 3d $\mathcal{N}=4$ $T[SU(N)]$ theory. We compute the Hilbert series of the Coulomb branch part of the mixed branch from a restriction rule acting on the Hilbert series of the full Coulomb branch that will…

Let $\Lambda = \left[\begin{array}{cc} A & 0 \\ M & B \end{array}\right] $ be an Artin algebra and $_BM_A$ a $B$-$A$-bimodule. We prove that there is a triangle equivalence $D_{sg}(\Lambda) \cong D_{sg}(A)\coprod D_{sg}(B)$ between the…

We conjecture a formula for the Schur index of N=2 four-dimensional theories in the presence of boundary conditions and/or line defects, in terms of the low-energy effective Seiberg-Witten description of the system together with massive BPS…

Given an SFT $\Sigma$ and a finite set $S$ of finite words, let $\Sigma\langle S\rangle$ denote the subshift of $\Sigma$ that avoids $S$. We establish a general criterion under which we can bound the entropy perturbation…

A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel…

This paper gives insight into intriguing connections between two apparently unrelated theories: the theory of skein modules of 3-manifolds and the theory of representations of groups into special linear groups of 2 by 2 matrices. Let R be a…

We consider two axioms of second-order arithmetic. These axioms assert, in two different ways, that infinite but narrow binary trees always have infinite paths. We show that both axioms are strictly weaker than Weak K\"onig's Lemma, and…

The average value of log s(n)/n taken over the first N even integers is shown to converge to a constant lambda when N tends to infinity; moreover, the value of this constant is approximated and proven to be less than 0. Here s(n) sums the…

We present the partition function of the refined Chern-Simons theory on $S^3$ with arbitrary A,B,C,D gauge algebra in terms of multiple sine functions. For B and C cases this representation is novel. It allows us to conjecture duality to…