Searching for Invariants Using Temporal Resolution

In this paper, we show how the clausal temporal resolution technique developed for temporal logic provides an effective method for searching for invariants, and so is suitable for mechanising a wide class of temporal problems. We demonstrate that this scheme of searching for invariants can be also applied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the application of the scheme, and overview of the implementation are described.

Equity-premium puzzle: evidence from Brazilian data

This paper uses 1992:1-2004:2 quarterly data and two di§erent methods (approximation under lognormality and calibration) to evaluate the existence of an equity-premium puzzle in Brazil. In contrast with some previous works in the Brazilian literature, I conclude that the model used by Mehra and Prescott (1985), either with additive or recursive preferences, is not able to satisfactorily rationalize the equity premium observed in the Brazilian data. The second contribution of the paper is calling the attention to the fact that the utility function may not exist if the data (as it is the case with Brazilian time series) implies the existence of states in which high negative rates of consumption growth are attained with relatively high probability.

Previsão de retornos intradiários através de regressões usando funções-núcleo

As contribuições deste artigo são duas. A primeira, um método de avaliação de regressões não lineares para a previsão de retornos intradiários de ações no mercado brasileiro é discutido e aplicado, com o objetivo de maximizar o retorno de um portfólio simulado de compras e vendas. A segunda, regressões usando funções-núcleo associadas ao particionamento da amostra por vizinhos mais próximos são realizadas. Algumas variáveis independentes utilizadas são indicadores técnicos, cujos parâmetros são otimizados dentro da amostra de estimação. Os resultados alcançados são positivos e superam, em uma análise quartil a quartil, os resultados produzidos por um modelo benchmark de autorregressão linear

Dinâmica monetária eficiente sob encontros aleatórios: uma classe de métodos numéricos que exploram concavidade

A dificuldade em se caracterizar alocações ou equilíbrios não estacionários é uma das principais explicações para a utilização de conceitos e hipóteses que trivializam a dinâmica da economia. Tal dificuldade é especialmente crítica em Teoria Monetária, em que a dimensionalidade do problema é alta mesmo para modelos muito simples. Neste contexto, o presente trabalho relata a estratégia computacional de implementação do método recursivo proposto por Monteiro e Cavalcanti (2006), o qual permite calcular a sequência ótima (possivelmente não estacionária) de distribuições de moeda em uma extensão do modelo proposto por Kiyotaki e Wright (1989). Três aspectos deste cálculo são enfatizados: (i) a implementação computacional do problema do planejador envolve a escolha de variáveis contínuas e discretas que maximizem uma função não linear e satisfaçam restrições não lineares; (ii) a função objetivo deste problema não é côncava e as restrições não são convexas; e (iii) o conjunto de escolhas admissíveis não é conhecido a priori. O objetivo é documentar as dificuldades envolvidas, as soluções propostas e os métodos e recursos disponíveis para a implementação numérica da caracterização da dinâmica monetária eficiente sob a hipótese de encontros aleatórios.

A notion of subgame perfect Nash equilibrium under knightian uncertainty

We define a subgame perfect Nash equilibrium under Knightian uncertainty for two players, by means of a recursive backward induction procedure. We prove an extension of the Zermelo-von Neumann-Kuhn Theorem for games of perfect information, i. e., that the recursive procedure generates a Nash equilibrium under uncertainty (Dow and Werlang(1994)) of the whole game. We apply the notion for two well known games: the chain store and the centipede. On the one hand, we show that subgame perfection under Knightian uncertainty explains the chain store paradox in a one shot version. On the other hand, we show that subgame perfection under uncertainty does not account for the leaving behavior observed in the centipede game. This is in contrast to Dow, Orioli and Werlang(1996) where we explain by means of Nash equilibria under uncertainty (but not subgame perfect) the experiments of McKelvey and Palfrey(1992). Finally, we show that there may be nontrivial subgame perfect equilibria under uncertainty in more complex extensive form games, as in the case of the finitely repeated prisoner's dilemma, which accounts for cooperation in early stages of the game.

