Page usage in a quadtree index

This paper provides a characterization of the storage needs of a quadtree when used as an index to access large volumes of 2-dimensional data. It is shown that the page occupancy for data in random order approaches 33%. A precise mathematical analysis that involves a modicum of hypergeometric functions and dilogarithms, together with some computer algebra is presented.A brief survey of the analysis of storage usage in tree structures is included. The 33% ratio for quadtrees is to be compared to the figures for binary search trees (50%), tries (69%), and quadtries (46%).The research of this author was done while visiting INRIA, Rocquencourt, France under support from the Ministry of Education of Japanese Government.Work of this author was supported in part by the Basic Research Action of the E.C. under contract No. 3075 (Project ALCOM).     

Global Solutions to a Penrose–Fife Phase-field Model Under Flux Boundary Conditions for the Inverse Temperature

In this paper, we study an initial-boundary value problem for a system of phase-field equations arising from the Penrose–Fife approach to model the kinetics of phase transitions. In contrast to other recent works in the field, the correct form of the boundary condition for the temperature field is assumed which leads to additional difficulties in the mathematical treatment. It is demonstrated that global existence of strong solutions can be shown under essentially the same assumptions on the data as in the previous papers where a simplified boundary condition for the heat exchange with the surrounding medium has been used.     

Existence theory for nonclassical entropy solutions of scalar conservation laws

We establish a general existence theory for the Cauchy problem associated with a scalar conservation law in one-space dimension. The flux-function is assumed to be nonconvex and we consider nonclassical entropy solutions selected by a kinetic relation. To solve the Cauchy problem, we construct a sequence of approximate solutions using a wave-front tracking scheme. The main difficulty is deriving a uniform estimate on the total variation of the approximate solutions. This is achieved here by introducing a generalized total variation functional, which is decreasing in time and, additionally, reduces to the standard total variation functional when the solutions contain only classical shocks. This functional seems sufficiently robust to be useful for systems as well.Received: June 3, 2002; revised: November 12, 2002     

The structure of alternative tableaux

In this paper we study alternative tableaux introduced by Viennot [X. Viennot, Alternative tableaux, permutations and partially asymmetric exclusion process, talk in Cambridge, 2008]. These tableaux are in simple bijection with permutation tableaux, defined previously by Postnikov [A. Postnikov, Total positivity, Grassmannians, and networks, arXiv:math/0609764v1 [math.CO], 2006].We exhibit a simple recursive structure for alternative tableaux, from which we can easily deduce a number of enumerative results. We also give bijections between these tableaux and certain classes of labeled trees. Finally, we exhibit a bijection with permutations, and relate it to some other bijections that already appeared in the literature.     

Pd deposits on Ni(111): a theoretical study

The ASED-MO method has been used to gather electronic and energetic information on Pd deposits on Ni(111) and Pd atom inclusion in the first Ni layer since these model catalysts exhibit a striking catalytic efficiency towards butadiene hydrogenation. The electronic structure of Pd atoms is strongly altered compared with pure Pd. A Pd(4d)→Pd(5s) electronic transfer occurs in the case of the deposit when a slight similar transfer and a charge transfer from Pd to surrounding Ni takes place in the case of the inclusion. Those results are consistent with XPS experimental data. A low density of states, near the Fermi level, is also observed. The optimal geometrical situation for Pd deposits is found to be 2D-aggregates (in pseudoepitaxy or pseudomorphy with the underlying Ni surface, depending on the aggregate size). Small aggregates (part of the first Ni layer) are found to be the most stable in the case of a Pd inclusion in the Ni with a Pd---Pd distance of 2.64 Å, in agreement with available EXAFS experimental data.     

Stopping rules and backward error analysis for bound-constrained optimization

Termination criteria for the iterative solution of bound-constrained optimization problems are examined in the light of backward error analysis. It is shown that the problem of determining a suitable perturbation on the problem’s data corresponding to the definition of the backward error is analytically solvable under mild assumptions. Moreover, a link between existing termination criteria and this solution is clarified, indicating that some standard measures of criticality may be interpreted in the sense of backward error analysis. The backward error problem is finally considered from the multicriteria optimization point of view and some numerical illustration is provided.     

Auger electron emission in proton-induced interactions in living matter: A TILDA-V Monte Carlo tracking

The present work focuses on studying the contribution of the Auger electron emission in proton-induced interactions in biological matter. The Monte Carlo track-structure code, TILDA-V, was then used for modeling the protons beams of 10 keV to 100 MeV in biological matter, namely, water vapor and hydrated DNA. The main ionizing processes are described by means of an extensive set of ab initio differential and total cross sections computed within a quantum-mechanical CDW-EIS approximation.     

Revisiting Born’s Rule through Uhlhorn’s and Gleason’s Theorems

In a previous article we presented an argument to obtain (or rather infer) Born’s rule, based on a simple set of axioms named “Contexts, Systems and Modalities" (CSM). In this approach, there is no “emergence”, but the structure of quantum mechanics can be attributed to an interplay between the quantized number of modalities that is accessible to a quantum system and the continuum of contexts that are required to define these modalities. The strong link of this derivation with Gleason’s theorem was emphasized, with the argument that CSM provides a physical justification for Gleason’s hypotheses. Here, we extend this result by showing that an essential one among these hypotheses—the need of unitary transforms to relate different contexts—can be removed and is better seen as a necessary consequence of Uhlhorn’s theorem.     

Equations du type de Monge-Ampère sur les variétés Riemanniennes compactes,III

Let (V_n, g) be a C^∞ compact Riemannian manifold without boundary. Given the following changes of metric: $\text{g′}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{= g +}\text{Hess}\text{? ±}\text{l}\text{α}{}^2\text{(▽ ? ? ▽?),}\text{g}\text{?}{}^{\mathrm{\pm }}\text{= ±?g + α}{}^2\text{Hess}\text{?}$, where a is a fixed constant, we study the corresponding Monge-Ampère equations (1)^±$\text{Log}\text{(¦g′}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{¦ ¦g¦}{}^{\mathrm{?1}}\text{) = F(P,▽?;?)}$, (2)^±$\text{Log}\text{(¦}\text{g}\text{?}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{¦ ¦g¦}{}^{\mathrm{?1}}\text{) = F(P, ▽?; ?)}$. We first solve Eq. (2)^?, under some simple assumptions on F?C^∞. Then, using an appropriate change of functions that enables us to take advantage of the estimates just carried out for Eq. (2)^?, we extend to Eq.(1)^? all the results proved in our previous articles [5, 6] for the usual Monge-Ampère equation. Although equation (2)⁺ is not locally invertible, and does not even admit a solution for all $\text{F = λ? + ?, λ > 0, f ? C}{}^{\mathrm{\infty }}\text{(V}{}_{\mathrm{n}}\text{)}$, a similar change of functions leads to partial results about Eq. (1)⁺, via C² and C³ estimates for Eq. (2)⁺. Eventually we give some comments and errata of our previous article (P. Delanoë, J. Funct. Anal.41 (1981), 341–353).     

Convergence de mesures spectrales aléatoires et applications à des principes d'invariance

Nous présentons un cadre unificateur pour un certain nombre de résultats connus de convergence en loi pour des processus admettant une représentation linéaire par rapport à un bruit blanc faible pour lequel il existe un principe dinvariance faible. Nous montrons que ce principe dinvariance est équivalent à la convergence dune suite de mesures aléatoires spectrales. Ceci permet daffaiblir les hypothèses usuelles et donc dobtenir des résultats nouveaux de convergence en loi, notamment pour des processus à longue portée.