Strong isomorphism reductions in complexity theory

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both classes. Furthermore, in a more general setting we address the question of the existence of a maximal element in the partial ordering of the degrees.

Horizontal innovation in the theory of growth and development

We analyze recent contributions to growth theory based on the model of expanding variety of Romer (1990). In the first part, we present different versions of the benchmark linear model with imperfect competition. These include the labequipment model, labor-for-intermediates and directed technical change . We review applications of the expanding variety framework to the analysis of international technology diffusion, trade, cross-country productivity differences, financial development and fluctuations. In many such applications, a key role is played by complementarities in the process of innovation.

Contracting externalities and multiple equilibria in sectors: Theory and evidence

We consider an economy where the production technology has constantreturns to scale but where in the descentralized equilibrium thereare aggregate increasing returns to scale. The result follows froma positive contracting externality among firms. If a firms issurrounded by more firms, employees have more opportunitiesoutside their own firm. This improves employees' incentives toinvest in the presence of ex post renegotiation at the firm level,at not cost. Our leading result is that if a region is sparselypopulated or if the degree of development in the region is lowenough, there are multiple equilibria in the level of sectorialemployment. From the theoretical model we derive a non-linearfirst-order censored difference equation for sectoral employment.Our results are strongly consistent with the multiple equilibriahypothesis and the existence of a sectoral critical scale (belowwich the sector follows a delocation process). The scale of theregions' population and the degree of development reduce thecritical scale of the sector.

A new aggregation method for strategic decision making and its application in assignment theory

A new aggregation method for decision making is presented by using induced aggregation operators and the index of maximum and minimum level. Its main advantage is that it can assess complex reordering processes in the aggregation that represent complex attitudinal characters of the decision maker such as psychological or personal factors. A wide range of properties and particular cases of this new approach are studied. A further generalization by using hybrid averages and immediate weights is also presented. The key issue in this approach against the previous model is that we can use the weighted average and the ordered weighted average in the same formulation. Thus, we are able to consider the subjective attitude and the degree of optimism of the decision maker in the decision process. The paper ends with an application in a decision making problem based on the use of the assignment theory.

The Uncertain generalized probabilistic weighted average and its application in the theory of expertons

A new model for dealing with decision making under risk by considering subjective and objective information in the same formulation is here presented. The uncertain probabilistic weighted average (UPWA) is also presented. Its main advantage is that it unifies the probability and the weighted average in the same formulation and considering the degree of importance that each case has in the analysis. Moreover, it is able to deal with uncertain environments represented in the form of interval numbers. We study some of its main properties and particular cases. The applicability of the UPWA is also studied and it is seen that it is very broad because all the previous studies that use the probability or the weighted average can be revised with this new approach. Focus is placed on a multi-person decision making problem regarding the selection of strategies by using the theory of expertons.

The Implied Book and the Narrative Text. On a Blind Spot in Narratological Theory - from a Media Studies Perspective

The article is concerned with the formal definition of a largely unnoticed factor in narrative structure. Based on the assumptions that (1) the semantics of a written text depend, among other factors, directly on its visual alignment in space, that (2) the formal structure of a text has to meet that of its spatial presentation and that (3) these assumptions hold true also for narrative texts (which, however, in modern times typically conceal their spatial dimensions by a low-key linear layout), it is argued that, how ever low-key, the expected material shape of a given narrative determines the configuration of its plot by its author. The ,implied book' thus denotes an author's historically assumable, not necessarily conscious idea of how his text, which is still in the process of creation, will be dimensionally presented and under these circumstances visually absorbed. Assuming that an author's knowledge of this later (potentially) substantiated material form influences the composition, the implied book is to be understood as a text-genetically determined, structuring moment of the text. Historically reconstructed, it thus serves the methodical analysis of structural characteristics of a completed text.

The notion of process in nonstandard theory and in Whiteheadian metaphysics

