Geometric discretization through primal-dual meshes

This thesis introduces new tools for geometric discretization in computer graphics and computational physics. Our work builds upon the duality between weighted triangulations and power diagrams to provide concise, yet expressive discretization of manifolds and differential operators. Our exposition begins with a review of the construction of power diagrams, followed by novel optimization procedures to fully control the local volume and spatial distribution of power cells. Based on this power diagram framework, we develop a new family of discrete differential operators, an effective stippling algorithm, as well as a new fluid solver for Lagrangian particles. We then turn our attention to applications in geometry processing. We show that orthogonal primal-dual meshes augment the notion of local metric in non-flat discrete surfaces. In particular, we introduce a reduced set of coordinates for the construction of orthogonal primal-dual structures of arbitrary topology, and provide alternative metric characterizations through convex optimizations. We finally leverage these novel theoretical contributions to generate well-centered primal-dual meshes, sphere packing on surfaces, and self-supporting triangulations.

Sustainable IT and IT for sustainability

Energy and sustainability have become one of the most critical issues of our generation. While the abundant potential of renewable energy such as solar and wind provides a real opportunity for sustainability, their intermittency and uncertainty present a daunting operating challenge. This thesis aims to develop analytical models, deployable algorithms, and real systems to enable efficient integration of renewable energy into complex distributed systems with limited information.

The first thrust of the thesis is to make IT systems more sustainable by facilitating the integration of renewable energy into these systems. IT represents the fastest growing sectors in energy usage and greenhouse gas pollution. Over the last decade there are dramatic improvements in the energy efficiency of IT systems, but the efficiency improvements do not necessarily lead to reduction in energy consumption because more servers are demanded. Further, little effort has been put in making IT more sustainable, and most of the improvements are from improved "engineering" rather than improved "algorithms". In contrast, my work focuses on developing algorithms with rigorous theoretical analysis that improve the sustainability of IT. In particular, this thesis seeks to exploit the flexibilities of cloud workloads both (i) in time by scheduling delay-tolerant workloads and (ii) in space by routing requests to geographically diverse data centers. These opportunities allow data centers to adaptively respond to renewable availability, varying cooling efficiency, and fluctuating energy prices, while still meeting performance requirements. The design of the enabling algorithms is however very challenging because of limited information, non-smooth objective functions and the need for distributed control. Novel distributed algorithms are developed with theoretically provable guarantees to enable the "follow the renewables" routing. Moving from theory to practice, I helped HP design and implement industry's first Net-zero Energy Data Center.

The second thrust of this thesis is to use IT systems to improve the sustainability and efficiency of our energy infrastructure through data center demand response. The main challenges as we integrate more renewable sources to the existing power grid come from the fluctuation and unpredictability of renewable generation. Although energy storage and reserves can potentially solve the issues, they are very costly. One promising alternative is to make the cloud data centers demand responsive. The potential of such an approach is huge.

To realize this potential, we need adaptive and distributed control of cloud data centers and new electricity market designs for distributed electricity resources. My work is progressing in both directions. In particular, I have designed online algorithms with theoretically guaranteed performance for data center operators to deal with uncertainties under popular demand response programs. Based on local control rules of customers, I have further designed new pricing schemes for demand response to align the interests of customers, utility companies, and the society to improve social welfare.

Kinetic theory of normal quantum fluids

Close to equilibrium, a normal Bose or Fermi fluid can be described by an exact kinetic equation whose kernel is nonlocal in space and time. The general expression derived for the kernel is evaluated to second order in the interparticle potential. The result is a wavevector- and frequency-dependent generalization of the linear Uehling-Uhlenbeck kernel with the Born approximation cross section.

The theory is formulated in terms of second-quantized phase space operators whose equilibrium averages are the n-particle Wigner distribution functions. Convenient expressions for the commutators and anticommutators of the phase space operators are obtained. The two-particle equilibrium distribution function is analyzed in terms of momentum-dependent quantum generalizations of the classical pair distribution function h(k) and direct correlation function c(k). The kinetic equation is presented as the equation of motion of a two -particle correlation function, the phase space density-density anticommutator, and is derived by a formal closure of the quantum BBGKY hierarchy. An alternative derivation using a projection operator is also given. It is shown that the method used for approximating the kernel by a second order expansion preserves all the sum rules to the same order, and that the second-order kernel satisfies the appropriate positivity and symmetry conditions.

Efetividade da aplicação semestral de verniz fluoretado no controle da cárie dentária em pré-escolares: resultados após 12 meses de acompanhamento

