Biplots of fuzzy coded data

A biplot, which is the multivariate generalization of the two-variable scatterplot, can be used to visualize the results of many multivariate techniques, especially those that are based on the singular value decomposition. We consider data sets consisting of continuous-scale measurements, their fuzzy coding and the biplots that visualize them, using a fuzzy version of multiple correspondence analysis. Of special interest is the way quality of fit of the biplot is measured, since it is well-known that regular (i.e., crisp) multiple correspondence analysis seriously under-estimates this measure. We show how the results of fuzzy multiple correspondence analysis can be defuzzified to obtain estimated values of the original data, and prove that this implies an orthogonal decomposition of variance. This permits a measure of fit to be calculated in the familiar form of a percentage of explained variance, which is directly comparable to the corresponding fit measure used in principal component analysis of the original data. The approach is motivated initially by its application to a simulated data set, showing how the fuzzy approach can lead to diagnosing nonlinear relationships, and finally it is applied to a real set of meteorological data.

Fermat's treatise on quadrature: A new reading

The Treatise on Quadrature of Fermat (c. 1659), besides containing the first known proof of the computation of the area under a higher parabola, R x+m/n dx, or under a higher hyperbola, R x-m/n dx with the appropriate limits of integration in each case , has a second part which was not understood by Fermat s contemporaries. This second part of the Treatise is obscure and difficult to read and even the great Huygens described it as'published with many mistakes and it is so obscure (with proofs redolent of error) that I have been unable to make any sense of it'. Far from the confusion that Huygens attributes to it, in this paper we try to prove that Fermat, in writing the Treatise, had a very clear goal in mind and he managed to attain it by means of a simple and original method. Fermat reduced the quadrature of a great number of algebraic curves to the quadrature of known curves: the higher parabolas and hyperbolas of the first part of the paper. Others, he reduced to the quadrature of the circle. We shall see how the clever use of two procedures, quite novel at the time: the change of variables and a particular case of the formulaof integration by parts, provide Fermat with the necessary tools to square very easily curves as well-known as the folium of Descartes, the cissoid of Diocles or the witch of Agnesi.

Proving the performance of a new revenue management system

Revenue management (RM) is a complicated business process that can best be described ascontrol of sales (using prices, restrictions, or capacity), usually using software as a tool to aiddecisions. RM software can play a mere informative role, supplying analysts with formatted andsummarized data who use it to make control decisions (setting a price or allocating capacity fora price point), or, play a deeper role, automating the decisions process completely, at the otherextreme. The RM models and algorithms in the academic literature by and large concentrateon the latter, completely automated, level of functionality.A firm considering using a new RM model or RM system needs to evaluate its performance.Academic papers justify the performance of their models using simulations, where customerbooking requests are simulated according to some process and model, and the revenue perfor-mance of the algorithm compared to an alternate set of algorithms. Such simulations, whilean accepted part of the academic literature, and indeed providing research insight, often lackcredibility with management. Even methodologically, they are usually awed, as the simula-tions only test \within-model" performance, and say nothing as to the appropriateness of themodel in the first place. Even simulations that test against alternate models or competition arelimited by their inherent necessity on fixing some model as the universe for their testing. Theseproblems are exacerbated with RM models that attempt to model customer purchase behav-ior or competition, as the right models for competitive actions or customer purchases remainsomewhat of a mystery, or at least with no consensus on their validity.How then to validate a model? Putting it another way, we want to show that a particularmodel or algorithm is the cause of a certain improvement to the RM process compared to theexisting process. We take care to emphasize that we want to prove the said model as the causeof performance, and to compare against a (incumbent) process rather than against an alternatemodel.In this paper we describe a \live" testing experiment that we conducted at Iberia Airlineson a set of flights. A set of competing algorithms control a set of flights during adjacentweeks, and their behavior and results are observed over a relatively long period of time (9months). In parallel, a group of control flights were managed using the traditional mix of manualand algorithmic control (incumbent system). Such \sandbox" testing, while common at manylarge internet search and e-commerce companies is relatively rare in the revenue managementarea. Sandbox testing has an undisputable model of customer behavior but the experimentaldesign and analysis of results is less clear. In this paper we describe the philosophy behind theexperiment, the organizational challenges, the design and setup of the experiment, and outlinethe analysis of the results. This paper is a complement to a (more technical) related paper thatdescribes the econometrics and statistical analysis of the results.

On Rothschild-Stiglitz as competitive pooling

