Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically (...) closed fields is the model-completion of the theory of vector spaces. (shrink)

We study the theory of K-vector spaces with a predicate for the union X of an infinite family of independent subspaces. We show that if K is infinite then the theory is complete and admits quantifier elimination in the language of K-vector spaces with predicates for the n-fold sums of X with itself. If K is finite this is no longer true, but we still have that a natural completion is near-model-complete.

Downey and Remmel have completely characterized the degrees of c.e. bases for c.e. vector spaces (and c.e. fields) in terms of weak truth table degrees. In this paper we obtain a structural result concerning the interaction between the c.e. Turing degrees and the c.e. weak truth table degrees, which by Downey and Remmel's classification, establishes the existence of c.e. vector spaces (and fields) with the strong antibasis property (a question which they raised). Namely, we construct c.e. sets $B<_{\rm (...) T}A$ such that the c.e. W-degrees below that of A are disjoint from the nonzero c.e. T-degrees below that of A and comparable to that of B. (shrink)

In standard quantum mechanics, a state vector \ may belong to infinitely many different orthogonal bases, as soon as the dimension N of the Hilbert space is at least three. On the other hand, a complete physical observable A is associated with a N-dimensional orthogonal basis of eigenvectors. In an idealized case, measuring A again and again will give repeatedly the same result, with the same eigenvalue. Let us call this repeatable result a modality \, and the corresponding eigenstate (...) \. A question is then: does \ give a complete description of \? The answer is obviously no, since \ does not specify the full observable A that allowed us to obtain \; hence the physical description given by \ is incomplete, as claimed by Einstein, Podolsky and Rosen in their famous article in 1935. Here we want to spell out this provocative statement, and in particular to answer the questions: if \ is an incomplete description of \, what does it describe? is it possible to obtain a complete description, maybe algebraic? Our conclusion is that the incompleteness of standard QM is due to its attempt to describe systems without contexts, whereas both are always required, even if they can be separated outside the measurement periods. (shrink)

We provide a simple and transparent construction of Hrushovski's strongly minimal fusions in the case where the fused strongly minimal sets are vector spaces. We strengthen Hrushovski's result by showing that the strongly minimal fusions are model complete.

Epistemologists have addressed a variety of modal epistemic standings, such as sensitivity, safety, risk, and epistemic virtue. These concepts mark out the ways that beliefs can fail to track the truth, articulate the conditions needed for knowledge, and indicate ways to become a better epistemic agent. However, it is our contention that current ways of carving up epistemic modality ignore the complexities that emerge when individuals are embedded within a community and listening to a variety of sources, some of whom (...) are intentionally engaged in deception or bullshit. In this context we want our beliefs to be secure. In this paper we translate the epistemic modal standing of safety into a framework appropriate for social epistemology and argue for the importance of epistemic network-security and belief-security to be added to this framework. We discuss the virtues that are salient for promoting network-security and the vices that undermine it. In particular, we highlight monitoring, adjusting, and restructuring virtues and vices. Importantly, each of these vices can be other-regarding or self-regarding. For example, one tempting way of dealing with insecurity within a network is to completely cut oneself off from biased sources. However, we argue that this is a self-regarding restructuring vice because it closes oneself off from opportunities for epistemic growth. By contrast, an other-regarding restructuring vice would be to cut off others from hearing from sources of information that would make their network more secure. (shrink)

Let T1 and T2 be two countable strongly minimal theories with the DMP whose common theory is the theory of vector spaces over a fixed finite field. We show that T1 ∪ T2 has a strongly minimal completion.

The limitation on the sharing of entanglement is a basic feature of quantum theory. For example, if two qubits are completely entangled with each other, neither of them can be at all entangled with any other object. In this paper we show, at least for a certain standard definition of entanglement, that this feature is lost when one replaces the usual complex vector space of quantum states with a real vector space. Moreover, the difference between the two theories (...) is extreme: in the real-vector-space theory, there exist states of arbitrarily many binary objects, “rebits,” in which every rebit in the system is maximally entangled with each of the other rebits. (shrink)