O presente estudo teve como objetivos avaliar se a aplicação de verniz fluoretado com periodicidade semestral em crianças pré-escolares reduz o número de crianças com lesões de cárie em dentina na dentição decídua, diminui a incidência de lesões de cárie em esmalte e dentina, está inversamente associado à ocorrência de dor e abscesso dentário e produz quaisquer efeitos adversos. A população de estudo consistiu de 200 crianças na faixa etária de 12 a 48 meses, recrutadas em uma unidade de saúde pública da cidade do Rio de Janeiro, as quais foram alocadas aleatoriamente nos grupos teste (verniz fluoretado Duraphat) e controle (verniz placebo). Para o registro da incidência de cárie, as crianças foram examinadas na linha de base e a cada seis meses, durante um ano, por dois odontopediatras previamente treinados e calibrados (Kappa=0,85). A ocorrência de dor, abscesso e efeitos adversos foi verificada a partir de entrevistas com os responsáveis. Os participantes, os seus responsáveis, os operadores e os examinadores desconheciam a qual grupo cada criança pertencia. No final do período de acompanhamento, 71 crianças do grupo teste e 77 do grupo controle foram avaliadas. Constatou-se que, nos grupos teste e controle, o número de crianças com novas lesões de cárie em dentina foi igual a 13 e 20 (teste Qui-quadrado, p=0,34) e que a média do incremento de cárie considerando apenas lesões em dentina (c3eos) foi de 1,1(dp=3,4) e de 1,4(dp=2,8), respectivamente (teste de Mann-Whitney, p=0,29). Uma criança apresentou dor de dente e abscesso dentário e outras duas crianças apresentaram apenas dor de dente. Todas pertenciam ao grupo teste. Com relação aos efeitos adversos, encontrou-se que uma criança pertencente ao grupo controle relatou ardência na cavidade bucal após a aplicação do placebo e que o responsável por um participante do grupo teste sentiu-se incomodado com a coloração amarelada dos dentes da criança após a aplicação do verniz fluoretado. Concluiu-se que a aplicação de verniz fluoretado com periodicidade semestral em crianças pré-escolares é segura e parece contribuir para o controle da progressão de cárie. Contudo, é necessário um período de acompanhamento mais longo para se obter evidência conclusiva a respeito da efetividade dessa intervenção. Não houve associação entre a ocorrência de dor e abscesso dentário e o uso profissional do verniz fluoretado.

Nonlinear propagation of ultraslow pulses in media with electromagnetically induced transparency

The nonlinear behavior of a probe pulse propagating in a medium with electromagnetically induced transparency is studied both numerically and analytically. A new type of nonlinear wave equation is proposed in which the noninstantaneous response of nonlinear polarization is treated properly. The resulting nonlinear behavior of the propagating probe pulse is shown to be fundamentally different from that predicted by the simple nonlinear Schrodinger-like wave equation that considers only instantaneous Kerr nonlinearity. (c) 2005 Optical Society of America.

Quantum interference effects of two coherent population trapping states on the atomic spectral lines of a F-e=0 -> F-g=1 transition

We investigate the fluorescence spectrum in a nearly degenerate atomic system of a F-e = 0 -> F-g = 1 transition by analytically solving Schrodinger equations. An ultranarrow fluorescence spectral line in between the two coherent population trapping windows has been found. Our analytic solutions clearly show the origin of the ultranarrow spectral line. Due to quantum interference effects between two coherent population trapping states, the width and intensity of the central spectral line can be controlled by an external magnetic field. Such an effect may be used to detect a magnetic field.

A papaína no tratamento da periodontite crônica

