We present a well-defined generalisation of the core to coalitional games with externalities, where the value of a deviation is given by an endogenous response, the solution (if nonempty: the core) of the residual game.

Given that the world as we perceive it appears to be predominantly classical, how can we stabilize quantum effects? Given the fundamental description of our world is quantum mechanical, how do classical phenomena emerge? Answers can be found from the analysis of the scaling properties of modular quantum systems with respect to a given level of description. It is argued that, depending on design, such partitioned quantum systems may support various functions. Despite their local appearance these functions are emergent properties (...) of the system as a whole. With respect to the separation of subject and object such functions of interest are control, simulation, and observation. They are interpreted in close analogy with more basic physical behavior. (shrink)

Studies have shown that in the mammalian neuromuscular system stretch reflexes are localized within individual muscles. Neuromuscular compartmentalization, the partitioning of sensory output from muscles, and the partitioning of segmental pathways to motor nuclei have also been demonstrated. This evidence indicates that individual motor nuclei and the muscles they innervate are not homogeneous functional units. An analysis of the functional significance of reflex localization and partitioning suggests that segmental control mechanisms are based on subdivisions of motor nuclei–muscle complexes. A partitioned (...) organization of segmental control mechanisms could utilize (1) the potential functional diversity of muscle fiber types, (2) the variety of mechanical actions of individual muscles arising from their distributed origins and insertions, and (3) diverse architectural features such as intramuscular variations in pinnation and complex in-series and in-parallel arrangements of muscle fibers. The differentiated activity observed in some muscles during natural movements also calls for localized segmental control mechanisms. Partitioning may also play a role in mechanical interactions between contracting motor units and in increasing the stability of neuromuscular systems. The functional advantages of reflex localization and partitioning suggest they are probably common features of segmental systems, whose organization reflects the structure and function of their associated neuromuscular systems. (shrink)

The last section made it clear that an analysis which at first seems to fail is viable after all. It is viable if we let it depend on a partition function to be provided by the context of conversation. This analysis leaves certain traits of the partition function open. I have tried to show that this should be so. Specifying these traits as Pollock does leads to wrong predictions. And leaving them open endows counterfactuals with just (...) the right amount of variability and vagueness. (shrink)

It is shown that the notion of the partition of a set can be used to describe in a uniform way the meaning of the expression the same, in its basic uses in transitive and ditransitive sentences. Some formal properties of the function denoted by the same, which follow from such a description are indicated. These properties indicate similarities and differences between functions denoted by the same and generalised quantifiers.

We study how to partition a set of agents in a stable way when each coalition in the partition has to share a unit of a perfectly divisible good, and each agent has symmetric single-peaked preferences on the unit interval of his potential shares. A rule on the set of preference profiles consists of a partition function and a solution. Given a preference profile, a partition is selected and as many units of the good as (...) the number of coalitions in the partition are allocated, where each unit is shared among all agents belonging to the same coalition according to the solution. A rule is stable at a preference profile if no agent strictly prefers to leave his coalition to join another coalition and all members of the receiving coalition want to admit him. We show that the proportional solution and all sequential dictator solutions admit stable partition functions. We also show that stability is a strong requirement that becomes easily incompatible with other desirable properties like efficiency, strategy-proofness, anonymity, and non-envyness. (shrink)

This paper addresses automatic partitioning in complex reinforcement learning tasks with multiple agents, without a priori domain knowledge regarding task structures. Partitioning a state/input space into multiple regions helps to exploit the di erential characteristics of regions and di erential characteristics of agents, thus facilitating learning and reducing the complexity of agents especially when function approximators are used. We develop a method for optimizing the partitioning of the space through experience without the use of a priori domain knowledge. The (...) method is experimentally tested and compared to a number of other algorithms. As expected, we found that the multi-agent method with automatic partitioning outperformed single-agent learning. (shrink)

