On some upper bounds on the fractional chromatic number of weighted graphs Ashwin Ganesan∗

Abstract Given a weighted graph Gx , where (x(v) : v ∈ V ) is a non-negative, realvalued weight assigned to the vertices of G, let B(Gx ) be an upper bound on the fractional chromatic number of the weighted graph Gx ; so χf (Gx ) ≤ B(Gx ). To investigate the worst-case performance of the upper bound B, we study the graph invariant B(Gx ) . β(G) = sup x̸=0 χf (Gx ) In recent work a particular upper bound resulting from the generalization of the greedy coloring algorithm was considered and the corresponding graph invariant was studied. In this work, we study some stronger upper bounds on the fractional chromatic number and the corresponding graph invariants. We derive some bounds for these graph invariants and obtain some explicit expressions for some families of graphs.

Key words — fractional chromatic number; upper bounds; weighted graph; vertex coloring; worst-case performance; distributed systems. AMS MSC: 05C72, 05C15, 94C15,

1. Introduction Let G = (V, E) be a simple, undirected graph on vertex set V = {v1 , . . . , vn }. Let {I1 , . . . , IL } be the set of all independent sets of G, and let A = [aij ] be the n × L vertex-independent set incidence matrix of G. Thus, aij = 1 if vi ∈ Ij and aij = 0 if vi ̸∈ Ij . If Gx is a weighted graph, where (x(v) : v ∈ V ) is a non-negative, realvalued weight assigned to the vertices, the fractional chromatic number χf (Gx ) of Gx is defined as [10] the value of the linear program: min 1T t subject to At ≥ x, t ≥ 0. Equivalently, χf (Gx ) is the smallest value of T such that each vertex v can be assigned a subset of [0, T ] of total length (or measure) x(v), with adjacent vertices being assigned subintervals that are non-overlapping (except possibly at the endpoints of ∗

Department of Mathematics, Amrita School of Engineering, Amrita Vishwa Vidyapeetham, Coimbatore, India. Correspondence address: [email protected].

1

the subintervals). In general, the subset of [0, T ] assigned to a vertex need not be one continuous interval, but it needs to have total length x(v). We assume throughout that G is connected, since if G was disconnected we can just work with each connected component separately and so the results provided here still hold. Given a particular upper bound B(Gx ) on the fractional chromatic number χf (Gx ), we investigate the graph invariant β(G) = sup x̸=0

B(Gx ) . χf (Gx )

By scaling x appropriately, we see that β(G) is the supremum of B(Gx ) over all x satisfying χf (Gx ) = 1. The problem of computing the fractional chromatic number of a graph is known to be NP-hard [6]. A special case of this problem where the graph is a line graph was studied in [7],[8]. The work [5] discusses a graph invariant associated with the performance of a lower bound on the fractional chromatic number. In recent work [3], a particular upper bound, which we denote here by B1 (Gx ), was studied, and the corresponding graph invariant β1 (G) was shown to equal the induced star number of the graph. In this work, we consider some stronger upper bounds, denoted by B2 (Gx ) to B5 (Gx ) and study the corresponding graph invariants βi (G). The strongest of these upper bounds is B5 (Gx ), and we obtain an explicit expression for β5 (G) for some families of graphs. These upper bounds all have the additional property that they can be efficiently computed and can be utilized for resource estimation problems in distributed communication networks [9], [4]. In that context, where this problem first arose, the value β(G) represents the performance of a distributed algorithm; hence, it is of both theoretical and practical interest to determine what graph parameters the value β(G) depends on (cf. [3]). In the sequel, our notation is standard [1]. Γ(v) denotes the set of vertices adjacent to G, and d(v) = |Γ(v)| is the degree ∑ of v. ∆ = ∆(G) is the maximum degree of a vertex in G. For A ⊆ V , x(A) := v∈A x(v).

2. Preliminaries In this section we recall some results from the literature and prove that the stronger upper bounds investigated here are in fact upper bounds. In the next section we study the corresponding graph invariants. Given a weighted graph Gx , define B1 (Gx ) := max{x(v) + x(Γ(v))}. v∈V

Proposition 1. [9]For a weighted graph Gx , we have the upper bound χf (Gx ) ≤ B1 (Gx ).

2