For any unit vector in an inner product space S, we define a mapping on the system of all ⊥-closed subspaces of S, F(S), whose restriction on the system of all splitting subspaces of S, E(S), is always a finitely additive state. We show that S is complete iff at least one such mapping is a finitely additive state on F(S). Moreover, we give a completeness criterion via the existence of a regular finitely additive state on appropriate systems of (...) subspaces. Finally, the result will be generalized to general inner product spaces. (shrink)

I propose a version of quantum mechanics featuring a discrete and finite number of states that is plausibly a model of the real world. The model is based on standard unitary quantum theory of a closed system with a finite-dimensional Hilbert space. Given certain simple conditions on the spectrum of the Hamiltonian, Schrödinger evolution is periodic, and it is straightforward to replace continuous time with a discrete version, with the result that the system only visits a discrete and finite set (...) of state vectors. The biggest challenges to the viability of such a model come from cosmological considerations. The theory may have implications for questions of mathematical realism and finitism. (shrink)

Extending a construction of Andreka, Givant, and Nemeti (2019), we construct some finite vector spaces and use them to build finite non-representable relation algebras. They are simple, measurable, and persistently finite, and they validate arbitrary finite sets of equations that are valid in the variety RRA of representable relation algebras. It follows that there is no finitely axiomatisable class of relation algebras that contains RRA and validates every equation that is both valid in RRA and preserved by completions of (...) relation algebras. Consequently, the variety generated by the completions of representable relation algebras is not finitely axiomatisable. This answers a question of Maddux (2018). (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more (...) definite states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

We define a Lie differential field as a field of characteristic 0 with an action, as derivations on , of some given Lie algebra . We assume that is a finite-dimensional vector space over some sub-field given in advance. As an example take the field of rational functions on a smooth algebraic variety, with .For every simple extension of Lie differential fields we find a finite system of differential equations that characterizes it. We then define, using first-order conditions, a (...) collection of allowed systems of differential equations s.t. the above characteristic systems are allowed. We prove that for every allowed system there exists a generic solution in some extension, and this solution is unique .We construct the model completion of the theory of Lie differential fields by adding axioms stating that every allowed system has almost generic solutions. The construction is a generalization of Blum's axioms for DCF0. We also show that this model completion is ω-stable. (shrink)

The validity of the confinement limit obtain by Unanyan et al. (Phys Rev A 79:044101, 2009) is extended by including non-symmetric vector and scalar potentials. It shows that the confinement limit of one-dimensional Dirac particles in vector and scalar potentials is \(\lambda _C/\sqrt{2}\) , with \(\lambda _C\) being the Compton wavelength.

We prove that the full completeness theorem for MLL+Mix holds by the simple interpretation via formulas as objects and proofs as Z-invariant morphisms in the *-autonomous category of topologized vector spaces. We do this by generalizing the recent work of Blute and Scott 101–142) where they used the semantical framework of dinatural transformation introduced by Girard–Scedrov–Scott , Logic from Computer Science, vol. 21, Springer, Berlin, 1992, pp. 217–241). By omitting the use of dinatural transformation, our semantics evidently allows the (...) interpretation of the cut-rule, while the original Blute–Scott's does not. Moreover, our interpretation for proofs is preserved automatically under the cut elimination procedure. In our semantics proofs themselves are characterized by the concrete algebraic notion “Z-invariance”, and our denotational semantics provides the full completeness. Our semantics is naturally extended to the full completeness semantics for CyLL+Mix owing to an elegant method of Blute–Scott 1413–1436) 101–142))). (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free (...) proofs in CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces.

We show that without assuming completeness or continuity, a strongly independent preorder on a possibly infinite dimensional convex set can always be given a vector-valued representation that naturally generalizes the standard expected utility representation. More precisely, it can be represented by a mixture-preserving function to a product of lexicographic function spaces.

