Broadcasting algorithms in radio networks with unknown topology

In this paper we present new randomized and deterministic algorithms for the classical problem of broadcasting in radio networks with unknown topology. We consider directed n-node radio networks with specified eccentricity D (maximum distance from the source node to any other node). Bar-Yehuda et al. presented an algorithm that for any n-node radio network with eccentricity D completes the broadcasting in time, with high probability. This result is almost optimal, since as it has been shown by Kushilevitz and Mansour and Alon et al., every randomized algorithm requires Ω(Dlog(n/D)+log²n) expected time to complete broadcasting.Our first main result closes the gap between the lower and upper bound: we describe an optimal randomized broadcasting algorithm whose running time complexity is , with high probability. In particular, we obtain a randomized algorithm that completes broadcasting in any n-node radio network in time , with high probability.The main source of our improvement is a better “selecting sequence” used by the algorithm that brings some stronger property and improves the broadcasting time. Two types of “selecting sequences” are considered: randomized and deterministic ones. The algorithm with a randomized sequence is easier (more intuitive) to analyze but both randomized and deterministic sequences give algorithms of the same asymptotic complexity.Next, we demonstrate how to apply our approach to deterministic broadcasting, and describe a deterministic oblivious algorithm that completes broadcasting in time , which improves upon best known algorithms in this case. The fastest previously known algorithm had the broadcasting time of , it was non-oblivious and significantly more complicated; our algorithm can be seen as a natural extension of our randomized algorithm. In this part of the paper we assume that each node knows the eccentricity D.Finally, we show how our randomized broadcasting algorithm can be used to improve the randomized complexity of the gossiping problem.     

New pseudopolynomial complexity bounds for the bounded and other integer Knapsack related problems

We consider the bounded integer knapsack problem (BKP) , subject to: , and x_j{0,1,…,m_j},j=1,…,n. We use proximity results between the integer and the continuous versions to obtain an O(n³W²) algorithm for BKP, where W=max_j=1,…,nw_j. The respective complexity of the unbounded case with m_j=∞, for j=1,…,n, is O(n²W²). We use these results to obtain an improved strongly polynomial algorithm for the multicover problem with cyclical 1’s and uniform right-hand side.     

Faster algorithms for computing longest common increasing subsequences

We present algorithms for finding a longest common increasing subsequence of two or more input sequences. For two sequences of lengths n and m, where m?n, we present an algorithm with an output-dependent expected running time of and O(m) space, where ? is the length of an LCIS, σ is the size of the alphabet, and Sort is the time to sort each input sequence. For k?3 length-n sequences we present an algorithm which improves the previous best bound by more than a factor k for many inputs. In both cases, our algorithms are conceptually quite simple but rely on existing sophisticated data structures. Finally, we introduce the problem of longest common weakly-increasing (or non-decreasing) subsequences (LCWIS), for which we present an -time algorithm for the 3-letter alphabet case. For the extensively studied longest common subsequence problem, comparable speedups have not been achieved for small alphabets.     

Well-posedness of the Cauchy problem for the fractional power dissipative equation in critical Besov spaces

In this paper we study the Cauchy problem for the semilinear fractional power dissipative equation u_t+(−Δ)^αu=F(u) for the initial data u₀ in critical Besov spaces with , where α>0, F(u)=P(D)u^b+1 with P(D) being a homogeneous pseudo-differential operator of order d[0,2α) and b>0 being an integer. Making use of some estimates of the corresponding linear equation in the frame of mixed time–space spaces, the so-called “mono-norm method” which is different from the Kato's “double-norm method,” Fourier localization technique and Littlewood–Paley theory, we get the well-posedness result in the case .     

Ray shooting and intersection searching amidst fat convex polyhedra in 3-space