Definition 2. The induced star number of a graph G is defined by σ(G) := max α(G[Γ(v)]), v∈V (G)

where G[V ′ ] denotes the subgraph of G induced by V ′ ⊆ V and α(G) denotes the maximum size of an independent set of G. Thus, the induced star number of a graph is the number of leaf vertices r in the maximum sized star subgraph K1,r of the graph. Note that σ(G) equals 0 or 1 iff G is the disjoint union of complete graphs. For any graph G, define the graph invariant β1 (G) := sup x̸=0

B1 (Gx ) . χf (Gx )

Since B1 (Gx ) is an upper bound, β1 (G) ≥ 1. A recent result is the following: Theorem 3. [3] Given any graph G, β1 (G) is exactly equal to the induced star number σ(G) of the graph. We now present some upper bounds which are stronger than B1 (Gx ). Given a weighted graph Gx and any designated vertex v1 ∈ V , define B2 (Gx ) := max{x(v1 ) + x(Γ(v1 )), max {x(vi ) + x(Γ(vi )) − min x(vj )}}. vj ∈Γ(vi )

i=2,...,n

Proposition 4. For a weighted graph Gx and a designated vertex v1 ∈ V , we have the upper bound χf (Gx ) ≤ B2 (Gx ). Proof : By the equivalent definition of χf (Gx ) given above, it suffices to show that it is possible to assign a subset of [0, B2 (Gx )] to each vertex such that the total length of intervals assigned to each v ∈ V is x(v) and adjacent vertices are assigned nonoverlapping subsets. Given Gx and v1 , order the remaining vertices as follows. Let v2 be any vertex in G adjacent to v1 , let v3 be any vertex adjacent to v1 or v2 . Given v1 , . . . , vr , let vr+1 be any vertex adjacent to one of the previous vertices. Now assign subsets of [0, B2 (Gx )] to the vertices in reverse order. Assign vn the subset [0, x(vn )]. Once the vertices vn , vn−1 , . . . , vr+1 have been assigned subsets, by the definition of B2 (Gx ), vr can also be assigned some subset of length x(vr ) because vr has at least one neighbor in {v1 , . . . , vr−1 } which has not yet been assigned a subset. Finally, v1 can also be assigned some subset because B2 (Gx ) ≥ x(v1 ) + x(Γ(v1 )). Given a weighted graph Gx , define B3 (Gx ) := max{x(v) + x(Γ(v)) − min x(w)}. v∈V

w∈Γ(v)

Proposition 5. Given Gx , suppose G is not a complete graph or an odd cycle. Then χf (Gx ) ≤ B3 (Gx ). Proof : Let r ≥ 1 be the minimum number of vertices whose removal disconnects G. Consider three cases, depending on the value of r (this proof method is from [2]). 3

r = 1: Let v1 be a cutvertex of G and suppose that the removal of v1 disconnects G into connected components G1 , . . . , Gs . Since each Gi is connected to v1 , by the definition of B3 (Gx ) and using v1 as the designated vertex, each vertex of Gi can be assigned a subset of [0, B3 (Gx )] using the method given in the proof of the previous proposition. Finally, v1 can also be assigned some subset as follows. Let va and vb be the neighbors of v1 in components G1 and G2 , respectively. Without loss of generality, assume x(va ) ≤ x(vb ). Then the interval [0, B3 (Gx )] and the corresponding subsets assigned to the vertices of G1 can be permuted so that the subset assigned to va is a subset of the subset assigned to vb . Since two neighbors of v1 have been assigned overlapping subsets, by the definition of B3 (Gx ), v1 can also be assigned some subset of [0, B3 (Gx )]. r ≥ 3: Since G is not complete, there exist v1 , v2 and v3 such that v1 is adjacent to v2 and v3 but v2 and v3 are nonadjacent. Assign v2 the subset [0, x(v2 )] and v3 the subset [0, x(v3 )]. Since r ≥ 3, the induced subgraph G − {v2 , v3 }, which contains a designated vertex v1 , is connected. Hence the proof method above can be applied, using v1 as the designated vertex, to assign subsets of [0, B3 (Gx )] to the vertices v4 , . . . , vn in some order. Finally, v1 can also be assigned a subset because two of its neighbors were assigned overlapping subsets. r = 2: Let ∆ denote the maximum degree of a vertex of G. If ∆ ≤ 2, then G is an even cycle (since we assumed G is not an odd cycle). If i is even, assign the subset [0, x(vi )] to vi , and if i is odd assign the subset [B3 (Gx ) − x(vi ), B3 (Gx )] to vi . This assignment satisfies the condition that adjacent vertices are assigned nonoverlapping subsets. Now assume ∆ ≥ 3. There exist v1 and v2 such that v1 is a cutvertex of G − v2 and G − {v1 , v2 } has connected components G1 , . . . , Gs , with s ≥ 2. Then, v1 has neighbors va and vb in G1 and G2 , respectively. As before, subsets [0, x(va )] and [0, x(vb )] can be assigned to va and vb , respectively, and subsets can then be assigned to the remaining vertices using v1 as the designated vertex, and finally a subset can be assigned to v1 as well. Bounds B4 (Gx ) and B5 (Gx ) were proven to be upper bounds in [9] in the context of resource allocation in networks. For the sake of completeness, we give the short proofs here for these two bounds using the notation and terminology of fractional chromatic number. Given a weighted graph Gx , define B4 (Gx ) := max{x(v)[d(v) + 1]}. v∈V

