---
title: Utility-Optimized Block Design (uBD)
url: https://www.emergentmind.com/topics/utility-optimized-block-design-ubd
type: topic
---

# Utility-Optimized Block Design (uBD)

Searching arXiv for the cited papers to ground the article and confirm metadata.
Utility-Optimized Block Design (uBD) denotes a block-centered design philosophy in which the atomic design object is a block and the choice, weighting, scheduling, or decomposition of blocks is driven by an explicit utility criterion. In the narrowest and most explicit sense, the term appears in discrete distribution estimation under utility-optimized local differential privacy (ULDP), where a “utility-optimized block design (uBD)” scheme is proved to achieve the exact asymptotic minimax privacy-utility trade-off [2509.24173]. In a broader and explicitly stated interpretive sense, the same label or closely related language is used to organize work on distributed-quantum scheduling, local differential privacy mechanisms, blocked experimental design, network experiments, and workload-aware block-size tuning, where “utility” may mean asymptotic estimation risk, information volume, teleportation count, latency, aberration, Price of Anarchy, or runtime [2605.21795].

## 1. Scope and conceptual structure

The most stable feature across the literature is that a uBD problem selects or constructs blocks under a utility objective rather than treating blocking as a purely organizational convenience. In some papers the block is a combinatorial subset, in others a group of operations, a treatment composition, a bipartite subgraph, a resource-block count, or a contiguous algorithmic segment. The associated utility is likewise domain-specific: privacy-utility trade-off in ULDP and LDP [2509.24173], [2305.01261]; future teleportation savings and latency reduction in distributed quantum computers [2605.21795]; pseudo-Bayesian \(D_A\)- or \(D_s\)-information in blocked experiments with dependent non-normal responses [1811.02414]; and runtime minimization in square-root decomposition [2606.06145].

| Setting | Block object | Utility notion |
|---|---|---|
| ULDP distribution estimation | block designs on the sensitive subset | exact asymptotic minimax privacy-utility trade-off |
| Distributed quantum computing | groups of CNOTs compiled together | teleportation count and latency |
| Copula-based blocked experiments | block treatment compositions \(\zeta_i\) | robust \(D_A\)- or \(D_s\)-optimality |
| Resource allocation in cellular systems | integer-valued resource blocks | product of user utilities |
| Square-root decomposition | block size \(B\) | runtime, regret, speedup |

Several papers explicitly state that they do not use the phrase “utility-optimized block design,” while also describing their contributions as fitting naturally into a broader uBD perspective [1811.02414], [2308.16401], [2501.17385]. This suggests that uBD is not a single formalism shared across fields, but a recurring design pattern in which block structure is chosen or exploited according to a stated performance functional.

## 2. Privacy-preserving estimation and the explicit uBD formalism