We present a data structure for ray-shooting queries in a set of convex fat polyhedra of total complexity n in . The data structure uses O(n^2+ε) storage and preprocessing time, and queries can be answered in O(log²n) time. A trade-off between storage and query time is also possible: for any m with n<m<n², we can construct a structure that uses O(m^1+ε) storage and preprocessing time such that queries take time.We also describe a data structure for simplex intersection queries in a set of n convex fat constant-complexity polyhedra in . For any m with n<m<n³, we can construct a structure that uses O(m^1+ε) storage and preprocessing time such that all polyhedra intersecting a query simplex can be reported in O((n/m^1/3)logn+k) time, where k is the number of answers.     

Detecting induced subgraphs

An s-graph is a graph with two kinds of edges: subdivisible edges and real edges. A realisation of an s-graph B is any graph obtained by subdividing subdivisible edges of B into paths of arbitrary length (at least one). Given an s-graph B, we study the decision problem Π_B whose instance is a graph G and question is “Does G contain a realisation of B as an induced subgraph?”. For several B’s, the complexity of Π_B is known and here we give the complexity for several more.Our NP-completeness proofs for Π_B’s rely on the NP-completeness proof of the following problem. Let be a set of graphs and d be an integer. Let be the problem whose instance is (G,x,y) where G is a graph whose maximum degree is at most d, with no induced subgraph in and x,yV(G) are two non-adjacent vertices of degree 2. The question is “Does G contain an induced cycle passing through x,y?”. Among several results, we prove that is NP-complete. We give a simple criterion on a connected graph H to decide whether is polynomial or NP-complete. The polynomial cases rely on the algorithm three-in-a-tree, due to Chudnovsky and Seymour.     

One point quadrature rule with cardinal B-spline

To compute approximately an integral

(1)

where φ_m() is cardinal B-spline, we used composite rectangular rule. We proved that, on the “quasi uniform” mesh, the used formula has, conditionally speaking, algebraic degree of exactness m−1. Under additional assumptions, algebraic degree of exactness is m.     

Branching rules for unitary groups and spectra of invariant differential operators on complex Grassmannians

In this paper, we prove a combinatorial rule describing the restriction of any irreducible representation of U(n+m) to the subgroup U(n)×U(m). We also derive similar rules for the reductions from SU(n+m) to S(U(n)×U(m)), and from SU(n+m) to SU(n)×SU(m). As applications of these representation-theoretic results, we compute the spectra of the Bochner–Laplacian on powers of the determinant bundle over the complex Grassmannian . The spectrum of the Dirac operator acting on the spin Grassmannian is also partially computed. A further application is given by the determination of the spectrum of the Hodge–Laplacian acting on the space of smooth functions on the unit determinant bundle over .     

Pseudorandom numbers and entropy conditions

We investigate measures of pseudorandomness of finite sequences (x_n) of real numbers. Mauduit and Sárközy introduced the “well-distribution measure”, depending on the behavior of the sequence (x_n) along arithmetic subsequences (x_ak+b). We extend this definition by replacing the class of arithmetic progressions by an arbitrary class of sequences of positive integers and show that the so obtained measure is closely related to the metric entropy of the class . Using standard probabilistic techniques, this fact enables us to give precise bounds for the pseudorandomness measure of classical constructions. In particular, we will be interested in “truly” random sequences and sequences of the form {n_kω}, where {·} denotes fractional part, (n_k) is a given sequence of integers and ω[0,1).     

Quadratic Gauss Sums

Letpbe a prime integer andmbe an integer, not divisible byp. LetKbe the splitting field ofX^m−1 over the prime field _p. Solving the Gauss sums problem of ordermin characteristicpmeans determining Gauss sums of all multiplicative characters ofKof order dividingm. Our aim is to solve this problem when the subgroup 〈p〉 is of index 2 in (/m)^*.     

The orientable genus of some joins of complete graphs with large edgeless graphs

In an earlier paper the authors showed that with one exception the nonorientable genus of the graph with m≥n−1, the join of a complete graph with a large edgeless graph, is the same as the nonorientable genus of the spanning subgraph . The orientable genus problem for with m≥n−1 seems to be more difficult, but in this paper we find the orientable genus of some of these graphs. In particular, we determine the genus of when n is even and m≥n, the genus of when n=2^p+2 for p≥3 and m≥n−1, and the genus of when n=2^p+1 for p≥3 and m≥n+1. In all of these cases the genus is the same as the genus of K_m,n, namely ⌈(m−2)(n−2)/4⌉.     

