Related papers: A symmetric $\beta$-model
One-parameter exactly separable versions of the X(5) and X(5)-beta^2 models, labelled as ES-X(5) and ES-X(5)-beta^2 respectively, are derived by using in the Bohr Hamiltonian potentials of the form u(beta)+u(gamma)/beta^2. Unlike X(5), in…
We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $\Pi^1_2$ set of reals containing no ordinal-definable real.
We show that in supersymmetric theories, knowing the soft theorem for a single particle in a supermultiplet allows one to immediately determine soft theorems for the remainder of the supermultiplet. While soft theorems in supersymmetric…
A topological space $X$ is a $\Delta$-space (or $X \in \Delta$) if for any decreasing sequence $\{A_n : n < \omega\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < \omega\}$ of open sets with empty…
The holonomic rank of an A-hypergeometric system $H_A(\beta)$ is conjectured to be independent of the parameter vector $\beta$ if and only if the toric ideal $I_A$ is Cohen Macaulay. We prove this conjecture in the case that $I_A$ is…
Model sets are always Meyer sets but the converse is generally not true. In this work we show that for a repetitive Meyer multiple sets of $\mathbb{R}^d$ with associated dynamical system $(\mathbb{X}, \mathbb{R}^d)$, the property of being a…
Assuming the obvious definitions (see paper) we show the a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable) models are computably isomorphic. This is in contrast to…
Given any countable group $G$, we construct uncountably many quasi-isometry classes of proper geodesic metric spaces with quasi-isometry group isomorphic to $G$. Moreover, if the group $G$ is a hyperbolic group, the spaces we construct are…
Let $H$ be a positive semi-definite matrix partitioned in $\beta\times \beta$ Hermitian blocks, $H=[A_{s,t}]$, $1\le s,t,\le \beta$. Then, for all symmetric norms, {equation*} \| H \| \le \| \sum_{s=1}^{\beta} A_{s,s} \|. {equation*} The…
We extend a dichotomy between 1-basedness and supersimplicity proved in a previous paper. The generalization we get is to arbitrary language, with no restrictions on the topology (we do not demand type-definabilty of the open set in the…
In this paper, we introduce a family of robust estimates for the parametric and nonparametric components under a generalized partially linear model, where the data are modeled by $y_i|(\mathbf{x}_i,t_i)\sim F(\cdot,\mu_i)$ with…
In this paper, we propose a regression model where the response variable is beta prime distributed using a new parameterization of this distribution that is indexed by mean and precision parameters. The proposed regression model is useful…
We prove the consistency of the existence of a $Q$-set whose square is not a $\Delta$-set and that if there is a $\Delta$-set, then there exists a $\Delta$-set whose all finite powers are $\Delta$-sets.
We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, $(a_n)$ and $(b_n)$, are equal iff $\lim\,(a_n-b_n)=0$. We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only…
We adapt the notion of a (relatively) definable subset of Aut(M) when M is a saturated model to the case Aut(M/A) when M is atomic and strongly omega-homogeneous over A. We discuss the existence and uniqueness of invariant measures on the…
In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $, each $ I $-small $ \Sigma_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed…
A tensor norm $\beta= (\beta_{n})_{n=1}^{\infty}$ is smooth if the natural correspondence $(E_{1} \otimes\cdots\otimes E_{n} \otimes\mathbb{K},\beta_{n+1}) \longleftrightarrow (E_{1} \otimes\cdots\otimes E_{n} ,\beta_{n})$ is always an…
Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic logic programming, where the goal is to compute the…
We produce a forcing extension of the constructible universe $\bL$ in which every universally measurable set of reals is $\uTDelta^{1}_{2}$, partially answering question CG from David Fremlin's problem list. The analogous result for…
All beta-type functions, which are p-homogeneous, are determined. Applying this result, we show that a beta-type function is a homogeneous mean iff it is the harmonic one. A reformulation of a result due to Heuvers in terms of a Cauchy…