Morphological skeleton

Template:Infobox code In coding theory, Justesen codes form a class of error-correcting codes that have a constant rate, constant relative distance, and a constant alphabet size. Before the Justesen code was discovered, no code was known that had all of these three parameters as a constant. Subsequently, other codes with this property have been discovered, for example expander codes. These codes have important applications in computer science such as in the construction of small-bias sample spaces.

Justesen codes are derived as the code concatenation of a Reed–Solomon code and the Wozencraft ensemble. The Reed–Solomon codes used achieve constant rate and constant relative distance at the expense of an alphabet size that is linear in the message length. The Wozencraft ensemble is a family of codes that achieve constant rate and constant alphabet size, but the relative distance is only constant for most of the codes in the family. The concatenation of the two codes first encodes the message using the Reed–Solomon code, and then encodes each symbol of the codeword further using a code from the Wozencraft ensemble – using a different code of the ensemble at each position of the codeword. This is different from usual code concatenation where the inner codes are the same for each position. The Justesen code can be can constructed very efficiently using only logarithmic space.

Definition

Justesen code is concatenation code with different linear inner codes, which is composed of an $(N,K,D{)}_{q^k}$ outer code $C_{out}$ and different $(n,k,d{)}_q$ inner codes $C_{in}^i$, $1\le i\le N$. More precisely, the concatenation of these codes, denoted by $C_{out}\circ (C_{in}^1,...,C_{in}^N)$, is defined as follows. Given a message $m\in [q^k{]}^K$, we compute the codeword produced by an outer code $C_{out}$: $C_{out}(m)=(c_1,c_2,..,c_N)$. Then we apply each code of N linear inner codes to each coordinate of that codeword to produce the final codeword; that is, $C_{out}\circ (C_{in}^1,..,C_{in}^N)(m)=(C_{in}^1(c_1),C_{in}^2(c_2),..,C_{in}^n(c_N))$. Look back to the definition of the outer code and linear inner codes, this definition of the Justesen code makes sense because the codeword of the outer code is a vector with $N$ elements, and we have $N$ linear inner codes to apply for those $N$ elements.

Here for the Justesen code, the outer code $C_{out}$ is chosen to be Reed Solomon code over a field ${\mathbb{𝔽}}_{q^k}$ evaluated over ${\mathbb{𝔽}}_{q^k}-\{0\}$ of rate $R$, $0$ < $R$ < $1$. The outer code $C_{out}$ have the relative distance ${\delta }_{out}=1-R$ and block length of $N=q^k-1$. The set of inner codes is the Wozencraft ensemble $\{C_{in}^{\alpha }{\}}_{\alpha \in {\mathbb{𝔽}}_{q^k}^{*}}$.

Property of Justesen Code

As the linear codes in the Wonzencraft ensemble have the rate $\frac{1}{2}$, Justesen code is the concatenated code $C^{*}=C_{out}\circ (C_{in}^1,C_{in}^2,..,C_{in}^N)$ with the rate $\frac{R}{2}$. We have the following theorem that estimates the distance of the concatenated code $C^{*}$.

Theorem

Let $\epsilon$ > 0. $C^{*}$ has relative distance at least $(1-R-\epsilon )H_q^{-1}(\frac{1}{2}-\epsilon )$.

Proof:

The idea of proving that the code $C^{*}$ has the distance at least $(1-R-\epsilon )H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k\cdot N$ is to prove that the Hamming distance of two different codewords is at least $(1-R-\epsilon )H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k\cdot N$.

Denote $\mathrm{\Delta }(c^1,c^2)$ be the Hamming distance of two codewords $c^1$ and $c^2$.

So for any given $m_1$ and $m_2$ in $({\mathbb{𝔽}}_{q^k}{)}^K$ ($m_1\ne m_2$), we want to lower bound $\mathrm{\Delta }(C^{*}(m_1),C^{*}(m_2))$.

Notice that if $C_{out}(m)=(c_1,c_2,..,c_N)$, then $C^{*}(m)=(C_{in}^1(c_1),C_{in}^2(c_2),..,C_{in}^N(c_N))$. So to the lower bound $\mathrm{\Delta }(C^{*}(m_1),C^{*}(m_2))$, we need to take into account the distance of $C_{in}^i$ for i = 1,2,…,N.

Suppose $C_{out}(m_1)=(c_1^1,c_2^1,..,c_N^1)$ and $C_{out}(m_2)=(c_1^2,c_2^2,..,c_N^2)$.