Proposition 6. For any weighted graph Gx , we have the upper bound χf (Gx ) ≤ B4 (Gx ). Proof: Given Gx , order the vertices so that x(v1 ) ≤ x(v2 ) ≤ . . . ≤ x(vn ). Assign v1 the subset [0, x(v1 )]. Assume that vertices v1 , . . . , vr have already been assigned subsets. By the inequality x(vr+1 )[d(vr+1 ) + 1] ≤ B4 (Gx ) and by the chosen ordering of the vertices, it follows that x(vr+1 ) + x(Γ(vr+1 ) ∩ {v1 , . . . , vr }) ≤ B4 (Gx ). 4

Hence, it is possible to assign to vr+1 some subset of [0, B4 (Gx )] that is nonoverlapping with the subsets assigned to its neighbors in {v1 , . . . , vr }. It follows by induction that χf (Gx ) ≤ B4 (Gx ). We can combine the bounds B1 and B4 to get a strictly better bound. For a weighted graph Gx , define B5 (Gx ) := max min{x(v) + x(Γ(v)), x(v)[d(v) + 1]}. v∈V

Proposition 7. Given a weighted graph Gx , we have the upper bound χf (Gx ) ≤ B5 (Gx ). Proof: Given Gx , order the vertices of G so that x(v1 ) ≤ x(v2 ) ≤ . . . , ≤ x(vn ). Assign v1 the subset [0, x(v1 )]. Assume v1 , . . . , vr have already been assigned subsets. By the definition of B5 (Gx ), either x(vr+1 ) + x(Γ(vr+1 )) ≤ B5 (Gx ) or x(vr+1 )[d(vr+1 ) + 1] ≤ B5 (Gx ). In either case, due to the chosen ordering of the vertices, we have that x(vr+1 ) + x(Γ(vr+1 ) ∩ {v1 , . . . , vr }) ≤ B5 (Gx ). Thus, it possible to assign some subset of [0, B5 (Gx )] to vr+1 . The assertion follows by induction.

3. Main results When G is not a complete graph or an odd cycle, the upper bound B3 (Gx ) holds, and we then have the following result. Define the graph invariant β3 (G) := sup x̸=0

B3 (Gx ) . χf (Gx )

Theorem 8. Suppose G is not a complete graph or an odd cycle. Let S := {s ∈ V : α(G[Γ(s)]) = σ(G)} denote the set of vertices of G that can induce a maximum size star with some of their neighbors. Then, β3 (G) equals σ(G) − 1 if every vertex in S has degree σ(G), and β3 (G) equals σ(G) otherwise. Proof: For brevity let σ denote σ(G), and let v0 be a vertex of G whose neighbors v1 , . . . , vσ form an independent set. Pick x to be a 0-1 vector as follows: x(v) = 1 if v ∈ {v1 , . . . , vσ }, and x(v) = 0 otherwise. Then, B3 (Gx ) = σ − 1 and χf (Gx ) = 1, so that β3 (G) ≥ σ(G)−1. Since B3 (Gx ) ≤ B1 (Gx ), we have that β3 (G) ≤ β1 (G) = σ(G). Thus, σ − 1 ≤ β3 (G) ≤ σ. Now let S ⊆ V be as defined in the assertion. Pick any weight x, and assume without loss of generality that χf (Gx ) = 1. Recall that χf (Gx ) is the value of the linear program: min 1T t subject to At ≥ x, t ≥ 0. An optimal solution to this program gives an assignment of subsets of [0, χf (Gx )] to each vertex v such that the union of subsets assigned to Γ(v) is nonoverlapping with the subset assigned to v. Hence, the subset assigned to any w ∈ Γ(v) has length at most 1 − x(v). We consider the two cases given in the assertion.

