相关论文: On Non-Standard Models of B\"uchi Arithmetics

The Standard Model of particle physics may seem complicated and arbitrary, but it has hidden patterns that are revealed by the relationship between three "grand unified theories": theories that unify forces and particles by extending the…

A natural extension of the standard model within non-commutative geometry is presented. The geometry determines its Higgs sector. This determination is fuzzy, but precise enough to be incompatible with experiment.

For an $(n\ge 2)$-dimensional real Banach space $E$ with unit ball $E_{\le 1}$ and a topological space $X$ arbitrary elements in $C(X,E_{\le 1})$ are always expressible as linear combinations of at most three functions valued in the unit…

We prove that there exist uniform $(+,\times,/)$-circuits of size $O(n^3)$ to compute the basis generating polynomial of regular matroids on $n$ elements. By tropicalization, this implies that there exist uniform $(\max,+,-)$-circuits and…

We derive the most general Seiberg-Witten maps for noncommutative gauge theories in second order of the noncommutative parameter theta. Our results reveal the existence of more ambiguities than previously known. In particular, we…

For a set of nonnegative integers $A$, denote by $R_{A}(n)$ the number of unordered representations of the integer $n$ as the sum of two different terms from $A$. In this paper we partially describe the structure of the sets, which have…

In a prior paper, the author described an instability in a nonlinear wavefunction model. Proposed in connection with the Measurement Problem, the model contained an external potential creating a ``classical'' instability. However, it is…

Inspired by the recent work by Nadji, Ahmia and Ram\'irez, we examined the arithmetic properties of $\bar{B}_{l_1,l_2} (n)$, the number of overpartitions of n whose parts are neither divisible by $l_1$ nor divisible by $l_2$. In particular,…

We extend to higher dimensions some of the valuative analysis of singularities of plurisubharmonic (psh) functions developed by the last two authors. Following Kontsevich and Soibelman we describe the geometry of the space V of all…

Let $\{U_n\}$ be given by $U_0=1$ and $U_n=-2\sum_{k=1}^{[n/2]} \b n{2k}U_{n-2k}\ (n\ge 1)$, where $[\cdot]$ is the greatest integer function. In the paper we present a summation formula and several congruences involving $\{U_n\}$.

Let $ x\geq 1 $ be a large number, let $ [x]=x-\{x\} $ be the largest integer function, and let $ \varphi(n)$ be the Euler totient function. The result $ \sum_{n\leq x}\varphi([x/n])=(6/\pi^2)x\log x+O\left ( x(\log x)^{2/3}(\log\log…

We present a framework to calculate large deviations for nonlinear functions of independent random variables supported on compact sets in Banach spaces, by extending the result in Chatterjee and Dembo [6]. Previous research on nonlinear…

The theory for multiplier empirical processes has been one of the central topics in the development of the classical theory of empirical processes, due to its wide applicability to various statistical problems. In this paper, we develop…

In this article we introduce several new examples of Wiener pairs $\mathcal{A} \subseteq \mathcal{B}$, where $\mathcal{B} = \mathcal{B}(\ell^2(X;\mathcal{H}))$ is the Banach algebra of bounded operators acting on the Hilbert space-valued…

The differences between the $N=0$ and $N=1$ standard models are emphasized in formulating their short distance extension. We sketch methods to reproduce many of the small numbers in the model in terms of scale ratios, applying see-saw like…

We introduce a weight assignment logic for reasoning about quantitative languages of infinite words. This logic is an extension of the classical MSO logic and permits to describe quantitative properties of systems with multiple weight…

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…

Motivated by the recent developments of de Branges-Rovnyak spaces, we investigate the function theoretic aspects of finite rank de Branges-Rovnyak spaces $H(B)$ generated by row-valued Schur functions $B$. We provide a generalization of…

In this paper, we derive formal general formulas for noncommutative exponentiation and the exponential function, while also revisiting an unrecognized, and yet powerful theorem. These tools are subsequently applied to derive counterparts…

Under the assumption that the continuum c is a regular cardinal, we prove the existence and uniqueness of a Boolean algebra B of size c defined by sharing the main structural properties that P(N)/fin has under CH and in the aleph2-Cohen…