Related papers: On Non-Standard Models of B\"uchi Arithmetics
The symbol is used to describe the Springer correspondence for the classical groups. We propose equivalent definitions of symbols for rigid partitions in the $B_n$, $C_n$, and $D_n$ theories uniformly. Analysing the new definition of symbol…
The determinization of a nondeterministic B\"uchi automaton (NBA) is a fundamental construction of automata theory, with applications to probabilistic verification and reactive synthesis. The standard determinization constructions, such as…
The aim of this paper is to highlight a hitherto unknown computational aspect of Nonstandard Analysis. Recently, a number of nonstandard versions of Goedel's system T have been introduced ([2,9,12]), and it was shown in [26] that the…
We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Goedel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones.…
Inspired by the intimate relationship between Voiculescu's noncommutative probability theory (of type A) and large-N matrix models in physics, we look for physical models related to noncommutative probability theory of type B. These turn…
Decision Diagrams(DDs) are one of the most popular representations for boolean functions. They are widely used in the design and verification of circuits. Different types of DDs have been proven to represent important functions in…
The omega-regular separability problem for B\"uchi VASS coverability languages has recently been shown to be decidable, but with an EXPSPACE lower and a non-primitive recursive upper bound -- the exact complexity remained open. We close…
Ali Enayat had asked whether there is a nonstandard model of Peano arithmetic (PA) that can be represented as $\langle\mathbb{Q},\oplus,\otimes\rangle$, where $\oplus$ and $\otimes$ are continuous functions on the rationals $\mathbb{Q}$. We…
We study renormalizable nonlinear sigma-models in two dimensions with N=2 supersymmetry described in superspace in terms of chiral and complex linear superfields. The geometrical structure of the underlying manifold is investigated and the…
A leading-power factorization formula for weight functions relating the B to Xs gamma photon spectrum to arbitrary partial decay rates in B to Xu l nu is derived. These weight functions are independent of the hadronic shape function and…
Benyamini and Lindenstrauss mention in their monograph \emph{Geometric nonlinear functional analysis Vol. 1., American Mathematical Society Colloquium Publications, 48. American Mathematical Society, Providence, RI, 2000} that there is no…
In this paper, we study the partition functions $\overline{R_\ell^\ast}(n)$, which count the number of overpartitions of $n$ where the non-overlined parts are $\ell$-regular for a given $\ell$. Using elementary techniques, as well as the…
Classical results of second order parabolic quasi-linear equations always require that the nonlinear terms are controlled by a power of the unknown functions and their first derivatives. We improve the previous results. More precisely, in…
We introduce moduli spaces of abelian varieties which are arithmetic models of Shimura varieties attached to unitary groups of signature (n-1, 1). We define arithmetic cycles on these models and study their intersection behaviour. In…
The consideration of nonstandard models of the real numbers and the definition of a qualitative ordering on those models provides a generalization of the principle of maximization of expected utility. It enables the decider to assign…
We introduce a general method to count unlabeled combinatorial structures and to efficiently generate them at random. The approach is based on pointing unlabeled structures in an "unbiased" way that a structure of size n gives rise to n…
Holonomic functions play an essential role in Computer Algebra since they allow the application of many symbolic algorithms. Among all algorithmic attempts to find formulas for power series, the holonomic property remains the most important…
Beurling-Carleson sets have appeared in a number of areas of complex analysis such as boundary zero sets of analytic functions, inner functions with derivative in the Nevanlinna class, cyclicity in weighted Bergman spaces, Fuchsian groups…
We elucidate the geometry of the polynomial formulation of the non-abelian Stueckelberg mechanism. We show that a natural off-shell nilpotent BRST differential exists allowing to implement the constraint on the sigma field by means of BRST…
We investigate the problem of numerical differentiation of bivariate functions from weighted Wiener classes using Chebyshev polynomial expansions. We develop and analyze a new version of the truncation method based on Chebyshev polynomials…