5

(i) Suppose that all vertices of S have degree σ, and let v ∈ V . First assume v ∈ S. Then, x(v) + {x(Γ(v)) − min x(w)} ≤ x(v) + (σ − 1)(1 − x(v)) = σ − 1 + x(v)(2 − σ), w∈Γ(v)

which is at most σ − 1 since 2 − σ ≤ 0 when G is not complete. Now assume v ∈ / S. Then, α(G[Γ(v)]) ≤ σ − 1. Let ϵ denote the nonnegative quantity minw∈Γ(v) x(w). Then B3 (Gx ) = x(v) + x(Γ(v)) − ϵ ≤ x(v) + (σ − 1)(1 − x(v)) − ϵ ≤ σ − 1 + x(v)(2 − σ), which is at most σ − 1 since σ ≥ 2. Hence, for all v ∈ V and any weight x satisfying χf (Gx ) = 1, we have that B3 (Gx ) ≤ σ − 1. This establishes that β3 (G) = σ − 1 if all vertices of S have degree σ. (ii) Now suppose that some vertex v0 ∈ S has degree at least σ+1. Let v1 , . . . , vσ+1 be the neighbors of v0 such that v1 , . . . , vσ form an independent set. Pick x as follows: x(v) = 1 if v ∈ {v1 , . . . , vσ }, and x(v) = 0 otherwise. Then x(v0 ) + x(Γ(v0 )) − minw∈Γ(v0 ) x(w) = σ. Hence, B3 (Gx ) ≥ σ. Also, χf (Gx ) = 1. Thus, β3 (G) ≥ σ. The opposite inequality β3 (G) ≤ σ is already known. Hence, β3 (G) = σ in this case. Given a graph G, define the graph invariant β4 (G) := sup x̸=0

B4 (Gx ) . χf (Gx )

Lemma 9. For any graph G, we have that β4 (G) = ∆(G) + 1. Proof: Let v0 be a vertex of degree ∆ having neighbors v1 , . . . , v∆ . Pick x as follows: x(v) = 1 if v = v0 , and x(v) = 0 otherwise. Then x(v0 )[d(v0 ) + 1] = ∆ + 1, so that β4 (G) ≥ ∆ + 1. To prove the opposite inequality, pick any x ̸= 0. Let v ∈ V . We know that x(v) ≤ χf (Gx ). Hence, x(v)[d(v) + 1] ≤ χf (Gx )(∆ + 1). It follows that β4 (G) ≤ ∆ + 1. For any graph G, define the graph invariant β5 (G) := sup x̸=0

B5 (Gx ) . χf (Gx )

Theorem 10. For any graph G, the graph invariant β5 (G) satisfies the bounds σ(G) + 1 ≤ β5 (G) ≤ σ(G). 2 Moreover, the lower and upper bounds are tight; the star graphs realize the lower bound, and there exist graph sequences for which β5 (G) approaches the upper bound arbitrarily closely. Proof: Since B5 (Gx ) ≤ B1 (Gx ), we have the upper bound β5 (G) ≤ β1 (G) = σ(G). To prove the remaining parts of the theorem, we first determine β5 (G) for a family of graphs that includes the star graphs as a special case. The property that any member 6

