Related papers: On Non-Standard Models of B\"uchi Arithmetics
Cotype is used in this paper to prove new results concerning the existence of non-absolutely summing linear operators between Banach spaces. We derive consequences that extend/generalize/ complement some classic results. We also point out…
Gauge unification is widely considered to be a desirable feature for extensions of the standard model. Unfortunately the standard model itself does not exhibit a unification of its running gauge couplings but it is required by grand unified…
We develop a new method of constructing non-arithmetic lattices in the projective orthogonal group $\text{PO}(n,1)$ for every integer $n$ larger than one. The technique is to consider anti-holomorphic involutions on a complex arithmetic…
We introduce a method for translating an alternating weak B\"uchi automaton (AWA), which corresponds to a Linear Dynamic Logic (LDL) formula, to an unambiguous B\"uchi automaton (UBA). Our translations generalise constructions for Linear…
The higher Nash blowup of an algebraic variety replaces singular points with limits of certain spaces carrying higher-order data associated to the variety at non-singular points. In this note we will define a higher-order Jacobian matrix…
We show that for each natural $n>1$ it is consistent that there is a compact Hausdorff space $K_{2n}$ such that in $C(K_{2n})$ there is no uncountable (semi)biorthogonal sequence $(f_\xi,\mu_\xi)_{\xi\in \omega_1}$ where $\mu_\xi$'s are…
Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally applied to regular expressions/languages over finite words. In symbolic automata (or automata modulo…
Beiglboeck, Bergelson and Fish proved that if subsets A,B of a countable discrete amenable group G have positive Banach densities a and b respectively, then the product set AB is piecewise syndetic, i.e. there exists k such that the union…
This is a collection of definitions, notations and proofs for the Bernoulli numbers $B_n$ appearing in formulas for the sum of integer powers, some of which can be found scattered in the large related historical literature in French,…
We construct a countable bounded sublattice of the lattice of all subspaces of a vector space with two non-isomorphic maximal Boolean sublattice. We represent one of them as the range of a Banschewski function and we prove that this is not…
We derive strong laws of large numbers and central limit theorems for Bajraktarevi\'c, Gini and exponential- (also called Beta-type) and logarithmic Cauchy quotient means of independent identically distributed (i.i.d.) random variables. The…
In this paper we continue the investigations about unlike powers in arithmetic progression. We provide sharp upper bounds for the length of primitive non-constant arithmetic progressions consisting of squares/cubes and $n$-th powers.
In this note, we construct and study an algebraic system similar to the natural numbers, but with noncommutative addition. The addition we introduce is a binary operation that commutes with itself in the sense of N. Durov. Neverheless, the…
Regular normalized $B(W_1,W_2)$-valued non-negative spectral measures introduced in \cite{Zalar2014} are in one-to-one correspondence with unital $\ast$-representations $\rho:C(X,\mathbb{C})\otimes W_1 \rightarrow W_2$, where $X$ stands for…
For each $n$, we construct a separable metric space $\mathbb{U}_n$ that is universal in the coarse category of separable metric spaces with asymptotic dimension ($\mathop{asdim}$) at most $n$ and universal in the uniform category of…
It is shown that the counting function of n Boolean variables can be implemented with the formulae of size O(n^3.06) over the basis of all 2-input Boolean functions and of size O(n^4.54) over the standard basis. The same bounds follow for…
A Bochner integral formula is derived that represents a function in terms of weights and a parametrized family of functions. Comparison is made to pointwise formulations, norm inequalities relating pointwise and Bochner integrals are…
Let $\mathbb{B}$ be the unit ball of a complex Banach space $X$. In this paper, we will generalize the Bloch-type spaces and the little Bloch-type spaces to the open unit ball $\mathbb{B}$ by using the radial derivative. Next, we define an…
In this paper we study the large $N$ solution to matrix models describing the partition functions of 3d supersymmetric gauge theories on $S^3$. The model we focus on has a single $U(N)$ gauge group and fundamental fields, whose number…
A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a…