6
$\begingroup$

We have $n$-ary sums ($\sum$) and products ($\prod$). Is there an $n$-ary exponentiation operator?

$$\underset{i=1}{\overset{n}{\LARGE{\text{E}}}}\, x_i = x_1 \text{^} (x_2 \text{^} (\cdots \text{^} (x_{n-1} \text{^} x_n)))$$

How about an $n$-ary tetration operator?

$$\underset{i=1}{\overset{n}{\boxed{\underset{\leftarrow}{\LARGE{\text{4}}}}}}\, x_i = x_1 \uparrow\uparrow (x_2 \uparrow\uparrow (\cdots \uparrow\uparrow (x_{n-1} \uparrow\uparrow x_n)))$$ $$\underset{i=1}{\overset{n}{\boxed{\underset{\rightarrow}{\LARGE{\text{4}}}}}}\, x_i = (((x_1 \uparrow\uparrow x_2) \uparrow\uparrow \cdots) \uparrow\uparrow x_{n-1}) \uparrow\uparrow x_n$$

What are the correct symbols for these operations, if they exist?

  • 2
    How about $\Delta$ and $\Phi$, by analogy with atomic orbitals S, P, D, F?2012-11-24
  • 0
    @DanBrumleve Interesting thought. I picked $\text{E}$ for exponent and $4$ for tetration, but it wouldn't render them as accumulation symbols (which is why they are inside product symbols). This way $5$ would work for pentation, etc.2012-11-26
  • 0
    I think I finally figured out how to get them to look more like accumulation symbols, but they are higher than sum and product symbols.2012-11-26
  • 6
    I think the reason that such symbols don't exist is that exponentiation and tetration, unlike addition and multiplication, aren't associative (or for that matter, commutative), so in addition to specifying terms in an $n$-ary exponentiation, you would also need to specify how to associate them if you want the same versatility as the $\Sigma$ and $\Pi$ notations. For instance, $\underset{i=1}{\overset{3}{\LARGE{\text{E}}}}\, x_i$ could be $x_1^{(x_2^{x_3})}$ or $(x_1^{x_2})^{x_3}$, and the number of possibilities grows rapidly with the number of terms.2012-11-26
  • 3
    @rayradjr Since $((({x_1}^{x_2})^{\cdots})^{x_{n-1}})^{x_n} = x_1 \text{^}\Big(\prod\limits_{i=2}^{n} x_i \Big)$, we do not need a symbol for left-associative exponentiation. However, nothing like this would work for right-associative exponentiation, hence the question about notation.2012-11-26
  • 0
    Nothing like that seems to work for left-associative tetration, so I have updated the question to include both right- and left-associative tetration operators. The arrow below the $4$ indicates the direction of associativity.2012-11-26
  • 0
    Wow for some reason I got idea a long time ago. Maybe two years. Amazing how minds are linked.2016-01-16

0 Answers 0