A raspagem subgengival e o alisamento radicular constituem o "padrão ouro" e o tratamento de eleição para a periodontite; porém, é um procedimento difícil de ser executado, que requer um intenso treinamento e que pode expor a dentina, causando hipersensibilidade dentinária pela remoção excessiva de cemento, ou produzir defeitos, como sulcos e ranhuras, além de deixar cálculo residual e não conseguir atingir toda as superfície radicular. Recentemente, um gel a base de papaína e cloramina foi introduzido no mercado (Papacárie), utilizado no tratamento da remoção de dentina cariada. Este gel poderia auxiliar na remoção do cálculo subgengival com menor desgaste do cemento. O objetivo deste trabalho foi comparar a eficácia e analisar a superfície radicular na utilização de um gel à base de papaína e cloramina, associado ao alisamento radicular, na região subgengival. Após receberem instruções de higiene oral, raspagem supragengival e polimento coronário, 18 pacientes com periodontite crônica, 6 mulheres e 12 homens, com idade média de 51 anos (8) foram tratados num modelo de boca dividida. O tratamento-teste foi constituído pela aplicação do gel na área subgengival por 1 min., seguida pelo alisamento radicular; o tratamento-controle foi constituído pela raspagem subgengival e alisamento radiculares. A terapia foi executada por 3 operadoras e os exames inicial, de 28 dias e 3 meses, foram realizados por um único examinador. Quatro dentes nunca tratados de dois outros pacientes (2 incisivos centrais inferiores e 2 premolares), com indicação para extração, foram submetidos ao tratamento teste e controle e, após a exodontia, analisados em microscopia eletrônica de varredura (MEV). Ao longo dos 3 meses, os resultados demonstraram significativa melhora nos parâmetros clínicos: sangramento à sondagem, profundidade de bolsa e ganho de inserção, tanto no lado-teste, como no lado-controle, principalmente aos 28 dias; mas não foi observada significância estatística quando ambas as formas de terapia foram comparadas. O índice de placa médio permaneceu alto ao longo do estudo. A análise do MEV demonstrou que o tratamento-teste deixou uma maior quantidade de cálculo residual sobre a superfície radicular; porém, áreas livres de cálculo também foram observadas. No tratamento-controle, verificaram-se regiões mais profundas não atingidas pelas curetas, áreas livres de cálculo e um sulco produzido pela cureta. Concluiu-se que tanto o tratamento-teste, como o controle, foram eficazes no tratamento da periodontite crônica nos 3 meses observados.

Some constructions, related to noncommutative tori; Fredholm modules and the Beilinson-Bloch regulator

A noncommutative 2-torus is one of the main toy models of noncommutative geometry, and a noncommutative n-torus is a straightforward generalization of it. In 1980, Pimsner and Voiculescu in [17] described a 6-term exact sequence, which allows for the computation of the K-theory of noncommutative tori. It follows that both even and odd K-groups of n-dimensional noncommutative tori are free abelian groups on 2^n-1 generators. In 1981, the Powers-Rieffel projector was described [19], which, together with the class of identity, generates the even K-theory of noncommutative 2-tori. In 1984, Elliott [10] computed trace and Chern character on these K-groups. According to Rieffel [20], the odd K-theory of a noncommutative n-torus coincides with the group of connected components of the elements of the algebra. In particular, generators of K-theory can be chosen to be invertible elements of the algebra. In Chapter 1, we derive an explicit formula for the First nontrivial generator of the odd K-theory of noncommutative tori. This gives the full set of generators for the odd K-theory of noncommutative 3-tori and 4-tori.

In Chapter 2, we apply the graded-commutative framework of differential geometry to the polynomial subalgebra of the noncommutative torus algebra. We use the framework of differential geometry described in [27], [14], [25], [26]. In order to apply this framework to noncommutative torus, the notion of the graded-commutative algebra has to be generalized: the "signs" should be allowed to take values in U(1), rather than just {-1,1}. Such generalization is well-known (see, e.g., [8] in the context of linear algebra). We reformulate relevant results of [27], [14], [25], [26] using this extended notion of sign. We show how this framework can be used to construct differential operators, differential forms, and jet spaces on noncommutative tori. Then, we compare the constructed differential forms to the ones, obtained from the spectral triple of the noncommutative torus. Sections 2.1-2.3 recall the basic notions from [27], [14], [25], [26], with the required change of the notion of "sign". In Section 2.4, we apply these notions to the polynomial subalgebra of the noncommutative torus algebra. This polynomial subalgebra is similar to a free graded-commutative algebra. We show that, when restricted to the polynomial subalgebra, Connes construction of differential forms gives the same answer as the one obtained from the graded-commutative differential geometry. One may try to extend these notions to the smooth noncommutative torus algebra, but this was not done in this work.

A reconstruction of the Beilinson-Bloch regulator (for curves) via Fredholm modules was given by Eugene Ha in [12]. However, the proof in [12] contains a critical gap; in Chapter 3, we close this gap. More specifically, we do this by obtaining some technical results, and by proving Property 4 of Section 3.7 (see Theorem 3.9.4), which implies that such reformulation is, indeed, possible. The main motivation for this reformulation is the longer-term goal of finding possible analogs of the second K-group (in the context of algebraic geometry and K-theory of rings) and of the regulators for noncommutative spaces. This work should be seen as a necessary preliminary step for that purpose.

For the convenience of the reader, we also give a short description of the results from [12], as well as some background material on central extensions and Connes-Karoubi character.

A colorimetric determination of hydrocyanic acid