The aim of this paper is to describe an analogue of the theory of nontrivial torsion-free divisible abelian groups for metabelian groups. We obtain illustrations for “old-fashioned” model theoretic algebra and “new” examples in the theory of stable groups. We begin this paper with general considerations about model theory. In the second section we present our results and we give the structure of the rest of the paper. Most parts of this paper use only basic concepts from model theory and (...) group theory. However, in Section 5, we need some somewhat elaborate notions from stability theory. One can find the beginnings of this theory in [14], and we refer the reader to [16] or [21] for stability theory and to [22] for stable groups.§1. Some model theoretic considerations. Denote by the theory of torsion-free abelian groups in the language of groups ℒgp. A finitely generated group G satisfies iff G is isomorphic to a finite direct power of ℤ. It follows that axiomatizes the universal theory of free abelian groups and that the theory of nontrivial torsion-free abelian groups is complete for the universal sentences. Denote by the theory of nontrivial divisible torsion-free abelian groups. (shrink)

We show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition systems.

In this paper, we aim at highlighting the significance of the A- and B-properties introduced by Finch (Bull Aust Math Soc 2:57–62, 1970b). These conditions turn out to capture interesting structural features of lattices of closed subspaces of complete inner vector spaces. Moreover, we generalise them to the context of effect algebras, establishing a novel connection between quantum structures (orthomodular posets, orthoalgebras, effect algebras) arising from the logico-algebraic approach to quantum mechanics.

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown (...) to be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

Linear Logic was introduced by Girard as a resource-sensitive refinement of classical logic. In this paper we establish strong connections between natural fragments of Linear Logic and a number of basic concepts related to different branches of Computer Science such as Concurrency Theory, Theory of Computations, Horn Programming and Game Theory. In particular, such complete correlations allow us to introduce several new semantics for Linear Logic and to clarify many results on the complexity of natural fragments of Linear Logic. As (...) a main corollary, any non-deterministic and concurrent computation is proved to be simulated directly within the framework of each of these systems. (shrink)

The goal of the dissertation is, first, to develop in the tradition of conventional quantum mechanics what I call a propensity view of quantum properties, and to examine its coherence. Conventional quantum mechanics assumes the completeness of quantum mechanics. Taking the ontic version of the completeness assumption, which says that a state vector completely describes an individual quantum system as it is, I argue that the propensity view of quantum properties, i.e., the attribution of certain irreducible propensities to a (...) quantum system, is not only demanded but also can be coherently maintained. ;Second, I evaluate the relation between a propensity view of quantum properties and the demands of Einstein's program of realism, the backbone of which is the requirement that physical systems, as described by a theory, have properties independently of measurement. In doing so, I argue for a non-relational version of the quantum propensity view, which amounts to attributions propensities to individual quantum systems, and claim that conventional quantum mechanics together with the non-relational propensity view of quantum properties realizes physical realism, which is a particular version of Einstein's realist thesis and which reads that a physical system, as described by a theory, has at least some of its extrinsic properties independently of measurement. ;Third, quantum mechanics, in spite of its empirical success, has suffered from certain well-known conceptual puzzles, viz., the measurement problem and the problem of nonlocality as it arises in the Einstein-Podolsky-Rosen paradox. So we ask whether the propensity view of quantum properties can help us the resolve these problems. I argue that the so-called reduction of the wave packet is the source of both problems and suggest that there is a sense in which the propensity view of quantum properties explains the reduction of the wave packet and its nonlocal nature. On the other hand, the propensity view by itself fails to resolve the question of when or in what circumstances the reduction of the wave packet occurs, indicating that we do not as yet possess a complete understanding of quantum propensities. (shrink)

