This paper studies the metric structure of the space Hr of absolutely summable sequences of real numbers with at most r nonzero terms. Hr is complete, and is located and nowhere dense in the space of all absolutely summable sequences. Totally bounded and compact subspaces of Hr are characterized, and large classes of located, totally bounded, compact, and locally compact subspaces are constructed. The methods used are constructive in the strict sense. MSC: 03F65, 54E50.

During the course of evolution, variations of a protein sequence is an ongoing phenomenon however limited by the need to maintain its structural and functional integrity. Deciphering the evolutionary path of a protein is thus of fundamental interest. With the development of new methods to visualize high dimension spaces and the improvement of phylogenetic analysis tools, it is possible to study the evolutionary trajectories of proteins in the sequence space. Using the data-driven high-dimensional scaling method, we show (...) that it is possible to predict and represent potential evolutionary trajectories by representing phylogenetic trees into a 3D projection of the sequence space. With the case of the aminodeoxychorismate synthase, an enzyme involved in folate synthesis, we show that this representation raises interesting questions about the complexity of the evolution of a given biological function, in particular concerning its capacity to explore the sequence space. (shrink)

In sequence-space synaesthesia, members of linguistic sequences such as numbers, days of the week and letters of the alphabet are perceived to occupy spatial positions, either in the mind's eye or as locations in space around the body. In this chapter, we begin by considering the possible sequences that can induce this type of synaesthesia, with the focus on numbers, time-units and letters. We evaluate the various methods used to test the genuineness of self-reports of this type (...) of synaesthesia, and we make suggestions for novel techniques that could address the shortcomings of the current methods. Lastly, we briefly outline the current theories on the neural basis of this type of synaesthesia, including the recent reification hypothesis. We conclude by discussing how scientific findings with sequence-space synaesthetes can be beneficial for the study of cognitive psychology more generally. (shrink)

Let denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put If λ is a cardinal and α λ1>>λn−1 and ordinals α0,…,αn−1 such that α=α0++αn−1 and where each .The proofs are based on constructions of universal locally compact scattered spaces.

In this work we report a simple way to assign a single numeric value in a three-dimensional space to a given nucleotide sequence. The method reported allows for theoretical comparisons of naturally occurring nucleotide sequences.

This article proposes a new bi-directional way of understanding the convergence of biology and computing. It argues for a reciprocal interaction in which biology and computing have shaped and are currently reshaping each other. In so doing, we qualify both the view of a natural marriage and of a digital shaping of biology, which are common in the literature written by scientists, STS, and communication scholars. The DNA database is at the center of this interaction. We argue that DNA databases (...) are spaces of convergence for computing and biology that change in form, meaning, and function from the 1960s to the 2000s. The first part of the article shows how, in the 1980s, DNA sequencing shifted from passively incorporating computers to be increasingly modeled in digital coding and decoding. Information retrieval algorithms, reciprocally, were altered according to the peculiarities of DNA in the first sequence-storage databases. The second part of the article investigates the impact of these reciprocal interactions and globalization on the organization of research centers, ways of conducting big science, and scientific values. Through convergence and new technologies such as data mining, biology and computing were transformed technologically, institutionally, and culturally into a new bio-data enterprise called genomics. (shrink)

We study connections between asymptotic structure in a Banach space and model theoretic properties of the space. We show that, in an asymptotic sense, a sequence $$ in a Banach space X generates copies of one of the classical sequence spaces $\ell_p$ or $c_0$ inside X if and only if the quantifier-free types approximated by $$ inside X are quantifier-free definable. More precisely, if $$ is a bounded sequence X such that no normalized (...) class='Hi'>sequence of blocks of $$ converges, then the following two conditions are equivalent. There exists a sequence $$ of blocks of $$ such that for every finite dimensional subspace E of X, every quantifier-free type over $E +\overline{\rm span}\{y_n\mid n\in \mathbb{N}\}$ is quantifier-free definable. One of the following two conditions holds: there exists $1\le p 0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $\ell_p$; for every $\epsilon>0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $c_0$. Several byproducts of the proof are analyzed. (shrink)

We prove that if GCH holds and τ = 〈κα : α < η 〉 is a sequence of infinite cardinals such that κα ≥ |η | for each α < η, then there is a cardinal-preserving partial order that forces the existence of a scattered Boolean space whose cardinal sequence is τ.