Nonparametric denoising of signals with unknown local structure, I: Oracle inequalities

We consider the problem of pointwise estimation of multi-dimensional signals s, from noisy observations (y_τ) on the regular grid . Our focus is on the adaptive estimation in the case when the signal can be well recovered using a (hypothetical) linear filter, which can depend on the unknown signal itself. The basic setting of the problem we address here can be summarized as follows: suppose that the signal s is “well-filtered”, i.e. there exists an adapted time-invariant linear filter with the coefficients which vanish outside the “cube” {0,…,T}^d which recovers s₀ from observations with small mean-squared error. We suppose that we do not know the filter q^*, although, we do know that such a filter exists. We give partial answers to the following questions:

– is it possible to construct an adaptive estimator of the value s₀, which relies upon observations and recovers s₀ with basically the same estimation error as the unknown filter ?

– how rich is the family of well-filtered (in the above sense) signals?

We show that the answer to the first question is affirmative and provide a numerically efficient construction of a nonlinear adaptive filter. Further, we establish a simple calculus of “well-filtered” signals, and show that their family is quite large: it contains, for instance, sampled smooth signals, sampled modulated smooth signals and sampled harmonic functions.

Matching graphs of hypercubes and complete bipartite graphs

Kreweras’ conjecture [G. Kreweras, Matchings and hamiltonian cycles on hypercubes, Bull. Inst. Combin. Appl. 16 (1996) 87–91] asserts that every perfect matching of the hypercube Q_d can be extended to a Hamiltonian cycle of Q_d. We [Jiří Fink, Perfect matchings extend to hamilton cycles in hypercubes, J. Combin. Theory Ser. B, 97 (6) (2007) 1074–1076] proved this conjecture but here we present a simplified proof.The matching graph of a graph G has a vertex set of all perfect matchings of G, with two vertices being adjacent whenever the union of the corresponding perfect matchings forms a Hamiltonian cycle of G. We show that the matching graph of a complete bipartite graph is bipartite if and only if n is even or n=1. We prove that is connected for n even and has two components for n odd, n≥3. We also compute distances between perfect matchings in .     

Cubature over the sphere in Sobolev spaces of arbitrary order

This paper studies numerical integration (or cubature) over the unit sphere for functions in arbitrary Sobolev spaces H^s(S²), s>1. We discuss sequences of cubature rules, where (i) the rule Q_m(n) uses m(n) points and is assumed to integrate exactly all (spherical) polynomials of degree ≤n and (ii) the sequence (Q_m(n)) satisfies a certain local regularity property. This local regularity property is automatically satisfied if each Q_m(n) has positive weights. It is shown that for functions in the unit ball of the Sobolev space H^s(S²), s>1, the worst-case cubature error has the order of convergence O(n^-s), a result previously known only for the particular case . The crucial step in the extension to general s>1 is a novel representation of , where P_ℓ is the Legendre polynomial of degree ℓ, in which the dominant term is a polynomial of degree n, which is therefore integrated exactly by the rule Q_m(n). The order of convergence O(n^-s) is optimal for sequences (Q_m(n)) of cubature rules with properties (i) and (ii) if Q_m(n) uses m(n)=O(n²) points.     

Unconditional constants and polynomial inequalities

If P is a polynomial on R^m of degree at most n, given by , and P_n(R^m) is the space of such polynomials, then we define the polynomial |P| by . Now if is a convex set, we define the norm on P_n(R^m), and then we investigate the inequality providing sharp estimates on for some specific spaces of polynomials. These ’s happen to be the unconditional constants of the canonical bases of the considered spaces.     

On the dual of a Coulter–Matthews bent function

Coulter–Matthews (CM) bent functions are from to defined by , where and (α,2n)=1. It is not known if these bent functions are weakly regular in general. In this paper, we show that when n is even and α=n+1 (or n−1), the CM bent function is weakly regular. Moreover, we explicitly determine the dual of the CM bent function in this case. The dual is a bent function not reported previously.     

