# Determining a Tight Upper Bound for the Risk of a Faulty Assembly by Using the Chebyshev Inequality

Consider an assembly which includes components of type A and *B.* Within type A there are *n* varieties A,, A_{2},..., A„ with fractions a,, *a _{2},..., a„* (a,

*+a*l) and within type

_{2}+ ... + a„ =*В*there are also

*n*different varieties

*B*with fractions

_{b}B_{2},..„ B„*b*l). A component of type A and a component of type

_{x}, b_{2},..., b„ (b_{x}+b_{2}+... + b„ =*В* are randomly purchased without any knowledge of their varieties. An assembly is of high reliability only if each variety A, from type A is combined with exactly one particular variety from type *B.*

Without restricting generality (the indices of the varieties from types *A* and *В* can always be reassigned appropriately), it can be assumed that a high reliability assembly is only present if variety *A* is paired with variety *B _{u}* variety

*A*with

_{2}*B*variety A„ with variety

_{2},...,*B„.*

Such a case is commonly present if, for example, in an assembly, the two types of components *A* and *В* are in contact and the varieties are ‘normal’ (variety 1), ‘hard’ (variety 2) and ‘soft’ (variety 3) according to the surface hardness of the components. A high-reliability assembly exists if the contacting surfaces are both with normal hardness, both hard or both soft. The rest of the combinations are associated with fast wear of one of the contacting components, which compromises the durability of the assembly.

Suppose that the purchase of A and *В* component is from two separate batches, one of the batches containing А-components only and the other batch containing й-components only. The fractions of normal-hardness components, hard components and soft components in the А-batch are denoted by *a _{u}a_{2},a_{3},* while the corresponding fractions in the й-batch are denoted by

*bi,b*correspondingly. It is known that in each batch, the fraction of components with normal hardness is always the largest, followed by the fractions of hard components and soft components:

_{2},b_{}},*a, >a*

_{2}> a_{}},*b >b*

_{2}> by.If the exact fractions of the separate varieties in each batch are unknown, the question of interest is the lower bound of the probability that from four assemblies at least one will be a high-reliability assembly.

The answer reduces to deriving a lower-bound estimate for the probability of a high-reliability assembly.

Since the probability *R* of a high-reliability assembly is given by

and, in addition, the constraints a, *+a _{2}* +a

_{3}= 1,

*b*= 1 also hold, the lower bound can be conveniently estimated by using the Chebyshev sum inequality:

_{t}+b_{2}+b_{2}

Since *ai + a _{2} + a_{3} =* 1 and

*b*1, the right side equals 1/3 and, as a result, the probability of a durable assembly is at least 0.33.

_{{}+ b_{2}+ b_{}}=

Consequently, the probability that a single assembly will be not be of high reliability never exceeds 0.66, irrespective of the actual proportions *a _{u}a_{2}*, a

_{3}and

*b*of the different varieties.

_{h}b_{2}, b_{}}Since the probability of an inferior assembly does not exceed 2/3, the probability that from four assemblies, at least one will be a high-reliability assembly is at least

1 — (2/3)^{4} =0.8. This is a lower bound of the probability that from four randomly selected assemblies at least one high-reliability assembly will be present, irrespective of the actual proportions *a _{h} a_{2}, a_{}}* and

*b*of the varieties in the batches.

_{b}b_{b}b_{3}# Deriving a Tight Upper Bound for the Risk of a Faulty Assembly by Using the Chebyshev Inequality and Jensen Inequality

The example in the previous section can be continued by considering another application featuring an assembly which includes components of *n* varieties with unknown proportions x_{h} *x _{2},..., x„* (x,

*+x*+ ... + x„ = I). Two components are selected randomly and installed in a device. An assembly is fully functional only if both components are of the same variety. Such a case is present in selecting electronic components built into a sensitive circuit, which can only work reliably if the selected components are of the same variety.

_{2}The question of interest is to obtain an upper bound of the probability that the components will be of different variety and the assembly will not be fully functional.

To determine an upper bound of the risk of a faulty assembly, the initial step is to list all component configurations which lead to a faulty assembly. A faulty assembly is present only if there are at least two components of different variety. If two components are selected *(n* varieties), the probability of selecting two components of different variety is given by Pr(faulty assembly) = *p _{f} =* X,

_{2x,x/. This is a sum of the probabilities of all possible mutually exclusive events: A,y}- the first component is of /-variety and the second component is of/-variety and