The aim of this paper is to highlight an interdependence between procedural and agential norms that undermines their neat separation when appraising argumentation. Drawing on the munāẓara tradition, we carve a space for sequencing in argumentation scholarship. Focusing on the antagonist’s sequencing of critical moves, we identify each sequence’s corresponding values of argumentation: coalescence, reliability, and efficacy. These values arise through the mediation of virtues and simultaneously underpin procedural as well as agential norms. Consequently, an ambiguity between procedure (...) and agent becomes apparent. This ambiguity hints at the potential for a virtue theory of argumentation that draws on procedural norms. (shrink)

For given Boolean algebras$\mathbb {A}$and$\mathbb {B}$we endow the space$\mathcal {H}(\mathbb {A},\mathbb {B})$of all Boolean homomorphisms from$\mathbb {A}$to$\mathbb {B}$with various topologies and study convergence properties of sequences in$\mathcal {H}(\mathbb {A},\mathbb {B})$. We are in particular interested in the situation when$\mathbb {B}$is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on$\mathbb {A}$in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin’s result (...) stating that there are Efimov spaces in the random model. We also investigate relations between topologies on$\mathcal {H}(\mathbb {A},\mathbb {B})$for a Boolean algebra$\mathbb {B}$carrying a strictly positive measure and convergence properties of sequences of measures on$\mathbb {A}$. (shrink)

It is shown that, relative to Bishop-style constructive mathematics, the boundedness principle BD-N is equivalent both to a general result about the convergence of double sequences and to a particular one about Cauchyness in a semi-metric space.

Time–space synesthetes report that they experience the months of the year as having a spatial layout. In Study 1, we characterize the phenomenology of calendar sequences produced by synesthetes and non-synesthetes, and show a conservative estimate of time–space synesthesia at 2.2% of the population. We demonstrate that synesthetes most commonly experience the months in a circular path, while non-synesthetes default to linear rows or rectangles. Study 2 compared synesthetes’ and non-synesthetes’ ability to memorize a novel spatial calendar, and (...) revealed better performance in synesthetes. The capacity to learn mappings between arbitrary spatial forms and temporal sequences is present in all individuals, and time–space synesthetes’ enhanced visuo-spatial memory abilities may underlie their creation of idiosyncratic spatial calendar forms. (shrink)

Previous research has linked the concept of number and other ordinal series to space via a spatially oriented mental number line. In addition, it has been shown that in visual scene recognition and production, speakers of a language with a left-to-right orthography respond faster to and tend to draw images in which the agent of an action is located to the left of the patient. In this study, we aim to bridge these two lines of research by employing a (...) novel method that measures the spatial bias produced by transitive sentences that use a wide variety of abstract and concrete verbs. Across four experiments, participants read sentences and then responded to probe words appearing on either the left or right sides of the screen. Probe words consisted of agents, patients, other words in the sentence, or newly encountered words. We found consistent lateral biases to responding to agents and patients, which appears to be independent of order of mention in the sentence but which does reflect a correspondence between position in the sentence and role in the causal sequence of the action. Our results also show that this spatial bias is driven by the use of the hands in two different ways: The left hand shows a greater sensitivity to the spatial effect than the right hand, and vocal responses produce no spatial effect. (shrink)

In this article we characterize all those sequences of cardinals of length ω1 which are cardinal sequences of some compact scattered space . This extends the similar results from [R. La Grange, Concerning the cardinal sequence of a Boolean algebra, Algebra Universalis, 7 307–313] for such sequences of countable length. For ordinals between ω1 and ω2 we can only give a sufficient condition for a sequence of that length to be a cardinal sequence of a compact (...) scattered space. This condition is, arguably, the most one can expect in ZFC. In any case, ours is a significant extension of the sufficient conditions given in [J.C. Martinez, A consistency result on thin-tall superatomic Boolean algebras, Proc. Amer. Math. Soc. 115 473–477] and [J. Bagaria, Locally generic Boolean algebras and cardinal sequences, Algebra Universalis 47 283–302]. (shrink)

