Related papers: A non-sequential arithmetical theory with pairing
Given a holomorphic vector bundle $E:EX X$ over a compact K\"ahler manifold, one introduces twisted GW-invariants of $X$ replacing virtual fundamental cycles of moduli spaces of stable maps $f: \Sigma \to X$ by their cap-product with a…
We construct two Frechet algebras admitting countably many mutually inequivalent Frechet algebra topologies. The second example is a modification of the maiden (and first) example of a non-Banach Frechet algebra with two inequivalent…
We examine a special linear combination of balanced very-well-poised $\tphia$ basic hypergeometric series that is known to satisfy a transformation. We call this $\Phi$ and show that it satisfies certain three-term contiguous relations.…
A tree $T$ on $2^n$ vertices is called set-sequential if the elements in $V(T)\cup E(T)$ can be labeled with distinct nonzero $(n+1)$-dimensional $01$-vectors such that the vector labeling each edge is the component-wise sum modulo $2$ of…
Field theories based on non-commutative spacetimes exhibit very distinctive nonlocal effects which mix the ultraviolet with the infrared in bizarre ways. In particular if the time coordinate is involved in the non-commutativity the theory…
We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory $T_0$ extending ${\sf RCA}_0$ and axiomatizable by a…
The superposition principle lies at the heart of many non-classical properties of quantum mechanics. Motivated by this, we introduce a rigorous resource theory framework for the quantification of superposition of a finite number of linear…
It has been understood that correlation functions of multi-trace operators in ${\cal N}=4$ SYM can be neatly computed using the group algebra of symmetric groups or walled Brauer algebras. On the other hand such algebras have been known to…
The Bar\'at-Thomassen conjecture asserts that there is a function $f$ such that for every fixed tree $T$ with $t$ edges, every graph which is $f(t)$-edge-connected with its number of edges divisible by $t$ has a partition of its edges into…
We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…
The celebrated Nash-Williams and Tutte's theorem states that a graph $G=(V, E)$ contains $k$ edge disjoint spanning trees if and only if $\nu_{f}(G) \geq k$, where $$\nu_{f}(G):=\min_{|\mathcal{\mathcal{P}}|>1, \text{$\mathcal{P}$ is a…
Let $F$ be a finite field of odd characteristic. We prove that any set $A\subset F$ with $|A|\geq C|F|^{5/6}$ contains a nontrivial quadratic progression $(x, x+y, x+y^2), y\neq 0.$ For prime fields, this improves the previous best-known…
We exhibit canonical middle-inverse Choice maps within categorical (Free-Variable) Theory of Primitive Recursion as well as in Theory of partial PR maps over the Theory of Primitive Recursion with predicate abstraction. Using these…
In this paper, we establish a new second main theorem for meromorphic functions on a non-Archimedean field and small functions with counting functions truncated to level $1.$ As an application, we show that two meromorphic functions on a…
A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality…
We show that, consistently, there is a Borel set which has uncountably many pairwise very non-disjoint translations, but does not allow a perfect set of such translations.
In this paper we obtain precise asymptotics for certain families of graphs, namely circulant graphs and degenerating discrete tori. The asymptotics contain interesting constants from number theory among which some can be interpreted as…
We consider pure equational theories that allow substitution but disallow induction, which we denote as PETS, based on recursive definition of their function symbols. We show that the Bounded Arithmetic theory $S^1_2$ proves the consistency…
Non-relativistic string theories promise to provide simpler theories of quantum gravity as well as tractable limits of the AdS/CFT correspondence. However, several apparently distinct non-relativistic string theories have been constructed.…
Vafa-Witten theory is a twisted N=4 supersymmetric gauge theory whose partition functions are the generating functions of the Euler number of instanton moduli spaces. In this paper, we recall quantum gauge theory with discrete electric and…