b-Chromatic Sum and b-Continuity Property of Some Graphs

A b-coloring of a graph [Formula: see text] is a proper coloring of the vertices of [Formula: see text] such that there exist a vertex in each color class joined to at least one vertex in each other color classes. The b-chromatic number of a graph [Formula: see text], denoted by [Formula: see text], is the largest integer [Formula: see text] such that [Formula: see text] has a b-coloring with [Formula: see text] colors. The b-chromatic sum of a graph [Formula: see text], denoted by [Formula: see text], is introduced and it is defined as the minimum of sum of colors [Formula: see text] of [Formula: see text] for any [Formula: see text] in a b-coloring of [Formula: see text] using [Formula: see text] colors. A graph [Formula: see text] is b-continuous, if it admits a b-coloring with [Formula: see text] colors, for every [Formula: see text]. In this paper, the [Formula: see text]-continuity property of corona of two cycles, corona of two star graphs and corona of two wheel graphs with unequal number of vertices is discussed. The b-continuity property of corona of any two graphs with same number of vertices is also discussed. Also, the b-continuity property of Mycielskian of complete graph, complete bipartite graph and paths are discussed. The b-chromatic sum of power graph of a path is also obtained.

Mysterious Circle Numbers.Does πp,q Approach πp When q Is Tending to p ?

This paper aims to introduce a mathematical-philosophical type of question from the fascinating world of generalized circle numbers to the widest possible readership. We start with recalling well-known (in part from school) properties of the polygonal approximation of the common circle when approximating the famous circle number π by convergent sequences of upper and lower bounds being based upon the lengths of polygons. Next, we shortly refer to some results from the literature where suitably defined generalized circle numbers of l p - and l p , q -circles, π p and π p , q , respectively, are considered and turn afterwards over to the approximation of an l p -circle by a family of l p , q -circles with q converging to p, q → p . Then we ask whether or not there holds the continuity property π p , q → π p as q → p . The answer to this question leads us to the answer of the question stated in the paper’s title. Presenting here for illustration true paintings instead of strong technical or mathematical drawings intends both to stimulate opening heart and senses of the reader for recognizing generalized circles in his real life and to suggest the philosophical challenge of the consequences coming out from the demonstrated non-continuity property.

Differentiability of the evolution map and Mackey continuity

We solve the differentiability problem for the evolution map in Milnor’s infinite-dimensional setting. We first show that the evolution map of each {C^{k}}-semiregular Lie group G (for {k\in\mathbb{N}\sqcup\{\mathrm{lip},\infty\}}) admits a particular kind of sequentially continuity – called Mackey k-continuity. We then prove that this continuity property is strong enough to ensure differentiability of the evolution map. In particular, this drops any continuity presumptions made in this context so far. Remarkably, Mackey k-continuity arises directly from the regularity problem itself, which makes it particular among the continuity conditions traditionally considered. As an application of the introduced notions, we discuss the strong Trotter property in the sequentially and the Mackey continuous context. We furthermore conclude that if the Lie algebra of G is a Fréchet space, then G is {C^{k}}-semiregular (for {k\in\mathbb{N}\sqcup\{\infty\}}) if and only if G is {C^{k}}-regular.

Logarithmic Ramifications of Étale Sheaves by Restricting to Curves

In this article, we prove that the Swan conductor of an étale sheaf on a smooth variety defined by Abbes and Saito’s logarithmic ramification theory can be computed by its classical Swan conductors after restricting it to curves. It extends the main result of Barrientos [7] for rank $1$ sheaves. As an application, we give a logarithmic ramification version of generalizations of Deligne and Laumon’s lower semi-continuity property for Swan conductors of étale sheaves on relative curves to higher relative dimensions in a geometric situation.

AUTOMATIC CONTINUITY FOR ISOMETRY GROUPS

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the groups of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. This answers a question of Ben Yaacov, Berenstein and Melleray. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the automatic continuity property for the group $\text{Aut}([0,1],\unicode[STIX]{x1D706})$, due to Ben Yaacov, Berenstein and Melleray and for the unitary group of the infinite-dimensional separable Hilbert space, due to Tsankov.

Semi-continuity for total dimension divisors of étale sheaves

In this paper, we extend an inequality that compares the pull-back of the total dimension divisor of an étale sheaf and the total dimension divisor of the pull-back of the sheaf due to Saito. Using this formula, we generalize Deligne and Laumon’s lower semi-continuity property for Swan conductors of étale sheaves on relative curves to higher relative dimensions in a geometric situation.

On strongly just infinite profinite branch groups

For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact groups enjoying the last condition are called strongly just infinite. For strongly just infinite profinite branch groups with mild additional assumptions, we verify the invariant automatic continuity property and the locally compact automatic continuity property. Examples are then presented, including the profinite completion of the first Grigorchuk group. As an application, we show that many Burger–Mozes universal simple groups enjoy several automatic continuity properties.

On semi-continuity problems for minimal log discrepancies

We show the semi-continuity property of minimal log discrepancies for varieties which have a crepant resolution in the category of Deligne–Mumford stacks. Using this property, we also prove the ideal-adic semi-continuity problem for toric pairs.

On full groups of non-ergodic probability-measure-preserving equivalence relations

This article generalizes our previous results [Le Maître. The number of topological generators for full groups of ergodic equivalence relations. Invent. Math. 198 (2014), 261–268] to the non-ergodic case by giving a formula relating the topological rank of the full group of an aperiodic probability-measure-preserving (pmp) equivalence relation to the cost of its ergodic components. Furthermore, we obtain examples of full groups that have a dense free subgroup whose rank is equal to the topological rank of the full group, using a Baire category argument. We then study the automatic continuity property for full groups of aperiodic equivalence relations, and find a connected metric for which they have the automatic continuity property. This allows us to provide an algebraic characterization of aperiodicity for pmp equivalence relations, namely the non-existence of homomorphisms from their full groups into totally disconnected separable groups. A simple proof of the extreme amenability of full groups of hyperfinite pmp equivalence relations is also given, generalizing a result of Giordano and Pestov to the non-ergodic case [Giordano and Pestov. Some extremely amenable groups related to operator algebras and ergodic theory. J. Inst. Math. Jussieu6(2) (2007), 279–315, Theorem 5.7].