A partition is finitary if all its members are finite. For a set A, $\mathscr {B}(A)$ denotes the set of all finitary partitions of A. It is shown consistent with $\mathsf {ZF}$ (without the axiom of choice) that there exist an infinite set A and a surjection from A onto $\mathscr {B}(A)$. On the other hand, we prove in $\mathsf {ZF}$ some theorems concerning $\mathscr {B}(A)$ for infinite sets A, among which are the following: (1) If there is a (...) finitary partition of A without singleton blocks, then there are no surjections from A onto $\mathscr {B}(A)$ and no finite-to-one functions from $\mathscr {B}(A)$ to A. (2) For all $n\in \omega $, $|A^n|<|\mathscr {B}(A)|$. (3) $|\mathscr {B}(A)|\neq |\mathrm {seq}(A)|$, where $\mathrm {seq}(A)$ is the set of all finite sequences of elements of A. (shrink)

A strong coloring on a cardinal $\kappa $ is a function $f:[\kappa ]^2\to \kappa $ such that for every $A\subseteq \kappa $ of full size $\kappa $, every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction [A]^2$. The symbol $$ \begin{align*} \kappa\nrightarrow[\kappa]^2_{\kappa} \end{align*} $$ asserts the existence of a strong coloring on $\kappa $.We introduce the symbol $$ \begin{align*} \kappa\nrightarrow_p[\kappa]^2_{\kappa} \end{align*} $$ which asserts the existence of a coloring $f:[\kappa ]^2\to \kappa $ which is strong over a partition (...) $p:[\kappa ]^2\to \theta $. A coloring f is strong over p if for every $A\in [\kappa ]^{\kappa }$ there is $i<\theta $ so that for every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction )$.We prove that whenever $\kappa \nrightarrow [\kappa ]^2_{\kappa }$ holds, also $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ holds for an arbitrary finite partition p. Similarly, arbitrary finite p-s can be added to stronger symbols which hold in any model of ZFC. If $\kappa ^{\theta }=\kappa $, then $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ and stronger symbols, like $\operatorname {Pr}_1_p$ or $\operatorname {Pr}_0_p$, also hold for an arbitrary partition p to $\theta $ parts.The symbols $$ \begin{gather*} \aleph_1\nrightarrow_p[\aleph_1]^2_{\aleph_1},\;\;\; \aleph_1\nrightarrow_p[\aleph_1\circledast \aleph_1]^2_{\aleph_1},\;\;\; \aleph_0\circledast\aleph_1\nrightarrow_p[1\circledast\aleph_1]^2_{\aleph_1}, \\ \operatorname{Pr}_1_p,\;\;\;\text{ and } \;\;\; \operatorname{Pr}_0_p \end{gather*} $$ hold for an arbitrary countable partition p under the Continuum Hypothesis and are independent over ZFC $+ \neg $ CH. (shrink)

We study tree-like decompositions of models of a theory and a related complexity measure called partition width. We prove a dichotomy concerning partition width and definable pairing functions: either the partition width of models is bounded, or the theory admits definable pairing functions. Our proof rests on structure results concerning indiscernible sequences and finitely satisfiable types for theories without definable pairing functions. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

In [1] it was shown that if κ is a strong partition cardinal, then every function from [κ ]κ to [κ ]κ is continuous almost everywhere. In this investigation, we explore whether such functions are differentiable or integrable in any sense. Some of them are.

For any Boolean Algebra A, let cmm be the smallest size of an infinite partition of unity in A. The relationship of this function to the 21 common functions described in Monk [4] is described, for the class of all Boolean algebras, and also for its most important subclasses. This description involves three main results: the existence of a rigid tree algebra in which cmm exceeds any preassigned number, a rigid interval algebra with that property, and the construction (...) of an interval algebra in which every well-ordered chain has size less than cmm. (shrink)

The advocate of modal logic or relevant logic has traditionally argued that her preferred system offers the best regimentation of the theory of entailment. Essential to the projects of modal and relevant logic is the importation of non-truth-functional expressive resources into the object language on which the logic is defined. The most elegant technique for giving the semantics of such languages is that of frame semantics, a variation on which features the device of partitioned frames that divide 'points of evaluation' (...) into two types: normal points and abnormal points. This essay attempts to provide satisfying philosophical interpretations of the partitioned frame semantics for some weak modal logics and relevant logics. According to the current best interpretation, partitioned frame semantics are a kind of possible worlds semantics that appeal to 'logically impossible worlds' where the laws of logic may fail to hold. This is undermined by the fact that all of the target logics fail to satisfy criteria of expressibility needed to support the thesis that laws of logic fail to hold at abnormal points. This suggests that we should not look for a monistic interpretive paradigm for partitioned frame semantics. (shrink)