The quantum state of a d-dimensional system can be represented by a probability distribution over the d 2 outcomes of a Symmetric Informationally Complete Positive Operator Valued Measure (SIC-POVM), and then this probability distribution can be represented by a vector of $\mathbb {R}^{d^{2}-1}$ in a (d 2−1)-dimensional simplex, we will call this set of vectors $\mathcal{Q}$ . Other way of represent a d-dimensional system is by the corresponding Bloch vector also in $\mathbb {R}^{d^{2}-1}$ , we will call this (...) set of vectors $\mathcal{B}$ . In this paper it is proved that with the adequate scaling $\mathcal{B}=\mathcal{Q}$ . Also we indicate some features of the shape of $\mathcal{Q}$. (shrink)

Recent developments in the cognitive sciences and artificial intelligence suggest ways of answering the most serious challenge to Peirce's notion of abduction. Either there is no such logical process as abduction or, if abduction is a form of inference, it is essentially unconscious and therefore beyond rational control so that it lacks any normative significance. Peirce himself anticipates and attempts to answer this challenge. Peirce argues that abduction is both a source of creative insight and a form of logical inference (...) subject to a degree of conscious control. In this paper I shall sketch a developing account of abduction that is suggested by the work of Paul Churchland, Paul Thagard, Chris Eliasmith, William Wimsatt, Owen Flanagan, and others. I shall argue that a credible account of abduction will require that we approach the phenomenon from both higher and lower levels as represented by these approaches. (shrink)

On the surface, bi- and multilingualism would seem to be an ideal context for exploring questions of typological proximity. The obvious intuition is that the more closely related two languages are, the easier it should be to implement the two languages in one mind. This is the starting point adopted here, but we immediately run into the difficulty that the overwhelming majority of cognitive, computational, and linguistic research on bi- and multilingualism exhibits a monolingual bias (i.e., where monolingual grammars are (...) used as the standard of comparison for outputs from bilingual grammars). The primary questions so far have focused on how bilinguals balance and switch between their two languages, but our perspective on typology leads us to consider the nature of bi- and multi-lingual systems as a whole. Following an initial proposal from Hsin ( 2014 ), we conjecture that bilingual grammars are neither isolated, nor (completely) conjoined with one another in the bilingual mind, but rather exist as integrated source grammars that are further mitigated by a common, combined grammar (Cook, 2016 ; Goldrick et al., 2016a, b ; Putnam and Klosinski, 2017 ). Here we conceive such a combined grammar in a parallel, distributed, and gradient architecture implemented in a shared vector-space model that employs compression through routinization and dimensionality reduction. We discuss the emergence of such representations and their function in the minds of bilinguals. This architecture aims to be consistent with empirical results on bilingual cognition and memory representations in computational cognitive architectures. (shrink)

It is well known that interval orders are particularly interesting in decision theory, since they are reflexive, complete and nontransitive binary relations which may be fully represented by means of two real-valued functions. In this paper, we discuss the existence of a pair of nonnegative, positively homogeneous and semicontinuous real-valued functionals representing an interval order on a real cone in a topological vector space. We recover as a particular case a result concerning the existence of a nonnegative, positively homogeneous (...) and continuous utility functional for a complete preorder on a real cone in a topological vector space. (shrink)

We complete our previous(1, 2) demonstration that there is a family of new solutions to the photon and Dirac equations using spatial and temporal circles and four-vector behaviour of the Dirac bispinor. We analyse one solution for a bound state, which is equivalent to the attractive two-body interaction between a charged point particle and a second, which remains at rest. We show this yields energy and angular momentum eigenvalues that are identical to those found by the usual method of (...) solving of the Dirac equation,(4) including fine structure. We complete our previous derivation(2) of QED from a set of rules for the two-body interaction and generalise these. We show that QED may be decomposed into a two-body interaction at every point in spacetime. (shrink)

