Related papers: Heisenberg uniqueness pairs for the hyperbola

An $L(2,1)$-labelling of a finite graph $\Gamma$ is a function that assigns integer values to the vertices $V(\Gamma)$ of $\Gamma$ (colouring of $V(\Gamma)$ by ${\mathbb{Z}}$) so that the absolute difference of two such values is at least…

For $0 < p \leq 1 < q < \infty$ and $\gamma > 0$, we introduce the Calder\'on-Hardy spaces $\mathcal{H}^{p}_{q, \gamma}(\mathbb{H}^{n})$ on the Heisenberg group $\mathbb{H}^{n}$, and show for every $f \in H^{p}(\mathbb{H}^{n})$ that the…

It is known that for a uniform morphic sequence $\boldsymbol u = \langle u_n\rangle_{n=0}^\infty$ and an algebraic number $\beta$ such that $|\beta|>1$, the number $[\![\boldsymbol{u} ]\!]_\beta:=\sum_{n=0}^\infty \frac{u_n}{\beta^n}$…

An isoperimetric inequality on the Hamming cube for exponents $\beta\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $\beta\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the…

Let $n\geq 3$, $0\le m<\frac{n-2}{n}$, $\rho_1>0$, $\beta>\beta_0^{(m)}=\frac{m\rho_1}{n-2-nm}$, $\alpha_m=\frac{2\beta+\rho_1}{1-m}$ and $\alpha=2\beta+\rho_1$. For any $\lambda>0$, we prove the uniqueness of radially symmetric solution…

For a simple set of observables we can express, in terms of transition probabilities alone, the Heisenberg Uncertainty Relations, so that they are proven to be not only necessary, but sufficient too, in order for the given observables to…

Let $\beta_1,...,\beta_n$ be distinct points in the open unit disc in the complex plane, none of which is the origin, and let $H^1$ be the Hardy space. Define a closed convex set in $\mathbb{C}^{n}$ by $\Lambda = \{…

It is shown that $2\beta_1(\G)\leq h(\G)$ for any countable group $\G$, where $\beta_1(\G)$ is the first $\ell^2$-Betti number and $h(\G)$ the uniform isoperimetric constant. In particular, a countable group with non-vanishing first…

We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…

In this paper, we derive new relative perturbation bounds for eigenvectors and eigenvalues for regular quadratic eigenvalue problems of the form $\lambda^2 M x + \lambda C x + K x = 0$, where $M$ and $K$ are nonsingular Hermitian matrices…

Let $X^\beta$ be a real symmetric or complex Hermitian matrix whose entries are independent Gaussian random fields. We provide the sufficient and necessary conditions such that multiple collisions of eigenvalue processes of $A^\beta +…

Let ${\mathscr G}$ be a linear algebraic group over $k$, where $k$ is an algebraically closed field, a pseudo-finite field or the valuation ring of a nonarchimedean local field. Let $G= {\mathscr G}(k)$. We prove that if $\gamma, \delta\in…

In the model of randomly perturbed graphs we consider the union of a deterministic graph $\mathcal{G}_\alpha$ with minimum degree $\alpha n$ and the binomial random graph $\mathbb{G}(n,p)$. This model was introduced by Bohman, Frieze, and…

In this paper, we consider the Hessian matrices $H_{\Gamma}$ of the complete and complete bipartite graphs, and the special value of $\tilde H_{\Gamma}$ at $x_{i}=1$ for all $x_{i}$. We compute the eigenvalues of $\tilde H_{\Gamma}$. We…

A vertex $v$ of a 2-connected cubic graph $G$ is $\lambda$-matchable if $G$ has a spanning subgraph in which $v$ has degree three whereas every other vertex has degree one, and we let $\lambda(G)$ denote the number of such vertices.…

Suppose that $\Gamma$ is a continuous and self-adjoint Hankel operator on $L^2(0, \infty)$ and that $Lf=-(d/dx(a(x)df/dx))+b(x)f(x)$ with $a(0)=0$. If $a$ and $b$ are both quadratic, hyperbolic or trigonometric functions, and $\phi$…

A group $\Gamma$ with a family of subgroups $\mathbb{P}$ is relatively hyperbolic if $\Gamma$ admits a cusp-uniform action on a proper $\delta$--hyperbolic space. We show that any two such spaces for a given group pair are quasi-isometric,…

Being motivated by the orthogonal maps studied in \cite{GN1}, orthogonal pairs between the projective spaces equipped with possibly degenerate Hermitian forms were introduced. In addition, orthogonal pairs are generalizations of holomorphic…

We formalize Hilbert's Seventh Problem and its solution, the Gelfond-Schneider theorem, in the Lean 4 proof assistant. The theorem states that if $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and $\beta$ irrational, then…

Let $\Gamma \subset \operatorname{PU}(1,n)$ be a lattice, and $S_\Gamma$ the associated ball quotient. We prove that, if $S_\Gamma$ contains infinitely many maximal totally geodesic subvarieties, then $\Gamma$ is arithmetic. We also prove…