Ratewise-optimal non-sequential search strategies under constraints on the tests

Already in his Lectures on Search [A. Rényi, Lectures on the theory of search, University of North Carolina, Chapel Hill, Institute of Statistics, Mimeo Series No. 6007, 1969. [11]] Renyi suggested to consider a search problem, where an unknown is to be found by asking for containment in a minimal number m(n,k) of subsets A₁,…,A_m with the restrictions |A_i|k<n/2 for i=1,2,…,m.Katona gave in 1966 the lower bound m(n,k)logn/h(k/n) in terms of binary entropy and the upper bound m(n,k)(logn+1)/logn/k·n/k, which was improved by Wegener in 1979 to m(n,k)logn/logn/k(n/k-1).We prove here for k=pn that m(n,k)=logn+o(logn)/h(p), that is, ratewise optimality of the entropy bound: .Actually this work was motivated by a more recent study of Karpovsky, Chakrabarty, Levitin and Avresky of a problem on fault diagnosis in hypercubes, which amounts to finding the minimal number M(n,r) of Hamming balls of radius r=ρn with in the Hamming space , which separate the vertices. Their bounds on M(n,r) are far from being optimal. We establish bounds implying

However, it must be emphasized that the methods of prove for our two upper bounds are quite different.     

Approximation of RNA multiple structural alignment

In the context of non-coding RNA (ncRNA) multiple structural alignment, Davydov and Batzoglou (2006) introduced in [7] the problem of finding the largest nested linear graph that occurs in a set G of linear graphs, the so-called Max-NLS problem. This problem generalizes both the longest common subsequence problem and the maximum common homeomorphic subtree problem for rooted ordered trees.In the present paper, we give a fast algorithm for finding the largest nested linear subgraph of a linear graph and a polynomial-time algorithm for a fixed number (k) of linear graphs. Also, we strongly strengthen the result of Davydov and Batzoglou (2006) [7] by proving that the problem is NP-complete even if G is composed of nested linear graphs of height at most 2, thereby precisely defining the borderline between tractable and intractable instances of the problem. Of particular importance, we improve the result of Davydov and Batzoglou (2006) [7] by showing that the Max-NLS problem is approximable within ratio in O(kn²) running time, where mopt is the size of an optimal solution. We also present O(1)-approximation of Max-NLS problem running in O(kn) time for restricted linear graphs. In particular, for ncRNA derived linear graphs, a -approximation is presented.     

The unambiguity of segmented morphisms

This paper studies the ambiguity of morphisms in free monoids. A morphism σ is said to be ambiguous with respect to a string α if there exists a morphism τ which differs from σ for a symbol occurring in α, but nevertheless satisfies τ(α)=σ(α); if there is no such τ then σ is called unambiguous. Motivated by the recent initial paper on the ambiguity of morphisms, we introduce the definition of a so-called segmented morphism σ_n, which, for any , maps every symbol in an infinite alphabet onto a word that consists of n distinct factors in , where and are different letters. For every n, we consider the set U(σ_n) of those finite strings over an infinite alphabet with respect to which σ_n is unambiguous, and we comprehensively describe its relation to any U(σ_m), m≠n.Thus, our work features the first approach to a characterisation of sets of strings with respect to which certain fixed morphisms are unambiguous, and it leads to fairly counter-intuitive insights into the relations between such sets. Furthermore, it shows that, among the widely used homogeneous morphisms, most segmented morphisms are optimal in terms of being unambiguous for a preferably large set of strings. Finally, our paper yields several major improvements of crucial techniques previously used for research on the ambiguity of morphisms.     

Gottlieb groups of spheres

This paper takes up the systematic study of the Gottlieb groups of spheres for k≤13 by means of the classical homotopy theory methods. We fully determine the groups for k≤13 except for the 2-primary components in the cases: k=9,n=53;k=11,n=115. In particular, we show if n=2ⁱ−7 for i≥4.