Existence and uniqueness of a fixed-point for local contractions

This paper proves the existence and uniqueness of a fixed-point for local contractions without assuming the family of contraction coefficients to be uniformly bounded away from 1. More importantly it shows how this fixed-point result can apply to study existence and uniqueness of solutions to some recursive equations that arise in economic dynamics.

Um teste de paridade coberta de juros, ajustada por prêmio de risco, para a economia brasileira entre 2007 e 2010

O conceito de paridade coberta de juros sugere que, na ausência de barreiras para arbitragem entre mercados, o diferencial de juros entre dois ativos, idênticos em todos os pontos relevantes, com exceção da moeda de denominação, na ausência de risco de variação cambial deve ser igual a zero. Porém, uma vez que existam riscos não diversificáveis, representados pelo risco país, inerentes a economias emergentes, os investidores exigirão uma taxa de juros maior que a simples diferença entre as taxas de juros doméstica e externa. Este estudo tem por objetivo avaliar se o ajustamento das condições de paridade coberta de juros por prêmios de risco é suficiente para a validação da relação de não-arbitragem para o mercado brasileiro, durante o período de 2007 a 2010. O risco país contamina todos os ativos financeiros emitidos em uma determinada economia e pode ser descrito como a somatória do risco de default (ou risco soberano) e do risco de conversibilidade percebidos pelo mercado. Para a estimação da equação de não arbitragem foram utilizadas regressões por Mínimos Quadrados Ordinários, parâmetros variantes no tempo (TVP) e Mínimos Quadrados Recursivos, e os resultados obtidos não são conclusivos sobre a validação da relação de paridade coberta de juros, mesmo ajustando para prêmio de risco. Erros de medidas de dados, custo de transação e intervenções e políticas restritivas no mercado de câmbio podem ter contribuído para este resultado.

A autonomia patrimonial na empresa individual de responsabilidade limitada (EIRELI)

O presente trabalho pretende demonstrar que o real avanço com o advento da previsão legal da empresa individual de responsabilidade limitada – EIRELI é a proteção conferida pela autonomia patrimonial e não a limitação da responsabilidade do comerciante. Visto que há uma escassez na literatura nacional a respeito do tema, iremos utilizar bibliografia norte americana como base para a primeira parte da pesquisa. Assim poderemos identificar as vantagens e desvantagens da responsabilidade limitada e da autonomia patrimonial para podermos concluir com uma análise de custo e benefício destes institutos jurídicos. Por fim, utilizaremos do conhecimento adquirido por toda esta análise para aplicarmos e adaptarmos as especificações da EIRELI. Nos apoiaremos em doutrina nacional somente em relação as regras de sociedades limitadas, pois a lei determina que estas serão usadas supletivamente para as empresas individuais de responsabilidade limitada. Com base nisso o trabalho será finalizado com uma questão pouco explorada, que é em relação a penhora e liquidação das quotas na EIRELI.

A notion of subgame perfect nash equilibrium under knightian uncertainty

We define a subgame perfect Nash equilibrium under Knightian uncertainty for two players, by means of a recursive backward induction procedure. We prove an extension of the Zermelo-von Neumann-Kuhn Theorem for games of perfect information, i. e., that the recursive procedure generates a Nash equilibrium under uncertainty (Dow and Werlang(1994)) of the whole game. We apply the notion for two well known games: the chain store and the centipede. On the one hand, we show that subgame perfection under Knightian uncertainty explains the chain store paradox in a one shot version. On the other hand, we show that subgame perfection under uncertainty does not account for the leaving behavior observed in the centipede game. This is in contrast to Dow, Orioli and Werlang(1996) where we explain by means of Nash equilibria under uncertainty (but not subgame perfect) the experiments of McKelvey and Palfrey(1992). Finally, we show that there may be nontrivial subgame perfect equilibria under uncertainty in more complex extensive form games, as in the case of the finitely repeated prisoner's dilemma, which accounts for cooperation in early stages of the game .