This paper addresses weighting and partitioning in complex reinforcement learning tasks, with the aim of facilitating learning. The paper presents some ideas regarding weighting of multiple agents and extends them into partitioning an input/state space into multiple regions with di erential weighting in these regions, to exploit di erential characteristics of regions and di erential characteristics of agents to reduce the learning complexity of agents (and their function approximators) and thus to facilitate the learning overall. It analyzes, in reinforcement (...) learning tasks, di erent ways of partitioning a task and using agents selectively based on partitioning. Based on the analysis, some heuristic methods are described and experimentally tested. We nd that some o -line heuristic methods performed the best, signi cantly better than single-agent models. (shrink)

We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...) For this purpose our ontology offers a variety of distinct partitions � of substances, processes and functions � and integrates these together within a single framework via transitive networks of part-whole and dependence relations among the entities in each of these categories. The paper concludes with a comparison of this methodology with the approaches of GOTM, KEGG, DIP and BIND and provides an outline of how the methodology is currently being applied in the field of biomedical database integration. (shrink)

This paper proposes a new classification algorithm for the partitioning of a conceptual space. All the algorithms which have been used until now have mostly been based on the theory of Voronoi diagrams. This paper proposes an approach based on potential theory, with the criteria for measuring similarities between objects in the conceptual space being based on the Newtonian potential function. The notion of a fuzzy prototype, which generalizes the previous definition of a prototype, is introduced. Furthermore, the necessary (...) conditions that a natural concept must meet are discussed. Instead of convexity, as proposed by Gärdenfors, the notion of geodesically convex sets is used. Thus, if a concept corresponds to a set which is geodesically convex, it is a natural concept. This definition applies, for example, if the conceptual space is an Euclidean space. As a by-product of the construction of the algorithm, an extension of the conceptual space to d-dimensional Riemannian manifolds is obtained. (shrink)

In this study, we analyse the notion of “differential heterogenesis” proposed by Deleuze and Guattari on a morphogenetic perspective. We propose a mathematical framework to envisage the emergence of singular forms from the assemblages of heterogeneous operators. In opposition to the kind of differential calculus that is usually adopted in mathematical-physical modelling, which tends to assume a homogeneous differential equation applied to an entire homogeneous region, heterogenesis allows differential constraints of qualitatively different kinds in different points of space and time. (...) These constraints can then change in time, opening the possibility for new kinds of differential dynamics and the emergence of distinct entities and forms. Formally, we show that operators with different phase spaces can be assembled on the basis of a result of Rothschild & Stein (1976. Hypoelliptic differential operators and nilpotent groups. Acta Mathematica 137. 247–320). Furthermore, operators with different dynamics can be assembled by means of a partition of the unit.After stating the concept of differential heterogenesis in terms of contemporary mathematics, we show that this construction sheds light on the constitution of the semiotic function. In fact, both the Merleau-Pontian and the Deleuzian approaches share a common conceptualisation of the semiotic function and its emergence in terms of amorphodynamics of heterogeneous assemblages with a divergent actualisation. This divergent actualisation allows the co-constitution of various expression and content planes. Finally, we show that the divergent actualisation can be interpreted as the directions of principal eigenvectors of the actualized flow. (shrink)

A cooperative game with transferable utility–or simply a TU-game– describes a situation in which players can obtain certain payoffs by cooperation. A value function for these games assigns to every TU-game a distribution of payoffs over the players. Well-known solutions for TU-games are the Shapley and the Banzhaf value. An alternative type of solution is the concept of share function, which assigns to every player in a TU-game its share in the worth of the grand coalition. In this (...) paper we consider TU-games in which the players are organized into a coalition structure being a finite partition of the set of players. The Shapley value has been generalized by Owen to TU-games in coalition structure. We redefine this value function as a share function and show that this solution satisfies the multiplication property that the share of a player in some coalition is equal to the product of the Shapley share of the coalition in a game between the coalitions and the Shapley share of the player in a game between the players within the coalition. Analogously we introduce a Banzhaf coalition structure share function. Application of these share functions to simple majority games show some appealing properties. (shrink)