G of the family needs to satisfy is that G has some vertex u ∈ V that is adjacent to all the other vertices of G and whose removal disconnects G into a disjoint union of complete graphs. i.e., u has degree |V | − 1 and σ(G − u) ≤ 1. We now claim the following: Suppose G has a vertex u of degree |V | − 1 and the removal of u produces disjoint complete graphs on vertex sets V1 , . . . , Vη . Then ∑ η(1 + |Vi |) ∑ β5 (G) = . η + |Vi | To prove this claim, recall that β5 (G) is the supremum of max min{x(V ) + x(Γ(v)), x(v)[d(v) + 1]} v∈V

over all x satisfying χf (Gx ) = 1. Let δ := x(u). Then, χf (Gx ) = 1 implies that x(Vi ) ≤ 1 − δ, for i = 1, . . . , η. Hence, for any w ∈ Vi , x(w) + x(Γ(w)) ≤ 1. But β5 (G) ≥ 1 since B5 (Gx ) is an upper bound. Hence, the maximum above is attained at the vertex u. So, β5 (G) is equal to ∑ sup min{δ + (1 − δ)η, δ(1 + |Vi |)}. δ∈[0,1]

It can be verified that δ + (1 − δ)η ≤ δ(1 +



∑ η(1+∑ |Vi |) η+ |Vi |

|Vi |) iff δ ≥

η ∑ η+ |Vi |

and that β5 (G)

η ∑