Most research on metaphors that construe time as motion (motion metaphors of time) has focused on the question of whether it is the times or the person experiencing them (ego) that moves. This paper focuses on the equally important distinction between metaphors that locate times relative to ego (the ego-based metaphors Moving Ego and Moving Time) and a metaphor that locates times relative to other times (sequence is relative position on a path). Rather than a single abstract target domain (...) TIME, these two kinds of temporal metaphor metaphorize different kinds of temporal concept—perspective-specific vs. perspective-neutral temporal concepts. Recognition of this distinction enhances the explanatory potential of conceptual metaphor theory (Lakoff and Johnson 1980). An example involves the interaction of deixis and the temporal reference crosslinguistically of vocabulary with the spatial meanings in-front and behind. More generally, this approach refines our ability to describe the temporal concepts involved in motion metaphors of time. Such temporal concepts are present not only in the target domains, but also in the source domains of motion metaphors of time, where we find space-to-time metonymy, which may play a role in motivating the metaphors. In order to distinguish such metonymy from metaphor, we need to characterize metaphor as a mapping across frames rather than domains. (shrink)

We provide a new perspective on the relation between the space of description of an object and the appearance of novelties. One of the aims of this perspective is to facilitate the interaction between mathematics and historical sciences. The definition of novelties is paradoxical: if one can define in advance the possibles, then they are not genuinely new. By analyzing the situation in set theory, we show that defining generic (i.e., shared) and specific (i.e., individual) properties of elements of (...) a set are radically different notions. As a result, generic and specific definitions of possibilities cannot be conflated. We argue that genuinely stating possibilities requires that their meaning has to be made explicit. For example, in physics, properties playing theoretical roles are generic; then, generic reasoning is sufficient to define possibilities. By contrast, in music, we argue that specific properties matter, and generic definitions become insufficient. Then, the notion of new possibilities becomes relevant and irreducible. In biology, among other examples, the generic definition of the space of DNA sequences is insufficient to state phenotypic possibilities even if we assume complete genetic determinism. The generic properties of this space are relevant for sequencing or DNA duplication, but they are inadequate to understand phenotypes. We develop a strong concept of biological novelties which justifies the notion of new possibilities and is more robust than the notion of changing description spaces. These biological novelties are not generic outcomes from an initial situation. They are specific and this specificity is associated with biological functions, that is to say, with a specific causal structure. Thus, we think that in contrast with physics, the concept of new possibilities is necessary for biology. (shrink)

We consider some questions of Donald Monk related to attainment of the tightness function in Boolean spaces. Then we prove in ZFC that attainment of tightness in the sense of the definition does not imply attainment of tightness in the free sequence sense. Our results give rise to full answers to [2, Problems 41, 42].

A simultaneous collision that produces paradoxical indeterminism (involving N0 hypothetical particles in a classical three-dimensional Euclidean space) is described in Section 2. By showing that a similar paradox occurs with long-range forces between hypothetical particles, in Section 3, the underlying cause is seen to be that collections of such objects are assumed to have no intrinsic ordering. The resolution of allowing only finite numbers of particles is defended (as being the least ad hoc) by looking at both -sequences (in (...) the context of a very basic supertask, in Section 4) and *-sequences (reversed -sequences, in the form of paradoxical results from the recent literature). Introduction The simultaneous collision The paradox in other contexts The basic problem is N0 things The recent literature Generating N0 things. (shrink)

Current views of the parietal cortex have difficulty accommodating the human inferior parietal lobe (IPL) within a simple dorsal versus ventral stream dichotomy. In humans, lesions of the right IPL often lead to syndromes such as hemispatial neglect that are seemingly in accord with the proposal that this region has a crucial role in spatial processing. However, recent imaging and lesion studies have revealed that inferior parietal regions have non-spatial functions, such as in sustaining attention, detecting salient events embedded in (...) a sequence of events and controlling attention over time. Here, we review these findings and show that spatial processes and the visual guidance of action are only part of the repertoire of parietal functions. Although sub-regions in the human superior parietal lobe and intraparietal sulcus contribute to vision-for-action and spatial functions, more inferior parietal regions have distinctly non-spatial attributes that are neither conventionally 'dorsal' nor conventionally 'ventral' in nature. (shrink)