A historical review and philosophical look at the introduction of “negative probability” as well as “complex probability” is suggested. The generalization of “probability” is forced by mathematical models in physical or technical disciplines. Initially, they are involved only as an auxiliary tool to complement mathematical models to the completeness to corresponding operations. Rewards, they acquire ontological status, especially in quantum mechanics and its formulation as a natural information theory as “quantum information” after the experimental confirmation the phenomena of “entanglement”. Philosophical (...) interpretations appear. A generalization of them is suggested: ontologically, they correspond to a relevant generalization to the relation of a part and its whole where the whole is a subset of the part rather than vice versa. The structure of “vector space” is involved necessarily in order to differ the part “by itself” from it in relation to the whole as a projection within it. That difference is reflected in the new dimension of vector space both mathematically and conceptually. Then, “negative or complex probability” are interpreted as a quantity corresponding the generalized case where the part can be “bigger” than the whole, and it is represented only partly in general within the whole. (shrink)

The European vector of development of modern Ukraine requires a new reconstruction of national history, which in turn makes it possible to make sure: this choice is not a conjuncture, but a completely natural, historically justified, nationally conscious one. Of course, in such a thematization, the question of the European fate of Ukraine coincides not only with political, but also with social, cultural, historical, religious and other aspects of research. It was in such a broad context that Mikhail Drahomanov, (...) the first “Ukrainian European”, thought. However, unlike modern reform theorists of the Soviet school, he considered spiritual and moral-ethical factors to be the most significant. (shrink)

Economics prefers complete explanations: general over partial equilibrium, microfoundational over aggregate. Similarly, probabilistic accounts of causation frequently prefer greater detail to less as in typical resolutions of Simpson’s paradox. Strategies of causal refinement equally aim to distinguish direct from indirect causes. Yet, there are countervailing practices in economics. Representative-agent models aim to capture economic motivation but not to reduce the level of aggregation. Small structural vector-autoregression and dynamic stochastic general-equilibrium models are practically preferred to larger ones. The distinction between (...) exogenous and endogenous variables suggests partitioning the world into distinct subsystems. The tension in these practices is addressed within a structural account of causation inspired by the work of Herbert Simon’s, which defines cause with reference to complete systems adapted to deal with incomplete systems and piecemeal evidence. The focus is on understanding the constraints that a structural account of causation places on the freedom to model complex or lower-order systems as simpler or higher-order systems and on to what degree piecemeal evidence can be incorporated into a structural account. (shrink)

ABSTRACT In this article, we first document the virtually complete absence of infectious disease examples and concerns at the time bioethics emerged as a field. We then argue that this oversight was not benign by considering two central issues in the field, informed consent and distributive justice, and showing how they might have been framed differently had infectiousness been at the forefront of concern. The solution to this omission might be to apply standard approaches in liberal bioethics, such as autonomy (...) and the harm principle, to infectious examples. We argue that this is insufficient, however. Taking infectious disease into account requires understanding the patient as victim and as vector. Infectiousness reminds us that as autonomous agents we are both embodied and vulnerable in our relationships with others. We conclude by applying this reunderstanding of agency to the examples of informed consent and distributive justice in health care. (shrink)

A complete treatment of the Thomas rotation involves algebraic manipulations of overwhelming complexity. In this paper, we show that a choice of convenient vectorial forms for the relativistic addition law of velocities and the successive Lorentz transformations allows us to obtain straightforwardly the Thomas rotation angle by three new methods: (a) direct computation as the angle between the composite vectors of the non-collinear velocities, (b) vectorial approach, and (c) matrix approach. The new expression of the Thomas rotation angle permits us (...) to simply obtain the Thomas precession. Original diagrams are given for the first time. (shrink)

This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...) dependence in topological models, linear dependence in vector spaces, and temporal dependence in dynamical systems and games. (shrink)

