In this paper, we propose a characterization of elementary trapping sets (ETSs) for irregular low-density parity-check (LDPC) codes. These sets are known to be the main culprits in the error floor ...region of such codes. The characterization of ETSs for irregular codes has been known to be a challenging problem due to the large variety of non-isomorphic ETS structures that can exist within the Tanner graph of these codes. This is a direct consequence of the variety of the degrees of the variable nodes that can participate in such structures. The proposed characterization is based on a hierarchical graphical representation of ETSs, starting from simple cycles of the graph, or from single variable nodes, and involves three simple expansion techniques: degree-one tree (<inline-formula> <tex-math notation="LaTeX">dot </tex-math></inline-formula>), <inline-formula> <tex-math notation="LaTeX">path </tex-math></inline-formula>, and <inline-formula> <tex-math notation="LaTeX">lollipop </tex-math></inline-formula>, thus, the terminology dpl characterization . A similar <inline-formula> <tex-math notation="LaTeX">dpl </tex-math></inline-formula> characterization was proposed in an earlier work by the authors for the leafless ETSs of variable-regular LDPC codes. The present paper generalizes the prior work to codes with a variety of variable node degrees and to ETSs that are not leafless. The proposed <inline-formula> <tex-math notation="LaTeX">dpl </tex-math></inline-formula> characterization corresponds to an efficient search algorithm that, for a given irregular LDPC code, can find all the instances of <inline-formula> <tex-math notation="LaTeX">(a, b) </tex-math></inline-formula> ETSs with size <inline-formula> <tex-math notation="LaTeX">a </tex-math></inline-formula> and with the number of unsatisfied check nodes <inline-formula> <tex-math notation="LaTeX">b </tex-math></inline-formula> within any range of interest <inline-formula> <tex-math notation="LaTeX">a \leq a_{\max } </tex-math></inline-formula> and <inline-formula> <tex-math notation="LaTeX">b \leq b_{\max } </tex-math></inline-formula>, exhaustively. Although branch-&-bound exhaustive search algorithms for finding ETSs of irregular LDPC codes exist, to the best of our knowledge, the proposed search algorithm is the first of its kind, in that, it is devised based on a characterization of ETSs that makes the search process efficient. For a constant degree distribution and range of search, the worst-case complexity of the proposed <inline-formula> <tex-math notation="LaTeX">dpl </tex-math></inline-formula> algorithm increases linearly with the block length <inline-formula> <tex-math notation="LaTeX">n </tex-math></inline-formula>. The average complexity, excluding the search for the input simple cycles, is constant in <inline-formula> <tex-math notation="LaTeX">n </tex-math></inline-formula>. Extensive simulation results are presented to show the versatility of the search algorithm, and to demonstrate that, compared to the literature, significant improvement in search speed can be obtained.
The chiral RhI-diene-catalyzed asymmetric three-component reaction of aryldiazoacetates, aromatic amines, and beta-nitroacrylates was achieved to obtain gamma-nitro-alpha-amino-succinates in good ...yields and with high diastereo- and enantioselectivity. This reaction is proposed to proceed through the enantioselective trapping of RhI-associated ammonium ylides by nitroacrylates. This new transformation represents the first example of RhI-carbene-induced ylide transformation.
Asymmetric functionalization of aromatic CH bonds of N,N-disubstituted anilines with diazo compounds and imines is reported for the efficient construction of alpha,alpha-diaryl benzylic quaternary ...stereocenters in good yields with high diastereoselectivities and excellent enantioselectivities. This RhII/chiral phosphoric acid cocatalyzed transformation is proposed to proceed through a metal-carbene-induced zwitterionic intermediate which undergoes electrophilic trapping. To the best of our knowledge, this is the first asymmetric example of metal carbene-induced intermolecular functionalization of aryl CH bonds.
In this paper, we propose a new characterization for leafless elementary trapping sets (LETSs) of variable-regular lowdensity parity-check codes. Recently, Karimi and Banihashemi proposed a ...characterization of LETSs, which was based on viewing an LETS as a layered superset (LSS) of a short cycle in the code's Tanner graph. A notable advantage of LSS characterization is that it corresponds to a simple LSS-based search algorithm (expansion technique) that starts from short cycles of the graph and finds the LETSs with LSS structure efficiently. Compared with the LSS-based characterization of Karimi and Banihashemi, which is based on a single LSS expansion technique, the new characterization involves two additional expansion techniques. The introduction of the new techniques mitigates two problems that LSS-based characterization/search suffers from: 1) exhaustiveness: not every LETS structure is an LSS of a cycle and 2) search efficiency: LSS-based search algorithm often requires the enumeration of cycles with length much larger than the girth of the graph, where the multiplicity of such cycles increases rapidly with their length. We prove that using the three expansion techniques, any LETS structure can be obtained starting from a simple cycle, no matter how large the size of the structure a or the number of its unsatisfied check nodes b are, i.e., the characterization is exhaustive. We also demonstrate that for the proposed characterization/search to exhaustively cover all the LETS structures within the (a, b) classes with a amax and b bmax, for any value of amax and bmax, the length of the short cycles required to be enumerated is less than that of the LSS-based characterization/search. We, in fact, show that such a length for the proposed search algorithm is minimal. We also prove that the three expansion techniques, proposed here, are the only expansions needed for characterization of LETS structures starting from simple cycles in the graph, if one requires each and every intermediate sub-structure to be a LETS as well. Extensive simulation results are provided to show that, compared with LSS-based search, significant improvement in search speed and memory requirements can be achieved.
Although the tunnel mass is indispensable to predict the gate leakage current of electron devices, it has been regarded as an adjustable parameter to fit the calculated leakage current with the ...measured ones. This appears useful because it enables calculation of the tunnel current while ignoring some details in advanced device modeling, even though it has veiled the intuitive nature of the modeling. More concretely, the adjustable tunnel mass pushes us to ignore the related issues that should carefully be considered. In this paper, we extract the tunnel masses for electrons and holes from an individual experiment and find that they are Formula Omitted, where Formula Omitted is the rest electron mass, irrespective of the molecular compound ratio between Formula Omitted and Formula Omitted and the film thickness. This suggests a convincing model for charge trapping in Formula Omitted including interfacial transition layers. It is also found that the leakage mechanism is the direct tunneling enhanced by the trapped positive charge.
The objective of this work is to evaluate various CO2 sequestration mechanisms occurring in the Morrow B Sandstone in the Farnsworth Unit. A history-matched numerical simulation model was created ...using extensive geological, petrophysical, and operational data collected from the field. The numerical model is competent to investigate the impact of residual, structural-stratigraphic, solubility, and mineral trapping mechanisms on the fluid transportation dynamics and petrophysical property variations. The model forecasts the field response of 20 years of WAG injections. Afterward, all wells were shut-in, and the reservoir was allowed to evolve for 1000 years to investigate the fate of injected CO2. In this paper, we assess the impacts of various trapping mechanisms on oil recovery and CO2 storage efficacy. By analyzing the results reported from the numerical simulation model, the in-situ fluid composition and mineralogy changes are also investigated. More importantly, we seek to confirm the petrophysical property variations due to the CO2 injection with observations from laboratory measurements. The experiences gained from this study provide valuable insights regarding physiochemical storage induced by the CO2 injection activities and serve as a benchmark case for future CO2 enhanced oil recovery (EOR) projects involving reactive solute transport.
A comprehensive understanding of the combined effects of surface roughness and wettability on the dynamics of the trapping process is lacking. This can be primarily attributed to the contradictory ...experimental and numerical results regarding the impact of wettability on the capillary trapping efficiency. The discrepancy is presumably caused by the surface roughness of the inner pore‐solid interface. Herein, we present a comparative μ‐CT study of the static fluid‐fluid pattern in porous media with smooth (glass beads) and rough surfaces (natural sands). For the first time, a global optimization method was applied to map the characteristic geometrical and morphological properties of natural sands to 2‐D micromodels that exhibit different degrees of surface roughness. A realistic wetting model that describes the apparent contact angle of the rough surface as a function surface morphology and the intrinsic contact angle was also proposed. The dynamics of the trapping processes were studied via visualization micromodel experiments. Our results revealed that sand and glass beads displayed opposite trends in terms of the contact angle dependence between 5° and 115°. Sand depicted a nonmonotonous functional contact angle dependency, that is, a transition from maximal trapping to no trapping, followed by an increase to medium trapping. In contrast, glass beads showed a sharp transition from no trapping to maximal trapping. Since both porous media exhibit similar morphological properties (similar Minkowski functions: porosity, surface density, mean curvature density, Euler number density), we deduce that this difference in behavior is caused by the difference in surface roughness that allows complete wetting and hence precursor thick‐film flow for natural sands. Experimental results on micromodels verified this hypothesis.
Key Points
Wettability, surface roughness, and pore space structure have an impact on trapping efficiency
Porous media with rough surface, as natural sands and glass‐ceramic micromodels, were studied
Wettability‐controlled crossover from snap‐off to by‐pass trapping and spontaneous precursor thick‐film flow were observed
In this paper, we propose a characterization for non-elementary trapping sets (NETSs) of low-density parity-check (LDPC) codes. The characterization is based on viewing an NETS as a hierarchy of ...embedded graphs starting from an ETS. The characterization corresponds to an efficient search algorithm that under certain conditions is exhaustive. As an application of the proposed characterization/search, we obtain lower and upper bounds on the stopping distance <inline-formula> <tex-math notation="LaTeX">s_{\min } </tex-math></inline-formula> of LDPC codes. We examine a large number of regular and irregular LDPC codes and demonstrate the efficiency and versatility of our technique in finding lower and upper bounds on, and in many cases the exact value of, <inline-formula> <tex-math notation="LaTeX">s_{\min } </tex-math></inline-formula>. Finding <inline-formula> <tex-math notation="LaTeX">s_{\min } </tex-math></inline-formula>, or establishing search-based lower or upper bounds, for many of the examined codes are out of the reach of any existing algorithm. For a constant degree distribution and range of search, the worst case computational complexity of the proposed search algorithms for finding NETSs and stopping sets is linear in the code's block length <inline-formula> <tex-math notation="LaTeX">n </tex-math></inline-formula>. The average search complexity for stopping sets, however, is constant in <inline-formula> <tex-math notation="LaTeX">n </tex-math></inline-formula>, if the simple cycles required as input to the search algorithm are available.