Note on an equation occurring in a problem of Nicole Brillou?t-Belluot

We study the functional equation f(x)f ^?1(x)?=?x ² imposing no continuity assumptions on its bijective solutions defined on an interval. All the continuous bijections satisfying the equation were determined by the second author in (Aequat. Math. (in print), 2011) when solving the problem (Problem posed during the forty-ninth International Symposium on Functional Equations 2011) posed by Brillou?t-Belluot.     

Around a problem of Nicole Brillouët–Belluot

We determine nontrivial intervals \({I \subset(0,+\infty)}\) , numbers \({\alpha\in\mathbb R}\) and continuous bijections \({f \colon I \to I}\) such that f(x)f ^?1(x) = x ^α for every \({x\in I}\) .     

On a problem of Erdős

Let s≥2 be an integer. Denote by f ₁(s) the least integer so that every integer l>f ₁(s) is the sum of s distinct primes. Erd?s proved that f ₁(s)<p ₁+p ₂+?+p _s +Cslogs, where p _i is the ith prime and C is an absolute constant. In this paper, we prove that f ₁(s)=p ₁+p ₂+?+p _s +(1+o(1))slogs=p ₂+p ₃+?+p _s+1+o(slogs). This answers a question posed by P. Erd?s.     

On a modification of a problem of Bialostocki, Erd?s, and Lefmann

For positive integers m and r, one can easily show there exist integers N such that for every map Δ:{1,2,…,N}→{1,2,…,r} there exist 2m integers

x₁<?<x_m<y₁<?<y_m,     

On a problem of Sierpiński,Ⅱ

For any integer s≥ 2, let μsbe the least integer so that every integer l μs is the sum of exactly s integers which are pairwise relatively prime. In 1964, Sierpi′nski asked for the determination of μs. Let pibe the i-th prime and let μs= p2 + p3 + + ps+1+ cs. Recently, the authors solved this problem. In particular,we have(1) cs=-2 if and only if s = 2;(2) the set of integers s with cs= 1100 has asymptotic density one;(3) cs∈ A for all s ≥ 3, where A is an explicit set with A ■[2, 1100] and |A| = 125. In this paper, we prove that,(1) for every a ∈ A, there exists an index s with cs= a;(2) under Dickson's conjecture, for every a ∈ A,there are infinitely many s with cs= a. We also point out that recent progress on small gaps between primes can be applied to this problem.     

On a problem of Erdős and Moser

A set A of vertices in an r-uniform hypergraph \(\mathcal H\) is covered in \(\mathcal H\) if there is some vertex \(u\not \in A\) such that every edge of the form \(\{u\}\cup B\), \(B\in A^{(r-1)}\) is in \(\mathcal H\). Erd?s and Moser (J Aust Math Soc 11:42–47, 1970) determined the minimum number of edges in a graph on n vertices such that every k-set is covered. We extend this result to r-uniform hypergraphs on sufficiently many vertices, and determine the extremal hypergraphs. We also address the problem for directed graphs.     

On a generalization of the Hadwiger–Nelson problem

For a field F and a quadratic form Q defined on an n-dimensional vector space V over F, let QG _Q , called the quadratic graph associated to Q, be the graph with the vertex set V where vertices u,w ∈ V form an edge if and only if Q(v ? w) = 1. Quadratic graphs can be viewed as natural generalizations of the unit-distance graph featuring in the famous Hadwiger–Nelson problem. In the present paper, we will prove that for a local field F of characteristic zero, the Borel chromatic number of QG _Q is infinite if and only if Q represents zero non-trivially over F. The proof employs a recent spectral bound for the Borel chromatic number of Cayley graphs, combined with an analysis of certain oscillatory integrals over local fields. As an application, we will also answer a variant of question 525 proposed in the 22nd British Combinatorics Conference 2009 [6].     

On a problem of Erdős and Graham

In this paper we provide bounds for the size of the solutions of the Diophantine equation

$$\begin{aligned} x(x+1)(x+2)(x+3)(x+m)(x+m+1)(x+m+2)(x+m+3)=y^2, \end{aligned}$$

where \(4\le m\in \mathbb {N}\) is a parameter. We also determine all integral solutions for \(1\le m\le 10^6.\)

     

On a problem of Erdös and Alladi

