The orbit problem is the problem of whether, given $x, y\in \mathbb{Q}^n$ and an $n\times n$ matrix $A$, there exists an $i\in\mathbb{N}$ such that $A^ix = y$. In 1980, Kannan and Lipton proved that the orbit problem is decidable. We show that a generalization of the orbit problem, where the field is $\mathbb{Q}(X)$ for $X$ a countable set of transcendentals, is also decidable. We define the orbit power problem for an arbitrary group $G$ to be the problem of when, given $x, y\in G$, there exists an $n\in\mathbb{Z}$ such that $x^n = y$. We then use the main result to show that the power orbit problem is decidable for an assortment of groups, including the braid groups and $\operatorname{Aut}(F_2)$.
An $n$-mean on a topological space $X$ is a continuous symmetric map $p\colon X^n\to X$ satisfying $p(x,\ldots,x)=x$ for every $x\in X$. If $X$ is a $G$-space, such an $n$-mean is equivariant if $p(gx_1,\ldots,gx_n)=g p(x_1,\ldots,x_n)$ for every $g\in G$ and $x_1,\ldots,x_n\in X$. For finite $G$, we prove that, in the...
We study the $(n-2)$-plane Kakeya problem in $\mathbb{R}^n$ ($n\geq4$) subject to convex Wolff axioms. In other words, we study finite families of $\delta$-neighborhoods of $(n-2)$-plane segments ($\delta$-flakes) in $\mathbb{R}^n$, with the property that not too many of them can be contained inside a common convex set...
Chun-Kit Lai, Yi-Xuan Pang, Rahul Sethi et al.· 0 citations
Let $S$ denote a $k$-subset of $\mathbb{Z}$. Let $G$ be a (multiplicative) group of size $k$. Assume that there exists a function $\varphi\colon S \to G$ that is injective and that satisfies the following: If $x, y, z \in S$ and $z = xy$, then $\varphi(z) = \varphi(x) \varphi(y)$. In 1990, Forcade and Pollington conjec...
Let $K$ be a number field and $S$ a finite set of non-archimedean places. Write $\mathcal{O}_S$ for the ring of $S$-integers of $K$ and $\mathcal{O}_S^\times$ for its unit group. Let $\pi : X \rightarrow \mathbb{P}^1$ be a morphism of (irreducible) curves defined over $K$, and denote by $\operatorname{Red}(\pi)$ the se...
Let $\mathbb{P}(x\prec y)$ be the probability that $x$ precedes $y$ in a uniformly random linear extension of an $n$-element poset $P$, and define the balancing coefficient to be $\delta(x,y)=\min(\mathbb{P}(x\prec y),\mathbb{P}(y\prec x))$ with $\delta(P)=\max_{x,y}\delta(x,y)$. We prove (Theorem 1) that sufficiently...
We study the reducibility over $\mathbb{Q}$ of $F_{p,e}(x)=rx^m+p^ef(x)$, where $r\in\mathbb{Z}\setminus\{0\}$, $f\in\mathbb{Z}[x]$, and $0\le m<n:=\mathrm{deg}\, f$, for primes $p$ above explicit coefficient-dependent thresholds. For arbitrary $e\ge1$, we determine the degrees, endpoint $p$-adic valuations, reductions...
Wei-Lin Zhang, Hong-Jian Li· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