The object of this investigation is to devise a rapid, fairly accurate, colorimetric analysis for HCN to be used in field work for determining instantaneous concentrations of the gas under fumigating canvas. A large amount of money is expended yearly by the citrus industry of this state in attempting to control and to eradicate the scale pests. Although fumigation with HCN has been practiced tor many years, the progress made has been anything but satisfactory. The greater portion of the work has always been carried on by contractors, who in a large number of cases have been very unscrupulous. The materials and labor are very expensive and the growers have been satisfied to adhere to beaten paths and hope for the best results on scale kill with the least attendant foliage injury. One familiar with fumigating, either from the grower's or the operator's viewpoint, knows that very widely varying results are obtained, even under what are apparently identical condition. Even after discounting for the dishonesty of some operators and the prejudices of the grower, there is still a large variance between desired or expected results and those actually obtained.

FUZZY SOLID SETS FOR MATHEMATICAL MORPHOLOGY AND OPTICAL IMPLEMENTATION

Fuzzy sets in the subject space are transformed to fuzzy solid sets in an increased object space on the basis of the development of the local umbra concept. Further, a counting transform is defined for reconstructing the fuzzy sets from the fuzzy solid sets, and the dilation and erosion operators in mathematical morphology are redefined in the fuzzy solid-set space. The algebraic structures of fuzzy solid sets can lead not only to fuzzy logic but also to arithmetic operations. Thus a fuzzy solid-set image algebra of two image transforms and five set operators is defined that can formulate binary and gray-scale morphological image-processing functions consisting of dilation, erosion, intersection, union, complement, addition, subtraction, and reflection in a unified form. A cellular set-logic array architecture is suggested for executing this image algebra. The optical implementation of the architecture, based on area coding of gray-scale values, is demonstrated. (C) 1995 Optical Society of America

Fuzzy inferring mathematical morphology and optical implementation

Fuzzification is introduced into gray-scale mathematical morphology by using two-input one-output fuzzy rule-based inference systems. The fuzzy inferring dilation or erosion is defined from the approximate reasoning of the two consequences of a dilation or an erosion and an extended rank-order operation. The fuzzy inference systems with numbers of rules and fuzzy membership functions are further reduced to a simple fuzzy system formulated by only an exponential two-input one-output function. Such a one-function fuzzy inference system is able to approach complex fuzzy inference systems by using two specified parameters within it-a proportion to characterize the fuzzy degree and an exponent to depict the nonlinearity in the inferring. The proposed fuzzy inferring morphological operators tend to keep the object details comparable to the structuring element and to smooth the conventional morphological operations. Based on digital area coding of a gray-scale image, incoherently optical correlation for neighboring connection, and optical thresholding for rank-order operations, a fuzzy inference system can be realized optically in parallel. (C) 1996 Society of Photo-Optical Instrumentation Engineers.

Bioaerossóis na indústria farmacêutica

Este estudo teve como finalidade, testar uma barreira contra a contaminação microbiológica em placas de contato, utilizadas em monitoramento de salas limpas para fabricação de produtos farmacêuticos estéreis. Durante o ano de 2007, foram realizados testes de contato com a utilização da mencionada barreira, e os resultados foram comparados com dados dos anos de, 2004, 2005 e 2006, quando a barreira não foi utilizada. Os ambientes utilizados para os testes foram duas salas limpas de uma planta farmacêutica localizada no Rio de Janeiro. Nos mencionados ambientes é necessário o uso de uma vestimenta especial, de forma a evitar que partículas do corpo dos operadores, bactérias e fungos, migrem para a superfície externa do uniforme e coloquem em risco a esterilidade dos produtos. Sendo assim, foi proposta a colocação de uma camiseta diretamente sobre a pele do operador durante todo o ano de 2007 de forma a evitar ou reduzir a possibilidade de migração dessas partículas; e os resultados foram comparados com os anos de 2004, 2005 e 2006, quando a camiseta não foi usada. Os testes demonstraram que houve uma redução de cerca de 50% na ocorrência de placas contaminadas. Com relação ao número total de colônias formadas, a redução foi de 75% na comparação com os anos de 2004 e 2005 e de 50% com relação ao ano de 2006

Paranormal operator on a Hilbert space

In this thesis an extensive study is made of the set P of all paranormal operators in B(H), the set of all bounded endomorphisms on the complex Hilbert space H. T ϵ B(H) is paranormal if for each z contained in the resolvent set of T, d(z, σ(T))//(T-zI)^-1 = 1 where d(z, σ(T)) is the distance from z to σ(T), the spectrum of T. P contains the set N of normal operators and P contains the set of hyponormal operators. However, P is contained in L, the set of all T ϵ B(H) such that the convex hull of the spectrum of T is equal to the closure of the numerical range of T. Thus, N≤P≤L.