A new theory for basic function in the nervous system has recently been proposed (Dempsher, J., 1979a, 1979b; 1980, 1981). The major basic themes of the new theory are as follows: (1) There are two fundamental units of structure and function, the fibre or conducting mechanism, and the neurocentre, where nervous system function as we know it takes place. (2) The nerve impulse is regarded as a mathematical event. The mathematics is the result of a prescribed fusion (...) of energy and matter. (3) Nervous system function everywhere in the nervous system is mathematical. In the fibre, the prescribed fusion of energy and matter results in a number. In the neurocentre, the prescribed fusion of energy and matter results in a mathematical function. Basic function in the nervous system everywhere requires a transformation of a nerve impulse in the fibre into a nerve impulse in the neurocentre with opposing properties: The nerve impulse in the fibre is confined to the fibre; cannot sum with another nerve impulse; can travel long distances with constant form and velocity; curvature in space and time are not significant features; and it is regarded as a number. On the other hand, the nerve impulse in the neurocentre is confined to the neurocentre; can sum with other nerve impulses; cannot travel long distances - even in a very short distance, it changes form; curvature in space and time is a very significant feature; and it is regarded as a mathematical function.The approach to determine how one form of the nerve impulse is transformed into the other at the input region is based on two of the differences listed above: (1) The nerve impulse in the fibre cannot sum with another nerve impulse in the fibre, whereas in the neurocentre, several nerve impulses sum to form a larger nerve impulse. (2) The nerve impulse in the fibre is regarded as a number, in the neurocentre, it is regarded as a mathematical function. The commonality of (1) and (2) is that the properties defining the nerve impulse in the fibre are associated with the property ofdiscreteness, whereas, the properties defining the nerve impulse in the neurocentre are associated with the property ofcontinuousness. Thus, the basic theme of unification of function at the input region of the neurocentre is the transformation of a phenomenon with the property of discreteness into a phenomenon with the property of continuousness. The solution to this transformation is approached from two directions:biologic andmathematical. In the biologic approach, the unit element of the nerve impulse in the fibre terminations (as.u. as a wave of energy, a spike in the classical theory) fuses with a. calcium-binding protein causing the release of Ca++. The calcium ions then combine with another protein. Associated with the second reaction is a conformational change in the Ca++-protein complex and the unit element in the neurocentre, bs.u., is emitted. Individual bs.u. then fuse with acetylcholine; summation occurs andwave b is emitted. In the mathematical approach, the nerve impulse as a number, is partitioned into two numbers with a precise rule relating these two numbers. One possibility suggested is that the number can be regarded as the value of a trigonometric function. This value then gives rise to an angle with sides related in a ratio or proportionality fashion — a relationship with the property of continuousness, as contrasted with that of a single number, discreteness. Both biologic and mathematical approaches are united so as to suggest that the mathematical (trigonometric) function arose as the result of a fusion of energy (as.u. as a wave of energy) and the calcium-binding protein as matter; following this reaction, bs.u., with opposing properties, is emitted. (shrink)

This paper investigates lexical mass-to-count and count-to-mass operators in Slavic languages, primarily Russian and Ukrainian, by exploring the distribution and semantic contribution of the suffix -_in_/-_yn_. The focus is on two uses of the suffix: the singulative turns mass nouns like _gorox_ ‘pea’ into count, denoting sets of natural units (e.g., _gorošina_ ‘a pea’), and the massifier applies to count nouns, such as _kon’_ ‘horse’, and turns them into mass (e.g., _konina_ ‘horsemeat’). It is proposed that each use of -_in_/-_yn_ (...) contributes a partition operator which triggers a new division into units of the original material part. It is further argued that the singulative and the massifier should be unified, given their (i) phonological identity, (ii) shared grammatical properties, and (iii) common semantic core. Under the proposed analysis, there is a single suffix that functions as an underspecified lexical partition shifter. (shrink)

After gene duplication, mutations cause the gene copies to diverge. The classical model predicts that these mutations will generally lead to the loss of function of one gene copy; rarely, new functions will be created and both duplicate genes are conserved. In contrast, under the subfunctionalization model both duplicates are preserved due to the partition of different functions between the duplicates. A recent study(1) provides support for the subfunctionalization model, identifying several expressed gene duplicates common to humans and (...) mice that contain regions conserved in one duplicate but variable in the other (and vice versa). We discuss both the methodology used in this study and also how gene phylogeny may lead to additional evidence for the importance of subfunctionalization in the evolution of new genes. BioEssays 23:873–876, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

