• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.2018.tde-31052018-093012
Document
Auteur
Nom complet
Tiago Royer
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2018
Directeur
Jury
Robins, Sinai (Président)
Pommersheim, James Erik
Saldanha, Nicolau Corção
Titre en anglais
Ehrhart theory for real dilates of polytopes
Mots-clés en anglais
Ehrhart theory
Rational polytopes
Real polytopes
Semi-rational polytopes
Resumé en anglais
The Ehrhart function L_P(t) of a polytope P is defined to be the number of integer points in the dilated polytope tP. Classical Ehrhart theory is mainly concerned with integer values of t; in this master thesis, we focus on how the Ehrhart function behaves when the parameter t is allowed to be an arbitrary real number. There are three main results concerning this behavior in this thesis. Some rational polytopes (like the unit cube [0, 1]^d) only gain integer points when the dilation parameter t is an integer, so that computing L_P(t) yields the same integer point count than L_P(t). We call them semi-reflexive polytopes. The first result is a characterization of these polytopes in terms of the hyperplanes that bound them. The second result is related to the Ehrhart theorem. In the classical setting, the Ehrhart theorem states that L_P(t) will be a quasipolynomial whenever P is a rational polytope. This is also known to be true with real dilation parameters; we obtained a new proof of this fact starting from the chraracterization mentioned above. The third result is about how the real Ehrhart function behaves with respect to translation in this new setting. It is known that the classical Ehrhart function is invariant under integer translations. This is far from true for the real Ehrhart function: not only there are infinitely many different functions L_{P + w}(t) (for integer w), but under certain conditions the collection of these functions identifies P uniquely.
Titre en portugais
Teoria de Ehrhart para fatores reais de dilatação
Mots-clés en portugais
Politopos racionais
Politopos reais
Politopos semi-racionais
Teoria de Ehrhart
Resumé en portugais
A função de Ehrhart L_P(t) de um politopo P é definida como sendo o número de pontos com coordenadas inteiras no politopo dilatado tP. A teoria de Ehrhart clássica lida principalmente com valores inteiros de t; esta dissertação de mestrado foca em como a função de Ehrhart se comporta quando permitimos que o parâmetro t seja um número real arbitrário. São três os resultados principais desta dissertação a respeito deste comportamento. Alguns politopos racionais (como o cubo unitário [0, 1]^d) apenas ganham pontos inteiros quando o parâmetro de dilatação t é um inteiro, de tal forma que computar L_P(t) devolve a mesma contagem de pontos que L_P(t). Eles são chamados de politopos semi-reflexivos. O primeiro resultado desta dissertação é uma caracterização destes politopos em termos de suas descrições como interseção de semi-espaços. O segundo resultado é relacionado ao teorema de Ehrhart. No contexto clássico, o teorema de Ehrhart afirma que L_P(t) será um quasi-polinômio sempre que P for um politopo racional. Sabe-se que este teorema generaliza para parâmetros reais de dilatação; nesta dissertação é apresentada uma nova demonstração deste fato, baseada na caracterização mencionada acima. O terceiro resultado é sobre como a função real de Ehrhart se comporta com respeito à translação neste novo contexto. Sabe-se que a função de Ehrhart clássica é invariante sob translações por vetores com coordenadas inteiras. Por outro lado, a função real de Ehrhart está bem longe de ser invariante: não só existem infinitas funções L_{P + w}(t) distintas, mas também, sob certas condições, esta coleção de funções identifica P unicamente.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
main.pdf (1,012.76 Kbytes)
Date de Publication
2018-06-04
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.