We give an estimate for the quantity {f(n):nx, p(n)y}, wherep(n) denotes the greatest prime factor ofn andf belongs to a certain class of multiplicative functions. As an application, we show that for the Moebius function, ({(n):nx, p(n)y}) ({1:nx, p(n)y})^–1 tends to zero, asx, uniformly iny2, and thus settle a conjecture of Erdös.Supported by a grant from the Deutsche Forschungsgesellschaft.     

On a problem of Erdős and Rado

We give some improved estimates for the digraph Ramsey numbersr(K _n ^* ,L _m ), the smallest numberp such that any digraph of orderp either has an independent set ofn vertices or contains a transitive tournament of orderm. By results of Baumgartner and of Erdős and Rado, this is equivalent to the following infinite partition problem: for an infinite cardinal κ and positive integersn andm, find the smallest numberp such that

On a normed version of a Rogers–Shephard type problem

A translation body of a convex body is the convex hull of two of its translates intersecting each other. In the 1950s, Rogers and Shephard found the extremal values, over the family of n-dimensional convex bodies, of the maximal volume of the translation bodies of a given convex body. In our paper, we introduce a normed version of this problem, and for the planar case, determine the corresponding quantities for the four types of volumes regularly used in the literature: Busemann, Holmes–Thompson, and Gromov’s mass and mass*. We examine the problem also for higher dimensions, and for centrally symmetric convex bodies.     

On a bipartition problem of Bollobás and Scott

The bipartite density of a graph G is max {|E(H)|/|E(G)|: H is a bipartite subgraph of G}. It is NP-hard to determine the bipartite density of any triangle-free cubic graph. A biased maximum bipartite subgraph of a graph G is a bipartite subgraph of G with the maximum number of edges such that one of its partite sets is independent in G. Let $ \mathcal{H} $ \mathcal{H} denote the collection of all connected cubic graphs which have bipartite density $ \tfrac{4} {5} $ \tfrac{4} {5} and contain biased maximum bipartite subgraphs. Bollobás and Scott asked which cubic graphs belong to $ \mathcal{H} $ \mathcal{H} . This same problem was also proposed by Malle in 1982. We show that any graph in $ \mathcal{H} $ \mathcal{H} can be reduced, through a sequence of three types of operations, to a member of a well characterized class. As a consequence, we give an algorithm that decides whether a given graph G belongs to $ \mathcal{H} $ \mathcal{H} . Our algorithm runs in polynomial time, provided that G has a constant number of triangles that are not blocks of G and do not share edges with any other triangles in G.     

On a Turán type problem of Erdös

Let L ^k be the graph formed by the lowest three levels of the Boolean lattice B _k , i.e.,V(L ^k )={0, 1,...,k, 12, 13,..., (k–1)k} and 0is connected toi for all 1ik, andij is connected toi andj (1i<jk).It is proved that if a graph G overn vertices has at leastk ^3/2 n ^3/2 edges, then it contains a copy of L ^k .Research supported in part by the Hungarian National Science Foundation under Grant No. 1812     

On a problem of Janusz Matkowski and Jacek Wesołowski

We study the problem of the existence of increasing and continuous solutions \(\varphi :[0,1]\rightarrow [0,1]\) such that \(\varphi (0)=0\) and \(\varphi (1)=1\) of the functional equation

$$\begin{aligned} \varphi (x)=\sum _{n=0}^{N}\varphi (f_n(x))-\sum _{n=1}^{N}\varphi (f_n(0)), \end{aligned}$$

where \(N\in {\mathbb {N}}\) and \(f_0,\ldots ,f_N:[0,1]\rightarrow [0,1]\) are strictly increasing contractions satisfying the following condition \(0=f_0(0)<f_0(1)=f_1(0)<\cdots<f_{N-1}(1)=f_N(0)<f_N(1)=1\). In particular, we give an answer to the problem posed in Matkowski (Aequationes Math. 29:210–213, 1985) by Janusz Matkowski concerning a very special case of that equation.

     

On a core concept of Arhangel'ski?

Arhangel'ski? [A.V. Arhangel'ski?, Locally compact spaces of countable core and Alexandroff compactification, Topology Appl. 154 (2007) 625-634] has introduced a weakening of σ-compactness: having a countable core, for locally compact spaces, and asked when it is equivalent to σ-compactness. We settle several problems related to that paper.