The eukaryotic cell is partitioned by membranes into spatially and functionally discrete subcellular organelles. In addition, the cytoplasm itself is partitioned into discrete subregions that carry out specific functions. Such compartmentation can be achieved by localizing proteins and RNAs to different subcellular regions. This review will focus on localized RNAs, with a particular emphasis on RNA localization mechanisms and on the possible biological functions of localization of these RNAs. In recent years, an increasing number of localized RNAs have been identified (...) in a variety of cell types among many animal species. Emphasis here will be on localized RNAs in the most intensively studied systems – Drosophila and Xenopus eggs and early embryos. (shrink)

We formulate the problem of permuting a matrix to block angular form as the combinatorial minimization of an objective function. We motivate the use of simulated annealing (SA) as an optimization tool. We then introduce a heuristic temperature dependent penalty function in the simulated annealing cost function, to be used instead of the real objective function being minimized. Finally we show that this temperature dependent penalty function version of simulated annealing consistently outperforms the standard simulated (...) annealing approach, producing, with smaller running times, better solutions. We believe that the use of a temperature dependent penalty function may be useful in developing SA algorithms for other combinatorial problems. -/- . (shrink)

Spin is a fundamental and distinctive property of the electron, having far-reaching implications. Yet its purely formal treatment often blurs the physical content and meaning of the spin operator and associated observables. In this work we propose to advance in disclosing the meaning behind the formalism, by first recalling some basic facts about the one-particle spin operator. Consistently informed by and in line with the quantum formalism, we then proceed to analyse in detail the spin projection operator correlation function (...) \=\left\langle \left \left \right\rangle \) for the bipartite singlet state, and show it to be amenable to an unequivocal probabilistic reading. In particular, the calculation of \\) entails a partitioning of the probability space, which is dependent on the directions \.\) The derivation of the CHSH- or other Bell-type inequalities, on the other hand, does not consider such partitioning. This observation puts into question the applicability of Bell-type inequalities to the bipartite singlet spin state. (shrink)

We give an extender characterization of a very strong elementary embedding between transitive models of set theory, whose existence is known as the axiom I2. As an application, we show that the positive solution of a partition problem raised by Magidor would refute it.

Interval time-varying delay is common in control process, e.g., automatic robot control system, and its stability analysis is of great significance to ensure the reliable control of industrial processes. In order to improve the conservation of the existing robust stability analysis method, this paper considers a class of linear systems with norm-bounded uncertainty and interval time-varying delay as the research object. Less conservative robust stability criterion is put forward based on augmented Lyapunov-Krasovskii functional method and reciprocally convex combination. Firstly, the (...) delay interval is partitioned into multiple equidistant subintervals, and a new Lyapunov-Krasovskii functional comprising quadruple-integral term is introduced for each subinterval. Secondly, a novel delay-dependent stability criterion in terms of linear matrix inequalities is given by less conservative Wirtinger-based integral inequality approach. Three numerical comparative examples are given to verify the superiority of the proposed approach in reducing the conservation of conclusion. For the first example about closed-loop control systems with interval time-varying delays, the proposed robust stability criterion could get MADB about 0.3 more than the best results in the previous literature; and, for two other uncertain systems with interval time-varying delays, the MADB results obtained by the proposed method are better than those in the previous literature by about 0.045 and 0.054, respectively. All the example results obtained in this paper clearly show that our approach is better than other existing methods. (shrink)

In a previous paper, a statistical method of constructing quantum models of classical properties has been described. The present paper concludes the description by turning to classical mechanics. The quantum states that maximize entropy for given averages and variances of coordinates and momenta are called ME packets. They generalize the Gaussian wave packets. A non-trivial extension of the partition-function method of probability calculus to quantum mechanics is given. Non-commutativity of quantum variables limits its usefulness. Still, the general form (...) of the state operators of ME packets is obtained with its help. The diagonal representation of the operators is found. A general way of calculating averages that can replace the partition function method is described. Classical mechanics is reinterpreted as a statistical theory. Classical trajectories are replaced by classical ME packets. Quantum states approximate classical ones if the product of the coordinate and momentum variances is much larger than Planck constant. Thus, ME packets with large variances follow their classical counterparts better than Gaussian wave packets. (shrink)