Dynamic hedging with stocastic differential utility

In this paper we study the dynamic hedging problem using three different utility specifications: stochastic differential utility, terminal wealth utility, and we propose a particular utility transformation connecting both previous approaches. In all cases, we assume Markovian prices. Stochastic differential utility, SDU, impacts the pure hedging demand ambiguously, but decreases the pure speculative demand, because risk aversion increases. We also show that consumption decision is, in some sense, independent of hedging decision. With terminal wealth utility, we derive a general and compact hedging formula, which nests as special all cases studied in Duffie and Jackson (1990). We then show how to obtain their formulas. With the third approach we find a compact formula for hedging, which makes the second-type utility framework a particular case, and show that the pure hedging demand is not impacted by this specification. In addition, with CRRA- and CARA-type utilities, the risk aversion increases and, consequently the pure speculative demand decreases. If futures price are martingales, then the transformation plays no role in determining the hedging allocation. We also derive the relevant Bellman equation for each case, using semigroup techniques.

A consumption CAPM with a reference level

We study an intertemporal asset pricing model in which a representative consumer maximizes expected utility derived from both the ratio of his consumption to some reference level and this level itself. If the reference consumption level is assumed to be determined by past consumption levels, the model generalizes the usual habit formation specifications. When the reference level growth rate is made dependent on the market portfolio return and on past consumption growth, the model mixes a consumption CAPM with habit formation together with the CAPM. It therefore provides, in an expected utility framework, a generalization of the non-expected recursive utility model of Epstein and Zin (1989). When we estimate this specification with aggregate per capita consumption, we obtain economically plausible values of the preference parameters, in contrast with the habit formation or the Epstein-Zin cases taken separately. All tests performed with various preference specifications confirm that the reference level enters significantly in the pricing kernel.

Processos jurídicos transnacionais estatais: o fair trade e a construção do sistema de comércio justo e solidário no Brasil

Este trabalho busca responder à seguinte pergunta: qual a influência que a prática e os princípios transnacionais do Fair Trade tiveram na criação do Sistema Nacional de Comércio Justo e Solidário no Brasil (SCJS)? A fim de respondê-la, foram utilizados dois tipos de fontes: documental (normas jurídicas, documentos institucionais, relatórios, atas, informativos, formulários e outros registros disponibilizados na internet pelas organizações aqui pesquisadas) e entrevistas com os dois atores chave do processo de construção do SCJS - Fabíola Zerbini, Secretária Executiva do Faces à época de sua criação (grupo central no processo de construção do SCJS), e Antonio Haroldo Pinheiro Mendonça, o coordenador do Grupo de Trabalho para o SCJS e hoje responsável por coordenar os trabalhos referentes ao SCJS junto ao Ministério do Trabalho e Emprego. Este trabalho se insere na literatura sobre atores regulatórios privados e sua atuação no âmbito transnacional, e se utiliza da ferramenta analítica proposta por Gregory Shaffer para estudar o impacto dos processos transnacionais nas mudanças estatais. Foi possível observar que os intermediários dos processos transnacionais, inseridos em suas próprias pautas e movimentos nacionais, tiveram papel central na construção de uma prática de comercialização justa distinta da praticada no âmbito transnacional, junto com outros elementos como a existência de um ambiente político e institucional favorável para a temática de uma comercialização justa e as demandas locais já existentes. Notou-se, ainda, a presença constante do Estado, que participou de todas as etapas do processo e pretende colocar-se como uma referência na construção de políticas públicas de fomento à comercialização justa e solidária junto a atores, privados ou públicos, que atuem em outros países. Concluiu-se que os processos transnacionais que geram transformações estatais não são lineares e seus resultados não podem ser previsíveis, sobretudo porque são caracterizados pela a recursividade - dinâmica em que os atores envolvidos nos processos transnacionais buscam influenciar a regulação e prática das normas jurídicas nacionais, ao mesmo tempo em que o nível local fornece resistências e adaptações que, por sua vez, podem influenciar o processo regulatório transnacional, fornecendo um modelo posterior a ser exportado por processos transnacionais. O estudo sobre a produção de normas sob influência de processos transnacionais contribui para a construção do conhecimento no campo da literatura sobre a regulação privada transnacional (RPT) e a legislação nacional, bem como sobre Direito e Desenvolvimento, ao organizar informações a respeito da construção do SCJS e de seus arranjos jurídicos vis-à-vis a prática regulatória transnacional do Fair Trade, bem como ao olhar para as dinâmicas referentes à atuação dos atores, públicos e privados, e de seus contextos na formulação da regulação pública.