ABSTRACT In this article, we first document the virtually complete absence of infectious disease examples and concerns at the time bioethics emerged as a field. We then argue that this oversight was not benign by considering two central issues in the field, informed consent and distributive justice, and showing how they might have been framed differently had infectiousness been at the forefront of concern. The solution to this omission might be to apply standard approaches in liberal bioethics, such as autonomy (...) and the harm principle, to infectious examples. We argue that this is insufficient, however. Taking infectious disease into account requires understanding the patient as victim and as vector. Infectiousness reminds us that as autonomous agents we are both embodied and vulnerable in our relationships with others. We conclude by applying this reunderstanding of agency to the examples of informed consent and distributive justice in health care. (shrink)

It is an old idea, lately out of fashion but now experiencing a revival, that quantum mechanics may best be understood, not as a physical theory with a problematic probabilistic interpretation, but as something closer to a probability calculus per se. However, from this angle, the rather special C *-algebraic apparatus of quantum probability theory stands in need of further motivation. One would like to find additional principles, having clear physical and/or probabilistic content, on the basis of which this apparatus (...) can be reconstructed. In this paper, I explore one route to such a derivation of finite-dimensional quantum mechanics, by means of a set of strong, but probabilistically intelligible, axioms. Stated very informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of (basic, discrete) measurements as orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space – in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short. (shrink)

This thesis studies collider phenomenology of physics beyond the Standard Model at the Large Hadron Collider (LHC). It also explores in detail advanced topics related to Higgs boson and supersymmetry - one of the most exciting and well-motivated streams in particle physics. In particular, it finds a very large enhancement of multiple Higgs boson production in vector-boson scattering when Higgs couplings to gauge bosons differ from those predicted by the Standard Model. The thesis demonstrates that due to the loss (...) of unitarity, the very large enhancement for triple Higgs boson production takes place. This is a truly novel finding. The thesis also studies the effects of supersymmetric partners of top and bottom quarks on the Higgs production and decay at the LHC, pointing for the first time to non-universal alterations for two main production processes of the Higgs boson at the LHC-vector boson fusion and gluon-gluon fusion. Continuing the exploration of Higgs boson and supersymmetry at the LHC, the thesis extends existing experimental analysis and shows that for a single decay channel the mass of the top quark superpartner below 175 GeV can be completely excluded, which in turn excludes electroweak baryogenesis in the Minimal Supersymmetric Model. This is a major new finding for the HEP community. This thesis is very clearly written and the introduction and conclusions are accessible to a wide spectrum of readers. (shrink)

In this paper, we shall discuss some recent contributions to the project [15, 14, 2, 18, 22, 23] of explaining why no satisfactory system of complete invariants has yet been found for the torsion-free abelian groups of finite rank n ≥ 2. Recall that, up to isomorphism, the torsion-free abelian groups of rank n are exactly the additive subgroups of the n-dimensional vector space ℚn which contain n linearly independent elements. Thus the collection of torsion-free abelian groups of rank (...) at most n can be naturally identified with the set S of all nontrivial additive subgroups of ℚn. In 1937, Baer [4] solved the classification problem for the class Sof rank 1 groups as follows.Let ℙ be the set of primes. If G is a torsion-free abelian group and 0 ≠ x ϵ G, then the p-height of x is defined to behx = sup{n ϵ ℕ ∣ There exists y ϵ G such that pny = x} ϵ ℕ ∪{∞}; and the characteristic χ of x is defined to be the function. (shrink)

Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible- world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of Kripke metaframes' generalizing some earlier notions. The main innovation is in considering "n"-tuples of individuals as abstract "n"-dimensional vectors', together with some (...) transformations of these vectors. Soundness of the semantics is proved to be equivalent to some non- logical properties of metaframes; and thus we describe the maximal semantics of Kripke- type. (shrink)

In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.

Djordjević [Dj 1] proved that under natural technical assumptions, if a complete L n -theory is stable and has amalgamation over sets, then it has arbitrarily large finite models. We extend his study and prove the existence of arbitrarily large finite models for classes of models of L n -theories (maybe omitting types) under weaker amalgamation properties. In particular our analysis covers the case of vector spaces.

