Relatórios de Pesquisa

1/2026 Martingais: Teoremas e aplicações
João Vitor Vieira de Castro, Élcio Lebensztayn

A teoria de martingais tem suas raízes em estratégias de apostas que se disseminaram na França, no século XVIII, visando a assegurar ganhos em jogos justos. Do ponto de vista histórico, Lévy (1948) foi o primeiro a explorar, em processos estocásticos, propriedades que hoje conhecemos como martingais. O conceito moderno surge com Ville (1939), que introduziu o termo martingale e formulou a primeira definição, no contexto de jogos honestos. A consolidação rigorosa da teoria, com o estabelecimento dos primeiros resultados fundamentais, deve-se a Doob (1990). Atualmente, os martingais constituem uma ferramenta vital para a investigação e a análise de sistemas que evoluem aleatoriamente no tempo.

Este texto apresenta um estudo abrangente do tema, indo dos conceitos básicos a resultados avançados, com destaque para os teoremas centrais da teoria, Parada Opcional e Convergência de Martingais, além de aplicações em diferentes contextos. O trabalho foi desenvolvido como parte do projeto de Iniciação Científica de João Vitor Vieira de Castro, sob a orientação de Élcio Lebensztayn, com bolsa da Fundação de Amparo à Pesquisa do Estado de São Paulo, realizado no Instituto de Matemática, Estatística e Computação Científica, Unicamp.

O relatório se compõe das seguintes seções:
1. Introdução: Esperança condicional e martingais
2. Teoremas da Parada Opcional
3. Integrabilidade uniforme de variáveis aleatórias
4. Convergência de martingais
5. Desigualdades maximais e Convergência em L^p
6. Martingais reversos e Inferência Bayesiana
7. Martingais a tempo contínuo
8. Movimento browniano e martingais associados


PDF icon rp-2026-012026.pdf
1/2025 Relatório de Pesquisa de Iniciação Científica: Processos de renovação e aplicações
Pedro Matos Pevide , Élcio Lebensztayn

Esta pesquisa tem como objetivo apresentar a teoria dos processos de renovação, uma generalização dos processos de Poisson, e seus principais teoremas limites, bem como trazer diversos exemplos em que a teoria é aplicada de forma prática e realista na modelagem de problemas do cotidiano. Assim, reforça-se a sua utilidade em diversas áreas, ao contemplar, por exemplo, estimativas de durabilidade de aparelhos eletrônicos, estudo de filas e análise do desempenho de sistemas e máquinas de estados.

O presente texto é uma versão expandida do relatório final da bolsa PIBIC de Iniciação Científica do aluno Pedro Matos Pevide, sob a orientação de Elcio Lebensztayn, projeto intitulado "Processos de renovação e aplicações". Aqui desenvolvemos mais exemplos de aplicação da teoria e demonstrações adicionais ou mais detalhadas. Com enfoque primordialmente teórico, a pesquisa foi realizada, principalmente, a partir dos livros de Kulkarni (2011), Durrett (2016) e Ross (2023a), e complementada, quando necessário ou buscando maior clareza, com Mitov e Omey (2014). Na última seção, aborda-se o tópico de simulações, modelando em Python cenários onde a teoria se aplica, a fim de obter medidas a longo prazo dos processos e esclarecer comportamentos probabilísticos por meio de gráficos e listas, ampliando, assim, o escopo aplicado-computacional da pesquisa.

A Seção 1 contém a definição de um processo de renovação e introduz suas principais terminologias, notações e teoremas limites, construindo os fundamentos necessários para as próximas seções. Passando para a Seção 2, o conhecimento anterior é utilizado para desenvolver o conceito de renovação com recompensa, ilustrado em cenários envolvendo filas, ferrovias e compras.

Utilizando-se do caráter renovador dos processos abordados, a análise do aparecimento de padrões em sequências de eventos é o foco da Seção 3, contemplando tanto variáveis aleatórias discretas quanto contínuas, assim como sobreposição de padrões, tempos esperados para uma sequência máxima e seguidas crescentes de variáveis aleatórias.

O estudo detalhado de filas com um servidor, na Seção 4, contempla as filas GI/G/1, com o tratamento da famosa Fórmula de Little, e as filas M/G/1, com a definição de uma cadeia de Markov associada e a análise do período médio ocupado do servidor e do tempo médio de espera na fila. A Seção 5 é dedicada aos processos semimarkovianos, com a exposição dos conceitos básicos e teoremas relacionados ao comportamento a longo prazo.

Finalmente, a Seção 6, baseada em Ross (2023b), introduz o conceito de simulação de eventos discretos e apresenta dois cenários modelados em Python: filas paralelas em um estabelecimento e a evolução do patrimônio de uma seguradora. Por meio da simulação desses cenários, busca-se analisar seus comportamentos a longo prazo, com o estudo de características essenciais como o tempo médio de espera para uma fila estável e a probabilidade de falência da seguradora em função dos parâmetros do modelo.


PDF icon rp-2025-012025.pdf
1/2023 Métricas ad-invariantes em Álgebras de Lie
Marcos Ricardo Cavicchioli de Almeida

 

Este material ´e resultado de um trabalho de inicia¸c˜ao cient´ıfica, projeto de n´umero 2022/07595-
9 fomentado pela FAPESP. Para seu uso, ´e esperado que o estudante j´a tenha feito um curso
b´asico de ´algebra linear e esteja familiarizado com espa¸cos vetoriais, transforma¸c˜oes lineares,
produto interno, etc. Para uma revis˜ao desses assuntos, as referˆencias [3] e [6] s˜ao boas op¸c˜oes.