The work broadens – to a considerable extent – Z. Pawlak’s original method (1982, 1992) of approximation of sets. The approximation of sets included in a universum U goes on in the contextual approximation space CAS which consists of: 1) a sequence of Pawlak’s approximation spaces (U,Ci), where indexes i from set I are linearly ordered degrees of contexts (I, <), and Ci is the universum partition U, 2) a sequence of binary relations on sets included in (...) U, relations called context relations indexed with degrees of contexts. The introduction of relations of contexts of sets was inspired by the work of W. Ziarnko (1993). Intuitively, set X is the context of set Y to the degree i, when on the basis of knowledge of the elements of set X we can obtain knowledge about the belonging of these elements to set Y to the degree i which is a degree of uncertainty or ambiguity, or inaccuracy. The operations of approximation of sets Ci-, BNi, Ci+, called lower approximation of the degree i, boundary of the degree i, upper approximation of the degree i, are formulated in a way which is analogous with the systems of Pawlak’s approximation, by expanding their formulas accordingly. In the next part of the work, it is shown (in an analogous way to Bryniarski’s work (1989)) that one can define the following operations on contextual rough sets: the union of contextual rough sets, the intersection of contextual rough sets and the complement of contextual rough set. It is proved that the algebra of contextual rough sets is a ditributive lattice with a unit and with a zero. On the basis of the results presented above the problem of defining operations on contextual rough sets by membership relations (Bryniarski 1989) may be formulated analogously to the classical operations on sets. (shrink)

The present paper proposes a generalisation of the notion of disjunctive sequence, that is, of an infinite sequence of letters having each finite sequence as a subword. Our aim is to give a reasonable notion of disjunctiveness relative to a given set of sequences F. We show that a definition like “every subword which occurs at infinitely many different positions in sequences in F has to occur infinitely often in the sequence” fulfils properties similar to the (...) original unrelativised notion of disjunctiveness. Finally, we investigate our concept of generalised disjunctiveness in spaces of Cantor expansions of reals. (shrink)

The general framework of this paper is a reformulation of Hilbert’s program using the theory of locales, also known as formal or point-free topology [P.T. Johnstone, Stone Spaces, in: Cambridge Studies in Advanced Mathematics, vol. 3, 1982; Th. Coquand, G. Sambin, J. Smith, S. Valentini, Inductively generated formal topologies, Ann. Pure Appl. Logic 124 71–106; G. Sambin, Intuitionistic formal spaces–a first communication, in: D. Skordev , Mathematical Logic and its Applications, Plenum, New York, 1987, pp. 187–204]. Formal topology presents a (...) topological space, not as a set of points, but as a logical theory which describes the lattice of open sets. The application to Hilbert’s program is then the following. Hilbert’s ideal objects are represented by points of such a formal space. There are general methods to “eliminate” the use of points, close to the notion of forcing and to the “elimination of choice sequences” in intuitionist mathematics, which correspond to Hilbert’s required elimination of ideal objects. This paper illustrates further this general program on the notion of valuations. They were introduced by Dedekind and Weber [R. Dedekind, H. Weber, Theorie des algebraischen Funktionen einer Veränderlichen, J. de Crelle t. XCII 181–290] to give a rigorous presentation of Riemann surfaces. It can be argued that it is one of the first example in mathematics of point-free representation of spaces [N. Bourbaki, Eléments de Mathématique. Algèbre commutative, Hermann, Paris, 1965, Chapitre 7]. It is thus of historical and conceptual interest to be able to represent this notion in formal topology. (shrink)

The purpose of this paper is to present several applications of combinatorial principles, well-known in Set Theory, to the geometry of infinite dimensional Banach spaces, particularly to the existence of certain basic sequences. We mention also some open problems where set-theoretical techniques are relevant.

We prove James's sequential characterization of reflexivity in set-theory ZF + DC, where DC is the axiom of Dependent Choices. In turn, James's criterion implies that every infinite set is Dedekind-infinite, whence it is not provable in ZF. Our proof in ZF + DC of James' criterion leads us to various notions of reflexivity which are equivalent in ZFC but are not equivalent in ZF. We also show that the weak compactness of the closed unit ball of a reflexive (...) class='Hi'>space does not imply the Boolean Prime Ideal theorem : this solves a question raised in [6]. (shrink)

We consider a sequence of absolute-space kinematical theories which differ more or less from the special theory of relativity (STR) in the amount of clock retardation which they predict, but which agree with STR with respect to roundtrip light experiments, such as Michelson-Morley and Kennedy-Thorndike. This sequence of theories is imbedded in the synchrony-free formulation of STR developed by Winnie by modifying the equal passage time principle. The paper has bearing on the relationship between the slow clock (...) transport behavior of clocks and the one-way velocity of light. Experiments which claim to measure the latter are discussed. (shrink)