Dubey and Geanakoplos [2002] have developed a theory of competitive pooling, which incorporates adverse selection and signaling into general equilibrium. By recasting the Rothschild-Stiglitz model of insurance in this framework, they find that a separating equilibrium always exists and is unique.We prove that their uniqueness result is not a consequence of the framework, but rather of their definition of refined equilibria. When other types of perturbations are used, the model allows for many pooling allocations to be supported as such: in particular, this is the case for pooling allocations that Pareto dominate the separating equilibrium.

Worst-case bounds for the logarithmic loss of predictors

We investigate on-line prediction of individual sequences. Given a class of predictors, the goal is to predict as well as the best predictor in the class, where the loss is measured by the self information (logarithmic) loss function. The excess loss (regret) is closely related to the redundancy of the associated lossless universal code. Using Shtarkov's theorem and tools from empirical process theory, we prove a general upper bound on the best possible (minimax) regret. The bound depends on certain metric properties of the class of predictors. We apply the bound to both parametric and nonparametric classes ofpredictors. Finally, we point out a suboptimal behavior of the popular Bayesian weighted average algorithm.

Moral hazard and non-exclusive contracts

This paper studies equilibria for economies characterized by moral hazard(hidden action), in which the set of contracts marketed in equilibrium isdetermined by the interaction of financial intermediaries.The crucial aspect of the environment that we study is thatintermediaries are restricted to trade non-exclusive contracts: theagents' contractual relationships with competing intermediaries cannot bemonitored (or are not contractible upon). We fully characterize equilibrium allocations and contracts. In thisset-up equilibrium allocations are clearly incentive constrainedinefficient. A robust property of equilibria with non-exclusivity isthat the contracts issued in equilibrium do not implement the optimalaction. Moreover we prove that, whenever equilibrium contracts doimplement the optimal action, intermediaries make positive profits andequilibrium allocations are third best inefficient (where the definitionof third best efficiency accounts for constraints which capture thenon-exclusivity of contracts).

Intergenerational justice when future worlds are uncertain

Let there be a positive (exogenous) probability that, at each date, the human species will disappear.We postulate an Ethical Observer (EO) who maximizes intertemporal welfare under thisuncertainty, with expected-utility preferences. Various social welfare criteria entail alternativevon Neumann- Morgenstern utility functions for the EO: utilitarian, Rawlsian, and an extensionof the latter that corrects for the size of population. Our analysis covers, first, a cake-eating economy(without production), where the utilitarian and Rawlsian recommend the same allocation.Second, a productive economy with education and capital, where it turns out that the recommendationsof the two EOs are in general different. But when the utilitarian program diverges, thenwe prove it is optimal for the extended Rawlsian to ignore the uncertainty concerning the possibledisappearance of the human species in the future. We conclude by discussing the implicationsfor intergenerational welfare maximization in the presence of global warming.

On the concept of optimality interval

The approximants to regular continued fractions constitute `best approximations' to the numbers they converge to in two ways known as of the first and the second kind.This property of continued fractions provides a solution to Gosper's problem of the batting average: if the batting average of a baseball player is 0.334, what is the minimum number of times he has been at bat? In this paper, we tackle somehow the inverse question: given a rational number P/Q, what is the set of all numbers for which P/Q is a `best approximation' of one or the other kind? We prove that inboth cases these `Optimality Sets' are intervals and we give aprecise description of their endpoints.

An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Homotopy Batalin-Vilkovisky algebras

This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties. To define this resolution we extend the theory of Koszul duality to operads and properads that are defind by quadratic and linear relations. The operad encoding Batalin-Vilkovisky algebras is shown to be Koszul in this sense. This allows us to prove a Poincare-Birkhoff-Witt Theorem for such an operad and to give an explicit small quasi-free resolution for it. This particular resolution enables us to describe the deformation theory and homotopy theory of BV-algebras and of homotopy BV-algebras. We show that any topological conformal field theory carries a homotopy BV-algebra structure which lifts the BV-algebra structure on homology. The same result is proved for the singular chain complex of the double loop space of a topological space endowed with an action of the circle. We also prove the cyclic Deligne conjecture with this cofibrant resolution of the operad BV. We develop the general obstruction theory for algebras over the Koszul resolution of a properad and apply it to extend a conjecture of Lian-Zuckerman, showing that certain vertex algebras have an explicit homotopy BV-algebra structure.

Estudi estratègic del coblisme com a bé cultural

