Combinatorial designs have been studied for nearly 200 years. Fifty years ago, Cameron, Delsarte, and Ray-Chaudhury started investigating their q-analogs, also known as subspace designs or designs over finite fields. Designs can be defined analogously in finite classical polar spaces, too. The definition includes the m-regular systems from projective geometry as the special case where the blocks are generators of the polar space. The first nontrivial such designs for t > 1 were found by De Bruyn and Vanhove in 2012, and some more designs appeared recently in the PhD thesis of Lansdown. In this article, we investigate the theory of classical and subspace designs for applicability to designs in polar spaces, explicitly allowing arbitrary block dimensions. In this way, we obtain divisibility conditions on the parameters, derived and residual designs, intersection numbers and an analog of Fisher's inequality. We classify the parameters of symmetric designs. Furthermore, we conduct a computer search to construct designs of strength t=2, resulting in designs for more than 140 previously unknown parameter sets in various classical polar spaces over GF(2) and GF(3).
A spherical $t$-design is a finite subset $X$ of the unit sphere such that every polynomial of degree at most $t$ has the same average over $X$ as it does over the entire sphere. Determining the minimum possible size of spherical designs, especially in a fixed dimension as $t \to \infty$, has been an important research topic for several decades. This paper presents results on the complementary asymptotic regime, where $t$ is fixed and the dimension tends to infinity. The main results in this paper are (1) a construction of smaller spherical designs via an explicit connection to Gaussian designs and (2) the exact order of magnitude of minimal-size signed $t$-designs, which is significantly smaller than predicted by a typical degrees-of-freedom heuristic. We also establish a method to ``project'' spherical designs between dimensions, prove a variety of results on approximate designs, and construct new $t$-wise independent subsets of $\{1,2,\dots,q\}^d$ which may be of independent interest. To achieve these results, we combine techniques from algebra, geometry, probability, representation theory, and optimization.
We give some new explicit examples of putatively optimal projective spherical designs. i.e., ones for which there is numerical evidence that they are of minimal size. These form continuous families, and so have little apparent symmetry in general, which requires the introduction of new techniques for their construction. New examples of interest include an 11-point spherical (3, 3)-design for R 3 , and a 12-point spherical (2, 2)-design for R 4 given by four Mercedes-Benz frames that lie on equi-isoclinic planes. We also give results of an extensive numerical study to determine the nature of the real algebraic variety of optimal projective real spherical designs, and in particular when it is a single point (a unique design) or corresponds to an infinite family of designs.
Uniformly random unitaries, i.e. unitaries drawn from the Haar measure, have many useful properties, but cannot be implemented efficiently. This has motivated a long line of research into random unitaries that "look" sufficiently Haar random while also being efficient to implement. Two different notions of derandomisation have emerged: $t$-designs are random unitaries that information-theoretically reproduce the first $t$ moments of the Haar measure, and pseudorandom unitaries (PRUs) are random unitaries that are computationally indistinguishable from Haar random. In this work, we take a unified approach to constructing $t$-designs and PRUs. For this, we introduce and analyse the "$PFC$ ensemble", the product of a random computational basis permutation $P$, a random binary phase operator $F$, and a random Clifford unitary $C$. We show that this ensemble reproduces exponentially high moments of the Haar measure. We can then derandomise the $PFC$ ensemble to show the following: (1) Linear-depth $t$-designs. We give the first construction of a (diamond-error) approximate $t$-design with circuit depth linear in $t$. This follows from the $PFC$ ensemble by replacing the random phase and
We consider the problem of constructing optimal designs for model discrimination between competing regression models. Various new properties of optimal designs with respect to the popular $T$-optimality criterion are derived, which in many circumstances allow an explicit determination of $T$-optimal designs. It is also demonstrated, that in nested linear models the number of support points of $T$-optimal designs is usually too small to estimate all parameters in the extended model. In many cases $T$-optimal designs are usually not unique, and in this situation we give a characterization of all $T$-optimal designs. Finally, $T$-optimal designs are compared with optimal discriminating designs with respect to alternative criteria by means of a small simulation study.
Craigen introduced and studied signed group Hadamard matrices extensively and eventually provided an asymptotic existence result for Hadamard matrices. Following his lead, Ghaderpour introduced signed group orthogonal designs and showed an asymptotic existence result for orthogonal designs and consequently Hadamard matrices. In this paper, we construct some interesting families of orthogonal designs using signed group orthogonal designs to show the capability of signed group orthogonal designs in generation of different types of orthogonal designs.
A Metis design is one for which v=r+k+1. This paper deals with Metis designs that are quasi-residual. The parameters of such designs and the corresponding symmetric designs can be expressed by Fibonacci numbers. Although the question of existence seems intractable because of the size of the designs, the nonexistence of corresponding difference sets can be dealt with in a substantive way. We also recall some inequalities for the number of fixed points of an automorphism of a symmetric design and suggest possible connections to the designs that would be the symmetric extensions of Metis designs.
Several methods in survival analysis are based on the proportional hazards assumption. However, this assumption is very restrictive and often not justifiable in practice. Therefore, effect estimands that do not rely on the proportional hazards assumption are highly desirable in practical applications. One popular example for this is the restricted mean survival time (RMST). It is defined as the area under the survival curve up to a prespecified time point and, thus, summarizes the survival curve into a meaningful estimand. For two-sample comparisons based on the RMST, previous research found the inflation of the type I error of the asymptotic test for small samples and, therefore, a two-sample permutation test has already been developed. The first goal of the present paper is to further extend the permutation test for general factorial designs and general contrast hypotheses by considering a Wald-type test statistic and its asymptotic behavior. Additionally, a groupwise bootstrap approach is considered. Moreover, when a global test detects a significant difference by comparing the RMSTs of more than two groups, it is of interest which specific RMST differences cause the result. How
Device to device (D2D) communication is one of the most promising techniques for fifth-generation and beyond wireless communication systems. This paper considers coded caching in a wireless D2D network, in which a central server initially places the data in the user cache memories, and all user demands are served through inter-user coded multicast transmissions. D2D placement delivery array (DPDA) was proposed as a tool for designing coded caching schemes with reduced subpacketization levels in a D2D network. In this paper, we first constructed three classes of DPDAs using a cross resolvable design, a group divisible design, and a newly developed block design. The resulting D2D schemes achieve low subpacketization levels while meeting the known lower bound on the transmission load of a DPDA. These classes of constructed DPDAs either simplify or generalize all existing DPDA constructions that achieve the known lower bound and have low subpacketization levels. Furthermore, a new lower bound on the transmission load of a DPDA is proposed. Two new classes of DPDAs are then constructed using a cross resolvable design and a newly developed block design, respectively. These constructions
A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on which the maximum possible number of eigenfunctions have mean value zero. We then provide examples of such graphs and sets, which arise naturally in extremal combinatorics. We also show that sets which realize the isoperimetric constant of a graph make extremal graphical designs, and provide examples for them as well. We investigate the behavior of graphical designs under the operation of weak graph product. In addition, we present a family of extremal graphical designs for the hypercube graph.
Strong difference families are an interesting class of discrete structures which can be used to derive relative difference families. Relative difference families are closely related to $2$-designs, and have applications in constructions for many significant codes, such as optical orthogonal codes and optical orthogonal signature pattern codes. In this paper, with a careful use of cyclotomic conditions attached to strong difference families, we improve the lower bound on the asymptotic existence results of $(\mathbb{F}_{p}\times \mathbb{F}_{q},\mathbb{F}_{p}\times \{0\},k,λ)$-DFs for $k\in\{p,p+1\}$. We improve Buratti's existence results for $2$-$(13q,13,λ)$ designs and $2$-$(17q,17,λ)$ designs, and establish the existence of seven new $2$-$(v,k,λ)$ designs for $(v,k,λ)\in\{(694,7,2),(1576,8,1),(2025,9,1),(765,9,2),(1845,9,2),(459,9,4)$, $(783,9,4)\}$.
We solve the existence problem for $F$-designs for arbitrary $r$-uniform hypergraphs $F$. In particular, this shows that, given any $r$-uniform hypergraph $F$, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of any sufficiently large complete $r$-uniform hypergraph $G=K_n^{(r)}$ into edge-disjoint copies of $F$, which answers a question asked e.g. by Keevash. The graph case $r=2$ forms one of the cornerstones of design theory and was proved by Wilson in 1975. The case when $F$ is complete corresponds to the existence of block designs, a problem going back to the 19th century, which was first settled by Keevash. More generally, our results extend to $F$-designs of quasi-random hypergraphs $G$ and of hypergraphs $G$ of suitably large minimum degree. Our approach builds on results and methods we recently introduced in our new proof of the existence conjecture for block designs.
Bayesian optimality criteria provide a robust design strategy to parameter misspecification. We develop an approximate design theory for Bayesian $D$-optimality for non-linear regression models with covariates subject to measurement errors. Both maximum likelihood and least squares estimation are studied and explicit characterisations of the Bayesian $D$-optimal saturated designs for the Michaelis-Menten, Emax and exponential regression models are provided. Several data examples are considered for the case of no preference for specific parameter values, where Bayesian $D$-optimal saturated designs are calculated using the uniform prior and compared to several other designs, including the corresponding locally $D$-optimal designs, which are often used in practice.
We study security functions which can serve to establish semantic security for the two central problems of information-theoretic security: the wiretap channel, and privacy amplification for secret key generation. The security functions are functional forms of mosaics of combinatorial designs, more precisely, of group divisible designs and balanced incomplete block designs. Every member of a mosaic is associated with a unique color, and each color corresponds to a unique message or key value. Every block index of the mosaic corresponds to a public seed shared between the two trusted communicating parties. The seed set should be as small as possible. We give explicit examples which have an optimal or nearly optimal trade-off of seed length versus color (i.e., message or key) rate. We also derive bounds for the security performance of security functions given by functional forms of mosaics of designs.
We solve the existence problem for $F$-designs for arbitrary $r$-uniform hypergraphs~$F$. This implies that given any $r$-uniform hypergraph~$F$, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of any sufficiently large complete $r$-uniform hypergraph into edge-disjoint copies of~$F$, which answers a question asked e.g.~by Keevash. The graph case $r=2$ was proved by Wilson in 1975 and forms one of the cornerstones of design theory. The case when~$F$ 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
We give direct constructions for 233 group divisible designs with block size five, mostly of type $g^u m^1$, $m > 0$.
Let $Ψ(t,k)$ denote the set of pairs $(v,λ)$ for which there exists a graphical $t$-$(v,k,λ)$ design. Most results on graphical designs have gone to show the finiteness of $Ψ(t,k)$ when $t$ and $k$ satisfy certain conditions. The exact determination of $Ψ(t,k)$ for specified $t$ and $k$ is a hard problem and only $Ψ(2,3)$, $Ψ(2,4)$, $Ψ(3,4)$, $Ψ(4,5)$, and $Ψ(5,6)$ have been determined. In this paper, we determine completely the sets $Ψ(2,5)$ and $Ψ(3,5)$. As a result, we find more than 270000 inequivalent graphical designs, and more than 8000 new parameter sets for which there exists a graphical design. Prior to this, graphical designs are known for only 574 parameter sets.
This paper deals with block-transitive $t$-$(v,k,λ)$ designs in affine spaces for large $t$, with a focus on the important index $λ=1$ case. We prove that there are no non-trivial 5-$(v,k,1)$ designs admitting a block-transitive group of automorphisms that is of affine type. Moreover, we show that the corresponding non-existence result holds for 4-$(v,k,1)$ designs, except possibly when the group is one-dimensional affine. Our approach involves a consideration of the finite 2-homogeneous affine permutation groups.
This paper is about the construction of augmented row-column designs for unreplicated trials. The method uses the representation of a $k \times t$ equireplicate incomplete-block design with $t$ treatments in $t$ blocks of size $k$, termed an auxiliary block design, as a $t \times t$ square array design with $k$ controls, where $k<t$. This can be regarded as an extension of the representation of a Youden square as a partial latin square for unreplicated trials. Properties of the designs, in particular in relation to connectedness and randomization, are explored. Particular attention is given to square array designs which minimize the average variances of the estimates of paired comparisons between test lines and controls and between test-line and test-line effects. The use of equireplicate cyclic designs as auxiliary block designs is highlighted. These provide a flexible and workable family of augmented row-column square array designs. Designs whose auxiliary block designs are not cyclic are also covered.
As AI systems evolve from single agents to multi-agent architectures, a critical design dimension has been overlooked: how the social identity of individual agents shapes human behavior within the collaboration. This paper introduces the Agentic Social Affordance Framework (ASAF), a theoretical framework extending Social Affordance theory to multi-agent AI systems. We propose that agent identity design functions as a collaboration interface--structuring how users perceive and engage with each agent, and thereby influencing Human-Agent collaboration outcomes. ASAF adopts the analytical separability of the social affordance layer and the engineering orchestration layer as a framing assumption--an organizing distinction that structures design analysis--rather than a testable claim about effect-independence. ASAF comprises three mechanisms: Identity Signaling, Behavioral Priming, and Collaborative Governance, and specifies their boundary conditions through a four-tier Identity Signal Fidelity Spectrum and an individual-difference moderating variable (anthropomorphizing vs. instrumentalizing cognitive style). We situate ASAF relative to affordance theory (Hutchby, 2001), the CASA paradi