Several previous studies have reported atypicality in resting-state functional connectivity in autism spectrum disorder, yet the relatively small effect sizes prevent us from using these characteristics for diagnostic purposes. Here, canonical correlation analysis and hierarchical clustering were used to partition the high-functioning ASD group into subgroups. A support vector machine model was trained through the 10-fold strategy to predict Autism Diagnostic Observation Schedule scores within the ASD discovery group, which was further validated in an independent sample. The neuroimage-based (...) class='Hi'>partition derived two subgroups representing severe versus mild autistic patients. We identified FCs that show graded changes in strength from ASD-severe, through ASD-mild, to controls, while the same pattern cannot be observed in partitions based on ADOS score. We also identified FCs that are specific for ASD-mild, similar to a partition based on ADOS score. The current study provided multiple pieces of evidence with replication to show that resting-state functional magnetic resonance imaging FCs could serve as neural biomarkers in partitioning high-functioning autistic individuals based on their symptom severity and showing advantages over traditional partition based on ADOS score. Our results also indicate a compensatory role for a frontocortical network in patients with mild ASD, indicating potential targets for future clinical treatments. (shrink)

Auxin is a key regulator of plant developmental processes. Its effects on transcription are mediated by the AUXIN RESPONSE FACTOR (ARF) family of transcription factors. ARFs tightly control specific auxin responses necessary for proper plant growth and development. Recent research has revealed that regulated ARF protein accumulation and ARF nucleo‐cytoplasmic partitioning can determine auxin transcriptional outputs. In this review, we explore these recent findings and consider the potential for regulated ARF accumulation in driving auxin responses in plants.

Exact solutions for the partition function of the two-dimensional classical statistical mechanics Ising model may be classified using a scheme of analogy having three moments--analysis, algebra, and arithmetic--developed by Dedekind and Weber in 1882 for providing an algebraic understanding of Riemann’s work. In effect, we have two analogies, a physical one and a mathematical one, coming from very different problems. What is it about the mathematical realm that allows for this threefold analogy, and what is it about the (...) Ising model that allows for such varied modes of solution, and why are the analogies analogous to each other? (shrink)

Two arguments have recently been advanced that Maxwell-Boltzmann particles areindistinguishable just like Bose–Einstein and Fermi–Dirac particles. Bringing modalmetaphysics to bear on these arguments shows that ontological indistinguishabilityfor classical (MB) particles does not follow. The first argument, resting on symmetryin the occupation representation for all three cases, fails since peculiar correlationsexist in the quantum (BE and FD) context as harbingers of ontic indistinguishability,while the indistinguishability of classical particles remains purely epistemic. The secondargument, deriving from the classical limits of quantum statistical (...) class='Hi'>partition functions,embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a thirdargument is considered that attempts to deflate metaphysical concerns altogether byshowing that the phase-space and distribution-space representations of MB-statisticshave contrary haecceitistic import. Careful analysis shows this argument to fail as well,leaving de re modality unproblematically grounding particle identity in the classicalcontext while genuine puzzlement about the underlying ontology remains for quantumstatistics. (shrink)

ABSTRACT. Two arguments have recently been advanced that Maxwell-Boltzmann particles are indistinguishable just like Bose-Einstein and Fermi-Dirac particles. Bringing modal metaphysics to bear on these arguments shows that ontological indistinguishability for classical (MB) particles does not follow. The first argument, resting on symmetry in the occupation representation for all three cases, fails since peculiar correlations exist in the quantum (BE and FD) context as harbingers of ontic indistinguishability, while the indistinguishability of classical particles remains purely epistemic. The second argument, deriving (...) from the classical limits of quantum statistical partition functions, embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a third argument is considered that attempts to deflate metaphysical concerns altogether by showing that the phase-space and distribution-space representations of MB-statistics have contrary haecceitistic import. Careful analysis shows this argument to fail as well, leaving de re modality unproblematically grounding particle identity in the classical context while genuine puzzlement about the underlying ontology remains for quantum statistics. (shrink)