*A*- the first component is of/-variety and the second component is of /-variety (Pr(A

_{M}_{;/}) = x,x,; Pr(A^) = xyx

_{f}; joi). The probability

*p*that the two selected components will be of the same variety (the probability of a functional assembly) is given by

_{r}*p, = Y.'U*

^{x}hAn assembly can either be functional or faulty (complementary events), therefore *p _{r} + p_{t} =* 1 or

Consequently, for the probability of a faulty assembly, the next relationship holds:

An upper bound p_{/>max} for the probability *p, = ’T _{di} ix_{}}* of a faulty assembly can be derived from a lower bound p

_{r min}of the probability

*p, =*Z!=i A

^{2}of a functional assembly. Subtracting the lower bound of the probability of a functional assembly from unity yields the upper bound for the probability of a faulty assembly:

*Pf,* max ^{—} 1 *Pr,* minThe Chebyshev inequality provides the opportunity to segment an initial complex expression into simpler expressions. The segmentation capability offered by the Chebyshev inequality will be used to evaluate a lower bound */>,-* _{min} of X,"=i x,^{2}.

Without loss of generality, it can be assumed that x, < *x _{2} *<... < x„. The conditions of the Chebyshev sum inequality are fulfilled and the following inequality holds:

Substituting X| +x_{2} + ... + x„ = 1 in (9.24) gives the lower bound of

For example, for three varieties, from (9.25) the following lower bound for the probability of a fully-functional assembly is obtained:

The upper bound for the probability of a faulty assembly is

The probability of a faulty assembly does not exceed 0.66 (p,,_{max} = 2/3) irrespective of the fractions x_{b}x_{2} and *x _{}}* characterising the different varieties.

For four different varieties *(n =* 4), Xti* ^{x}?* -1/4 the upper bound for the probability of a faulty assembly is

The probability of a faulty assembly never exceeds 0.75 (/;_{/лШ1Х} = 3/4) irrespective of the fractions x,,x_{2}, x_{3} and x_{4} characterising the different varieties.

These results have been confirmed by a Monte Carlo simulation. The simulation algorithm is very simple and details have been omitted. Thus, for three varieties with different proportions adding up to unity, the probability of selecting two different varieties (faulty assembly) never exceeded 0.6667. For four available varieties with proportions adding up to unity, the probability of selecting two different varieties never exceeded 0.75. These bounds are also obtained from the right parts of inequalities (9.26) and (9.27).

Now, suppose that for a functional assembly, three components must be selected from the same variety. To estimate the lower bound of X"=ix,^{3}, again, without loss of generality, it can be assumed that x, < *x _{2}* <... < x„. The conditions of the Chebyshev inequality are fulfilled and

Since *xl + ... + x ^{2}n >* 1

*In,*the substitution in (9.28) gives or

The lower bound provided by inequality (9.29) can now be used for obtaining an upper bound of the probability that there will be at least two components of different variety, which will cause a faulty assembly. Consequently, the upper bound /;,_{max} for the probability of a faulty assembly is given by

These results have been confirmed by a Monte Carlo simulation. Thus, for three varieties, with proportions adding up to unity and three selected components, the probability that there will be at least two components of different variety never exceeded 0.8889. For four varieties with proportions adding up to unity and three selected components, the empirical probability of having at least two components of different variety never exceeded 0.937.

These results can be generalised and confirmed by invoking the Jensen’s inequality for convex functions.

For any convex function /(x), the Jensen inequality states that

where w,- *(i* = 1,are numbers (weights) that satisfy 0 < w, < 1 and w, + *w _{2}* +... + = 1.

Let u'i *= w*_{2}=... = *w„* = 1 *In.* The function *f(x) = x ^{m}* is a convex function because

*fx) = m(m*-1) > 0 for

*m > 2.*Therefore, according to the Jensen inequality

with equality attained only for x, =x_{2} =... = x„. Substituting in (9.32) x, +x_{2}+...+ x„ = 1 gives the lower bound for the probability of a fully-functional assembly

The upper bound for the probability of faulty assembly is

Substituting in (9.34) *n =* 3, *m* = 2 produces the upper bound given by inequality (9.26); substituting in (9.34) *n = 4, m =* 2 produces the upper bound (9.27) and finally, substituting in (9.34) *n = 4, m* = 3 produces the upper bounds for the probability of a faulty assembly determined by the Monte Carlo simulation.