Human behavior unfolds primarily in built environments, where the arrangement of objects is a result of ongoing human decisions and actions, yet these organizational decisions have received limited experimental study. In two experiments, we introduce a novel paradigm designed to explore how individuals organize task-relevant objects in space. Participants completed goals by locating and accessing sequences of objects in a computer-based task, and they were free to rearrange the positions of objects at any time. We measure a variety of (...) organization changes and evaluate how these measures relate to individual differences in performance. In Experiment 1, we show that with weak structure in task demands, changes in object positions that arise through performance of the task lead to improved order, characterized predominantly by a centralization of frequently used items and a peripheralization of infrequently used objects. In Experiment 2, with increased task structure, we observe more refined organizational tendencies, with selective contraction and clustering of interrelated task-relevant objects. We further demonstrate that these more selective organization behaviors are reliably associated with individual differences in task performance. Collectively, these two studies reveal properties of space and of task demands that support and facilitate effective organization of the environment in support of ongoing behavior. (shrink)

Contemporary critical space theories as well as singular architectural experiments acknowledge a quest for renewing the most significant ways in which space design is conceptually elaborated, factually realised and socially perceived. Searching to seize the possibility and the meaning of a creative intervention in space-related practices, the paper aims at revisiting the manner in which modern times determined the relationship between architectural production and politics. The main reason is that this sequence of the argument allows for (...) a more accurate definition of transformations that build up contemporary experience and especially the ways in which common creative practices totally abandon existential and political concerns. We argue that a specific comprehension of anarchitecture in ontological terms could shed a new light on creative architectural gestures. Anarchitecture, as we understand it, interrupts the logic of manifestos, which distinguishes it from oppositional architecture. In supporting the idea that experienced spaces are more that mere reified presences, involved as they are in shaping and determining meaning, our approach is not prescriptive but, quite on the contrary, attempts to empirically construct minimal orientations for thought and practice. (shrink)

In typical statistical learning studies, researchers define sequences in terms of the probability of the next item in the sequence given the current item (or items), and they show that high probability sequences are treated as more familiar than low probability sequences. Existing accounts of these phenomena all assume that participants represent statistical regularities more or less as they are defined by the experimenters—as sequential probabilities of symbols in a string. Here we offer an alternative, or possibly supplementary, hypothesis. (...) Specifically, rather than identifying or labeling individual stimuli discretely in order to predict the next item in a sequence, we need only assume that the participant is able to represent the stimuli as evincing particular similarity relations to one another, with sequences represented as trajectories through this similarity space. We present experiments in which this hypothesis makes sharply different predictions from hypotheses based on the assumption that sequences are learned over discrete, labeled stimuli. We also present a series of simulation models that encode stimuli as positions in a continuous two‐dimensional space, and predict the next location from the current location. Although no model captures all of the data presented here, the results of three critical experiments are more consistent with the view that participants represent trajectories through similarity space rather than sequences of discrete labels under particular conditions. (shrink)

ABSTRACT:This illustrated essay describes the graphic diagnosis memoir as a form of illness narrative that uses a different way of telling stories than standard prose. A cartoon is broken into sequenced segments that ask the reader to jump across the gaps between the panels at the same time as they bridge the images and text assembled in each panel. To be successful in presenting a graphic story, the artist must be able to express an idea, but also must be able (...) to project, or imagine, how readers will be able link ideas, images, and words. The cartoon diagnosis story makes the diagnosis relevant and visible. It does so by recognizing what reader and artist share, then adding, between the spaces, what separates them. (shrink)

Emotion recognition systems have been of interest to researchers for a long time. Improvement of brain-computer interface systems currently makes EEG-based emotion recognition more attractive. These systems try to develop strategies that are capable of recognizing emotions automatically. There are many approaches due to different features extractions methods for analyzing the EEG signals. Still, Since the brain is supposed to be a nonlinear dynamic system, it seems a nonlinear dynamic analysis tool may yield more convenient results. A novel approach in (...) Symbolic Time Series Analysis for signal phase space partitioning and symbol sequence generating is introduced in this study. Symbolic sequences have been produced by means of spherical partitioning of phase space; then, they have been compared and classified based on the maximum value of a similarity index. Obtaining the automatic independent emotion recognition EEG-based system has always been discussed because of the subject-dependent content of emotion. Here we introduce a subject-independent protocol to solve the generalization problem. To prove our method’s effectiveness, we used the DEAP dataset, and we reached an accuracy of 98.44% for classifying happiness from sadness. It was 93.75% for three, 89.06% for four, and 85% for five emotional groups. According to these results, it is evident that our subject-independent method is more accurate rather than many other methods in different studies. In addition, a subject-independent method has been proposed in this study, which is not considered in most of the studies in this field. (shrink)

