117 research outputs found

    Analyzing process flexibility: A distribution-free approach with partial expectations

    Get PDF
    We develop a distribution-free model to evaluate the performance of process flexibility structures when only the mean and partial expectation of the demand are known. We characterize the worst-case demand distribution under general concave objective functions, and apply it to derive tight lower bounds for the performance of chaining structures under the balanced systems (systems with the same number of plants and products). We also derive a simple lower bound for chaining-like structures under unbalanced systems with different plant capacities. Keywords: Process flexibility; Distributionally-robust analysis; Chaining; Production system desig

    Expander Graphs and Coding Theory

    Get PDF
    Expander graphs are highly connected sparse graphs which lie at the interface of many di๏ฌ€erent ๏ฌelds of study. For example, they play important roles in prime sieves, cryptography, compressive sensing, metric embedding, and coding theory to name a few. This thesis focuses on the connections between sparse graphs and coding theory. It is a major challenge to explicitly construct sparse graphs with good expansion properties, for example Ramanujan graphs. Nevertheless, explicit constructions do exist, and in this thesis, we survey many of these constructions up to this point including a new construction which slightly improves on an earlier edge expansion bound. The edge expansion of a graph is crucial in applications, and it is well-known that computing the edge expansion of an arbitrary graph is NP-hard. We present a simple algo-rithm for approximating the edge expansion of a graph using linear programming techniques. While Andersen and Lang (2008) proved similar results, our analysis attacks the problem from a di๏ฌ€erent vantage point and was discovered independently. The main contribution in the thesis is a new result in fast decoding for expander codes. Current algorithms in the literature can decode a constant fraction of errors in linear time but require that the underlying graphs have vertex expansion at least 1/2. We present a fast decoding algorithm that can decode a constant fraction of errors in linear time given any vertex expansion (even if it is much smaller than 1/2) by using a stronger local code, and the fraction of errors corrected almost doubles that of Viderman (2013)

    ๋ถˆํ™•์‹ค์„ฑ ์ •๋Ÿ‰ํ™”๋ฅผ ์ด์šฉํ•œ ์œ ๊ธฐ๋žญํ‚จ์‚ฌ์ดํด์˜ ๊ฐ•๊ฑดํ•œ ์„ค๊ณ„์— ๊ด€ํ•œ ์—ฐ๊ตฌ

    Get PDF
    ํ•™์œ„๋…ผ๋ฌธ (๋ฐ•์‚ฌ)-- ์„œ์šธ๋Œ€ํ•™๊ต ๋Œ€ํ•™์› : ๊ณต๊ณผ๋Œ€ํ•™ ํ™”ํ•™์ƒ๋ฌผ๊ณตํ•™๋ถ€, 2019. 2. ์ด์›๋ณด.์šด์ „ ์กฐ๊ฑด์˜ ๋ณ€ํ™”์— ์œ ์—ฐํ•œ ๋Œ€์ฒ˜๊ฐ€ ๊ฐ€๋Šฅํ•˜๋ฉฐ ์—ด์—ญํ•™ ํŒŒ๋ผ๋ฏธํ„ฐ์˜ ์ธก์ • ์˜ค๋ฅ˜์— ๊ฐ•๊ฑดํ•œ ์œ ๊ธฐ ๋žญํ‚จ ์‚ฌ์ดํด(ORC)์„ ์„ค๊ณ„ํ•˜๋Š” ๋ฐฉ๋ฒ•๋ก ์ด ๊ฐœ๋ฐœ๋˜์—ˆ๋‹ค. ๊ฐ•๊ฑดํ•œ ์œ ๊ธฐ ๋žญํ‚จ ์‚ฌ์ดํด ์„ค๊ณ„์— ์•ž์„œ, ์•กํ™” ์ฒœ์—ฐ๊ฐ€์Šค(LNG)๋กœ๋ถ€ํ„ฐ ์ตœ๋Œ€๋กœ ๋ƒ‰์—ด์„ ์ถ”์ถœํ•˜๊ธฐ ์œ„ํ•ด, ๋‹ค์„ฑ๋ถ„ ์ž‘๋™ ์œ ์ฒด๋ฅผ ์‚ฌ์šฉํ•˜์—ฌ ORC ์„ ์„ค๊ณ„ํ•˜๋Š” ๋ฐฉ๋ฒ•๋ก ์ด ์ œ์•ˆ๋˜์—ˆ๋‹ค. ์ œ์•ˆ๋œ ์‹œ์Šคํ…œ์€ ๋‹ค๋‹จ๊ณ„์˜ ํ˜•ํƒœ๋ฅผ ๋ณด์ด๋Š” ORC๋กœ, ๊ฐ ๋‹จ๊ณ„์˜ ์•กํ™”๊ธฐ์—์„œ ๋ฐœ์ƒํ•˜๋Š” ์—‘์„œ์ง€ ์†์‹ค์„ ์ตœ์†Œ๋กœ ํ•˜๊ธฐ ์œ„ํ•˜์—ฌ ์ด ์„ฑ๋ถ„ ์ž‘๋™ ์œ ์ฒด๋ฅผ ์‚ฌ์šฉํ•˜์˜€๋‹ค. ๊ฐ ๋‹จ๊ณ„์˜ ์ž‘๋™ ์œ ์ฒด๋กœ์„œ ์ตœ์ ์˜ ํ˜ผํ•ฉ๋ฌผ์„ ์ฐพ๊ธฐ ์œ„ํ•˜์—ฌ ํ˜ผํ•ฉ๋ฌผ์˜ ์งˆ๋Ÿ‰ ๋ถ„์œจ๊ณผ ์••๋ ฅ์„ ๋ณ€ํ™”์‹œ์ผœ ๊ฐ€๋ฉฐ ์•กํ™”๊ธฐ์—์„œ ๋ฐœ์ƒํ•˜๋Š” ์—‘์„œ์ง€ ์†์งˆ์˜ ์ตœ์†Œํ™”๋ฅผ ์ง„ํ–‰ํ•˜์˜€๋‹ค. ์ตœ์  ์ž‘๋™ ์œ ์ฒด ํ˜ผํ•ฉ๋ฌผ์„ ์„ ํƒํ•œ ํ›„์— ์ œ์•ˆ๋œ ORC์˜ ํšจ์œจ ์ตœ์ ํ™”๋ฅผ ์œ„ํ•ด ORC ์œ ๋‹›๋“ค์˜ ์šด์ „ ์กฐ๊ฑด๋“ค์„ ์ด์šฉํ•œ ํšจ์œจ ์ตœ์ ํ™”๋ฅผ ์‹œํ–‰ํ•˜์˜€๋‹ค. ์ด์— ๋”ํ•ด ์‚ฌ์šฉ๋œ ์—ด์›์˜ ์˜จ๋„ ๋ณ€ํ™”์— ๋”ฐ๋ฅธ ๊ณต์ • ํšจ์œจ์˜ ๋ฏผ๊ฐ๋„ ๋ถ„์„์„ ์ง„ํ–‰ํ•˜์˜€๋‹ค. ์ด์–ด์ง€๋Š” ์„น์…˜์—์„œ๋Š” ์šด์ „ ์ค‘ ์ž‘๋™ ์œ ์ฒด์˜ ์กฐ์„ฑ์ด ๋ณ€ํ•˜๋Š” ์ƒํ™ฉ์—์„œ๋„ ์ „๋ ฅ์„ ์ตœ๋Œ€ํ•œ์œผ๋กœ ์ƒ์‚ฐํ•  ์ˆ˜ ์žˆ๋Š” ORC ์„ค๊ณ„ ๋ฐฉ๋ฒ•๋ก ์ด ๊ฐœ๋ฐœ๋˜์—ˆ๋‹ค. ์ œ์•ˆ๋œ ๋ฐฉ๋ฒ•์€ ORC์˜ ์ถœ๋ ฅ์ด ํ‰๊ท ์ ์œผ๋กœ ์ตœ๋Œ€๊ฐ€ ๋˜๋Š” ์„ค๊ณ„๋ฅผ ์ฐพ๋Š”๋‹ค. ORC์˜ ์•ˆ์ •์ ์ธ ์šด์ „์— ์•…์˜ํ–ฅ์„ ์ฃผ๋Š” ์š”์†Œ๋“ค(์—ด๊ตํ™˜๊ธฐ ๋‚ด์˜ ์ตœ์†Œ ์„ค๊ณ„ ์˜จ๋„ ์ฐจ ์œ„๋ฐ˜๊ณผ ํŒฝ์ฐฝ๊ธฐ ๋ธ”๋ ˆ์ด๋“œ ํ‘œ๋ฉด์— ์•ก์ฒด๋ฐฉ์šธ์ด ํ˜•์„ฑ)์„ ์–ต์ œํ•˜๊ธฐ ์œ„ํ•ด, ์ด๋Ÿฌํ•œ ์š”์†Œ๋“ค์ด ๋ฐœ์ƒํ–ˆ์„ ๋•Œ ๋ชฉ์  ํ•จ์ˆ˜๊ฐ€ ํŒจ๋„ํ‹ฐ๋ฅผ ๋ฐ›๋„๋ก ํ•˜์˜€๋‹ค. ์ตœ์ ํ™”์— ํ•„์š”ํ•œ ํ†ต๊ณ„ํ•™์  ๋ชจ๋ฉ˜ํŠธ๋“ค์„ ๊ตฌํ•˜๋Š” ๋ฐ์—๋Š” ๋‘ ๋‹จ๊ณ„๊ฐ€ ํ•„์š”ํ•˜๋‹ค. ์šฐ์„ , ๋…ธ๋ฏธ๋‚  ์šด์ „ ์กฐ๊ฑด ํ•˜์—์„œ ORC ์‹œ๋ฎฌ๋ ˆ์ด์…˜์„ ํ†ตํ•ด ์—ด๊ตํ™˜๊ธฐ์˜ ๋ฉด์ ์„ ์–ป๋Š”๋‹ค. ๋‹ค์Œ์œผ๋กœ ๊ณ„์‚ฐ๋œ ์—ด๊ตํ™˜๊ธฐ ๋ฉด์ ์„ ๊ณ ์ •ํ•œ ์ƒํƒœ๋กœ ์กฐ์„ฑ์„ ๋…ธ๋ฏธ๋‚  ๊ฐ’์œผ๋กœ๋ถ€ํ„ฐ ๋ณ€ํ™”์‹œ์ผœ ๋‹ค์‹œ ์‹œ๋ฎฌ๋ ˆ์ด์…˜์„ ์ง„ํ–‰ํ•˜๊ณ , ์ด๋กœ๋ถ€ํ„ฐ ๋…ธ๋ฏธ๋‚  ์šด์ „ ์กฐ๊ฑด์œผ๋กœ ๊ณ„์‚ฐํ–ˆ์„ ๋•Œ์™€๋Š” ๋‹ค๋ฅธ ๋ชฉ์  ํ•จ์ˆ˜์˜ ๊ฐ’์„ ์–ป๋Š”๋‹ค. ์กฐ์„ฑ์€ ๋…ธ๋ฏธ๋‚  ๊ฐ’์„ ์ค‘์‹ฌ์œผ๋กœ ๋ถ„ํฌ๋˜์–ด ์žˆ๋‹ค๊ณ  ๊ฐ€์ •ํ•˜์˜€์œผ๋ฉฐ, ์ด๋•Œ ์กฐ์„ฑ์ด ์„ ํƒ๋  ํ™•๋ฅ ์€ ๋ชจ๋“  ๋ฒ”์œ„์—์„œ ๊ฐ™๋‹ค๊ณ  ๊ฐ€์ •ํ•˜์˜€๋‹ค. ORC ์ถœ๋ ฅ์˜ ํ‰๊ท ๊ฐ’๊ณผ ๋ถ„์‚ฐ๊ฐ’์„ ์ ์€ ์ˆ˜์˜ ์ƒ˜ํ”Œ๋“ค๋กœ๋ถ€ํ„ฐ ๊ณ„์‚ฐํ•˜๊ธฐ ์œ„ํ•˜์—ฌ Polynomial Chaos Expansion(PCE) with sparse grid quadrature๊ฐ€ ์‚ฌ์šฉ๋˜์—ˆ๋‹ค. ์ตœ์ ํ™”๋ฅผ ์ง„ํ–‰ํ•œ ๊ฒฐ๊ณผ, ์กฐ์„ฑ์˜ ์ž‘์€ ๋ณ€ํ™”๋ผ๋„ ORC์˜ ์•ˆ์ •์ ์ธ ์šด์ „์— ์‹ฌ๊ฐํ•œ ์˜ํ–ฅ์„ ๋ฏธ์น  ์ˆ˜ ์žˆ๋‹ค๋Š” ์‚ฌ์‹ค์„ ์•Œ๊ฒŒ ๋˜์—ˆ์œผ๋ฉฐ, ์ œ์•ˆ๋œ ๋ฐฉ๋ฒ•์„ ํ†ตํ•ด ์กฐ์„ฑ์˜ ๋ถˆํ™•์‹ค์„ฑ์—๋„ ๋ถˆ๊ตฌํ•˜๊ณ  ์œ ์—ฐํ•œ ์šด์ „์ด ๊ฐ€๋Šฅํ•œ ORC๋ฅผ ์„ค๊ณ„ํ•  ์ˆ˜ ์žˆ์—ˆ๋‹ค. ๋งˆ์ง€๋ง‰์œผ๋กœ, ์กฐ์„ฑ์˜ ๋ถˆํ™•์‹ค์„ฑ์— ๋”ํ•ด ์—ด์›์˜ ์˜จ๋„์™€ ์—ด์—ญํ•™ ํŒŒ๋ผ๋ฏธํ„ฐ์—๋„ ๋ถˆํ™•์‹ค์„ฑ์ด ์žˆ๋Š” ๊ฒฝ์šฐ๋ฅผ ์œ„ํ•œ ์ตœ์ ํ™” ๋ฐฉ๋ฒ•์ด ๊ฐœ๋ฐœ๋˜์—ˆ๋‹ค. ์ด์ „ ์„น์…˜์—์„œ ์กฐ์„ฑ ๋ณ€ํ™”์— ๊ฐ€์žฅ ๋‘”๊ฐํ•œ ๊ฒƒ์œผ๋กœ ๋ฐํ˜€์ง„ ์ž‘๋™ ์œ ์ฒด๋ฅผ ์ด์šฉํ•˜์—ฌ, ์•Œ๋ ค์ง„ ์ž„๊ณ„ ์˜จ๋„์™€ ์ž„๊ณ„ ์••๋ ฅ์— ์ธก์ • ์˜ค์ฐจ๊ฐ€ ์žˆ๋Š” ๊ฒฝ์šฐ๋ฅผ ์œ„ํ•ด ๋‹ค์‹œ ์ตœ์ ํ™”๋ฅผ ์ง„ํ–‰ํ•˜์˜€๋‹ค. ๋˜ํ•œ, ์—ด์›์˜ ์˜จ๋„๊ฐ€ ๋…ธ๋ฏธ๋‚  ๊ฐ’์—์„œ ๋ฒ—์–ด๋‚˜๋Š” ๊ฒฝ์šฐ๋„ ORC ์šด์ „์˜ ์œ ์—ฐ์„ฑ์„ ๋†’์ด๊ธฐ ์œ„ํ•ด ๊ณ ๋ ค๋˜์—ˆ๋‹ค. ์ด 9๊ฐœ์˜ ๋ถˆํ™•์‹คํ•œ ์—ด์—ญํ•™ ํŒŒ๋ผ๋ฏธํ„ฐ ํ˜น์€ ๋””์ž์ธ ๋ณ€์ˆ˜๋“ค์ด ๊ณ ๋ ค๋˜์—ˆ๊ณ , ์ด๋Š” ๊ณผ๋„ํ•œ ๊ณ„์‚ฐ๋Ÿ‰์„ ํ•„์š”๋กœ ํ•˜๋ฏ€๋กœ ์ด์ „ ์„น์…˜์œผ๋กœ ๊ฐœ๋ฐœ๋œ ๋ฐฉ๋ฒ•์œผ๋กœ๋Š” ์ตœ์ ํ™”๋ฅผ ์ˆ˜ํ–‰ํ•˜๊ธฐ์— ๋ฌด๋ฆฌ๊ฐ€ ์žˆ์—ˆ๋‹ค. ๋”ฐ๋ผ์„œ PCE์— ๊ธฐ๋ฐ˜ํ•œ ๋Œ€์ฒด ๋ชจ๋ธ์„ ์ด์šฉํ•˜์—ฌ ์ตœ์ ํ™”๋ฅผ ์ง„ํ–‰ํ•˜๋Š” ๋ฐฉ๋ฒ•์ด ๊ฐœ๋ฐœ๋˜์—ˆ๋‹ค. ๊ฐœ๋ฐœ๋œ ๋Œ€์ฒด ๋ชจ๋ธ์€ ํ‰๊ท ๊ณผ ๋ถ„์‚ฐ์„ ๋ถ„์„์ ์œผ๋กœ(analytically) ๊ตฌํ•  ์ˆ˜ ์žˆ๊ฒŒ ํ•ด์ฃผ๊ธฐ ๋•Œ๋ฌธ์— ์ตœ์ ํ™”์— ๊ฑธ๋ฆฌ๋Š” ์‹œ๊ฐ„์„ ๊ธ‰๊ฒฉํ•˜๊ฒŒ ๊ฐ์†Œ์‹œ์ผœ ์ฃผ์—ˆ๋‹ค. ๋Œ€์ฒด ๋ชจ๋ธ์„ ์ด์šฉํ•˜์—ฌ ์ตœ์ ํ™”๋ฅผ ์ง„ํ–‰ํ•œ ๊ฒฐ๊ณผ ์—ด์—ญํ•™ ํŒŒ๋ผ๋ฏธํ„ฐ์˜ ๋ถˆํ™•์‹ค์„ฑ๊ณผ ๋””์ž์ธ ์กฐ๊ฑด์˜ ๋ถˆํ™•์‹ค์„ฑ์—๋„ ๋ถˆ๊ตฌํ•˜๊ณ  ํ‰๊ท ์ ์œผ๋กœ ๋†’์€ ์ „๋ ฅ์„ ์ƒ์‚ฐํ•  ์ˆ˜ ์žˆ๋Š” ORC๋ฅผ ์„ค๊ณ„ํ•˜๊ฒŒ ๋˜์—ˆ๋‹ค.A method to design the optimal working fluid mixture of Organic Rankine Cycles (ORC), which is operationally flexible and robust against measurement error in thermodynamic parameters, has been developed. Prior to design robust ORC, an optimal design of ORC for utilizing Liquefied Natural Gas (LNG) as heat sink of which evaporation process is not isothermal is proposed to represent a design procedure to extract as much energy as possible from a multicomponent heat sink without consideration of robustness. The proposed system adopts binary working fluids for each stage to minimize the exergy destroyed in the condensers of each stage of the cycle. The best combination of working fluids was selected through minimization of the amount of destroyed exergy by varying the flow rate, composition, and pressure of the working fluid. After selecting the working fluids, process optimization was performed through a parametric study. In addition, a sensitivity analysis was performed to observe the effect of temperature variation of the heat sources in the range of 25 - 85 โ„ƒ on the net power generation. At the following section, a systematic method to design a robust ORC using LNG and multicomponent working fluid, which yields maximum power output even when the composition of the working fluid varies from the nominal point during operation of ORC has been developed. The proposed method seeks the optimal composition giving both the maximum mean of ORC power output. To suppress the factors that adversely affect the operation of ORC (violation of minimum temperature difference in heat exchanger and formation of liquid droplet in expander), the objective function is penalized when they occur. The procedure to derive the statistical moments consists of two steps. Initially, the required heat exchanger area is obtained by simulation of ORC model with a nominal operating conditions (composition, pump discharge pressure, and expander discharge pressure). At the next step, the simulation is carried out again with the obtained area and the varying composition. The mass fraction of each substance in the working fluid is assumed to follow uniform distribution centered at the nominal point. To obtain the mean and variance with a small number of simulations, Polynomial Chaos Expansion (PCE) with sparse grid quadrature is employed. It has been shown that small changes in composition can have serious consequences for stable operation of ORC, and the design of working fluid by the proposed method allows flexible ORC operation despite the existence of uncertainty in the composition. Finally, the optimization takes into account uncertainties in thermodynamic parameters and heat source in addition to composition. Using the selected working fluid which was turned out to be the most insensitive from the uncertainty of composition, optimization is carried out again when the critical temperature and pressure of each substance composing the working fluid varies within its measurement uncertainty, which can be found in the literature. Also, the temperature of the heat source varies from the nominal design point to enhance the operational flexibility of ORC. In sum, the design of ORC was performed assuming a total of the nine parameters or design variables with uncertainty, which requires excessive amount of computation with the method suggested in the previous section. Therefore, the optimization using a surrogate model was devised to efficiently find the optimal and robust ORC design. Because the proposed surrogate model is constructed based on PCE, the statistical moments can be derived analytically, which leads to reduce the time for optimization drastically. Comparing the ORC design, which was taken with more uncertainty, to the design obtained in the previous section, the former design showed the highest output even when the parameters and design variables were changing from the nominal point.1 Introduction 1 1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Thesis outline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Conventional ORC configuration . . . . . . . . . . . . . . . . . . . . 5 2 Design and optimization of cascade organic Rankine cycle for recovering cryogenic energy from liquefied natural gas using binary working fluid 10 2.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2 Description of the proposed cascade organic Rankine cycle . . . . . . 14 2.3 Simulation and optimization of power generation cycle . . . . . . . . 21 2.3.1 LNG cold exergy recovery part . . . . . . . . . . . . . . . . . 25 2.3.2 Recuperation part . . . . . . . . . . . . . . . . . . . . . . . . 29 2.4 Simulation and optimization results . . . . . . . . . . . . . . . . . . 31 2.4.1 Result for LNG cold exergy recovery part . . . . . . . . . . . 31 2.5 Working fluid selection and process optimization result for recuperation part . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.6 Energy and exergy analyses . . . . . . . . . . . . . . . . . . . . . . . 43 2.7 Sensitivity analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 2.8 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 3 Robust design of multicomponent working fluid for organic Rankine cycle - consideration on operational uncertainty 52 3.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 3.1.1 Evaluation of the objective function . . . . . . . . . . . . . . 62 3.1.2 Polynomial chaos expansion . . . . . . . . . . . . . . . . . . 66 3.2 Implementation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 3.2.1 ORC with LNG heat sink using ternary working fluid . . . . . 71 3.2.2 Precision test for PCE . . . . . . . . . . . . . . . . . . . . . 77 3.2.3 Influence of penalty function . . . . . . . . . . . . . . . . . . 80 3.2.4 Results and discussion . . . . . . . . . . . . . . . . . . . . . 83 3.3 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96Docto

    On the design of sparse but efficient structures in operations

    Get PDF
    It is widely believed that a little flexibility added at the right place can reap significant benefits for operations. Unfortunately, despite the extensive literature on this topic, we are not aware of any general methodology that can be used to guide managers in designing sparse (i.e., slightly flexible) and yet efficient operations. We address this issue using a distributionally robust approach to model the performance of a stochastic system under different process structures. We use the dual prices obtained from a related conic program to guide managers in the design process. This leads to a general solution methodology for the construction of efficient sparse structures for several classes of operational problems. Our approach can be used to design simple yet efficient structures for workforce deployment and for any level of sparsity requirement, to respond to deviations and disruptions in the operational environment. Furthermore, in the case of the classical process flexibility problem, our methodology can recover the k-chain structures that are known to be extremely efficient for this type of problem when the system is balanced and symmetric. We can also obtain the analog of 2-chain for nonsymmetrical system using this methodology. This paper was accepted by Yinyu Ye, optimization. </jats:p

    The existence of designs via iterative absorption: hypergraph FF-designs for arbitrary FF

    Full text link
    We solve the existence problem for FF-designs for arbitrary rr-uniform hypergraphs~FF. This implies that given any rr-uniform hypergraph~FF, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of any sufficiently large complete rr-uniform hypergraph into edge-disjoint copies of~FF, which answers a question asked e.g.~by Keevash. The graph case r=2r=2 was proved by Wilson in 1975 and forms one of the cornerstones of design theory. The case when~FF is complete corresponds to the existence of block designs, a problem going back to the 19th century, which was recently settled by Keevash. In particular, our argument provides a new proof of the existence of block designs, based on iterative absorption (which employs purely probabilistic and combinatorial methods). Our main result concerns decompositions of hypergraphs whose clique distribution fulfills certain regularity constraints. Our argument allows us to employ a `regularity boosting' process which frequently enables us to satisfy these constraints even if the clique distribution of the original hypergraph does not satisfy them. This enables us to go significantly beyond the setting of quasirandom hypergraphs considered by Keevash. In particular, we obtain a resilience version and a decomposition result for hypergraphs of large minimum degree.Comment: This version combines the two manuscripts `The existence of designs via iterative absorption' (arXiv:1611.06827v1) and the subsequent `Hypergraph F-designs for arbitrary F' (arXiv:1706.01800) into a single paper, which will appear in the Memoirs of the AM

    Applications of Coding Theory to Massive Multiple Access and Big Data Problems

    Get PDF
    The broad theme of this dissertation is design of schemes that admit iterative algorithms with low computational complexity to some new problems arising in massive multiple access and big data. Although bipartite Tanner graphs and low-complexity iterative algorithms such as peeling and message passing decoders are very popular in the channel coding literature they are not as widely used in the respective areas of study and this dissertation serves as an important step in that direction to bridge that gap. The contributions of this dissertation can be categorized into the following three parts. In the first part of this dissertation, a timely and interesting multiple access problem for a massive number of uncoordinated devices is considered wherein the base station is interested only in recovering the list of messages without regard to the identity of the respective sources. A coding scheme with polynomial encoding and decoding complexities is proposed for this problem, the two main features of which are (i) design of a close-to-optimal coding scheme for the T-user Gaussian multiple access channel and (ii) successive interference cancellation decoder. The proposed coding scheme not only improves on the performance of the previously best known coding scheme by โ‰ˆ 13 dB but is only โ‰ˆ 6 dB away from the random Gaussian coding information rate. In the second part construction-D lattices are constructed where the underlying linear codes are nested binary spatially-coupled low-density parity-check codes (SCLDPC) codes with uniform left and right degrees. It is shown that the proposed lattices achieve the Poltyrev limit under multistage belief propagation decoding. Leveraging this result lattice codes constructed from these lattices are applied to the three user symmetric interference channel. For channel gains within 0.39 dB from the very strong interference regime, the proposed lattice coding scheme with the iterative belief propagation decoder, for target error rates of โ‰ˆ 10^-5, is only 2:6 dB away the Shannon limit. The third part focuses on support recovery in compressed sensing and the nonadaptive group testing (GT) problems. Prior to this work, sensing schemes based on left-regular sparse bipartite graphs and iterative recovery algorithms based on peeling decoder were proposed for the above problems. These schemes require O(K logN) and ฮฉ(K logK logN) measurements respectively to recover the sparse signal with high probability (w.h.p), where N, K denote the dimension and sparsity of the signal respectively (K (double backward arrow) N). Also the number of measurements required to recover at least (1 - โ‚ฌ) fraction of defective items w.h.p (approximate GT) is shown to be cvโ‚ฌ_K logN/K. In this dissertation, instead of the left-regular bipartite graphs, left-and- right regular bipartite graph based sensing schemes are analyzed. It is shown that this design strategy enables to achieve superior and sharper results. For the support recovery problem, the number of measurements is reduced to the optimal lower bound of ฮฉ (K log N/K). Similarly for the approximate GT, proposed scheme only requires cโ‚ฌ_K log N/ K measurements. For the probabilistic GT, proposed scheme requires (K logK log vN/ K) measurements which is only log K factor away from the best known lower bound of ฮฉ (K log N/ K). Apart from the asymptotic regime, the proposed schemes also demonstrate significant improvement in the required number of measurements for finite values of K, N
    • โ€ฆ
    corecore