Let $\varSigma $ be a signature without $0$-ary operation symbols and $\textsf{Sl}$ the category of semilattices. Then, after defining and investigating the categories $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$, of inductive systems of $\varSigma $-algebras over all semilattices, which are ordered pairs $\mathscr{A}= (\textbf{I},\mathscr{A})$ where $\textbf{I}$ is a semilattice and $\mathscr{A}$ an inductive system of $\varSigma $-algebras relative to $\textbf{I}$, and PłAlg$ (\varSigma )$, of Płonka $\varSigma $-algebras, which are ordered pairs $(\textbf{A},D)$ where $\textbf{A}$ is a $\varSigma $-algebra and $D$ a Płonka operator (...) for $\textbf{A}$, i.e. in the traditional terminology, a partition function for $\textbf{A}$, we prove the main result of the paper: There exists an adjunction, which we call the Płonka adjunction, from $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$ to PłAlg$ (\varSigma )$. (shrink)

The quantum corrections related to the ideal gas model often considered are those associated to the bosonic or fermionic nature of particles. However, in this work, other kinds of corrections related to the quantum nature of phase space are highlighted. These corrections are introduced as improvements in the expression of the partition function of an ideal gas. Then corrected thermodynamics properties of the ideal gas are deduced. Both the non-relativistic quantum and relativistic quantum cases are considered. It is (...) shown that the corrections in the non-relativistic quantum case may be particularly useful to describe the deviation from the Maxwell–Boltzmann model at low temperature and/or in confined space. These corrections can be considered as including the description of quantum size and shape effects. For the relativistic quantum case, the corrections could be relevant for confined space and when the thermal energy of each particle is comparable to their rest energy. The corrections appear mainly as modifications in the thermodynamic equation of state and in the expressions of the partition function and thermodynamic functions like entropy, internal energy and free energy. Expressions corresponding to the Maxwell–Boltzmann model are shown to be asymptotic limits of the corrected expressions. (shrink)

Time arises in the theory of gravity through the semiclassical approximation of the gravitational part of the solution of the Wheeler-De Witt equation in the manner shown by Banks (SCAG). We generalize Banks' procedure by grafting a Born-Oppenheimer type approximation onto SCAG. This allows for the feedback of matter onto gravity, wherein the latter is driven by the (quantum) mean energy-momentum tensor of matter. The wave function is nonvanishing in classically forbidden configurations of gravity. In SCAG this is described (...) by the evolution of matter in imaginary time. This is interpreted as an inverse temperature, and the norm of the matter wave function, no longer conserved for these gravitational configurations, is a partition function. A simple cosmological model is worked out to illustrate these ideas. In this model it is shown that the temperature of the matter which emerges into the classically permitted region is the inverse bounce time of the bounce executed by the system in the forbidden region (behind the horizon).Time present and time past are both perhaps present in time future. And time future contained in time past. If all time is eternally present All time is unredeemable.—T. S. Eliot, “Burnt Norton,”Four Quartets, 1943. (shrink)

The Jarzynski equality equates the mean of the exponential of the negative of the work (per fixed temperature) done by a changing Hamiltonian on a system, initially in thermal equilibrium at that temperature, to the ratio of the final to the initial equilibrium partition functions of the system at that fixed temperature. It thus relates two thermal equilibrium quantum states.