The subject of the present article is the following fact. Consider an effective uniform space. A generally constructed metric from the uniformity has the property that a sequence from the space effectively converges with respect to the uniform topology if and only if it does with respect to the induced metric. This can be shown without assuming the computability of the metric.

I consider recent uses of the notion of neutrality in evolutionary biology and ecology, questioning their relevance to the kind of explanation recently labeled ‘topological explanation’. Focusing on fitness landscapes and genotype-phenotype maps, I explore the explanatory uses of neutral subspaces, as modeled in two perspectives: hyperdimensional fitness landscapes and RNA sequence-structure maps. I argue that topological properties of such spaces account for features of evolutionary systems: respectively, capacity for adaptive evolution toward global optima and mutational robustness of genotypes. (...) Thus many models appealing to “neutral” manifolds provide topological alternatives to hypothetical mechanisms. (shrink)

This paper examines an aspect of the grammar-interaction interface with respect to how participants orient to intra-turn phrasal unit boundaries as a locus that has interactional import for turn and sequence organization in Korean conversation. Phrasal unit boundaries in Korean serve as a space within a turn in which the speaker of the turn in-progress invites the recipient to acknowledge the speaker's point expressed up-to-that-point and collaboratively display his/her understanding thereof. In a sequentially and topically 'ripe' context, such (...) unit boundaries often constitute places where more active participation on the part of the recipient is invited in the form of collaborative completion in which the recipient co-constructs the primary speaker's on-going turn. Phrasal unit boundaries also provide interactional resources which the speaker may exploit to sequentially delete out a problem in talk, e.g., by a sort of tying operation in which a subsequently added phrasal unit ties back to the speaker's previous utterance to the effect that the intervening talk containing a problem is canceled out by way of being shown to have been an interruption of the speaker's turn in-progress. This practice points to an aspect of the way in which the 'agglutinative' grammatical process involving the use of phrasal units shapes interactional patterns as observed in the course of organizing turns/sequences and managing problems in talk. (shrink)

Let X be a separable Banach space and Q be a coanalytic subset of . We prove that the set of sequences in X which are weakly convergent to some eX and is a coanalytic subset of . The proof applies methods of effective descriptive set theory to Banach space theory. Using Silver’s Theorem [J. Silver, Every analytic set is Ramsey, J. Symbolic Logic 35 60–64], this result leads to the following dichotomy theorem: if X is a Banach (...) space, is a regular method of summability and is a bounded sequence in X, then there exists a subsequence iL such that either there exists eX such that every subsequence iH of iL is weakly summable w.r.t. to e and QiH,e); or for every subsequence iH of iL and every eX with QiH,e)the sequence iH is not weakly summable to e w.r.t. . This is a version for weak convergence of an Erdös–Magidor result, see [P. Erdös, M. Magidor, A note on Regular Methods of Summability, Proc. Amer. Math. Soc. 59 232–234]. Both theorems obtain some considerable generalizations. (shrink)

