Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalizechoosing between the two ways to tropicalize and Name and notation for a binary operationName and notation for a binary operation)

As a related question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operationsCommutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

(Note: The original version of the post used the word "detropicalize'' in a non-standard and unclear way, so I've changed the title of the post and the wording of the first paragraph accordingly. Thanks, John Mangual!)

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a related question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

(Note: The original version of the post used the word "detropicalize'' in a non-standard and unclear way, so I've changed the title of the post and the wording of the first paragraph accordingly. Thanks, John Mangual!)

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a related question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

(Note: The original version of the post used the word "detropicalize'' in a non-standard and unclear way, so I've changed the title of the post and the wording of the first paragraph accordingly. Thanks, John Mangual!)

Notice removed Draw attention by James Propp
Bounty Ended with Will Sawin's answer chosen by James Propp
Notice added Draw attention by James Propp
Bounty Started worth 50 reputation by James Propp
Fixed wording of title and question
Source Link
James Propp
  • 19.7k
  • 5
  • 55
  • 136

how to detropicalize Generalizing detropicalization

Given an identity in max,plus arithmetic, are there ways to detropicalizeturn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a related question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

(Note: The original version of the post used the word "detropicalize'' in a non-standard and unclear way, so I've changed the title of the post and the wording of the first paragraph accordingly. Thanks, John Mangual!)

how to detropicalize

Given an identity in max,plus arithmetic, are there ways to detropicalize it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a related question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

Generalizing detropicalization

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a related question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

(Note: The original version of the post used the word "detropicalize'' in a non-standard and unclear way, so I've changed the title of the post and the wording of the first paragraph accordingly. Thanks, John Mangual!)

added 4 characters in body
Source Link
James Propp
  • 19.7k
  • 5
  • 55
  • 136

Given an identity in max,plus arithmetic, are there ways to detropicalize it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a sub-questionrelated question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

Given an identity in max,plus arithmetic, are there ways to detropicalize it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a sub-question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

Given an identity in max,plus arithmetic, are there ways to detropicalize it other than by replacing addition by multiplication and replacing max by series-plus or by parallel-plus, where the series sum of $x$ and $y$ is $x+y$ and the parallel sum is $xy/(x+y)$? (See the related posts choosing between the two ways to tropicalize and Name and notation for a binary operation)

As a related question, I ask: What are all the two-variable homogeneous rational functions over $\mathbb{C}$ such that $r(x,y)=r(y,x)$ and $r(r(x,y),z)=r(x,r(y,z))$? (Here I intend equality in the formal sense; e.g., I call $x/x$ the same rational function as 1, even though as functions they are not the same, since $x/x$ is not defined at 0.)

The only examples I know of are $r(x,y) = c$ (with $c$ an arbitrary constant), $r(x,y)=x+y$, $r(x,y)=xy/(x+y)$, and $r(x,y)=xy$, but I suspect that there are others I'm overlooking. Perhaps the theory of formal groups has an answer for me, but from what little I've seen, homogeneity does not play a role there. See the related post Commutative associative rational binary operations. Now that I've played a bit with operations like $(x+y)/(1-xy)$ (thanks, Alexandre Eremenko!), I'm suspecting that I should be limiting myself to homogeneous operations.

Source Link
James Propp
  • 19.7k
  • 5
  • 55
  • 136
Loading