- #1

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter japplepie
- Start date

- #1

- #2

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

2021 Award

- 5,342

- 1,290

Given a polyhedron P,

[tex] S[P](x) = \sum_{m\in P\cap \mathbb{Z}^d} x^m [/tex]

where for [itex] x = (\xi_1,...,\xi_d)[/itex] and [itex] m = (\eta_1,...,\eta_d)[/itex], [itex] x^m = \xi_1^{\eta_1} \xi_2^{\eta_2}... \xi_d^{\eta_d} [/itex]

is a map from polyhedra which do not contain lines to functions of x. Every such function can be rewritten as a rational function of x which is well-defined everywhere except for a couple of singular points. You can extend this map linearly on the set of linear combinations of indicator functions of polyhedra - [P](x) is the function which equals 1 if x is in P, and 0 if x is not in P. Then you can define S[P](x) for any indicator function of a polyhedron as above which does not contain a line, and this extends linearly to linear combinations of polyhedra and is well-defined. For example, in R

[P] = [A] +

and you can check (it's trivial in this case) that S[P](x) = S[A](x) + S

The remarkble part is that the extension of this function to linear combinations of polyhedra without lines means that you have extended it to include polyhedra that contain lines, for example the real line can be written as [x>0=] + [x<= 0] - [x=0]

and it turns out that when you take the rational functions involved you always the corresponding function for a polyhedron containing a line is zero.

This turns out to be important because identities amongst polyhedra that do no contain lines are typically trivial (like that [P] = [A]+

- #3

japplepie

- 93

- 0

How did you connect the polyhedron idea with the original one? (I'm not familiar with the ideas behind polyhedra.)

I just thought of it as some kind of a "period" p of the real numbers. (x+p=x) where p is not necessarily 0.

Period as in how much do you have to add to make something recur.

I just thought of it as some kind of a "period" p of the real numbers. (x+p=x) where p is not necessarily 0.

Period as in how much do you have to add to make something recur.

Last edited:

- #4

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

2021 Award

- 5,342

- 1,290

[tex] [2,5] = [2,\infty) + (-\infty,5] - (-\infty,\infty)[/tex]

My objective is to write down a polynomial which has a term of x

[tex] \sum_{n \geq 2} x^n = x^2 \frac{1}{1-x} [/tex]

at least for some values of x

[tex] \sum_{n \leq 5} x^n = x^5 \frac{x}{x-1} [/tex]

at least for some values of x, and because the interval [itex] (-\infty, \infty)[/itex] contains a line I will assign the value

[tex] \sum_{-\infty}^{\infty} x^n = 0 [/tex].

If you add these all up, you do in fact get that

[tex] x^2 + x^3 + x^4 + x^5 = \frac{x^2}{1-x} + \frac{x^6}{x-1} [/tex]

now if I want to know how many integer points are in [2,5] I can clearly plug in x=1 to the left hand side and get an answer. I can also take the right hand side and take the limit as x goes to 1 and get the correct answer as well.

This seems like a stupid example, but now consider a triangle in 2-dimensions. You can actually do the same procedure. The tangent cone of a vertex of a triangle is simply take the vertex, and extend the edges to infinity to get a cone. It turns out that your triangle is equal to the sum of the three tangent cones, plus some half spaces which contain lines and therefore we can ignore them (the fact that they can be ignored is a deep theory of which your one dimensional sum equaling zero is a simple example of). So if you can write down the rational function corresponding to those three cones you have found the corresponding polynomial for the triangle. You can repeat this process in higher dimensions and this turns out to be algorithmically the best known way (that I'm aware of) to count integer points in convex objects like this

- #5

Mark44

Mentor

- 36,484

- 8,453

I don't see how your example makes sense. All of the terms are positive, so would have to sum to a positive number, not zero.example: 1+(1/2)+2+(1/4)+4+(1/8)+8+... = 0

- #6

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

2021 Award

- 5,342

- 1,290

I don't see how your example makes sense. All of the terms are positive, so would have to sum to a positive number, not zero.

He's using the following (without it being at all obvious in the OP)

[tex] \sum_{n\geq 0} x^n = \frac{1}{1-x} [/tex]

[tex] \sum_{n\leq -1} x^n = \frac{1}{x-1} [/tex]

Of course these converge for different values of x but suggest (and it turns out this is the correct way to think about it as I detail in my posts) that

[tex] \sum_{n=-\infty}^{\infty} x^n = \frac{1}{1-x} + \frac{1}{x-1} = 0[/tex]

- #7

japplepie

- 93

- 0

I'm wondering if this would work with n=-1 and n=0.

(Though it probably won't.)

(Though it probably won't.)

Share:

- Last Post

- Replies
- 33

- Views
- 251

- Last Post

- Replies
- 2

- Views
- 340

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 598

- Last Post

- Replies
- 3

- Views
- 592

- Last Post

- Replies
- 1

- Views
- 457

- Last Post

- Replies
- 1

- Views
- 289

- Last Post

- Replies
- 1

- Views
- 552

- Last Post

- Replies
- 9

- Views
- 1K

- Replies
- 4

- Views
- 507