A cornerstone of physics, Maxwell‘s theory of electromagnetism, apparently contains a fatal flaw. The standard expressions for the electromagnetic field energy and the self-mass of an electron of finite extension do not obey Einstein‘s famous equation, \, but instead fulfill this relation with a factor 4/3 on the left-hand side. Furthermore, the energy and momentum of the electromagnetic field associated with the charge fail to transform as a four-vector. Many famous physicists have contributed to the debate of this so-called (...) 4/3-problem without arriving at a complete solution. It has generally been assumed that, as originally suggested by Poincaré, the problems are connected to the question of stability of the charge distribution, and that relativistic equivalence between energy and self-mass can only be restored by inclusion of stabilizing forces. Alternative solutions to the problems have also been proposed. Nearly a century ago Fermi suggested a covariant definition of the electromagnetic energy and momentum, and sixty years later Kalckar et al. argued that the 4/3 problem is caused by omission of a relativistic correction in the standard evaluation of the self-force from Coulomb self-interaction. However, the relation between these suggestions has not been clear. We show that the relativistic correction implies that the mechanical momentum of an accelerated rigid body must be defined as the sum of the momenta of its parts for fixed time in the momentary rest frame of the body. For the total momentum of particles and field to be conserved, the total energy–momentum tensor must be divergence free, and this then requires that the momentum of the associated electromagnetic field be defined in the same way, consistent with the suggestion by Fermi. This comprehensive solution of the 4/3-problem demonstrates that there is no conflict of Maxwell‘s theory with special relativity and the questions of equivalence of electromagnetic energy and self-mass and of stability of a classical charge distribution are independent. In appendices we discuss the relations of our treatment with Fermi‘s seminal paper and with a classic paper by Dirac where he evaluated the damping self-force on a point electron from transport of energy and momentum in the electromagnetic field. (shrink)

Despite their important applications in metrology and in spite of numerous experimental demonstrations, weak measurements are still confusing for part of the community. This sometimes leads to unjustified criticism. Recent papers have experimentally clarified the meaning and practical significance of weak measurements, yet in Kastner, Kastner seems to take us many years backwards in the the debate, casting doubt on the very term “weak value” and the meaning of weak measurements. Kastner appears to ignore both the basics and frontiers of (...) weak measurements and misinterprets the weak measurement process and its outcomes. In addition, she accuses the authors of Aharonov et al. in statements completely opposite to the ones they have actually made. There are many points of disagreement between Kastner and us, but in this short reply I will leave aside the ontology and focus mainly on the injustice in her criticism. I shall add some general comments regarding the broader theory of weak measurements and the two-state-vector formalism, as well as supporting experimental results. Finally, I will point out some recent promising results, which can be proven by projective measurements, without the need of employing weak measurements. (shrink)

Investigation of joint torque constraint compliance is of significance for robot manipulators especially working in complex environments. A lot of which is attributed to that, on the one hand, it is beneficial to the improvement of both safety and reliability of the mission execution. On the other hand, the energy consumption required by the robot to complete the desired mission can be reduced. Most existing schemes do not take the joint torque limit and other inherent physical structure limits in a (...) manipulator into account at the same time. In addition, many unavoidable uncertainties such as the external environmental disturbance and/or electromagnetism interferences in the circuit system may influence the accuracy and effectiveness of the task execution for a robot. In this study, we cast light on the acceleration level control of redundant robot manipulators considering both four physical constraint limits and interference rejection. A robust unified quadratic-programming-based hybrid control scheme is proposed, where the joint torque constraints are converted as two inequality constraints based on the robots’ dynamics equation. A recurrent-neural-network-based controller is designed for solving the control variable. Numerical experiments performing in PUMA 560 manipulator and planer manipulator illustrate that a rational torque distribution is obtained among the joints and the considered physical structural vectors are all restricted to the respective constraint range. In addition, even disturbed by the noise, the manipulator still successfully tracks the desired trajectory under the proposed control scheme. (shrink)

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear (...) Logic , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