The symplectic quantization scheme proposed for matter scalar fields in the companion paper (Gradenigo and Livi, arXiv:2101.02125, 2021) is generalized here to the case of space–time quantum fluctuations. That is, we present a new formalism to frame the quantum gravity problem. Inspired by the stochastic quantization approach to gravity, symplectic quantization considers an explicit dependence of the metric tensor gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document} on an additional time variable, named intrinsic time at (...) variance with the coordinate time of relativity, from which it is different. The physical meaning of intrinsic time, which is truly a parameter and not a coordinate, is to label the sequence of gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document} quantum fluctuations at a given point of the four-dimensional space–time continuum. For this reason symplectic quantization necessarily incorporates a new degree of freedom, the derivative g˙μν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\dot{g}}_{\mu \nu }$$\end{document} of the metric field with respect to intrinsic time, corresponding to the conjugated momentum πμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi _{\mu \nu }$$\end{document}. Our proposal is to describe the quantum fluctuations of gravity by means of a symplectic dynamics generated by a generalized action functional A[gμν,πμν]=K[gμν,πμν]-S[gμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {A}}[g_{\mu \nu },\pi _{\mu \nu }] = {\mathcal {K}}[g_{\mu \nu },\pi _{\mu \nu }] - S[g_{\mu \nu }]$$\end{document}, playing formally the role of a Hamilton function, where S[gμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S[g_{\mu \nu }]$$\end{document} is the standard Einstein–Hilbert action while K[gμν,πμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {K}}[g_{\mu \nu },\pi _{\mu \nu }]$$\end{document} is a new term including the kinetic degrees of freedom of the field. Such an action allows us to define an ensemble for the quantum fluctuations of gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document} analogous to the microcanonical one in statistical mechanics, with the only difference that in the present case one has conservation of the generalized action A[gμν,πμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {A}}[g_{\mu \nu },\pi _{\mu \nu }]$$\end{document} and not of energy. Since the Einstein–Hilbert action S[gμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S[g_{\mu \nu }]$$\end{document} plays the role of a potential term in the new pseudo-Hamiltonian formalism, it can fluctuate along the symplectic action-preserving dynamics. These fluctuations are the quantum fluctuations of gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document}. Finally, we show how the standard path-integral approach to gravity can be obtained as an approximation of the symplectic quantization approach. By doing so we explain how the integration over the conjugated momentum field πμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi _{\mu \nu }$$\end{document} gives rise to a cosmological constant term in the path-integral approach. (shrink)

The aim of the study is to analyze viruses using parameters obtained from distributions of nucleotide sequences in the viral RNA. Seeking for the input data homogeneity, we analyze single-stranded RNA viruses only. Two approaches are used to obtain the nucleotide sequences; In the first one, chunks of equal length are considered. In the second approach, the whole RNA genome is divided into parts by adenine or the most frequent nucleotide as a “space”. Rank–frequency distributions are studied in both (...) cases. The defined nucleotide sequences are signs comparable to a certain extent to syllables or words as seen from the nature of their rank–frequency distributions. Within the first approach, the Pólya and the negative hypergeometric distribution yield the best fit. For the distributions obtained within the second approach, we have calculated a set of parameters, including entropy, mean sequence length, and its dispersion. The calculated parameters became the basis for the classification of viruses. We observed that proximity of viruses on planes spanned on various pairs of parameters corresponds to related species. In certain cases, such a proximity is observed for unrelated species as well calling thus for the expansion of the set of parameters used in the classification. We also observed that the fifth most frequent nucleotide sequences obtained within the second approach are of different nature in case of human coronaviruses. We expect that our findings will be useful as a supplementary tool in the classification of diseases caused by RNA viruses with respect to severity and contagiousness. (shrink)

It is consistent that there is a compact space of character less than the splitting number in which there are no converging sequences. Such a space is an Efimov space.

We investigate ideals of the form {A⊆ω: Σn∈Axnis unconditionally convergent} where n∈ωis a sequence in a Polish group or in a Banach space. If an ideal onωcan be seen in this form for some sequence inX, then we say that it is representable inX.After numerous examples we show the following theorems: An ideal is representable in a Polish Abelian group iff it is an analytic P-ideal. An ideal is representable in a Banach space iff it is (...) a nonpathological analytic P-ideal.We focus on the family of ideals representable inc0. We characterize this property via the defining sequence of measures. We prove that the trace of the null ideal, Farah’s ideal, and Tsirelson ideals are not representable inc0, and that a tallFσP-ideal is representable inc0iff it is a summable ideal. Also, we provide an example of a peculiar ideal which is representable inℓ1but not in ℝ.Finally, we summarize some open problems of this topic. (shrink)

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...) Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

A constructive definition of the continuum based on formal topology is given and its basic properties studied. A natural notion of Cauchy sequence is introduced and Cauchy completeness is proved. Other results include elementary proofs of the Baire and Cantor theorems. From a classical standpoint, formal reals are seen to be equivalent to the usual reals. Lastly, the relation of real numbers as a formal space to other approaches to constructive real numbers is determined.

The main purpose of this paper is to investigate constructively the relationship between proximal convergence, uniform sequential convergence and uniform convergence for sequences of mappings between apartness spaces. It is also shown that if the second space satisfies the Efremovic axiom, then proximal convergence preserves strong continuity.