Neste projeto, o objetivo principal foi o estudo de ´algebras de Lie munidas de m´etricas adinvariantes.
Numa primeira instˆancia, se estudou a estrutura de uma ´algebra de Lie, que n˜ao ´e
nada mais do que um espa¸co vetorial dotado de uma transforma¸c˜ao bilinear que satisfaz certas
propriedades (chamada comumente de colchete de Lie), [5]. Como primeiros exemplos foram
trabalhados espa¸cos vetoriais not´aveis de matrizes, como sl(n,R), so(n,R), sp(n,R), que s˜ao
´algebras de Lie cl´assicas com m´etricas ad-invariantes [5], [7], [3].

Com o estudo de formas bilineares, a ideia de m´etrica pode ser apresentada, bem como o
estudo de ´algebras de Lie com uma abordagem mais abstrata, [3], [5], [4], [8]. Atrav´es do c´alculo
da forma de Cartan-Killing nos espa¸cos cl´assicos de matrizes, foi poss´ıvel verificar que o colchete
de Lie ´e antissim´etrico. Uma m´etrica ´e uma forma bilinear n˜ao-degenerada que busca expandir
a no¸c˜ao de produto interno em espa¸cos vetoriais, e o fato de uma m´etrica ser ad-invariante
significa que o colchete de Lie define transforma¸c˜oes antissim´etricas com respeito `a m´etrica.

Finalmente, se estudou no fim do projeto o processo de extens˜ao dupla introduzido por Favre
e Santharoubane ([1]), ainda que em alguns exemplos pontuais. Este processo permite construir
´algebras de Lie com m´etricas ad-invariantes a partir de ´algebras com a mesma estrutura, mas
com dimens˜oes menores. Assim, foi poss´ıvel construir ´algebras de Lie de dimens˜oes baixas
partindo de ´algebras abelianas de dimens˜ao 1 ou 2.


PDF icon rp-2023-01.pdf
2/2022 Tópicos de processos estocásticos
Vicenzo Bonasorte Reis Pereira , Élcio Lebensztayn
PDF icon rp-2022-022022.pdf
1/2022 Estimates for entropy numbers of multiplier operators of multiple series
Sérgio A. Córdoba, Jéssica Milaré, Sérgio A. Tozoni

The asymptotic behavior for entropy numbers of general Fourier multiplier operators of
multiple series with respect to an abstract complete orthonormal system, on a probability
space and uniformly bounded, is studied. For example, the orthonormal system can be
obtained as the product of the functions of the Vilenkin system, Walsh system on a real sphere
or of the trigonometric system on the unit circle. General upper and lower bounds for the
entropy numbers are established by using Levy means of norms constructed using the
orthonormal system. These results are applied to get upper and lower bounds for entropy
numbers of specific multiplier operators, which generate, in particular cases, sets of finitely
and infinitely differentiable functions, in the usual sense and in the dyadic sense. It is shown
that these estimates have order sharp in various important cases.


PDF icon rp-2022-012022.pdf
1/2020 Extending Multivariate-t Semiparametric Mixed Models for Longitudinal data with Censored Responses and Heavy Tails
Thalita B. Mattos, Larissa A. Matos, Victor H. Lachos

In this paper we extended the semiparametric mixed model for longitudinal censored data with
normal errors to Student-t erros. This models allows exible functional dependence of an outcome
variable on covariates by using nonparametric regression, while accounting for correlation between
observations by using random e ects. Penalized likelihood equations are applied to derive the
maximum likelihood estimates which appear to be robust against outlying observations in the
sense of the Mahalanobis distance. We estimate nonparametric functions by using smoothing
splines jointly estimate smoothing parameter by the EM algorithm. Finally, the performance of
the proposed approach is evaluated through extensive simulation studies as well as application to
dataset from AIDS study.


PDF icon rp-2020-01.pdf
6/2019 ON ARCS AND PLANE CURVES
Beatriz Motta, Fernando Torres

We investigate complete plane arcs which arise from the set of rational points of certain non-Frobenius classical plane curves over finite fields. We also point out direct consequences on the Griesmer bound for some linear codes.


PDF icon rp-2019-06.pdf
5/2019 ON THE CURVE Y n = Xℓ(Xm + 1) OVER FINITE FIELDS II
Saeed Tafazolian, Fernando Torres

Abstract. Let F be the finite field of order q2. In this paper we continue the study
in [20], [19], [18] of F-maximal curves defined by equations of type yn = xℓ(xm + 1).
For example new results are obtained via certain subcovers of the nonsingular model of
vN = ut2
− u where q = tα,  ≥ 3 odd and N = (tα + 1)/(t + 1). We do observe that
the case  = 3 is closely related to the Giulietti-Korchm´aros curve.


PDF icon rp-2019-05.pdf
4/2019 Explosion in a Growth Model with Cooperative Interaction on an In nite Graph
Bruna de Oliveira Gonçalves, Marina Vachkovskaia

In this paper we study explosion/non-explosion of a continuous time growth process with cooperative interaction on Z+. We consider symmetric neighborhood and di erent types of rate functions and prove that explosion occurs for exponential rates, but not for polynomial. We also present some simulations to illustrate the explosion
types.


PDF icon rp-2019-04.pdf
3/2019 A NEW SIMPLE PROOF FOR THE LUM-CHUA'S CONJECTURE
Victoriano Carmona, Fernando Fernández-Sánchez, Douglas D. Novaes.

In this paper, using the theory of inverse integrating factor, we provide a new simple proof for the Lum-Chua's conjecture, which says that a continuous planar piecewise linear differential system with two zones separated by a straight line has at most one limit cycle. In addition, we prove that if this limit cycle exists, then it is hyperbolic and its stability is characterized in terms of the parameters. To the best of our knowledge, the hyperbolicity of the limit cycle has not been pointed out before.


PDF icon rp-2019-03.pdf