Characterization of Sobolev and BV spaces

The main results of this paper are new characterizations of W1,p(Ω), 1<p<∞, and BV(Ω) for Ω⊂RN an arbitrary open set. Using these results, we answer some open questions of Brezis (2002) [10] and Ponce (2004) [25].     

Remarks on Q-integral complete multipartite graphs

A graph is Q-integral if the spectrum of its signless Laplacian matrix consists entirely of integers. In their study of Q-integral complete multipartite graphs, [Zhao et al., Q-integral complete r-partite graphs, Linear Algebra Appl. 438 (2013) 1067–1077] posed two questions on the existence of such graphs. We resolve these questions and present some further results characterizing particular classes of Q-integral complete multipartite graphs.     

Free arrangements and rhombic tilings

Let Z be a centrally symmetric polygon with integer side lengths. We answer the following two questions:

1. When is the associated discriminantal hyperplane arrangementfree in the sense of Saito and Terao?
2. When areall of the tilings of Z by unit rhombicoherent in the sense of Billera and Sturmfels?

Surprisingly, the answers to these two questions are very similar. Furthermore, by means of an old result of MacMahon on plane partitions and some new results of Elnitsky on rhombic tilings, the answer to the first question helps to answer the second. These results then also give rise to some interesting geometric corollaries. Consideration of the discriminantal arrangements for some particular octagons leads to a previously announced counterexample to the conjecture by Saito [ER2] that the complexified complement of a real free arrangement is aK (π, 1) space.     

Non-linear circle actions on the 4-sphere and twisting spun knots

CIRCLE actions on spheres form one of the most important problems in transformation groups. The aim of this paper is to study this problem in dimension 4. We answer a question of Montgomery and Yang[7], and show that there are infinitely many non-linear circle actions on S⁴. Moreover, if the 3-dimensional Poincaré conjecture is true, these actions plus the linear ones are the only possible circle actions on S⁴. The proof of this assertion involves identifying some homotopy 4-spheres. It is closely related to the work, twisting spun knots, of Zeeman[14]. We give a different treatment of this subject. This new setting yields new proofs and substantial strengthenings of some known results. In particular, we answer two questions of Zeeman[14, pp. 493–494, Questions 3 and 4].     

A note on the rank of diagonals

For each natural number k?4, we construct a Tychonoff space with a rank k-diagonal but without a rank (k+1)-diagonal. This example proves a conjecture on rank of diagonal given by A.V. Arhangel'skii and R.Z. Buzyakova (2006) in [1] and answers some questions raised by them in the same paper.     

A Note on time regularity of generalized Ornstein–Uhlenbeck processes with cylindrical stable noise

A necessary and sufficient condition of càdlàg modification of Ornstein–Uhlenbeck process with cylindrical stable noise in a Hilbert space is given in this Note. Applying this result, some questions in Time irregularity of generalized Ornstein–Uhlenbeck processes [C. R. Acad. Sci. Paris, Ser. I 348 (2010) 273–276] and Structural properties of semilinear SPDEs driven by cylindrical stable process [Probab. Theory Related Fields 149 (2011) 97–137] are answered.     

Saturated boolean algebras and their stone spaces

For an infinite cardinal κ, we call a compact zero-dimensional space a κ-Parovicenko space if its boolean algebra of clopen sets is κ-saturated and has cardinality κ^<κ. We answer some questions about these spaces which were posed in [14]. For instance, it is shown that a κ⁺-Parovicenko spacé can be a Stone-Cech remainder in a natural way. We show that some of the results in [14] which used the assumption κ^<κ=κ, do indeed require this assumption. We also show that if 2^κ=κ⁺ then each compact F_κ⁺-space with weight κ⁺ can be embedded into a κ⁺-Parovicenko space (and so into an extremally disconnected space).     

Simple proofs of open problems about the structure of involutions in the Riordan group