If the uniform operator (norm) topology is placed on B(H), then the relative topological properties of N, P, L can be discussed. In Section IV, it is shown that: 1) N P and L are arc-wise connected and closed, 2) N, P, and L are nowhere dense subsets of B(H) when dim H ≥ 2, 3) N = P when dimH ˂ ∞ , 4) N is a nowhere dense subset of P when dimH ˂ ∞ , 5) P is not a nowhere dense subset of L when dimH ˂ ∞ , and 6) it is not known if P is a nowhere dense subset of L when dimH ˂ ∞.

The spectral properties of paranormal operators are of current interest in the literature. Putnam [22, 23] has shown that certain points on the boundary of the spectrum of a paranormal operator are either normal eigenvalues or normal approximate eigenvalues. Stampfli [26] has shown that a hyponormal operator with countable spectrum is normal. However, in Theorem 3.3, it is shown that a paranormal operator T with countable spectrum can be written as the direct sum, N ⊕ A, of a normal operator N with σ(N) = σ(T) and of an operator A with σ(A) a subset of the derived set of σ(T). It is then shown that A need not be normal. If we restrict the countable spectrum of T ϵ P to lie on a C²-smooth rectifiable Jordan curve G_o, then T must be normal [see Theorem 3.5 and its Corollary]. If T is a scalar paranormal operator with countable spectrum, then in order to conclude that T is normal the condition of σ(T) ≤ G_o can be relaxed [see Theorem 3.6]. In Theorem 3.7 it is then shown that the above result is not true when T is not assumed to be scalar. It was then conjectured that if T ϵ P with σ(T) ≤ G_o, then T is normal. The proof of Theorem 3.5 relies heavily on the assumption that T has countable spectrum and cannot be generalized. However, the corollary to Theorem 3.9 states that if T ϵ P with σ(T) ≤ G_o, then T has a non-trivial lattice of invariant subspaces. After the completion of most of the work on this thesis, Stampfli [30, 31] published a proof that a paranormal operator T with σ(T) ≤ G_o is normal. His proof uses some rather deep results concerning numerical ranges whereas the proof of Theorem 3.5 uses relatively elementary methods.

Dualidade na teoria de Landau-Ginzburg da supercondutividade

Neste trabalho abordamos a teoria de Ginzburg-Landau da supercondutividade (teoria GL). Apresentamos suas origens, características e resultados mais importantes. A idéia fundamental desta teoria e descrever a transição de fase que sofrem alguns metais de uma fase normal para uma fase supercondutora. Durante uma transição de fase em supercondutores do tipo II é característico o surgimento de linhas de fluxo magnético em determinadas regiões de tamanho finito chamadas comumente de vórtices. A dinâmica destas estruturas topológicas é de grande interesse na comunidade científica atual e impulsiona incontáveis núcleos de pesquisa na área da supercondutividade. Baseado nisto estudamos como essas estruturas topológicas influenciam em uma transição de fase em um modelo bidimensional conhecido como modelo XY. No modelo XY vemos que os principais responsáveis pela transição de fase são os vórtices (na verdade pares de vórtice-antivórtice). Villain, observando este fato, percebeu que poderia tornar explícita a contribuição desses defeitos topológicos na função de partição do modelo XY realizando uma transformação de dualidade. Este modelo serve como inspiração para a proposta deste trabalho. Apresentamos aqui um modelo baseado em considerações físicas sobre sistemas de matéria condensada e ao mesmo tempo utilizamos um formalismo desenvolvido recentemente na referência [29] que possibilita tornar explícita a contribuição dos defeitos topológicos na ação original proposta em nossa teoria. Após isso analisamos alguns limites clássicos e finalmente realizamos as flutuações quânticas visando obter a expressão completa da função correlação dos vórtices o que pode ser muito útil em teorias de vórtices interagentes (dinâmica de vórtices).

XPM-induced pulse compression in birefringent dispersion decreasing fiber

The pulse compression induced by cross-phase modulation in birefringent dispersion decreasing fiber is discussed theoretically by solving the coupled Schrodinger equations which include the contribution of the high-order non-linear effects, and third-order dispersion. In particular, it is found that a high quality compressed signal pulse can be obtained by a pump pulse of low intense through the technique. The dependence of optimum compression on the non-linear factor N, time delay tau(d) and the dispersive ratio f is also discussed in detail. (c) 2005 Elsevier B.V. All rights reserved.