The (Feynman) propagator G(x2,x1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G(x_2,x_1)$$\end{document} encodes the entire dynamics of a massive, free scalar field propagating in an arbitrary curved spacetime. The usual procedures for computing the propagator—either as a time ordered correlator or from a partition function defined through a path integral—requires introduction of a field ϕ(x)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi (x)$$\end{document} and its action functional A[ϕ(x)]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$$A[\phi (x)]$$\end{document}. An alternative, more geometrical, procedure is to define a propagator in terms of the world-line path integral which only uses curves, xi(s)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x^i(s)$$\end{document}, defined on the manifold. I show how the world-line path integral can be reinterpreted as an ordinary integral by introducing the concept of effective number of quantum paths of a given length. Several manipulations of the world-line path integral becomes algebraically tractable in this approach. In particular I derive an explicit expression for the propagator GQG(x2,x1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G_\mathrm{QG}(x_2,x_1)$$\end{document}, which incorporates the quantum structure of spacetime through a zero-point-length, in terms of the standard propagator Gstd(x2,x1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G_\mathrm{std}(x_2,x_1)$$\end{document}, in an arbitrary curved spacetime. This approach also helps to clarify the interplay between the path integral amplitude and the path integral measure in determining the form of the propagator. This is illustrated with several explicit examples. (shrink)

The present offers a pragmatic solution of the Heap Paradox, based on the idea that vague predicates are “indexical” in the sense that their denotation does not only depend on the context of their use, but it is a function of the context. The analysis is based on the following three claims. The borderlines of vague terms are undetermined in the sense that though they may be determined in some contexts, they may differ from one context to the next. (...) Vagueness serves the important communicative function, enabling speakers to identify entities as objects (as things we can talk about) in terms of some quantitative differences between the “object” and its background in the context. Thus, in some contexts we can naturally partition the group of men uniquely so as to distinguish the bald from the not-bald. Whether a man with a given hair number is among the bald in a given context depends not only on his own hair number but also on the hair number of others in that context. This provides the background for the claim that when we assert that John is bald, we presuppose that there is a unique demarcation to the bald in that context. I consider the truth of the Paradox’s statements in contexts where the presupposition is true and in contexts where it is false. The analysis yields that the contradiction is avoided because though each of the statements is often true, never are all the sentences in the Paradox true together. (shrink)

It is shown that the traditional formalism of equilibrium quantum statistical mechanics may fully be incorporated into a general macro-observable approach to quantum statistical mechanics recently proposed by the same author. (1,2) In particular, the partition functions which in the traditional approach are assumed to connect nonnormalized density operators with thermodynamic functions are reinterpreted as functions connecting so-called quantum mechanical effect operators with state parameters. It is argued that these functions although only part of a much richer internal structure (...) of the macro-observable are sufficient to cope with all problems one usually encounters in equilibrium quantum statistical mechanics. p]Denn eigentlich unternehmen wir umsonst, das Wesen eines Dinges auszudrücken. Wirkungen werden wir gewahr, und eine vollständige Geschichte dieser Wirkungen umfaßte wohl allenfalls das Wesen jenes Dinges.Johann W. v. Goethe Farbenlehre. (shrink)

To effectively identify network rumors and block their spread, this paper uses fractal theory to analyze a network rumor spreading situation time series, reveal its inner regularity, extract features, and establish a network rumor recognition model. The model is based on an empirical mode decomposition correlation dimension and K-nearest neighbor approach. Firstly, a partition function is used to determine if the time series of the rumor spreading situation is a uniform fractal process. Secondly, the rumor spreading situation is (...) subjected to EMD to obtain a series of intrinsic mode functions, construct the IMF1–IMF6 components containing effective feature information as the principal components, and reconstruct the phase space of the principal components, respectively. Finally, the correlation dimensions of the principal components IMF1–IMF6 as obtained by the Grassberger-Procaccia algorithm are used as feature parameters and are imported into the KNN model for rumor recognition. The experimental results show that the correlation dimension of a spreading situation can better reflect the characteristic information; as combined with the KNN model for identifying rumors, the recognition rate reaches 87.5%. This result verifies the effectiveness of fractal theory in network rumors recognition, expands the thinking for the research of rumors recognition, and provides theoretical support for rumor governance. (shrink)

Two arguments have recently been advanced that Maxwell-Boltzmann particles areindistinguishable just like Bose–Einstein and Fermi–Dirac particles. Bringing modalmetaphysics to bear on these arguments shows that ontological indistinguishabilityfor classical (MB) particles does not follow. The first argument, resting on symmetryin the occupation representation for all three cases, fails since peculiar correlationsexist in the quantum (BE and FD) context as harbingers of ontic indistinguishability,while the indistinguishability of classical particles remains purely epistemic. The secondargument, deriving from the classical limits of quantum statistical (...) class='Hi'>partition functions,embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a thirdargument is considered that attempts to deflate metaphysical concerns altogether byshowing that the phase-space and distribution-space representations of MB-statisticshave contrary haecceitistic import. Careful analysis shows this argument to fail as well,leaving de re modality unproblematically grounding particle identity in the classicalcontext while genuine puzzlement about the underlying ontology remains for quantumstatistics. (shrink)