We prove that if D=(g(x),f(x)) is an element of order 2 in the Riordan group then g(x)=±exp[Φ(x,xf(x)] for some antisymmetric function Φ(x,z). Also we prove that every element of order 2 in the Riordan group can be written as BMB^-1 for some element B and M=(1,-1) in the Riordan group. These proofs provide solutions to two open problems presented by L. Shapiro [L.W. Shapiro, Some open questions about random walks, involutions, limiting distributions and generating functions, Adv. Appl. Math. 27 (2001) 585-596].     

On a property of n-dimensional simplices

Suppose that n ∈ ? and S is a simplex in ? ⁿ , containing the cube [0, 1] ⁿ . It is proved that, for some i = 1, …, n, the simplex S contains an interval of length n parallel to the ith coordinate axis. The relationship with questions arising in linear interpolation of continuous functions of n variables is noted.     

Linear splicing and syntactic monoid

Splicing systems were introduced by Head in 1987 as a formal counterpart of a biological mechanism of DNA recombination under the action of restriction and ligase enzymes. Despite the intensive studies on linear splicing systems, some elementary questions about their computational power are still open. In particular, in this paper we face the problem of characterizing the proper subclass of regular languages which are generated by finite (Paun) linear splicing systems. We introduce here the class of marker languages L, i.e., regular languages with the form L=L₁[x]₁L₂, where L₁,L₂ are regular languages, [x] is a syntactic congruence class satisfying special conditions and [x]₁ is either equal to [x] or equal to [x]∪{1}, 1 being the empty word. Using classical properties of formal language theory, we give an algorithm which allows us to decide whether a regular language is a marker language. Furthermore, for each marker language L we exhibit a finite Paun linear splicing system and we prove that this system generates L.     

Realcompactness in maximal and submaximal spaces

We study realcompactness in the classes of submaximal and maximal spaces. It is shown that a normal submaximal space of cardinality less than the first measurable is realcompact. ZFC examples of submaximal not realcompact and maximal not realcompact spaces are constructed. These examples answer questions posed in [O.T. Alas, M. Sanchis, M.G. Tka?enko, V.V. Tkachuk, R.G. Wilson, Irresolvable and submaximal spaces: homogeneity versus σ-discreteness and new ZFC examples, Topology Appl. 107 (3) (2000) 259-273] and generalize some results from [D.P. Baturov, On perfectly normal dense subspaces of products, Topology Appl. 154 (2) (2007) 374-383].     

On open ultrafilters and maximal points

In this work we expand upon the theory of open ultrafilters in the setting of regular spaces. In [E. van Douwen, Remote points, Dissertationes Math. (Rozprawy Mat.) 188 (1981) 1-45], van Douwen showed that if X is a non-feebly compact Tychonoff space with a countable π-base, then βX has a remote point. We develop a related result for the class of regular spaces which shows that in a non-feebly compact regular space X with a countable π-base, there exists a free open ultrafilter on X that is also a regular filter.Of central importance is a result of Mooney [D.D. Mooney, H-bounded sets, Topology Proc. 18 (1993) 195-207] that characterizes open ultrafilters as open filters that are saturated and disjoint-prime. Smirnov [J.M. Smirnov, Some relations on the theory of dimensions, Mat. Sb. 29 (1951) 157-172] showed that maximal completely regular filters are disjoint prime, from which it was concluded that βX is a perfect extension for a Tychonoff space X. We extend this result, and other results of Skljarenko [E.G. Skljarenko, Some questions in the theory of bicompactifications, Amer. Math. Soc. Transl. Ser. 2 58 (1966) 216-266], by showing that a maximal regular filter on any Hausdorff space is disjoint prime.Open ultrafilters are integral to the study of maximal points and lower topologies in the partial order of Hausdorff topologies on a fixed set. We show that a maximal point in a Hausdorff space cannot have a neighborhood base of feebly compact neighborhoods. One corollary is that no locally countably compact Hausdorff topology is a lower topology, which was shown previously under the additional assumption of countable tightness by Alas and Wilson [O. Alas, R. Wilson, Which topologies can have immediate successors in the lattice of T₁-topologies? Appl. Gen. Topol. 5 (2004) 231-242]. Another is that a maximal point in a feebly compact space is not a regular point. This generalizes results of both Carlson [N. Carlson, Lower upper topologies in the Hausdorff partial order on a fixed set, Topology Appl. 154 (2007) 619-624] and Costantini [C. Costantini, On some questions about posets of topologies on a fixed set, Topology Proc. 32 (2008) 187-225].     

Local-global principles for algebraic covers

This paper is devoted to some local-global type questions about fields of definition of algebraic covers. Letf:X→B be a covera priori defined over . Assume that the coverf can be defined over each completion ?{p} of ?. Does it follow that the cover can be defined over ?? This is thelocal-to-global principle. It was shown to hold for G-covers [DbDo], i.e., for Galois covers given with their automorphisms. Here we prove that, in the situation ofmere covers, the local-to-global principle holds under some additional assumptions on the groupG of the cover and the monodromy representationG→S _d (withd=deg(f)). This local-to-global problem is closely related to the obstruction to the field of moduli being a field of definition. This problem was studied in [DbDo], which is the main tool of the present paper.     

Some remarks on James-Schreier spaces

The James-Schreier spaces Vp, where 1?p<∞, were recently introduced by Bird and Laustsen (in press) [5] as an amalgamation of James' quasi-reflexive Banach space on the one hand and Schreier's Banach space giving a counterexample to the Banach-Saks property on the other. The purpose of this note is to answer some questions left open in Bird and Laustsen (in press) [5]. Specifically, we prove that (i) the standard Schauder basis for the first James-Schreier space V₁ is shrinking, and (ii) any two Schreier or James-Schreier spaces with distinct indices are non-isomorphic. The former of these results implies that V₁ does not have Pe?czyński's property (u) and hence does not embed in any Banach space with an unconditional Schauder basis.     

Quasirandom arithmetic permutations

In [J.N. Cooper, Quasirandom permutations, 2002, to appear], the author introduced quasirandom permutations, permutations of Z_n which map intervals to sets with low discrepancy. Here we show that several natural number-theoretic permutations are quasirandom, some very strongly so. Quasirandomness is established via discrete Fourier analysis and the Erd?s-Turán inequality, as well as by other means. We apply our results on Sós permutations to make progress on a number of questions relating to the sequence of fractional parts of multiples of an irrational. Several intriguing open problems are presented throughout the discussion.     

Comparing weak versions of separability

Our aim is to investigate spaces with σ-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [22], Hutchison [13] and the authors of [7].     

D-spaces and covering properties

We study the D-space property and its generalizations, the notions of an aD-space and a weak aD-space in connection with covering properties. A brief survey on D-spaces is presented in Section 1.Among new results, it is proved that if a linearly ordered space is an aD-space, then it is paracompact. The statement further extends the list of equivalences in [Proc. Amer. Math. Soc. 125 (1997) 1237]. We also establish some sufficient conditions for the free topological group of a Tychonoff space to be a D-space. In particular, the free topological group of a semi-stratifiable space is shown to be a D-space, while it need not be semi-stratifiable. A similar result is established for the free topological group of a space with a point-countable base. Some new interesting open problems on D-spaces and on spaces close to them are formulated. In particular, we discuss several such questions in connection with the sum theorems.     

Bounded symbols and Reproducing Kernel Thesis for truncated Toeplitz operators

Compressions of Toeplitz operators to coinvariant subspaces of H² are called truncated Toeplitz operators. We study two questions related to these operators. The first, raised by Sarason, is whether boundedness of the operator implies the existence of a bounded symbol; the second is the Reproducing Kernel Thesis. We show that in general the answer to the first question is negative, and we exhibit some classes of spaces for which the answers to both questions are positive.     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

A question on partial CAP-subgroups of finite groups

A subgroup H of a finite group G is a partial CAP-subgroup of G if there is a chief series of G such that H either covers or avoids every chief factor of the series.The structural impact of the partial cover and avoidance property of some distinguished subgroups of a group has been studied by many authors.However,there are still some open questions which deserve an answer.The purpose of the present paper is to give a complete answer to one of these questions.