25 research outputs found

    Kirigami-inspired, highly stretchable micro-supercapacitor patches fabricated by laser conversion and cutting.

    Get PDF
    The recent developments in material sciences and rational structural designs have advanced the field of compliant and deformable electronics systems. However, many of these systems are limited in either overall stretchability or areal coverage of functional components. Here, we design a construct inspired by Kirigami for highly deformable micro-supercapacitor patches with high areal coverages of electrode and electrolyte materials. These patches can be fabricated in simple and efficient steps by laser-assisted graphitic conversion and cutting. Because the Kirigami cuts significantly increase structural compliance, segments in the patches can buckle, rotate, bend and twist to accommodate large overall deformations with only a small strain (<3%) in active electrode areas. Electrochemical testing results have proved that electrical and electrochemical performances are preserved under large deformation, with less than 2% change in capacitance when the patch is elongated to 382.5% of its initial length. The high design flexibility can enable various types of electrical connections among an array of supercapacitors residing in one patch, by using different Kirigami designs

    Multiparty Communication Complexity of Collision-Finding and Cutting Planes Proofs of Concise Pigeonhole Principles

    Get PDF
    We prove several results concerning the communication complexity of a collision-finding problem, each of which has applications to the complexity of cutting-plane proofs, which make inferences based on integer linear inequalities. In particular, we prove an Ω(n^{1-1/k} log k /2^k) lower bound on the k-party number-in-hand communication complexity of collision-finding. This implies a 2^{n^{1-o(1)}} lower bound on the size of tree-like cutting-planes refutations of the bit pigeonhole principle CNFs, which are compact and natural propositional encodings of the negation of the pigeonhole principle, improving on the best previous lower bound of 2^{Ω(√n)}. Using the method of density-restoring partitions, we also extend that previous lower bound to the full range of pigeonhole parameters. Finally, using a refinement of a bottleneck-counting framework of Haken and Cook and Sokolov for DAG-like communication protocols, we give a 2^{Ω(n^{1/4})} lower bound on the size of fully general (not necessarily tree-like) cutting planes refutations of the same bit pigeonhole principle formulas, improving on the best previous lower bound of 2^{Ω(n^{1/8})}

    Searching for Regularity in Bounded Functions

    Get PDF

    Junta Distance Approximation with Sub-Exponential Queries

    Get PDF
    Leveraging tools of De, Mossel, and Neeman [FOCS, 2019], we show two different results pertaining to the \emph{tolerant testing} of juntas. Given black-box access to a Boolean function f:{±1}n{±1}f:\{\pm1\}^{n} \to \{\pm1\}, we give a poly(k,1ε)poly(k, \frac{1}{\varepsilon}) query algorithm that distinguishes between functions that are γ\gamma-close to kk-juntas and (γ+ε)(\gamma+\varepsilon)-far from kk'-juntas, where k=O(kε2)k' = O(\frac{k}{\varepsilon^2}). In the non-relaxed setting, we extend our ideas to give a 2O~(k/ε)2^{\tilde{O}(\sqrt{k/\varepsilon})} (adaptive) query algorithm that distinguishes between functions that are γ\gamma-close to kk-juntas and (γ+ε)(\gamma+\varepsilon)-far from kk-juntas. To the best of our knowledge, this is the first subexponential-in-kk query algorithm for approximating the distance of ff to being a kk-junta (previous results of Blais, Canonne, Eden, Levi, and Ron [SODA, 2018] and De, Mossel, and Neeman [FOCS, 2019] required exponentially many queries in kk). Our techniques are Fourier analytical and make use of the notion of "normalized influences" that was introduced by Talagrand [AoP, 1994].Comment: To appear in CCC 202
    corecore