Aquest treball de final de carrera tracta sobre l’aplicació de les modernes tècniques de reflexió estratègica aplicades al sector de la cultura popular catalana, concretament la cultura popular catalana que engloba les manifestacions on el vincle comú és la formació musical pròpia: la cobla. Aprofitar aquest sector, a priori tant complex i tant allunyat en principi del món d’estratègia d’empresa com aquest, és l’excusa per veure el comportament d’aquestes eines i teories, i comprovar-ne la seva eficàcia i adaptabilitat als diferents casos de la realitat, a més de poder treballar un tema tant nou com la valoració d’intangibles. A la vegada, es produeix una síntesi de treballs orientats a l’organització d’entitats sense ànim de lucre existents en la bibliografia especialitzada, i que han tingut un inexistent ressò pràctic. Això pot ser un contrasentit en un país on l’associacionisme és tan arrelat i un dels pilars socials que ens vertebren i diferencien. En el cas de la música per a cobla, especialment destacable en un moment molt important i crític per estar en un temps de transició social molt fort. També, cal destacar vivament que té una sèrie de valors afegits de qualitat i complexitat que la situen en un interessant camí entre la cultura popular i les propostes de caràcter més comercial, en unes condicions actuals de gran desconeixement social. Les vinculacions entre estratègia, innovació, responsabilitat social i cultura del coneixement, donen a aquest treball un fort caràcter actual i adaptat a la realitat en les consideracions sobre el management en general.

Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight 2. Moreover, we determine the arithmetic selfintersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and we study Faltings heights of arithmetic Hirzebruch-Zagier divisors.

Extensions of maps defined on many fibres

Let S be a fibred surface. We prove that the existence of morphisms from non countably many fibres to curves implies, up to base change, the existence of a rational map from S to another surface fibred over the same base reflecting the properties of the original morphisms. Under some conditions of unicity base change is not needed and one recovers exactly the initial maps.

Semi-purity of tempered Deligne cohomology

In this paper we define the formal and tempered Deligne cohomology groups, that are obtained by applying the Deligne complex functor to the complexes of formal differential forms and tempered currents respectively. We then prove the existence of a duality between them, a vanishing theorem for the former and a semipurity property for the latter. The motivation of these results comes from the study of covariant arithmetic Chow groups. The semipurity property of tempered Deligne cohomology implies, in particular, that several definitions of covariant arithmetic Chow groups agree for projective arithmetic varieties.

Precursor uptake assays and metabolic analyses in isolated tomato fruit chromoplasts

Background Carotenoids are the most widespread group of pigments found in nature. In addition to their role in the physiology of the plant, carotenoids also have nutritional relevance as their incorporation in the human diet provides health benefits. In non-photosynthetic tissues, carotenoids are synthesized and stored in specialized plastids called chromoplasts. At present very little is known about the origin of the metabolic precursors and cofactors required to sustain the high rate of carotenoid biosynthesis in these plastids. Recent proteomic data have revealed a number of biochemical and metabolic processes potentially operating in fruit chromoplasts. However, considering that chloroplast to chromoplast differentiation is a very rapid process during fruit ripening, there is the possibility that some of the proteins identified in the proteomic analysis could represent remnants no longer having a functional role in chromoplasts. Therefore, experimental validation is necessary to prove whether these predicted processes are actually operative in chromoplasts. Results A method has been established for high-yield purification of tomato fruit chromoplasts suitable for metabolic studies. Radiolabeled precursors were efficiently incorporated and further metabolized in isolated chromoplast. Analysis of labeled lipophilic compounds has revealed that lipid biosynthesis is a very efficient process in chromoplasts, while the relatively low incorporation levels found in carotenoids suggest that lipid production may represent a competing pathway for carotenoid biosynthesis. Malate and pyruvate are efficiently converted into acetyl-CoA, in agreement with the active operation of the malic enzyme and the pyruvate dehydrogenase complex in the chromoplast. Our results have also shown that isolated chromoplasts can actively sustain anabolic processes without the exogenous supply of ATP, thus suggesting that these organelles may generate this energetic cofactor in an autonomous way. Conclusions We have set up a method for high yield purification of intact tomato fruit chromoplasts suitable for precursor uptake assays and metabolic analyses. Using targeted radiolabeled precursors we have been able to unravel novel biochemical and metabolic aspects related with carotenoid and lipid biosynthesis in tomato fruit chromoplasts. The reported chromoplast system could represent a valuable platform to address the validation and characterization of functional processes predicted from recent transcriptomic and proteomic data.