The paper that explicitly defines uBD studies discrete distribution estimation under ULDP, where the domain is partitioned into a sensitive set \(\mathcal{X}_{\mathrm S}=[v]\) and a non-sensitive set \(\mathcal{X}_{\mathrm N}=\mathcal{X}\setminus\mathcal{X}_{\mathrm S}\) [2509.24173]. A mechanism is \((\mathcal{X}_{\mathrm S},\epsilon)\)-ULDP if its output alphabet is partitioned into protected outputs \(\mathcal{Y}_{\mathrm P}\), which satisfy the LDP-type inequality
\[
Q(y|x)\le e^\epsilon Q(y|x'), \qquad \forall x,x'\in\mathcal X,\; y\in\mathcal Y_{\mathrm P},
\]
and invertible outputs \(\mathcal{Y}_{\mathrm I}\), each of which reveals a unique non-sensitive input. The uBD construction is an extremal ULDP mechanism built from block designs on the sensitive subset, together with invertible outputs for non-sensitive symbols. Its design parameters are a mixture \(t\in\Delta_v\) over block sizes \(k\), and the exact asymptotic privacy-utility trade-off is characterized by
\[
M^*(w,v,\epsilon)=\sup_{\alpha\in[0,1]}\inf_{t\in\Delta_v} M(\alpha,t).
\]
The associated estimator is a score-based linear estimator, and optimized uBD attains the converse exactly. A simple uBD scheme corresponds to \(t=\delta^{(k;v)}\); the \(k=1\) case is exactly uRR. The paper also isolates closed-form regimes in which uRR is asymptotically optimal and regimes in which a simple uBD based on the LDP-optimal block size on the sensitive subset is optimal [2509.24173].

This explicit ULDP uBD sits on top of an earlier LDP block-design program. In “Exactly Optimal and Communication-Efficient Private Estimation via Block Designs” the mechanism is induced by a \((v,b,r,k,\lambda)\)-block design with channel
\[
Q(y|x)=
\begin{cases}
\alpha e^\epsilon,& (x,y)\in\mathcal I,\\
\alpha,& (x,y)\notin\mathcal I,
\end{cases}
\qquad
\alpha=\frac{1}{re^\epsilon+b-r},
\]
and the paper proves that, for block-design schemes, the asymptotic risk depends only on \(k\), not directly on \(b,r,\lambda\) [2305.01261]. Exact optimality holds when \(k\in K^*_{v,\epsilon}\), while symmetric block designs with \(b=v\) achieve the minimum communication cost among unbiased or consistent schemes. Because exact block-design existence is sparse, the same paper introduces regular and pairwise-balanced designs (RPBDs), which relax uniformity and yield near-optimal privacy-utility trade-offs over a much larger set of \((v,\epsilon)\) pairs [2305.01261].

A further refinement appears in the shared-randomness setting. “Achieving the Exactly Optimal Privacy-Utility Trade-Off with Low Communication Cost via Shared Randomness” shows that a resolution of a PUT-optimal block-design mechanism preserves the exact same risk while reducing communication cost [2307.03962]. The Baranyai resolution achieves communication cost
\[
\log \frac{v}{\gcd(v,k^*)}\text{-bits},
\]
which the paper proves is the minimum among PUT-optimal resolutions of block design schemes, while the cyclic shift resolution offers an explicit alternative with communication cost at most \(\log v\) bits [2307.03962]. In uBD terms, the privacy utility is fixed and communication is optimized by decomposing the block design rather than changing its estimation geometry.

## 3. Utility-optimized block design in distributed quantum compilation

In distributed quantum computing (DQC), ATHENA uses the phrase “utility-optimized block design” for a compiler architecture built around blocks of CNOTs that are optimized collectively because one relocation can make several non-local gates local [2605.21795]. Prior compilers such as AutoComm and QuComm already use blocks, but ATHENA argues that naïve block-level scheduling is too myopic because teleportations change future qubit locations. The paper quantifies this using a \(3\times 3\) DQC study in which consecutive RELOCATEs involving a qubit are separated on average by \(55\)–\(112\) blocks, and in QAOA-FC the average separation is \(89.6\) blocks, of which \(72.1\) are local-only [2605.21795].

ATHENA’s first core mechanism is Utility-driven Lookahead with Multi-Candidate Block Scheduling (UMS). A future block has utility for the current block \(C\) iff it shares at least one qubit with \(C\); these are “overlapping qubits.” Rather than taking the next \(F\) blocks, ATHENA scans forward and includes only useful future blocks until it reaches a fixed lookahead size \(k\), default \(4\), or the program ends. It then scores candidate scheduling decisions with a future-cost estimate
\[
C_{R} = \sum_{i\in R} \beta^{d(i)} \times C_i,
\]
where \(d(i)\) is block distance and \(\beta=0.871\) by default, so a block \(10\) blocks ahead contributes weight \(0.25\). UMS keeps multiple candidate schedules alive in a solution tree and prunes to Top-\(w\) candidates with beam width \(w=16\). Commitment is deferred until the full program is scheduled, and the compiler returns the schedule with the fewest teleportations [2605.21795].

The second mechanism is EPR-Capacity-Aware Early Scheduling (EES), which moves otherwise-ready RELOCATEs and future CNOTs earlier when dependencies allow and EPR capacity is available. The paper reports that on a \(3\times 3\) DQC with 240-qubit programs, \(45.4\%\)–\(55.1\%\) of teleportations are delayed in prior scheduling styles, with average waiting times of \(7.5\)–\(36.3\) ms depending on benchmark. EES does not change teleportation count, but it changes when those operations happen, increasing concurrency [2605.21795].

The utility variables are explicit. ATHENA measures effective teleportation count
\[
T_{\textrm{eff}} = N_{\textrm{RELOCATE}} + \alpha \times N_{\textrm{Re-CNOT}},
\]
with \(\alpha=1.77\), and schedule latency \(L\). Under the neutral-atom timing model, RELOCATE is \(1.3\) ms and Re-CNOT is \(2.3\) ms; non-local CNOTs are \(4.3\)–\(7.7\times\) slower and roughly \(4\times\) more error-prone than local CNOTs [2605.21795]. Across benchmarks and DQC sizes, ATHENA reduces teleportations by \(34\%\) on average and up to \(65\%\), and reduces latency by \(2\times\) on average and up to \(2.9\times\) compared to the state of the art. The paper is also explicit that this search is more expensive than QuComm’s, with compilation \(74\times\) to \(363\times\) slower in some scaling experiments [2605.21795].

## 4. Statistical experimental design and causal inference

In statistical design, uBD appears mainly as information-based or precision-based block optimization. “Copula-based robust optimal block designs” considers blocked experiments with dependent non-normal responses and treats utility as expected inferential value under uncertainty about marginal and dependence parameters [1811.02414]. The design variable is a block treatment composition
\[
\zeta_i=(\mathbf{x}_{i1},\ldots,\mathbf{x}_{ik})\in \mathcal X^k,
\]
and the objective is the robust \(D_A\)-criterion
\[
\Psi^D(\xi;G,A) = \int_{\Gamma} \log \det\!\left[ A^T\{M(\xi;\boldsymbol{\gamma})\}^{-1}A \right]^{-1} \,dG(\boldsymbol{\gamma}),
\]
or the corresponding \(D_s\)-criterion for a parameter subset. The method combines a marginal GLM-type model with a copula for within-block dependence, uses approximate designs over weighted support blocks, and computes designs numerically with a version of the Fedorov–Wynn algorithm implemented in `docopulae` [1811.02414]. The paper emphasizes that copula-based dependence changes the geometry of the optimal block design and that designs obtained under independence or working-correlation assumptions can lose efficiency.

“E- and R-optimality of block designs for treatment-control comparisons” gives an exact structural characterization of one important precision-based utility [1804.06663]. For approximate designs, \(E\)-optimality holds iff
\[
\xi(0,k)=\frac{s_k(\xi)}{2}
\quad\text{and}\quad
r_1(\xi)=\cdots=r_v(\xi)=\frac{1}{2v}.
\]
Thus every block assigns half of its mass to control and the test treatments are equireplicated. The paper also shows that \(E\)-optimality is equivalent to optimality for the contrast \((\sum_{i>0}\tau_i)/v-\tau_0\) and to minimizing the sum of variances plus absolute covariances of the treatment-control estimators. In the same model, all approximate \(A\)-optimal designs and a large class of \(A\)-optimal exact designs are also \(R\)-optimal [1804.06663]. Here utility is not a learned score but a precisely defined variance criterion.

“Design-based Causal Inference for Incomplete Block Designs” supplies another set of objective ingredients rather than a direct optimizer [2405.19312]. In a general incomplete block design (IBD), each block receives exactly \(t\) treatments with \(T>t\ge 2\), and the paper derives unbiased estimators and conservative variance estimators in a finite-population design-based framework. For balanced incomplete block designs (BIBDs), it proves a clean variance interpolation:
\[
\mathrm{Var}\!\left(\hat{\tau}_{\text{BIBD}}\right)
=
\frac{T-t}{t(T-1)} \mathrm{Var}\!\left(\hat{\tau}_{\text{ClusRD}}\right)
+
\frac{T(t-1)}{t(T-1)} \mathrm{Var}\!\left(\hat{\tau}_{\text{CBD}}\right).
\]
This shows that a BIBD sits between cluster randomization and complete block designs, and the paper further notes that a deliberately unbalanced IBD may outperform a symmetric BIBD for a focal contrast because it allocates more blocks to the relevant pair [2405.19312].

Blocked order-of-addition experiments extend the same logic to robustness against aliasing and confounding. “Efficient and Robust Block Designs for Order-of-Addition Experiments” proposes the composite word length pattern
\[
W'=(w_1^P,w_1^B,w_2^P,w_2^B,\dots,w_{m(m-1)}^P,w_{m(m-1)}^B)
\]
and ranks designs lexicographically by minimum aberration [2506.07096]. Here \(w_l^P\) measures aliasing between the mean and \(l\)th-order position effects, while \(w_l^B\) measures confounding between block effects and \(l\)th-order position effects. The paper then develops constructions based on orthogonal Latin squares and component orthogonal arrays (COAs), together with exchange steps over Latin squares or rows of Latin squares. Its simulations report power and type I error rates comparable to those of full block OofA designs, despite much smaller blocked designs [2506.07096].

## 5. Combinatorial, geometric, and bipartite block constructions

Some uBD-relevant work is purely combinatorial but still utility-driven. “Optimality and Constructions of Spanning Bipartite Block Designs” studies edge-effect estimation on a complete bipartite graph \(K_{v_1,v_2}\) and defines a Spanning Bipartite Block Design (SBBD) by replication and concurrence conditions on edges [2308.16401]. The key statistical result is that SBBD\(^*\) is variance balanced whenever all basic contrasts are estimable, and that a semi-regular SBBD is \(A\)-optimum relative to the class \(\Omega\). The construction uses \((r,\lambda)\)-designs and ordered designs, and a BIBD with prime power number of blocks yields an \(A\)-optimum semi-regular or regular SBBD [2308.16401]. In this setting, utility is average precision of estimable edge contrasts.

“Optimal BIBD-extended designs” studies what happens when one starts from a binary design \(d\) and repeatedly adds the blocks of a BIBD \(\tilde d\) [1902.04496]. If the base design has non-trivial Laplacian eigenvalues \(\rho_1^d,\dots,\rho_{v-1}^d\), then after adding \(y\) copies of the BIBD the non-trivial eigenvalues become
\[
vy\lambda+\rho_1^d,\dots,vy\lambda+\rho_{v-1}^d.
\]
The paper derives exact formulas for the \(D\)- and \(A\)-values of the extended design and shows that, after sufficient extension, the stable order of base designs determines both \(A\)- and \(D\)-optimality. In the graph case \(k=2\), it proves that the path becomes both \(A\)- and \(D\)-optimal after extension when \(b=v-1\), and the cycle becomes both \(A\)- and \(D\)-optimal after extension when \(b=v\) [1902.04496]. Balanced augmentation therefore acts as a spectral regularizer that can collapse criterion disagreement.

The geometric version of the same idea appears in “Maximal Orthoplectic Fusion Frames from Mutually Unbiased Bases and Block Designs” [1607.04546]. There, a block \(J\subseteq[m]\) of size \(l\) defines a coordinate projection
\[
P_J=\sum_{j\in J} b_j\otimes b_j^*,
\]
and inside one basis the overlap is exactly
\[
\operatorname{tr}(P_JP_{J'})=|J\cap J'|.
\]
Between different mutually unbiased bases the overlap becomes \(l^2/m\). The paper uses cohesive block designs to control within-basis intersections, shows that the orthoplex bound for fusion frames is
\[
\max_{j\ne k}\operatorname{tr}(P_jP_k)\ge \frac{l^2}{m}
\]
when the number of projections is large, and proves that maximal orthoplectic fusion frames require \(m=2l\) [1607.04546]. In this setting, the block design is the exact combinatorial device that enforces optimal projection overlap.

## 6. Networks, resource allocation, and systems tuning

A different but closely related line of work treats utility design itself as the optimization target. “Optimal Utility Design with Arbitrary Information Networks” studies resource-allocation games in which an agent observes only a subset of other agents and receives a local utility
\[
U_i(a)=\sum_{r\in a_i} v_r\, f_i(|a|_r^{N_i}).
\]
The information network induces classes of similar agents, and the paper develops one linear program to compute the exact Price of Anarchy for a fixed design and another linear program to optimize the utility design itself [2501.17385]. Because utilities are classwise, local, and anonymous in observed occupancy, the framework is naturally block-like: blocks are information-equivalent classes, and utility is worst-case equilibrium efficiency.

“Optimal block designs for experiments on networks” addresses the same theme from the design-of-experiments side [1902.01352]. Its Network Block Model (NBM) combines direct treatment effects, block effects, and spillovers:
\[
y_{ij} =\mu+\tau_{r(ij)}+b_i+ \sum \limits_{g=1}^{\kappa} \sum \limits_{h=1}^{n_{(g)}} A_{\{ij,gh\}} \gamma_{r(gh)}+\epsilon_{ij}.
\]
It then defines two \(L\)-optimality criteria, one for direct treatment contrasts and one for network-effect contrasts, and searches over treatment allocations with a Point Exchange on Networks (PEN) algorithm. Blocks may be externally specified or inferred by spectral clustering on the random-walk normalized Laplacian \(L_{rw}=I-D^{-1}A\), with the number of communities selected by modularity maximization [1902.01352]. The paper reports large efficiency losses and bias risk when network interference is ignored, especially for estimating spillovers.

In communications, “A Utility Proportional Fairness Radio Resource Block Allocation in Cellular Networks” gives perhaps the clearest non-statistical utility formulation [1406.2630]. The problem is to allocate integer-valued resource blocks \(r_i\in\mathbb N\) to \(M\) users so as to maximize
\[
\prod_{i=1}^{M} U_i(r_i)
\]
subject to \(\sum_i r_i\le R\), with sigmoidal utilities for real-time applications and logarithmic utilities for delay-tolerant traffic. The paper solves a continuous relaxation by dual decomposition and then applies floor/ceiling boundary mapping, reducing discrete search from \(O(n^M)\) to at most \(O(2^M)\) [1406.2630]. The block is the indivisible resource unit, and utility is application-level QoS encoded directly into \(U_i\).

At the systems level, “Workload-Aware Autotuning of Block Size in Square-Root Decomposition” turns block size into a runtime utility variable [2606.06145]. Starting from
\[
T(B)=\alpha\frac{n}{B}+\beta B,
\]
the paper argues that the textbook \(B=\sqrt n\) rule is asymptotically natural but not always fastest in implementation. It defines regret relative to the best candidate block size in a finite set, trains predictors on \(\log(\mathrm{median\_ns})\), and finds that a full-feature KNN-9 policy reduces mean regret from \(1.2882\) to \(1.0646\) and yields a paired geometric-mean speedup of \(1.151\times\) over fixed \(\sqrt n\) blocking [2606.06145]. A confidence gate using \(\Delta=\hat T_2-\hat T_1\) with threshold \(\tau=0.01\) keeps most of the gain while reducing slowdowns. Here the block is a contiguous algorithmic segment, and utility is runtime rather than inference or privacy.

## 7. Recurring principles, trade-offs, and limitations

Across these literatures, the recurring design move is to turn a block into the atomic action and then attach a utility metric to that action. The metric may be teleportation cost and future relocation utility defined by overlapping qubits [2605.21795], asymptotic minimax MSE under ULDP [2509.24173], exact or near-optimal privacy-utility trade-off under LDP [2305.01261], pseudo-Bayesian information volume [1811.02414], variance-based optimality criteria [1804.06663], lexicographic aberration [2506.07096], Price of Anarchy [2501.17385], or runtime regret [2606.06145]. The computational patterns are likewise recurrent: beam-search-like candidate retention in DQC [2605.21795], dual decomposition and boundary mapping in cellular RB allocation [1406.2630], linear programs over classwise utility parameters [2501.17385], exchange algorithms on networks [1902.01352], and combinatorial constructions from BIBDs, ordered designs, Latin squares, and MUBs [1902.04496], [1607.04546].

The trade-offs are consistently explicit. ATHENA’s search improves teleportations and latency but is much slower to compile [2605.21795]. ULDP uBD achieves the exact asymptotic optimum, but outside closed-form regimes the saddle point \((\alpha^*,t^*)\) is obtained numerically [2509.24173]. Exact LDP block designs can be sparse enough to motivate RPBD relaxations [2305.01261]. Resolution-based communication reduction preserves privacy utility, but the exact optimal privacy-utility-communication trade-off with shared randomness beyond resolution-based schemes remains open [2307.03962]. Copula-based robust blocked design is practically focused on blocks of size two [1811.02414]. In workload-aware tuning, short-prefix variants do not produce a successful low-overhead online tuner in the current prototype [2606.06145]. In incomplete-block causal inference, the theory provides estimators and variance formulas rather than a direct combinatorial optimizer [2405.19312].

This suggests that uBD is best understood as a family of block-structured optimization principles rather than a single universal method. What remains invariant is the pairing of three elements: an admissible block class, a domain-specific utility functional, and an optimization or certification mechanism showing why one block structure is preferable to another.

Source: https://www.emergentmind.com/topics/utility-optimized-block-design-ubd