On the Structure of the Ergosurface of Pomeransky-Senkov Black Rings

We study the properties of the ergosurface of the Pomeransky–Senkov black rings, and show that it splits into an “inner” and an “outer” region. As for the singular set, the topology of the “outer ergosurface” depends upon the value of parameters.     

Classical analogue of a quantum Schwarzschild black hole: “Standard model” and beyond

We build a model in which the main global properties of classical and semiclassical black holes become local: these are the event horizon, “no-hair,” temperature, and entropy. Our construction is based on the features of a quantum collapse, discovered when studying some particular quantum black hole models. But our model is purely classical, and this allows using the Einstein equations and classical (local) thermodynamics self-consistently and, in particular, solving the “puzzle of log 3.”     

Bose-Einstein condensation in the excited band and the energy spectrum of the Bose-Hubbard model

Based on the mean field approximation, we investigate the transition into the Bose-Einstein condensate phase in the Bose-Hubbard model with two local states and boson hopping in only the excited band. In the hard-core boson limit, we study the instability associated with this transition, which appears at excitation energies δ < |t ₀ |, where |t ₀ | is the particle hopping parameter. We discuss the conditions under which the phase transition changes from second to first order and present the corresponding phase diagrams (Θ,μ) and (|t ₀ |, μ), where Θ is the temperature and μ is the chemical potential. Separation into the normal and Bose-Einstein condensate phases is possible at a fixed average concentration of bosons. We calculate the boson Green’s function and one-particle spectral density using the random phase approximation and analyze changes in the spectrum of excitations of the “particle” or “hole” type in the region of transition from the normal to the Bose-Einstein condensate phase.     

Averaging the operators for a large number of clusters: Phase transitions

We develop the theory of averaging the operators in a Fock space, introduced in our previous papers. We find the algebra of mean operators. We introduce the quantum entropy and quantum free energy using the function f(z)=zlog(z) of the mean unit operator (the “measure” of mean operators). Such a “quantum thermodynamics” determines the temperature dependence of the critical speed (“the Landau criterion”) and the temperature distribution at which the speed of a superfluid system is nonzero even at zero temperature. We generalize the consideration to the case where sparsely distributed bosons form clusters. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 125, No. 2, pp. 297–314, November, 2000.     

A Generalization of the Lorentz Ether to Gravity with General-Relativistic Limit

Does relativistic gravity provide arguments against the existence of a preferred frame? Our answer is negative. We define a viable theory of gravity with preferred frame. In this theory, the EEP holds exactly, and the Einstein equations of GR limit are obtained in a natural limit. Despite some remarkable differences (stable “frozen stars” instead of black holes, a “big bounce” instead of the big bang, exclusion of nontrivial topologies and closed causal loops, and a preference for a flat universe) the theory is viable.     

The Geometry of Standard Deontic Logic

Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “n-opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m” (m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid).      

An Extension Principle for the Einstein-Vlasov System in Spherical Symmetry

We prove that “first singularities” in the non-trapped region of the maximal development of spherically symmetric asymptotically flat data for the Einstein-Vlasov system must necessarily emanate from the center. The notion of “first” depends only on the causal structure and can be described in the language of terminal indecomposable pasts (TIPs). This result suggests a local approach to proving weak cosmic censorship for this system. It can also be used to give the first proof of the formation of black holes by the collapse of collisionless matter from regular initial configurations. Communicated by Sergiu Klainerman submitted 15/11/04, accepted 17/02/05     

The return of the linear search problem

The linear search problem concerns a search on the real line for a point selected at random according to a given probability distribution. The search begins at zero and is made by a continuous motion with constant speed, first in one direction and then the other. The problem is to determine when it is possible to devise a “best” search plan. In former papers the best plan has been selected according to the criterion of minimum expected path length. In this paper we consider a more general, nonlinear criterion for a “best” plan and show that the substantive requirements of the earlier results are not affected by these changes.     

A complexity measure for families of binary sequences

In earlier papers finite pseudorandom binary sequences were studied, quantitative measures of pseudorandomness of them were introduced and studied, and large families of “good” pseudorandom sequences were constructed. In certain applications (cryptography) it is not enough to know that a family of “good” pseudorandom binary sequences is large, it is a more important property if it has a “rich”, “complex” structure. Correspondingly, the notion of “f-complexity” of a family of binary sequences is introduced. It is shown that the family of “good” pseudorandom binary sequences constructed earlier is also of high f-complexity. Finally, the cardinality of the smallest family achieving a prescibed f-complexity and multiplicity is estimated. This revised version was published online in August 2006 with corrections to the Cover Date.     

Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic

We study Lebesgue and Atsuji spaces within subsystems of second order arithmetic. The former spaces are those such that every open covering has a Lebesgue number, while the latter are those such that every continuous function defined on them is uniformly continuous. The main results we obtain are the following: the statement “every compact space is Lebesgue” is equivalent to ; the statements “every perfect Lebesgue space is compact” and “every perfect Atsuji space is compact” are equivalent to ; the statement “every Lebesgue space is Atsuji” is provable in ; the statement “every Atsuji space is Lebesgue” is provable in . We also prove that the statement “the distance from a closed set is a continuous function” is equivalent to . Received: February 2, 1996     

The semantics of knowledge attributions

The basic idea of conversational contextualism is that knowledge attributions are context sensitive in that a given knowledge attribution may be true if made in one context but false if made in another, owing to differences in the attributors’ conversational contexts. Moreover, the context sensitivity involved is traced back to the context sensitivity of the word “know,” which, in turn, is commonly modelled on the case either of genuine indexicals such as “I” or “here” or of comparative adjectives such as “tall” or “rich.” But contextualism faces various problems. I argue that in order to solve these problems we need to look for another account of the context sensitivity involved in knowledge attributions and I sketch an alternative proposal.     

On the reduction to a complete class in multiple decision problems (2)

Summary As a criterion for the reduction to a complete class of decision rule in case where actions, samples and states are finite in number, “regret-relief ratio” criterion and “incremental loss-gain ratio” criterion were introduced in 2-state of nature case [2]. In this paper, “generalized regret-relief ratio” criterion ink-state of nature case is introduced as an extension of “regret-relief ratio” criterion and its usefulness is shown with an example. The Institute of Statistical Mathematics     

Homotopy classification of equivariant regular sections

In his paper [2], Bierstone proves the equivariant Gromov theorem which is an integrability theorem for “open regularity condition” of equivariant sections of a smooth G-fibre bundle under the assumption that all orbit bundles of base manifold are non-closed. Here, we prove the result without his assumption under a nice “open regularity condition” which we call “G-extensible”. One of the examples of “G-extensible condition” is given by notions of Thom-Boardman singularities.     

Some new closures on orders

For each of the relations “less than or equal to”, “less than”, “covered by”, and “covered by or equal to”, we characterize finite orders (also called posets) with the property that the pair of Galois closure operators induced by the relation in question coincides with the pair of closure operators introduced and applied in our previous paper in 2007. We also consider the “less than or equal to” relation between the set of join-irreducible elements and the set of meet-irreducible elements, and we show that the above-mentioned pairs of closure operators coincide for finite modular lattices.     

What happens near the Schwarzschild sphere for a nonzero graviton rest mass

In the relativistic theory of gravity, we analyze the solution for a static spherically symmetrical body in detail. Comparing this solution with the Schwarzschild solution in general relativity, we find that they are essentially different in the domain near the Schwarzschild sphere. This difference eliminates the possibility of a collapse leading to the formation of “black holes.” Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 121, No. 1, pp. 4–24, October, 1999.     

Remarks on a principle of localization

We prove that the Brauer class of a crossed product is a sum of symbols iff its “local” components are. Analogously we show that a solution of the “Goldie rank conjecture” would follow from the “local” statements; an extension of a result of Cliff-Sehgal is an easy corollary.     

Concavity of the Lagrangian for quasi-periodic orbits

Percival introduced a “Lagrangian” for finding quasi-periodic orbits. For suitable area preserving mappings, we show that Percival's “Lagrangian” is strictly concave with respect to an appropriate affine structure on its domain. Consequently, the “Lagrangian” admits a unique maximum in the case of irrational frequencies. Supported by NSF grant MCS 79-02017     

Combinatorial Groupoids,Cubical Complexes,and the Lovász Conjecture

This paper lays the foundation for a theory of combinatorial groupoids that allows us to use concepts like “holonomy”, “parallel transport”, “bundles”, “combinatorial curvature”, etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. We introduce a new, holonomy-type invariant for cubical complexes, leading to a combinatorial “Theorema Egregium” for cubical complexes that are non-embeddable into cubical lattices. Parallel transport of Hom-complexes and maps is used as a tool to extend Babson–Kozlov–Lovász graph coloring results to more general statements about nondegenerate maps (colorings) of simplicial complexes and graphs. The author was supported by grants 144014 and 144026 of the Serbian Ministry of Science and Technology.     

On the Borel-Cantelli lemma

A new variant of the “divergent” part of the Borel-Cantelli lemma for events derived from a Markov chain is given. Further two applications are considered. One of the applications refers to the denumerable Markov chain and the second is a new proof of the “strong” theorem corresponding to the “arc sine law”.     

On trees covering chains or stars

In this paper, in the context of the “dessins d’enfants” theory, we give a combinatorial criterion for a plane tree to cover a tree from the classes of “chains” or “stars.” We also discuss some applications of this result that are related to the arithmetical theory of torsion on curves. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 6, pp. 207–215, 2007.