Related papers: On Non-Standard Models of B\"uchi Arithmetics
B\"uchi's theorem states that $\omega$-regular languages are characterized as languages of the form $\bigcup_i U_i V_i^\omega$, where $U_i$ and $V_i$ are regular languages. Parikh automata are automata on finite words whose transitions are…
The $A$-partition function $p_A(n)$ enumerates those partitions of $n$ whose parts belong to a fixed (finite or infinite) set $A$ of positive integers. On the other hand, the extended $A$-partition function…
A formulation of (non-anticommutative) N=1/2 supersymmetric U(N) gauge theory in noncommutative space is studied. We show that at one loop UV/IR mixing occurs. A generalization of Seiberg-Witten map to noncommutative and non-anticommutative…
We study algebraic algorithms for expressing the number of non-negative integer solutions to a unimodular system of linear equations as a function of the right hand side. Our methods include Todd classes of toric varieties via Gr\"obner…
To investigate the non-perturbative, electric sector of a deconfined gauge theory at nonzero temperature, we consider a SU(2) matrix model. We compute beta-functions to one loop order for the simplest extension of the O(4) nonlinear sigma…
The beta-Bernoulli process provides a Bayesian nonparametric prior for models involving collections of binary-valued features. A draw from the beta process yields an infinite collection of probabilities in the unit interval, and a draw from…
For every integer $n \geq 3$, we prove that the n-sublinear generalization of the Bi-Carleson operator of Muscalu, Tao, and Thiele given by nC^{\vec{\alpha}} :(f_1,..., f_n) \mapsto \sup_{M} \left| \int_{\vec{\xi} \cdot \vec{\alpha} >0,…
We consider N=2 supersymmetric nonlinear sigma-models in two dimensions defined in terms of the nonminimal scalar multiplet. We compute in superspace the one-loop beta function and show that the classical duality between these models and…
Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA is a cluster of n isomorphic right-handed skew BAs,…
Scale invariant scattering suggests that all Bernoulli numbers B_{2n} can be naturally partitioned, i.e., written as particular finite sums of same-signed, monotonic, rational numbers. Some properties of these rational numbers are discussed…
We present a noncommutative gauge theory that has the ordinary Standard Model as its low-energy limit. The model is based on the gauge group U(4) x U(3) x U(2) and is constructed to satisfy the key requirements imposed by noncommutativity:…
Lately, there have been intensive studies on strengths and limitations of nonuniform families of promise decision problems solvable by various types of polynomial-size finite automata families, where ``polynomial-size'' refers to the…
In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…
Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose characteristic functions can be…
In this work, we investigate a coordinate space structure function ${\cal E}(z^2m^2,\lambda)$ in the 2D $U(N)$ Gross-Neveu model to the next-to-leading order in the large-$N$ expansion. We analytically perform the twist expansion in the…
We follow a connection between tight determinisation and complementation and establish a complementation procedure from parity automata to nondeterministic B\"uchi automata and prove it to be tight up to an $O(n)$ factor, where $n$ is the…
In the present work certain features of the Penner model, such its enumerative meaning and its relation to the Chern-Simons theory on the 3-sphere, are reviewed. Also, some features related to geometric transitions at the level of the…
The Lie algebra su(2) of the classical group SU(2) is built from two commuting quon algebras for which the deformation parameter is a common root of unity. This construction leads to (i) a not very well-known polar decomposition of the…
We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are…
In 2002, I proposed a unique $U(1)$ extension of the supersymmetric standard model which has no $\mu$ term and conserves baryon number and lepton number separately and automatically. This model, ${without~any~change}$, has all the necessary…