In this paper, we aim to show how flavors – specifically food flavors – and the atmospheres they help create have a strong sociopolitical value. Smells are here dealt with as vector elements inscribed in the collective space; they, on the one hand, affect the way in which refusal or acceptance occur and, on the other, mold perceptual and fruition model. By «aromatic aesthetics», we refer to the dimension in which smells are related to peculiar atmospheric policies. Stemming from (...) this framework, we present the notions of sterilization, deodorization, and flavoring anew in the light of bodily, sensory and cognitive effects on the individual and on the relations with the surrounding world, particularly with food. The concoction of synthetic flavor mixtures and its subsequent perception cause atmospheric manipulations able to affect both collectively and individually the sense of smell. In contrast to this aggressive and standardizing practice, we try to outline an alternative approach based on the idea of engagement aiming to contribute to a complete ecological aesthetics. (shrink)

The article discusses the process of switching temporal regimes in Soviet culture at the turn of the 1920s - and during the 1930s on the material of architecture. The concepts of time in constructivism and neoclassicism are compared since the struggle between them determined the main vectors of artistic development in the reconstruction period. The author analyzes the discourse of the official position in relation to the main trends in the development of architecture in the context of the periodization of (...) socialist construction and elicits the reasons for supporting the reference to the classical heritage. The change of political agenda set new requirements for architecture as the most important way of social representation. The new society - socialism - was interpreted in constructivism, which was the leading direction of 1920s architecture, in the modus of the future. In the neoclassicism of the 1930s, socialism was placed in the modus of the present. Constructivism was aimed at the pragmatics of restoring social fabric and solving current problems, as well as at constructing a future society and human. At the end of the first five-year plan, the authorities set other goals for culture in general and architecture in particular: the representation of achievements and the expression of the greatness of socialist construction. Neoclassicism was called upon to perpetuate the present state of affairs in the modus of real perfection and superiority of Soviet socialism over any other formats of social life. Between the time of creation and the time of completion, there is formed a gap that must be hidden. As a way of hiding the temporal gap were chosen classical principles of form-making and examples of the Renaissance and Russian classicism, that were designed to convincingly demonstrate, on the one hand, the possibility of accelerating and compressing time, the swiftness of achieving the ideal, and on the other hand, tp depreciate innovations, make the idea of the movement of time into the future unnecessary. The theory of the leading neoclassicist I. Zholtovsky is discussed as an alternative to the utopian interpretation of time in constructivism, as materializing the mythological time, in which the source and end of creation are given simultaneously in the modus of eternity. (shrink)

With the advent of the cloud computing era, big data technology has also developed rapidly. Due to the huge volume, variety, fast processing speed and low value density of big data, traditional data storage, extraction, transformation and analysis technologies are not suitable, so new solutions for big data application technologies are needed. However, with the development of economic theory and the practice of market economy, some links in the industrial chain of natural monopoly industries already have a certain degree of (...) competitiveness. In this context, the article conducts a research on the anti-monopoly supervision mode of platform economy based on big data and sentiment analysis. This paper introduces the main idea of MapReduce, the current software implementation specifies a Map function that maps a set of key-value pairs into a new set of key-value pairs. It specifies a concurrent Reduce function that guarantees that each of all mapped key-value pairs share the same set of keys. establishes a vector space model, and basically realizes the extraction of text emotional elements. It introduces the theoretical controversy of antitrust regulation of predatory pricing behavior of third-party payment platforms, and conducted model experiments. The experimental results show that the throughput of 40 test users in 1 h of test is determined by two factors, QPS and the number of concurrent, where QPS = 40/ transactions/second. The time for each test user to log in to the system is 10 min, and the average response time is 10*60 s, then the number of concurrency = QPS*average response time = 40/*10*60 = 6.66. This paper has successfully completed the research on the anti-monopoly supervision model of platform economy based on big data and sentiment analysis. (shrink)