Recall that $\{C_{in}^i{\}}_{1\le i\le N}$ is a Wozencraft ensemble. Due to "Wonzencraft ensemble theorem", there are at least $(1-\epsilon )N$ linear codes $C_{in}^i$ that have distance $H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k$.

So if for some $1\le i\le N$, $c_i^1\ne c_i^2$ and $C_{in}^i$ code has distance $\ge H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k$, then $\mathrm{\Delta }(C_{in}^i(c_i^1),C_{in}^i(c_i^2))\ge H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k$.

Further, if we have $T$ numbers $1\le i\le N$ such that $c_i^1\ne c_i^2$ and $C_{in}^i$ code has distance $\ge H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k$, then $\mathrm{\Delta }(C^{*}(m_1),C^{*}(m_2))\ge H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k\cdot T$.

So now the final task is to lower bound $T$.

Denote S be the set of all $i$ ($1\le i\le N$) such that $c_i^1\ne c_i^2$. Then $T$ is the number of linear codes $C_{in}^i$ ($i\in S$) having the distance $H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k$.

Now we want to estimate $\left|S\right|$. Obviously $\left|S\right|=\mathrm{\Delta }(C_{out}(m_1),C_{out}(m_2))\ge (1-R)N$.

Due to the Wozencraft Ensemble Theorem, there are at most $\epsilon N$ linear codes having distance less than $H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k$, so $T\ge \left|S\right|-\epsilon N\ge (1-R)N-\epsilon N=(1-R-\epsilon )N$.

Finally,we have

$\mathrm{\Delta }(C^{*}(m_1),C^{*}(m_2))\ge H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k\cdot T\ge H_q^{-1}(\frac{1}{2}-\epsilon )\cdot 2k\cdot (1-R-\epsilon )\cdot N$.

This is true for any arbitrary $m_1\ne m_2$. So $C^{*}$ has the relative distance at least $(1-R-\epsilon )H_q^{-1}(\frac{1}{2}-\epsilon )$, which completes the proof.

Comments

We want to consider the "strongly explicit code". So the question is what the "strongly explicit code" is. Loosely speaking, for linear code, the "explicit" property is related to the complexity of constructing its generator matrix G. That means, we can compute the matrix in logarithmic space without using the brute force algorithm to verify that a code has a given satisfied distance.

For the other codes that are not linear, we can consider the complexity of the encoding algorithm.

So by far, we can see that the Wonzencraft ensemble and Reed-Solomon codes are strongly explicit. Therefore we have the following result:

Corollary: The concatenated code $C^{*}$ is an asymptotically good code(that is, rate $R$ > 0 and relative distance $\delta$ > 0 for small q) and has a strongly explicit construction.

An example of a Justesen code

The following slightly different code is referred to as the Justesen code in MacWilliams/MacWilliams. It is the particular case of the above-considered Justesen code for a very particular Wonzencraft ensemble:

Let R be a Reed-Solomon code of length N = 2^m − 1, rank K and minimum weight N − K + 1. The symbols of R are elements of F = GF(2^m) and the codewords are obtained by taking every polynomial ƒ over F of degree less than K and listing the values of ƒ on the non-zero elements of F in some predetermined order. Let α be a primitive element of F. For a codeword a = (a₁, ..., a_N) from R, let b be the vector of length 2N over F given by

$\mathbf{b}=(a_1,a_1,a_2,{\alpha }^1{a}_2,\dots ,a_N,{\alpha }^{N-1}{a}_N)$

and let c be the vector of length 2N m obtained from b by expressing each element of F as a binary vector of length m. The Justesen code is the linear code containing all such c.

The parameters of this code are length 2m N, dimension m K and minimum distance at least

$\sum _{i=1}^{\ell }i(\genfrac{}{}{0ex}{}{2m}{i}),$

where $\ell$ is the greatest integer satisfying $\sum _{i=1}^{\ell }(\genfrac{}{}{0ex}{}{2m}{i})\le N-K+1$. (See MacWilliams/MacWilliams for a proof.)

See also

1. Wozencraft ensemble
2. Concatenated error correction code
3. Reed-Solomon error correction
4. Linear Code

References

1. Lecture 28: Justesen Code. Coding theory's course. Prof. Atri Rudra.
2. Lecture 6: Concatenated codes. Forney codes. Justesen codes. Essential Coding Theory.
3. One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
   
   In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
   
   Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
   
   Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
   
   A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
   
   The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
   
   There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang
4. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
   
   My blog: http://www.primaboinca.com/view_profile.php?userid=5889534