{"title":"On Low-Power Error-Correcting Cooling Codes With Large Distances","authors":"Yuhao Zhao;Xiande Zhang","doi":"10.1109/TIT.2025.3563973","DOIUrl":null,"url":null,"abstract":"A low-power error-correcting cooling (LPECC) code was introduced as a coding scheme for communication over a bus by Chee et al. to control the peak temperature, the average power consumption of on-chip buses, and error-correction for the transmitted information, simultaneously. Specifically, an <inline-formula> <tex-math>$(n, t, w, e)$ </tex-math></inline-formula>-LPECC code is a coding scheme over <italic>n</i> wires that avoids state transitions on the <italic>t</i> hottest wires and allows at most <italic>w</i> state transitions in each transmission, and can correct up to <italic>e</i>transmission errors. In this paper, we study the maximum possible size of an <inline-formula> <tex-math>$(n, t, w, e)$ </tex-math></inline-formula>-LPECC code, denoted by <inline-formula> <tex-math>$C(n,t,w,e)$ </tex-math></inline-formula>. When <inline-formula> <tex-math>$w=e+2$ </tex-math></inline-formula> is large, we establish a general upper bound <inline-formula> <tex-math>$C(n,t,w,w-2)\\leq \\lfloor \\binom {n+1}{2}/\\binom {w+t}{2}\\rfloor $ </tex-math></inline-formula>; when <inline-formula> <tex-math>$w=e+2=3$ </tex-math></inline-formula>, we prove <inline-formula> <tex-math>$C(n,t,3,1) \\leq \\lfloor \\frac {n(n+1)}{6(t+1)}\\rfloor $ </tex-math></inline-formula>. Both bounds are tight for large <italic>n</i> satisfying some divisibility conditions. Previously, tight bounds were known only for <inline-formula> <tex-math>$w=e+2=3,4$ </tex-math></inline-formula> and <inline-formula> <tex-math>$t\\leq 2$ </tex-math></inline-formula>. In general, when <inline-formula> <tex-math>$w=e+d$ </tex-math></inline-formula> is large for a constant <italic>d</i>, we determine the asymptotic value of <inline-formula> <tex-math>$C(n,t,w,w-d)\\sim \\binom {n}{d}/\\binom {w+t}{d}$ </tex-math></inline-formula> as <italic>n</i> goes to infinity, which can be extended to <italic>q</i>-ary codes.","PeriodicalId":13494,"journal":{"name":"IEEE Transactions on Information Theory","volume":"71 7","pages":"5215-5225"},"PeriodicalIF":2.2000,"publicationDate":"2025-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Information Theory","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10976479/","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
A low-power error-correcting cooling (LPECC) code was introduced as a coding scheme for communication over a bus by Chee et al. to control the peak temperature, the average power consumption of on-chip buses, and error-correction for the transmitted information, simultaneously. Specifically, an $(n, t, w, e)$ -LPECC code is a coding scheme over n wires that avoids state transitions on the t hottest wires and allows at most w state transitions in each transmission, and can correct up to etransmission errors. In this paper, we study the maximum possible size of an $(n, t, w, e)$ -LPECC code, denoted by $C(n,t,w,e)$ . When $w=e+2$ is large, we establish a general upper bound $C(n,t,w,w-2)\leq \lfloor \binom {n+1}{2}/\binom {w+t}{2}\rfloor $ ; when $w=e+2=3$ , we prove $C(n,t,3,1) \leq \lfloor \frac {n(n+1)}{6(t+1)}\rfloor $ . Both bounds are tight for large n satisfying some divisibility conditions. Previously, tight bounds were known only for $w=e+2=3,4$ and $t\leq 2$ . In general, when $w=e+d$ is large for a constant d, we determine the asymptotic value of $C(n,t,w,w-d)\sim \binom {n}{d}/\binom {w+t}{d}$ as n goes to infinity, which can be extended to q-ary codes.
期刊介绍:
The IEEE Transactions on Information Theory is a journal that publishes theoretical and experimental papers concerned with the transmission, processing, and utilization of information. The boundaries of acceptable subject matter are intentionally not sharply delimited. Rather, it is hoped that as the focus of research activity changes, a flexible policy will permit this Transactions to follow suit. Current appropriate topics are best reflected by recent Tables of Contents; they are summarized in the titles of editorial areas that appear on the inside front cover.