Related papers: On Non-Standard Models of B\"uchi Arithmetics

We present a brief summary of exact results on the non-perturbative effective superpotential of N=1 supersymmetric gauge theories based on generalized Konishi anomaly equations. In particular we consider theories with classical gauge groups…

Let $(\mathbf{B}, \|\cdot\|)$ be a real separable Banach space. Let $\{X, X_{n}; n \geq 1\}$ be a sequence of i.i.d. {\bf B}-valued random variables and set $S_{n} = \sum_{i=1}^{n}X_{i},~n \geq 1$. Let $\{a_{n}; n \geq 1\}$ and $\{b_{n}; n…

We extend the results of hep-th/0310137 to show that a general classical action for D=2, N=2 sigma models on a non(anti)commutative superspace is not standard and contains infinite number of terms, which depend on the determinant of the…

Quadratic algebras are generalizations of Lie algebras which include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…

We study sums with multiplicative functions that take values over a non-homogenous Beatty sequence. We then apply our result in a few special cases to obtain asymptotic formulas such as the number of integers in a Beatty sequence…

The purpose of this paper is to study stochastic evolution inclusions of the form \begin{align*} \eta(t,z) N_{\Theta}(dt \otimes z)\in dX(t)+\mathcal{A} X(t)dt, \end{align*} where $\mathcal{A}$ is a multi-valued operator acting on a…

We first present some identities involving the Pochhammer symbol (rising factorial). We also recall and present some new properties of the Jacobi polynomials. We use them to expand a general hypergeometric function in an orthogonal series…

Several new methods of numerical integration of Cauchy problems with blow-up solutions for nonlinear ordinary differential equations of the first- and second-order are described. Solutions of such problems have singularities whose positions…

The paper first covers several properties of the extension of the divisibility relation to a set ${}^*\hspace{-0.5mm}N$ of nonstandard integers. After that, a connection is established with the divisibility in the Stone-\v{C}ech…

We analyze a U(2)-matrix model derived from a finite spectral triple. By applying the BV formalism, we find a general solution to the classical master equation. To describe the BV formalism in the context of noncommutative geometry, we…

Let $d(n)$ and $d^{\ast}(n)$ be the numbers of divisors and the numbers of unitary divisors of the integer $n\geq1$. In this paper, we prove that \[ \underset{n\in\mathcal{B}}{\underset{n\leq x}{\sum}}\frac{d(n)}{d^{\ast}% (n)}=\frac{16\pi%…

Modify the Blum-Shub-Smale model of computation replacing the permitted computational primitives (the real field operations) with any finite set $B$ of real functions semialgebraic over the rationals. Consider the class of boolean decision…

Let \phi be a first order formula and M be a countable model. \phi^M denotes the set of all assignments that satisfy \phi in M. Let M, N be countable models. A formula \phi distinguishes these models if |\phi^M|\neq |\phi^N|. We show that…

For nonuniform exponentially bounded evolution families defined on Banach spaces, we introduce a class of Banach function spaces, whose norms are completely determined by the nonuniform behaviour of the corresponding evolution family. We…

We give a criterion ensuring that the elementary class of a modular Banach space E (that is, the class of Banach spaces, some ultrapower of which is linearly isometric to an ultrapower of E) consists of all direct sums E\oplus_m H, where H…

In this work we consider the following class of elliptic problems $$- \Delta_A u + u = a(x) |u|^{q-2}u+b(x) |u|^{p-2}u , \mbox{ in } \mathbb{R}^N, $$ $u\in H^1_A (\mathbb{R}^N)$, with $2<q<p<2^*= \frac{2N}{N-2}$, $a(x)$ and $b(x)$ are…

Parikh's Theorem is a fundamental result in automata theory with numerous applications in computer science: software verification (e.g. infinite-state verification, string constraints, and theory of arrays), verification of cryptographic…

We introduce a class of permutation centralizer algebras which underly the combinatorics of multi-matrix gauge invariant observables. One family of such non-commutative algebras is parametrised by two integers. Its Wedderburn-Artin…

The S-measure construction from nonstandard analysis is used to prove an extension of a result on the intersection of sets in a finitely-additive measure space. This is then used to give a density-limit version of a representation theorem…

We introduce and study non-uniform expansions of real numbers, given by two non-integer bases.