In this article I intend to show that certain aspects of A.N. Whitehead's philosophy of organism and especially his epochal theory of time, as mainly exposed in his well-known work Process and Reality, can serve in clarify the underlying assumptions that shape nonstandard mathematical theories as such and also as metatheories of quantum mechanics. Concerning the latter issue, I point to an already significant research on nonstandard versions of quantum mechanics; two of these approaches are chosen to be critically presented in relation to the scope of this work. The main point of the paper is that, insofar as we can refer a nonstandard mathematical entity to a kind of axiomatical formalization essentially 'codifying' an underlying mental process indescribable as such by analytic means, we can possibly apply certain principles of Whitehead's metaphysical scheme focused on the key notion of process which is generally conceived as the becoming of actual entities. This is done in the sense of a unifying approach to provide an interpretation of nonstandard mathematical theories as such and also, in their metatheoretical status, as a formalization of the empirical-experimental context of quantum mechanics.

Presence of the RHD pseudogene and the hybrid RHD-CE-Ds gene in Brazilians with the D-negative phenotype

The molecular basis for RHD pseudogene or RHDpsi is a 37-bp insertion in exon 4 of RHD. This insertion, found in two-thirds of D-negative Africans, appears to introduce a stop codon at position 210. The hybrid RHD-CE-Ds, where the 3' end of exon 3 and exons 4 to 8 are derived from RHCE, is associated with the VS+V- phenotype, and leads to a D-negative phenotype in people of African origin. We determined whether Brazilian blood donors of heterogeneous ethnic origin had RHDpsi and RHD-CE-Ds. DNA from 206 blood donors were tested for RHDpsi by a multiplex PCR that detects RHD, RHDpsi and the C and c alleles of RHCE. The RHD genotype was determined by comparison of size of amplified products associated with the RHD gene in both intron 4 and exon 10/3'-UTR. VS was determined by amplification of exon 5 of RHCE, and sequencing of PCR products was used to analyze C733G (Leu245Val). Twenty-two (11%) of the 206 D-negative Brazilians studied had the RHDpsi, 5 (2%) had the RHD-CE-Ds hybrid gene associated with the VS+V- phenotype, and 179 (87%) entirely lacked RHD. As expected, RHD was deleted in all the 50 individuals of Caucasian descent. Among the 156 individuals of African descent, 22 (14%) had inactive RHD and 3% had the RHD-CE-Ds hybrid gene. These data confirm that the inclusion of two different multiplex PCR for RHD is essential to test the D-negative Brazilian population in order to avoid false-positive typing of polytransfused patients and fetuses.

Extreme Observables and Optimal Measurements in Quantum Theory

Optimization of quantum measurement processes has a pivotal role in carrying out better, more accurate or less disrupting, measurements and experiments on a quantum system. Especially, convex optimization, i.e., identifying the extreme points of the convex sets and subsets of quantum measuring devices plays an important part in quantum optimization since the typical figures of merit for measuring processes are affine functionals. In this thesis, we discuss results determining the extreme quantum devices and their relevance, e.g., in quantum-compatibility-related questions. Especially, we see that a compatible device pair where one device is extreme can be joined into a single apparatus essentially in a unique way. Moreover, we show that the question whether a pair of quantum observables can be measured jointly can often be formulated in a weaker form when some of the observables involved are extreme. Another major line of research treated in this thesis deals with convex analysis of special restricted quantum device sets, covariance structures or, in particular, generalized imprimitivity systems. Some results on the structure ofcovariant observables and instruments are listed as well as results identifying the extreme points of covariance structures in quantum theory. As a special case study, not published anywhere before, we study the structure of Euclidean-covariant localization observables for spin-0-particles. We also discuss the general form of Weyl-covariant phase-space instruments. Finally, certain optimality measures originating from convex geometry are introduced for quantum devices, namely, boundariness measuring how ‘close’ to the algebraic boundary of the device set a quantum apparatus is and the robustness of incompatibility quantifying the level of incompatibility for a quantum device pair by measuring the highest amount of noise the pair tolerates without becoming compatible. Boundariness is further associated to minimum-error discrimination of quantum devices, and robustness of incompatibility is shown to behave monotonically under certain compatibility-non-decreasing operations. Moreover, the value of robustness of incompatibility is given for a few special device pairs.

Bachelor of Arts, Honours in String Pulling

In reference to the actions of the Board of Governors of the University.