when δ = η+ |Vi | . This proves the claim. attains its optimal value of In the special case that each |Vi | = 1, G is the star graph K1,η and β5 (G) evaluates 1+η to 2 . This proves the lower bound since every graph G has a star K1,σ as an induced subgraph. We have also shown that the class of star graphs ∑ realize this lower bound. ∑ |Vi |) approaches η, which In the special case where |V1 | approaches infinity, η(1+ η+ |Vi | equals σ(G). Hence, the upper bound in the assertion is tight. In the previous proof, the exact value of β5 (G) was determined if G had a vertex x of degree |V | − 1 satisfying the condition σ(G − x) ≤ 1. While the star graphs and complete graphs satisfy this condition, the even and odd cycles and bipartite graphs do not. One general class of graphs that includes the family of star graphs, the complete graphs, the cycles, and the bipartite graphs are those that satisfy the following property: for each vertex v ∈ V , the neighbors of v induce a disjoint union of complete graphs. For this general class of graphs, we obtain an explicit expression for the exact value of β5 (G). Theorem 11. Suppose that G satisfies the condition σ(G[Γ(v)]) ≤ 1 for each v ∈ V . Let η(v) denote the number of connected components induced by the neighbors of v. Then, η(v)[1 + d(v)] . β5 (G) = max v∈V η(v) + d(v) Proof: Recall that β5 (G) is the supremum of max min{x(v) + x(Γ(v)), x(v)[d(v) + 1]} v∈V

7

taken over all x satisfying χf (Gx ) = 1. Fix any weight x and pick a vertex u ∈ V . Since σ(G[Γ(u)]) ≤ 1, Γ(u) induces a disjoint union of complete graphs on vertex sets U1 , . . . , Uη , say. From the previous proof, we know that for this x, ∑ η(1 + |Ui |) η(1 + d(u)) ∑ min{x(u) + x(Γ(u)), x(u)[d(u) + 1]} ≤ = . η + |Ui | η + d(u) Hence, β5 (G) ≤ sup max x̸=0 u∈V

η(1 + d(u)) η(1 + d(u)) = max . u∈V η + d(u) η + d(u)

To prove the opposite inequality, define u∗ := arg max u∈V

η(1 + d(u)) . η + d(u)

Suppose Γ(u∗ ) induces disjoint complete graphs on vertex sets U1∗ , . . . , Us∗ . Now pick x as follows. Let η(u∗ ) x(u) = η(u∗ ) + d(u∗ ) if u = u∗ , and let x(u) =

1 − x(u∗ ) |Ui∗ |

if u ∈ Ui∗ , and let x(u) = 0 for the remaining vertices. For this choice of x, χf (Gx ) = 1, and the maximum B5 (Gx ) = max min{x(u) + x(Γ(u), x(u)[d(u) + 1]} u∈V





)[1+d(u )] . Hence, β5 (G) is at least is attained at u = u∗ , and this maximum equals η(u η(u∗ )+d(u∗ ) this quantity. Hence, β5 (G) equals this quantity.

Corollary 12. If G is a star graph, a bipartite graph or a cycle, then β5 (G) =

1 + ∆(G) . 2

Proof: Observe that if G is a star graph, a bipartite graph or a cycle, and v is a vertex of G, then η(v) = d(v), so that 1 + d(v) η(v)[1 + d(v)] = . η(v) + d(v) 2

The simplest example of a graph that does not satisfy the conditions of Theorem 11 is K4 − e. For this graph, a straightforward but lengthy computation yields the exact value of the graph invariant to be β5 (K4 − e) = 1.6. 8

4. Acknowledgements This work was carried out while the author was at the University of Wisconsin at Madison, USA. Thanks are due to professor Parmesh Ramanathan for suggesting this direction.

References [1] B. Bollob´as. Modern Graph Theory. Springer, Graduate Texts in Mathematics, 2002. [2] R. L. Brooks. On colouring the nodes of a network. Proc. Cambridge Phil. Soc., 37:194–197, 1941. [3] A. Ganesan. The performance of an upper bound on the fractional chromatic number of weighted graphs. Applied Mathematics Letters, 23:497–599, 2010. [4] A. Ganesan. On some sufficient conditions for distributed QoS support in wireless networks. Technical Report, available from author, May 2008. 19 pages. [5] S. Gerke and C. McDiarmid. Graph imperfection. Journal of Combinatorial Theory Series B, 83(1):58–78, 2001. [6] M. Gr¨otschel, L. Lov´asz, and A. Schrijver. The ellipsoid method and its consequences in combinatorial optimization. Combinatorica, 1:169–197, 1981. [7] B. Hajek. Link schedules, flows, and the multichromatic index of graphs. In Proc. Conf. Information Sciences and Systems, March 1984. [8] B. Hajek and G. Sasaki. Link scheduling in polynomial time. IEEE Transactions on Information Theory, 34(5):910–917, Sep 1988. [9] B. Hamdaoui and P. Ramanathan. Sufficient conditions for flow admission control in wireless ad-hoc networks. ACM Mobile Computing and Communication Review (Special issue on Medium Access and Call Admission Control Algorithms for Next Generation Wireless Networks), 9:15–24, October 2005. [10] E. Scheinerman and D. Ullman. Fractional Graph Theory. Wiley, 1992.

9

On some upper bounds on the fractional chromatic ...

This work was carried out while the author was at the University of Wisconsin at. Madison, USA. Thanks are due to professor Parmesh Ramanathan for suggesting this direction. References. [1] B. Bollobás. Modern Graph Theory. Springer, Graduate Texts in Mathematics,. 2002. [2] R. L. Brooks. On colouring the nodes of a ...

91KB Sizes 0 Downloads 312 Views

Recommend Documents

Upper Bounds on the Distribution of the Condition ...
be a numerical analysis procedure whose space of input data is the space of arbitrary square complex .... The distribution of condition numbers of rational data of.

On upper bounds for high order Neumann eigenvalues of convex ...
Let Ω be a bounded convex domain in Euclidean space Rn. By considering a manifold ... where f1/(n−1) is a positive and concave function on the interval (0,1).

On upper bounds for high order Neumann eigenvalues ...
Let Ω be a bounded convex domain in Euclidean space Rn. By considering a .... It is easy to check that G is constant on every interval where g = f1/(n−1) is ...

The performance of an upper bound on the fractional ...
Feb 1, 2010 - Department of Information Technology, K. J. Somaiya College of .... + 1 colors, where ∆ is the maximum degree of a vertex in G. As we show ...

Upper bounds for the Neumann eigenvalues on a bounded domain in ...
on the volume of Ω and is to some extent asymptotically correct for any domain Ω. Because of the analogy between the problems of obtaining lower bounds for ...

On some conjectures on VOAs
Feb 1, 2013 - generated by fermionic fields bA in BC(g)1,− and cA in BC(g)0,− for A = 1 .... given a symplectic vector space V over C, denote by SB(V ) a VOA ...

On the Strong Chromatic Index of Sparse Graphs - Semantic Scholar
3 Jul 2015 - 2Department of Mathematical and Statistical Sciences, University of Colorado Denver, Denver, CO 80217; ... 5Department of Computer Science, Iowa State University, Ames, IA 50011. 6Research ..... there does not exist a strong edge colorin

Some linear fractional stochastic equations
Université de Panthéon-Sorbonne Paris 1. 90, rue de Tolbiac, 75634 Paris Cédex 13, France [email protected]. Abstract. Using the multiple stochastic integrals we prove an existence and uniqueness result for a linear stochastic equation driven b

Some thoughts on hypercomputation q
18 However it is more convenient for us to give an alternative definition for the ... q N.C.A. da Costa is supported in part by CNPq, Philosophy Section. ..... 247 practical situations) with finite, even if large, specific instances of the halting pr

Setting Lower Bounds on Truthfulness
prove our lower bounds for this problem in the inter-domain routing setting ..... 100 otherwise. Let M be a deterministic, weakly-monotone, mechanism that ...... We assume that for every i vi(∅) = 0 (free disposal) and for every two bundles of ...

Paleohydrologic bounds and extreme flood frequency of the Upper ...
Aug 1, 2010 - data to extend the spatial and temporal distributions of existing peak- ..... Pueblo State Park AR2-3-JU (Beta-197337) Bk (63–78). Juniperius ...

Paleohydrologic bounds and extreme flood frequency of the Upper ...
Aug 1, 2010 - period of record (O'Connell et al., 2002; England et al., 2003a). When extreme ...... Swain, R.E., England Jr., J.F., Bullard, K.L., Raff, D.A., 2004.

Chromatic interpolation based on anisotropy-scale ...
the on-line processing of recently rising high-resolution image data acquired using a single- ... cing algorithms that are optimized for real-time processing .... above maps a–d indicate the features that were used for the acquisition of individual

Bounds on the Lifetime of Wireless Sensor Networks Employing ...
each sensor node can send its data to any one of these BSs (may be to the ... deployed as data sinks along the periphery of the observation region R.

Bounds on the Lifetime of Wireless Sensor Networks Employing ...
Indian Institute of Science. Bangalore – 560012. INDIA .... deployed as data sinks along the periphery of the observation region R. – obtaining optimal locations ...

Deterministic Performance Bounds on the Mean ...
IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 0, NO. , 2012. 1. Deterministic Performance Bounds on the Mean Square. Error for Near Field Source Localization. Mohammed Nabil El Korso, Alexandre Renaux, Rémy Boyer, and. Sylvie Marcos. Abstract—This

Deterministic Performance Bounds on the Mean Square Error for Near ...
the most popular tool [11]. However ... Date of publication November 27, 2012; ... of this manuscript and approving it for publication was Dr. Benoit Champagne.

Lower Bounds on the Minimum Pseudo-Weight of ...
Nov 30, 2003 - indices are in Vr. We call C a (j, k)-regular code if the uniform column weight ..... Proof: In App. E of [14] the above lower bound for the minimum ...

Lower Bounds on Deterministic Schemes for the ...
of space and 2 probes is presented in a paper by Radhakrishnan, Raman and Rao[2]. ... BigTable. Google uses nondeterministic space efficient data structures ...

Deterministic Performance Bounds on the Mean Square Error for Near ...
mean square error applied to the passive near field source localization. More precisely, we focus on the ... Index Terms—Deterministic lower bounds, mean square error, near field source localization, performance analysis ..... contained in the samp

Bounds on the Automata Size for Presburger Arithmetic
notice is given that copying is by permission of the ACM, Inc. To copy otherwise, .... However, it is possible to express k · x by a ...... Let Ad|t+c := (Q, Σr, δ, qI,F) be.

Bounds on the Lifetime of Wireless Sensor Networks Employing ...
Wireless Research Lab: http://wrl.ece.iisc.ernet.in ... Key issues in wireless sensor networks ... NW lifetime can be enhanced by the use of multiple BSs. – deploy ...

On explicit bounds for the spectral gap on compact ...
We have shown in [2] that the smallest positive eigenvalue of the Laplace- ... note is to give explicit lower bounds for the eigenvalues of the corresponding Sturm ...

An Improvement to Levenshtein's Upper Bound on the ...
is a q-ary n-symbol a-deletion b-insertion correcting code if and only if for all distinct x, y ∈ C, dL(x, y) > 2(a + b). III. CONSTRUCTING EDGES. To execute the strategy described in section I-A, we need a lower bound on the degree of each channel