Impactos econômicos da nova realidade da exploração do pré-sal. Existe uma ameaça ao etanol?

A partir de meados dos anos 2000, a produção brasileira de etanol voltou a prosperar. Enquanto isso, em 2007 foi anunciada a descoberta de grandes reservas de petróleo na camada pré-sal no litoral brasileiro. Com isso, a perspectiva promissora para a indústria brasileira de etanol começou a dar lugar ao desenvolvimento de petróleo do pré-sal com um ambicioso programa de investimentos. Além disso, entre 2011 e 2014 o Governo adotou uma nova política de preços domésticos da gasolina e diesel, com o objetivo de reduzir as pressões inflacionárias, mas reduzindo gradualmente a competitividade do etanol, além de comprometer a situação financeira da Petrobras, dificultando investimentos no pré-sal. Considerando tais desafios e a importância dos setores de petróleo e etanol para a economia brasileira, este estudo tem como objetivo avaliar os impactos econômicos de longo prazo da exploração do pré-sal, com especial atenção para as consequências sobre o setor de etanol. É realizada uma avaliação dos impactos da política de controle do preço da gasolina do período 2011-2014 sobre o setor de etanol. Um modelo adaptado de equilíbrio geral dinâmico recursivo é empregado no qual o setor do petróleo do pré-sal é adicionado como uma tecnologia backstop. Os resultados sugerem que o estímulo precoce da produção do pré-sal para alcançar a produção de petróleo esperada pelo Governo traz mais custos do que benefícios para a economia brasileira. Constatou-se que sem interferência do governo, a produção de petróleo do pré-sal torna-se competitiva somente após 2025-2035. Com relação ao impacto sobre a indústria do etanol, verificou-se que o desenvolvimento do pré-sal não enfraquece a produção brasileira de etanol. No entanto, a política de controle de preço da gasolina teve um impacto negativo sobre o setor de etanol.

The combination of neural estimates in prediction and decision problems

In this dissertation, different ways of combining neural predictive models or neural-based forecasts are discussed. The proposed approaches consider mostly Gaussian radial basis function networks, which can be efficiently identified and estimated through recursive/adaptive methods. Two different ways of combining are explored to get a final estimate – model mixing and model synthesis –, with the aim of obtaining improvements both in terms of efficiency and effectiveness. In the context of model mixing, the usual framework for linearly combining estimates from different models is extended, to deal with the case where the forecast errors from those models are correlated. In the context of model synthesis, and to address the problems raised by heavily nonstationary time series, we propose hybrid dynamic models for more advanced time series forecasting, composed of a dynamic trend regressive model (or, even, a dynamic harmonic regressive model), and a Gaussian radial basis function network. Additionally, using the model mixing procedure, two approaches for decision-making from forecasting models are discussed and compared: either inferring decisions from combined predictive estimates, or combining prescriptive solutions derived from different forecasting models. Finally, the application of some of the models and methods proposed previously is illustrated with two case studies, based on time series from finance and from tourism.