PopAlign: Population-Level Alignment for
Fair Text-to-Image Generation

Shufan Li, Harkanwar Singh, Aditya Grover
{jacklishufan,harkanwarsingh,adityag}@cs.ucla.edu
University of California, Los Angeles
Abstract

Text-to-image (T2I) models achieve high-fidelity generation through extensive training on large datasets. However, these models may unintentionally pick up undesirable biases of their training data, such as over-representation of particular identities in gender or ethnicity neutral prompts. Existing alignment methods such as Reinforcement Learning from Human Feedback (RLHF) and Direct Preference Optimization (DPO) fail to address this problem effectively because they operate on pairwise preferences consisting of individual samples, while the aforementioned biases can only be measured at a population level. For example, a single sample for the prompt “doctor" could be male or female, but a model generating predominantly male doctors even with repeated sampling reflects a gender bias. To address this limitation, we introduce PopAlign, a novel approach for population-level preference optimization, while standard optimization would prefer entire sets of samples over others. We further derive a stochastic lower bound that directly optimizes for individual samples from preferred populations over others for scalable training. Using human evaluation and standard image quality and bias metrics, we show that PopAlign significantly mitigates the bias of pretrained T2I models while largely preserving the generation quality. Code is available at https://github.com/jacklishufan/PopAlignSDXL.

1 Introduction

Modern image generative models, such as the Stable Diffusion [21, 29] and DALLE [20, 19, 14] model series, are trained on large datasets of billions of images scraped from the Internet. As a result, these models tend to strongly inherit various kinds of biases in their dataset. For example, in Figure 1(a), we can see that SDXL tends to generate predominantly male images for the prompt "doctor," amplifying underlying societal biases as these models make their ways into an increasing number of everyday products and applications. Several past works have documented such societal biases for foundation models at large [13, 2], yet mitigation efforts lag, especially for text-to-image generation.

In this work, we study a specific category of biases that are defined at a population level. That is, a single sample from a generative model is insufficient to assess whether the model exhibits a specific population bias. Prominent examples include biases of text-to-image generative models with respect to gender or ethnicity neutral prompts. For example, a single generated image sample for the prompt “doctor" could be male or female, but a model generating images of predominantly male doctors even with repeated sampling reflects a gender bias. This is in contrast with much of the AI safety and alignment work in recent times for large language models [5, 36], where the harmfulness in generations can be ascertained at the level of individual samples. For example, given the prompt "what is the gender of doctors?", even individual generated text responses should ideally not show a bias towards a specific gender.

Given any implicit population preference (e.g., equalizing image generations across genders for a gender-neutral prompt), there are two key challenges in aligning large-scale text-to-image generative models. First, many state-of-the-art models are trained on large-scale, possibly non-public datasets, making it prohibitively expensive for intermediate developers to retrain them for population alignment. Therefore, an ideal solution would build on existing models, be sample-efficient in acquiring additional supervision, and parameter-efficient for cost-effective alignment. Second, given the diverse range of concepts represented in modern generative models, population alignment on a specific dimension (e.g., gender) should not degrade visual quality for any kind of prompt. Given these criteria, we also note that prior works [3, 30, 31, 32] involving retraining small-scale generative models trained on narrow datasets (e.g., CelebA) with data re-sampling or class-balancing loss cannot be directly applied because in our setting, the pretraining data can be very large or unavailable, and visual quality is evaluated more broadly over a wider range of prompts.

Our primary contribution in this work is to define PopAlign, a preference alignment framework for mitigating population bias for text-to-image generative models. Standard preference alignment frameworks, such as reinforcement learning from human preferences (RLHF) [4, 15] and its reward-free extension direct preference optimization (DPO) [18], cannot be directly applied for mitigating population bias as they acquire either absolute ratings or pairwise preferences between individual samples. For image generation, this information is only helpful for improving visual quality or semantic adherence to prompts, as shown in recent works [33]. Building on the reinforcement learning from human preferences (RLHF) framework, we first propose to acquire multi-sample preferences over sets of samples, as proxies for population-level preferences. We reduce it to a corresponding reward-free, population-level DPO objective. Finally, we derive the PopAlign objective as a stochastic lower bound to this population-level DPO objective such that it permits tractable evaluation and maximization by decomposing multi-sample pairwise preferences into single-sample preferences after sampling from their respective populations.

Refer to caption
(a) SDXL
Refer to caption
(b) PopAlign 
Figure 1: Illustration of PopAlign, our proposed framework for mitigating the bias of pretrained T2I models using population-level alignment. Left: SDXL over-represents a particular identity as it picked up biases of the training data. Right: PopAlign mitigates the biases without compromising the quality of generated samples.
Refer to caption
(a) Sample-level preferences (RLHF/DPO)
Refer to caption
(b) Population-level preferences (PopAlign)
Figure 2: Difference between PopAlign and existing RLHF/DPO Methods. Left: Existing methods such as RLHF/DPO use pairwise preferences of individual samples to improve image quality. Right PopAlign uses population-level preferences to achieve better fairness and diversity.

To evaluate our model’s efficacy, we collect population-level preference data through a combination of human labelers and automatic pipelines based on attribute classifiers. Through standard image quality and bias metrics as well as extensive human evaluations, we show that PopAlign significantly mitigates bias in pretrained text-to-image models without notably impacting the quality of generation. Compared with a base SDXL model, PopAlign reduces the gender and race discrepancy metric of the pretrained SDXL by (-0.233), and (-0.408) respectively, while maintaining comparable image quality.

2 Related Works

2.1 Diversity and fairness in image generation

Diversity and fairness are active areas of research in image generation. However, these terminologies often refer to distinct concepts in past works. The word diversity is used to refer broadly to the coverage of concepts in the training distribution. Accordingly, many techniques exist to improve diversity. For example, in current diffusion models, we can tune the guidance [6, 9] as a knob for trading off diversity with image quality. However, these works as well as recent extensions (e.g., [10], [22]) focus on diversity as a generic term, and not diversity of specific attributes that have fairness and equity implications such as race and gender. For examples, for the prompt "doctor", a set of images of white male doctors with varying hairstyles, camera angles, lighting conditions, backgrounds can be considered as more "diverse" than generating a single image of a middle-aged doctor with the same pose and background. While indeed diverse along one axis, this notion does not capture "fair" representation of identities, which is the focus of this work.

Another line of related works focus on "fairness", which measures whether generative samples matches a desired distribution over a specific sets sensitive attributes such as gender and race. We discuss some representative works Early approaches that reweigh the importance of samples in a biased training dataset to improve fairness [3]. FairGen [30] improve the fairness of a pretrained Generative adversarial network (GAN) by shifting its latent distribution using Gaussian mixure models. FairTL [31] improves the fairness of GAN by fine-tuning a discriminator on a small unbiased dataset. Um and Suh [32] employs LC-divergence to improve the fairness of GAN, which better captures the distance between real and generated in small training datasets. Despite their successes, these methods are tested on small datasets such as CelebA [12]. They are not applicable to T2I diffusion models pretrained on large-scale datasets either because of GAN specific designs or requires re-training using the pretrained data. Most recently, FairDiffsuion attempts to mitigate the bias of diffusion model at deployment time by maintaining a lookup table of known biases (e.g. "prompt doctor is biased towards male"), and injecting image-editing prompts at inference time. By contrast, our method address the problem at model release. It is also more flexible and does require maintaining a lookup table of known biases.

2.2 Aligning generative models with human preferences

A growing line of recent work considers the alignment of the outputs of large language models (LLMs) to improve their safety and helpfulness by directly querying humans (or other AI models) to rank or rate model outputs to create a preference dataset. The most basic approach is reinforcement learning with human preferences (RLHF) [4], which trains a reward model on this preference data and then employs reinforcement learning to maximize the expected rewards. The RL step typically make use of proximal policy optimization (PPO) [24] to prevent the model from diverging too much from the pretrained model. DPO [18] simplified this process by converting the RL objective to a supervised-finetuning-style objective, eliminating the need to first fit a reword model. Recently, various works [33, 35] extended DPO to text-to-image diffusion models. These works mostly focus on improving the quality of generated images, with little emphasis on fairness and safety.

3 Background

3.1 Reinforcement Learning with Human Feedback

Reinforcement Learning with Human feedback (RLHF) aims to fine-tune a generative model to better align its outputs with human preferences. Following the collection of a dataset of human preferences, RLHF is typically a two-stage training process. In the first stage, a reward model is fitted on collected pairwise preferences using the Bradley-Terry (BT) model [1] with the following cost function:

r(r,𝒟))=𝔼c,xw,xl𝒟[logσ(r(xw,c)r(xl,c))]\mathcal{L}_{r}(r,\mathcal{D}))=-\mathbb{E}_{c,x^{w},x^{l}\sim\mathcal{D}}[% \text{log}\sigma(r(x_{w},c)-r(x_{l},c))]caligraphic_L start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_r , caligraphic_D ) ) = - blackboard_E start_POSTSUBSCRIPT italic_c , italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D end_POSTSUBSCRIPT [ log italic_σ ( italic_r ( italic_x start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT , italic_c ) - italic_r ( italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_c ) ) ] (1)

where r𝑟ritalic_r is a reward model parameterized by a neural network, xwsubscript𝑥𝑤x_{w}italic_x start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT and xlsubscript𝑥𝑙x_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT are "winning" and "losing" samples in a pair, and c𝑐citalic_c is the input prompt. In the second stage, the generative model πθsubscript𝜋𝜃\pi_{\theta}italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT is fine-tuned to maximize the expected reward of generated samples using Proximal Policy Optimization (PPO), while ensuring πθsubscript𝜋𝜃\pi_{\theta}italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT do not change too much from the initialization point πrefsubscript𝜋ref\pi_{\text{ref}}italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT. This is achieved by incorporating a KL-term as a divergence penalty in the following objective:

max πθ𝔼c𝒟,xπθ(x|c)[r(x,c)]β𝔻KL[πθ(x|c)||πref(x|c)]\underset{\pi_{\theta}}{\text{max }}\mathbb{E}_{c\sim\mathcal{D},x\sim\pi_{% \theta}(x|c)}[r(x,c)]-\beta\mathbb{D}_{\text{KL}}[\pi_{\theta}(x|c)||\pi_{% \text{ref}}(x|c)]start_UNDERACCENT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_UNDERACCENT start_ARG max end_ARG blackboard_E start_POSTSUBSCRIPT italic_c ∼ caligraphic_D , italic_x ∼ italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x | italic_c ) end_POSTSUBSCRIPT [ italic_r ( italic_x , italic_c ) ] - italic_β blackboard_D start_POSTSUBSCRIPT KL end_POSTSUBSCRIPT [ italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x | italic_c ) | | italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x | italic_c ) ] (2)

where β𝛽\betaitalic_β is a hyper-parameter controlling the strength of divergence penalty.

3.2 Direct Preference Optimization

One major challenge in training the model with RLHF is that the two stage training process can be unstable and computationally inefficient. Direct Preference Optimization (DPO) address this by [18] converting the RLHF formulation to a supervised objective without an explicit reward model:

max πθ𝔼xw,xl,c𝒟[logσ(βlogπθ(xw|c)πref(xw|c)βlogπθ(xl|c)πref(xl|c))]subscript𝜋𝜃max subscript𝔼similar-tosuperscript𝑥𝑤superscript𝑥𝑙𝑐𝒟delimited-[]𝜎𝛽subscript𝜋𝜃conditionalsuperscript𝑥𝑤𝑐subscript𝜋refconditionalsuperscript𝑥𝑤𝑐𝛽subscript𝜋𝜃conditionalsuperscript𝑥𝑙𝑐subscript𝜋refconditionalsuperscript𝑥𝑙𝑐\underset{\pi_{\theta}}{\text{max }}\mathbb{E}_{x^{w},x^{l},c\sim\mathcal{D}}[% \log\sigma(\beta\log\frac{\pi_{\theta}(x^{w}|c)}{\pi_{\text{ref}}(x^{w}|c)}-% \beta\log\frac{\pi_{\theta}(x^{l}|c)}{\pi_{\text{ref}}(x^{l}|c)})]start_UNDERACCENT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_UNDERACCENT start_ARG max end_ARG blackboard_E start_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT , italic_c ∼ caligraphic_D end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT | italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT | italic_c ) end_ARG - italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT | italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT | italic_c ) end_ARG ) ] (3)

In this setup, an implicit reward model r(x,c)=βlogπ(x|c)πref(x|c)+βlogZ(c)r(x,c)=\beta\log\frac{\pi_{(}x|c)}{\pi_{\text{ref}}(x|c)}+\beta\log Z(c)italic_r ( italic_x , italic_c ) = italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT ( end_POSTSUBSCRIPT italic_x | italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x | italic_c ) end_ARG + italic_β roman_log italic_Z ( italic_c ) is used, where Z(c)𝑍𝑐Z(c)italic_Z ( italic_c ) is the partition function.

3.3 Diffusion models

Denoising Diffusion Probabilistic Models (DDPM) [8] use a Markov chain to model the image generation process starting from i.i.d white noises. The forward diffusion process p(xt+1|xt)𝑝conditionalsubscript𝑥𝑡1subscript𝑥𝑡p(x_{t+1}|x_{t})italic_p ( italic_x start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) gradually adds noise to an image xtsubscript𝑥𝑡x_{t}italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT at timestamp t𝑡titalic_t according to a noise schedule, until it converts the initial noise-free image x0subscript𝑥0x_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT to i.i.d. Gaussian noise xTsubscript𝑥𝑇x_{T}italic_x start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT. A generative diffusion model can be trained to fit the reverse process qθ(xt1|xt)subscript𝑞𝜃conditionalsubscript𝑥𝑡1subscript𝑥𝑡q_{\theta}(x_{t-1}|x_{t})italic_q start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) using the evidence lower bound (ELBO) objective:

DDPM=𝔼x0,t,ϵ[λ(t)ϵtϵθ(xt,t)2]subscriptDDPMsubscript𝔼subscript𝑥0𝑡italic-ϵdelimited-[]𝜆𝑡superscriptdelimited-∥∥subscriptitalic-ϵ𝑡subscriptitalic-ϵ𝜃subscript𝑥𝑡𝑡2\mathcal{L_{\text{DDPM}}}=\mathbb{E}_{x_{0},t,\epsilon}[\lambda(t)\lVert% \epsilon_{t}-\epsilon_{\theta}(x_{t},t)\rVert^{2}]caligraphic_L start_POSTSUBSCRIPT DDPM end_POSTSUBSCRIPT = blackboard_E start_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_t , italic_ϵ end_POSTSUBSCRIPT [ italic_λ ( italic_t ) ∥ italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_ϵ start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_t ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] (4)

where λ(t)𝜆𝑡\lambda(t)italic_λ ( italic_t ) is a time-dependent weighting function dependent on the noise schedule, ϵtsubscriptitalic-ϵ𝑡\epsilon_{t}italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is the added noise at time stamp t𝑡titalic_t, and ϵθsubscriptitalic-ϵ𝜃\epsilon_{\theta}italic_ϵ start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT is the diffusion model parameterized by θ𝜃\thetaitalic_θ. In the sampling process, we start at i.i.d Gaussian noise xTsubscript𝑥𝑇x_{T}italic_x start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT and gradually remove the noise, until reaching the final image x0subscript𝑥0x_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT.

3.4 Diffusion-DPO

The DPO framework can also be extended to diffusion models. A key challenge in applying the DPO objective in Eq. 3 to diffusion models is that the conditional probability π(x0|c)𝜋conditionalsubscript𝑥0𝑐\pi(x_{0}|c)italic_π ( italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | italic_c ) can only be computed by marginalizing over all possible sampling trajectories x0:Tsubscript𝑥:0𝑇x_{0:T}italic_x start_POSTSUBSCRIPT 0 : italic_T end_POSTSUBSCRIPT, which is infeasible. Diffusion-DPO [33] resolve this by defining a reward model dependent on a specific chain x0:Tsubscript𝑥:0𝑇x_{0:T}italic_x start_POSTSUBSCRIPT 0 : italic_T end_POSTSUBSCRIPT, rather than depending on the final sample x0subscript𝑥0x_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT only. This leads to the following objective

maxπθ𝔼(x0w,x0l)𝒟logσ(β𝔼x1:Twpθ(x1:Tw|x0w)x1:Tlpθ(x1:Tl|x0l)[logpθ(x0:Tw)pref(x0:Tw)logpθ(x0:Tl)pref(x0:Tl)]).subscriptsubscript𝜋𝜃subscript𝔼similar-tosubscriptsuperscript𝑥𝑤0subscriptsuperscript𝑥𝑙0𝒟𝜎𝛽subscript𝔼similar-tosubscriptsuperscript𝑥𝑤:1𝑇subscript𝑝𝜃conditionalsubscriptsuperscript𝑥𝑤:1𝑇subscriptsuperscript𝑥𝑤0subscriptsuperscript𝑥𝑙:1𝑇similar-tosubscript𝑝𝜃conditionalsubscriptsuperscript𝑥𝑙:1𝑇subscriptsuperscript𝑥𝑙0delimited-[]subscript𝑝𝜃subscriptsuperscript𝑥𝑤:0𝑇subscript𝑝refsubscriptsuperscript𝑥𝑤:0𝑇subscript𝑝𝜃subscriptsuperscript𝑥𝑙:0𝑇subscript𝑝refsubscriptsuperscript𝑥𝑙:0𝑇\max_{\pi_{\theta}}\mathbb{E}_{(x^{w}_{0},x^{l}_{0})\sim\mathcal{D}}\log\!% \sigma\!\biggl{(}\beta{\mathbb{E}}_{{\begin{subarray}{c}x^{w}_{1:T}\sim p_{% \theta}(x^{w}_{1:T}|x^{w}_{0})x^{l}_{1:T}\sim p_{\theta}(x^{l}_{1:T}|x^{l}_{0}% )\end{subarray}}}\left[\log\!\frac{p_{\theta}(x^{w}_{0:T})}{p_{\text{ref}}(x^{% w}_{0:T})}\!-\!\log\!\frac{p_{\theta}(x^{l}_{0:T})}{p_{\text{ref}}(x^{l}_{0:T}% )}\right]\biggr{)}.roman_max start_POSTSUBSCRIPT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_POSTSUBSCRIPT blackboard_E start_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ∼ caligraphic_D end_POSTSUBSCRIPT roman_log italic_σ ( italic_β blackboard_E start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_T end_POSTSUBSCRIPT ∼ italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_T end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_T end_POSTSUBSCRIPT ∼ italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_T end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_CELL end_ROW end_ARG end_POSTSUBSCRIPT [ roman_log divide start_ARG italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 : italic_T end_POSTSUBSCRIPT ) end_ARG start_ARG italic_p start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 : italic_T end_POSTSUBSCRIPT ) end_ARG - roman_log divide start_ARG italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 : italic_T end_POSTSUBSCRIPT ) end_ARG start_ARG italic_p start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 : italic_T end_POSTSUBSCRIPT ) end_ARG ] ) . (5)

Using Jensen’s inequality, Diffusion-DPO [33] derived and optimized a tractable lower bound:

maxπθ𝔼(x0w,x0l)𝒟,t𝒰(0,T)logσ(βTlogpθ(xt1w|xtw)pref(xt1w|xtw)βTlogpθ(xt1l|xtl)pref(xt1l|xtl)).subscriptsubscript𝜋𝜃subscript𝔼formulae-sequencesimilar-tosubscriptsuperscript𝑥𝑤0subscriptsuperscript𝑥𝑙0𝒟similar-to𝑡𝒰0𝑇𝜎𝛽𝑇subscript𝑝𝜃conditionalsubscriptsuperscript𝑥𝑤𝑡1subscriptsuperscript𝑥𝑤𝑡subscript𝑝refconditionalsubscriptsuperscript𝑥𝑤𝑡1subscriptsuperscript𝑥𝑤𝑡𝛽𝑇subscript𝑝𝜃conditionalsubscriptsuperscript𝑥𝑙𝑡1subscriptsuperscript𝑥𝑙𝑡subscript𝑝refconditionalsubscriptsuperscript𝑥𝑙𝑡1subscriptsuperscript𝑥𝑙𝑡\max_{\pi_{\theta}}\mathbb{E}_{\begin{subarray}{c}{(x^{w}_{0},x^{l}_{0})\sim% \mathcal{D}},t\sim\mathcal{U}(0,T)\end{subarray}}\log\sigma\left(\beta T\log\!% \frac{p_{\theta}(x^{w}_{t-1}|x^{w}_{t})}{p_{\text{ref}}(x^{w}_{t-1}|x^{w}_{t})% }\!-\!\beta T\log\!\frac{p_{\theta}(x^{l}_{t-1}|x^{l}_{t})}{p_{\text{ref}}(x^{% l}_{t-1}|x^{l}_{t})}\right).roman_max start_POSTSUBSCRIPT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_POSTSUBSCRIPT blackboard_E start_POSTSUBSCRIPT start_ARG start_ROW start_CELL ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ∼ caligraphic_D , italic_t ∼ caligraphic_U ( 0 , italic_T ) end_CELL end_ROW end_ARG end_POSTSUBSCRIPT roman_log italic_σ ( italic_β italic_T roman_log divide start_ARG italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) end_ARG start_ARG italic_p start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) end_ARG - italic_β italic_T roman_log divide start_ARG italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) end_ARG start_ARG italic_p start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) end_ARG ) . (6)

Eq. 6 allows efficient training without sampling through the whole reverse process for each update.

4 Method

Consider a pretrained text-to-image model πθsubscript𝜋𝜃\pi_{\theta}italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT that is biased w.r.t. one or more population-level traits. Our goal in population-level alignment is to fine-tune PopAlign without acquiring any additional real images. To do so, we assume access to a source of preferences (e.g., via humans) over the model’s output generations.

4.1 Population-Level Preference Acquisition

Typically, alignment data for RLHF/DPO is created by generating multiple samples using the same prompt and asking humans to rank the results. Since the goal of PopAlign is to mitigate the population-level bias, we need to generate two or more sets of images for the same prompt. However, naive sampling of sets does not work due to the high degree of bias within current T2I models for identity-neutral prompts. For example, we observe that among 100 images generated from the prompt "doctor", only 6 are female doctors. In the extreme case, when prompted with the prompt "engineer", the model generates no images of female engineers amongst 100 samples. This makes generating a set of near-fair samples nearly impossible using this naive method.

To address this challenge, we use an approximated process where we directly augment a gender-neutral prompt such as "engineering" to a diverse set of identity-specific prompts such as "Asian male engineer" and "female engineer", and use images sampled from these augmented prompts as the winning set, and images sampled directly from the gender-neutral prompt as the losing set. As a sanity check, for each pair of sets, we use a classifier in combination with a face detector to determine if the sampled images are indeed consistent with the prompts. We drop pairs that are incorrect or ambiguous and fails this check. For example, we found that many images generated with the prompt "astronaut" contains a person with helmet on, making it impossible to determine the gender or ethnicity. These samples fail the detector and are dropped from the preference dataset.

4.2 Population-Level Alignment from Human Preferences

Given a prompt c𝑐citalic_c and two sets of generated images X0,X1subscript𝑋0subscript𝑋1X_{0},X_{1}italic_X start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT where |X0|=|X1|=Nsubscript𝑋0subscript𝑋1𝑁|X_{0}|=|X_{1}|=N| italic_X start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | = | italic_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | = italic_N, The Bradley-Terry (BT) model [1] for human preference is p(X0X1|c)=σ(r(X0,c)r(X1,c))superscript𝑝succeedssubscript𝑋0conditionalsubscript𝑋1𝑐𝜎𝑟subscript𝑋0𝑐𝑟subscript𝑋1𝑐p^{*}(X_{0}\succ X_{1}|c)=\sigma(r(X_{0},c)-r(X_{1},c))italic_p start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_X start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≻ italic_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_c ) = italic_σ ( italic_r ( italic_X start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_c ) - italic_r ( italic_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_c ) ), where r(X,c)𝑟𝑋𝑐r(X,c)italic_r ( italic_X , italic_c ) is a real-valued reward function dependent on the prompt and the set of generated images.

In the RLHF setup [15], r(X,c)𝑟𝑋𝑐r(X,c)italic_r ( italic_X , italic_c ) is modeled by a neural network ϕitalic-ϕ\phiitalic_ϕ trained on a dataset 𝒟𝒟\mathcal{D}caligraphic_D with pairs of winning samples and losing samples (Xw,Xl,c)superscript𝑋𝑤superscript𝑋𝑙𝑐(X^{w},X^{l},c)( italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT , italic_c ) by optimizing the following objective function:

r(rϕ,𝒟))=𝔼c,Xw,Xl𝒟[logσ(r(Xw,c)r(Xl,c))].\mathcal{L}_{r}(r_{\phi},\mathcal{D}))=-\mathbb{E}_{c,X^{w},X^{l}\sim\mathcal{% D}}[\text{log}\sigma(r(X_{w},c)-r(X_{l},c))].caligraphic_L start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT , caligraphic_D ) ) = - blackboard_E start_POSTSUBSCRIPT italic_c , italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D end_POSTSUBSCRIPT [ log italic_σ ( italic_r ( italic_X start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT , italic_c ) - italic_r ( italic_X start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_c ) ) ] . (7)

Once the reward model is trained, we can optimize a generative model πθsubscript𝜋𝜃\pi_{\theta}italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT using the PPO objective:

max πθ𝔼c𝒟,x1,..xNπθ(x|c)[r({x1,..xN},c)]β𝔻KL[πθ(X|c)||πref(X|c)]\underset{\pi_{\theta}}{\text{max }}\mathbb{E}_{c\sim\mathcal{D},x_{1},..x_{N}% \sim\pi_{\theta}(x|c)}[r(\{x_{1},..x_{N}\},c)]-\beta\mathbb{D}_{\text{KL}}[\pi% _{\theta}(X|c)||\pi_{\text{ref}}(X|c)]start_UNDERACCENT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_UNDERACCENT start_ARG max end_ARG blackboard_E start_POSTSUBSCRIPT italic_c ∼ caligraphic_D , italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , . . italic_x start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ∼ italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x | italic_c ) end_POSTSUBSCRIPT [ italic_r ( { italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , . . italic_x start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT } , italic_c ) ] - italic_β blackboard_D start_POSTSUBSCRIPT KL end_POSTSUBSCRIPT [ italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_X | italic_c ) | | italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_X | italic_c ) ] (8)

where X=x1,..xNX={x_{1},..x_{N}}italic_X = italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , . . italic_x start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is a population of generated samples and πrefsubscript𝜋ref\pi_{\text{ref}}italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT is a reference distribution. Typically, πrefsubscript𝜋ref\pi_{\text{ref}}italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT is a pretrained model and πθsubscript𝜋𝜃\pi_{\theta}italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT is initialized with πrefsubscript𝜋ref\pi_{\text{ref}}italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT. Further, using an analogous derivation as DPO [18], we know that the optimal solution of Eq. 8, say πθsuperscriptsubscript𝜋𝜃\pi_{\theta}^{*}italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT satisfies the condition r(X,c)=βlogπθ(X|c)πref(X|c)+βlogZ(c)superscript𝑟𝑋𝑐𝛽superscriptsubscript𝜋𝜃conditional𝑋𝑐subscript𝜋refconditional𝑋𝑐𝛽𝑍𝑐r^{*}(X,c)=\beta\log\frac{\pi_{\theta}^{*}(X|c)}{\pi_{\text{ref}}(X|c)}+\beta% \log Z(c)italic_r start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_X , italic_c ) = italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_X | italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_X | italic_c ) end_ARG + italic_β roman_log italic_Z ( italic_c ), where Z(c) is the partition function. Combining this with Eq. 7, we obtain an equivalent objective:

max πθ𝔼c,Xw,Xl𝒟[logσ(βlogπθ(Xw|c)πref(Xw|c)βlogπθ(Xl|c)πref(Xl|c))].subscript𝜋𝜃max subscript𝔼similar-to𝑐superscript𝑋𝑤superscript𝑋𝑙𝒟delimited-[]𝜎𝛽subscript𝜋𝜃conditionalsuperscript𝑋𝑤𝑐subscript𝜋refconditionalsuperscript𝑋𝑤𝑐𝛽subscript𝜋𝜃conditionalsuperscript𝑋𝑙𝑐subscript𝜋refconditionalsuperscript𝑋𝑙𝑐\underset{\pi_{\theta}}{\text{max }}\mathbb{E}_{c,X^{w},X^{l}\sim\mathcal{D}}[% \log\sigma(\beta\log\frac{\pi_{\theta}(X^{w}|c)}{\pi_{\text{ref}}(X^{w}|c)}-% \beta\log\frac{\pi_{\theta}(X^{l}|c)}{\pi_{\text{ref}}(X^{l}|c)})].start_UNDERACCENT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_UNDERACCENT start_ARG max end_ARG blackboard_E start_POSTSUBSCRIPT italic_c , italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT | italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT | italic_c ) end_ARG - italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT | italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT | italic_c ) end_ARG ) ] . (9)

Using this objective, we can directly optimize πθsubscript𝜋𝜃\pi_{\theta}italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT without explicitly training a reward model.

4.3 Population Level Alignment of Text-to-Image Diffusion Models

In the context of text-to-image diffusion models, the winning and losing population Xw,Xlsuperscript𝑋𝑤superscript𝑋𝑙X^{w},X^{l}italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT each consists of N𝑁Nitalic_N images generated independently through the diffusion process {xw,i}i=1,2..N,{xl,i}i=1,2..N\{x^{w,i}\}_{i=1,2..N},\{x^{l,i}\}_{i=1,2..N}{ italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT } start_POSTSUBSCRIPT italic_i = 1 , 2 . . italic_N end_POSTSUBSCRIPT , { italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT } start_POSTSUBSCRIPT italic_i = 1 , 2 . . italic_N end_POSTSUBSCRIPT. Hence, we can rewrite Eq. 9 as:

max πθ𝔼c,Xw,Xl𝒟[logσ(βlogi=1Nπθ(xw,i|c)i=1Nπref(xw,i|c)βlogi=1Nπθ(xl,i|c)i=1Nπref(xl,i|c))].subscript𝜋𝜃max subscript𝔼similar-to𝑐superscript𝑋𝑤superscript𝑋𝑙𝒟delimited-[]𝜎𝛽superscriptsubscriptproduct𝑖1𝑁subscript𝜋𝜃conditionalsuperscript𝑥𝑤𝑖𝑐superscriptsubscriptproduct𝑖1𝑁subscript𝜋refconditionalsuperscript𝑥𝑤𝑖𝑐𝛽superscriptsubscriptproduct𝑖1𝑁subscript𝜋𝜃conditionalsuperscript𝑥𝑙𝑖𝑐superscriptsubscriptproduct𝑖1𝑁subscript𝜋refconditionalsuperscript𝑥𝑙𝑖𝑐\underset{\pi_{\theta}}{\text{max }}\mathbb{E}_{c,X^{w},X^{l}\sim\mathcal{D}}[% \log\sigma(\beta\log\frac{\prod_{i=1}^{N}\pi_{\theta}(x^{w,i}|c)}{\prod_{i=1}^% {N}\pi_{\text{ref}}(x^{w,i}|c)}-\beta\log\frac{\prod_{i=1}^{N}\pi_{\theta}(x^{% l,i}|c)}{\prod_{i=1}^{N}\pi_{\text{ref}}(x^{l,i}|c)})].start_UNDERACCENT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_UNDERACCENT start_ARG max end_ARG blackboard_E start_POSTSUBSCRIPT italic_c , italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β roman_log divide start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT | italic_c ) end_ARG start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT | italic_c ) end_ARG - italic_β roman_log divide start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT | italic_c ) end_ARG start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT | italic_c ) end_ARG ) ] . (10)

Naively using this objective can be computationally expensive, because it requires computing the distribution of all samples in the set at the same time. However, we can further establish a lower bound of this objective by applying Jensen’s inequality on the concave function logσ(x)𝜎𝑥\log\sigma(x)roman_log italic_σ ( italic_x ):

max πθ𝔼c,xX,X𝒟,tUni({1,2..T}),iUni({1,2..N})[logσ(γXβlogπθ(xt1|xt,c)πref(xt1|xt,c)γXβμ)]\underset{\pi_{\theta}}{\text{max }}\mathbb{E}_{c,x\sim X,X\sim\mathcal{D},t% \sim\text{Uni}(\{1,2..T\}),i\sim\text{Uni}(\{1,2..N\})}[\log\sigma(\gamma_{X}% \beta^{\prime}\log\frac{\pi_{\theta}(x_{t-1}|x_{t},c)}{\pi_{\text{ref}}(x_{t-1% }|x_{t},c)}-\gamma_{X}\beta^{\prime}\mu)]start_UNDERACCENT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_UNDERACCENT start_ARG max end_ARG blackboard_E start_POSTSUBSCRIPT italic_c , italic_x ∼ italic_X , italic_X ∼ caligraphic_D , italic_t ∼ Uni ( { 1 , 2 . . italic_T } ) , italic_i ∼ Uni ( { 1 , 2 . . italic_N } ) end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_γ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG - italic_γ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_μ ) ] (11)

where Uni()Uni\text{Uni}()Uni ( ) denotes the uniform distribution, γXsubscript𝛾𝑋\gamma_{X}italic_γ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT is an indicator with value +1 when X𝑋Xitalic_X is a winning population and -1 when X𝑋Xitalic_X is a losing population, ββproportional-tosuperscript𝛽𝛽\beta^{\prime}\propto\betaitalic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∝ italic_β is a constant, μ𝜇\muitalic_μ is a normalizer, xtsubscript𝑥𝑡x_{t}italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT are sampled from a diffusion process. We provide a full proof of the derivation in Appendix C. This formulation allows us to train the model effectively without computing the whole diffusion process at each step. Empirically, we set μ=𝔼[logπθ(xt1|xt,c)πref(xt1|xt,c)]𝜇𝔼delimited-[]subscript𝜋𝜃conditionalsubscript𝑥𝑡1subscript𝑥𝑡𝑐subscript𝜋refconditionalsubscript𝑥𝑡1subscript𝑥𝑡𝑐\mu=\mathbb{E}[\log\frac{\pi_{\theta}(x_{t-1}|x_{t},c)}{\pi_{\text{ref}}(x_{t-% 1}|x_{t},c)}]italic_μ = blackboard_E [ roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG ] estimated through batch statistics.

5 Synthetic Evaluation

To verify the behavior of our objective, we first conduct experiments on 1D mixture of Gaussians. In this simple setup, the reference distribution contains three Gaussians G1, G2, and G3, with a high skew between G1 and G3. G1, G3 is analogous to a pair of biased attributes such as "male", "female" where G3 is under-represented. G2 is analogous to an unrelated distribution, such as "trees" or "buildings". We collect 1000 samples to create a population-level preference dataset. The preference dataset do not contain samples from G2, just as our preference data do not contain non-human prompts.

We use Eq. 12 to represent Pθsubscript𝑃𝜃P_{\theta}italic_P start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT. We initialize two models with PRefsubscript𝑃RefP_{\text{Ref}}italic_P start_POSTSUBSCRIPT Ref end_POSTSUBSCRIPT(wRefsubscript𝑤Refw_{\text{Ref}}italic_w start_POSTSUBSCRIPT Ref end_POSTSUBSCRIPT = softmax(1, 0, -1) , μRefsubscript𝜇Ref\mu_{\text{Ref}}italic_μ start_POSTSUBSCRIPT Ref end_POSTSUBSCRIPT = (-7.0,0.0, 7.0), σRefsubscript𝜎Ref\sigma_{\text{Ref}}italic_σ start_POSTSUBSCRIPT Ref end_POSTSUBSCRIPT = (1.0,1.0,1.0)) . We apply PopAlign (with β𝛽\betaitalic_β=0.5) and SFT loss to the models respectively and train the model until convergence.

Pθ=i=13wi𝒩(x;μi,σi2) s.t.i=13wi=1,θ={wi,μi,σi2i=1,2,3}formulae-sequencesubscript𝑃𝜃superscriptsubscript𝑖13subscript𝑤𝑖𝒩𝑥subscript𝜇𝑖superscriptsubscript𝜎𝑖2 s.t.formulae-sequencesuperscriptsubscript𝑖13subscript𝑤𝑖1𝜃conditional-setsubscript𝑤𝑖subscript𝜇𝑖superscriptsubscript𝜎𝑖2𝑖123P_{\theta}=\sum_{i=1}^{3}w_{i}\cdot\mathcal{N}(x;\mu_{i},\sigma_{i}^{2})\\ \text{ s.t.}\quad\sum_{i=1}^{3}w_{i}=1,\quad\theta=\{w_{i},\mu_{i},\sigma_{i}^% {2}\mid i=1,2,3\}italic_P start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ caligraphic_N ( italic_x ; italic_μ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) s.t. ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 1 , italic_θ = { italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_μ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∣ italic_i = 1 , 2 , 3 } (12)

We show results in Fig. 3 we observe that PopAlign is able to mitigate the biases between G1,G3, while maintaining the distribution of G2. While SFT also balanced on G1,G3, it’s support collapses on G2. These results are a simple illustration PopAlign’s ability to mitigate the bias while maintaining the generative capability of the model gained from the pretraining data.

Refer to caption
(a) PopAlign
Refer to caption
(b) Supervised Fine Tuning (SFT)
Figure 3: Effect of PopAlign and SFT on a skewed 1-d distribution Left: PopAlign effectively balance the skewed distribution. Right: Supervised Fine-Tuning (SFT) result in collapse of the Gaussian not in preference data

6 Experiments

We conducted experiments with SDXL [16], a state-of-the-art T2I as the base model. We consider two aspects of biases: gender and race.

6.1 Training Details

We use ChatGPT to generate 300 identity-neutral prompts involving no specific gender or race, such as "a botanist cataloging plant species in a dense forest" and "a biochemist examining cellular structures, in a high-tech lab". We augment the prompt with gender and race keywords as described in Sec. 4.1. In particular, we consider gender keywords "male" and "female" and race keywords "white","Asian","black","Latino Hispanic","Indian","middle eastern" as specified by the classifier. It should be noted that this list is not an exhaustive representation of all possible identities. However, our method can easily be generalized to incorporate other diversities with appropriate prompts. We generate 100 images for each identity-neutral prompts and 10 images for each identity-specific prompts. Afterwards, we obtain set-level preference data as described in Sec. 4.1. While images can be generated by either identity-neutral or identity-specific prompts in our pipeline, we use the identity-neutral prompt as the caption label in the training data.

We train our models using 4 Nvidia A5000 GPUs for 750 iterations. We use a per-GPU batch size of 2. We employ AdamW optimizer with a learning rate of 5e-07 for 750 iterations.

6.2 Evaluation Metrics

For fairness, we use the fairness discrepancy metric f𝑓fitalic_f proposed by earlier works [3], which measures fairness on sensitive attribute u𝑢uitalic_u over individual image samples x𝑥xitalic_x as

f(pref,pθ)=𝔼pref[p(u|x)]𝔼pθ[p(u|x)]2𝑓subscript𝑝refsubscript𝑝𝜃subscriptdelimited-∥∥subscript𝔼subscript𝑝refdelimited-[]𝑝conditional𝑢𝑥subscript𝔼subscript𝑝𝜃delimited-[]𝑝conditional𝑢𝑥2f(p_{\text{ref}},p_{\theta})=\lVert\mathbb{E}_{p_{\text{ref}}}[p(u|x)]-\mathbb% {E}_{p_{\theta}}[p(u|x)]\rVert_{2}italic_f ( italic_p start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ) = ∥ blackboard_E start_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT end_POSTSUBSCRIPT [ italic_p ( italic_u | italic_x ) ] - blackboard_E start_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT end_POSTSUBSCRIPT [ italic_p ( italic_u | italic_x ) ] ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (13)

where prefsubscript𝑝refp_{\text{ref}}italic_p start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT is an ideal distribution and pθsubscript𝑝𝜃p_{\theta}italic_p start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT is the distribution of a generative model. The lower is the discrepancy metric, the better can the model mitigate unfair biases. We use the DeepFace library, which contains various face detection and classification models for this metric [25, 26, 27, 28],

For image quality, we employ a set of standard image quality metrics: CLIP [17], HPS v2 [34], and LAION aesthetics score [23]. CLIP measures the alignment of generated image and input prompts. LAION aesthetics score measures the quality of the generated image on its own. HPS takes into consider both the image quality and image-prompt alignment. For Pick-a-Pick benchmark, we additionally report PickScore [11], which is trained on Pick-a-Pick dataset using human preference. Higher values of these metrics indicates better quality of generated images.

Refer to caption
Figure 4: Qualitative results on gender-neutral prompts. PopAlign mitigates the bias of the pretrained SDXL in both male-skewed or female-skewed prompts.
Table 1: Results on gender-neutral and ethnic-neutral prompts.
Discrepancy Quality
Gender\downarrow Race\downarrow HPS \uparrow Aesthetic \uparrow CLIP \uparrow
SDXL 0.417 0.666 25.2 ± 0.13 5.66 ± 0.01 28.2 ± 0.06
SDXL-SFT 0.307 0.471 21.6 ± 0.11 5.72 ± 0.01 21.3 ± 0.05
SDXL-PopAlign 0.184 0.258 25.9 ± 0.12 5.84 ± 0.01 28.2 ± 0.06
SDXL-CADS 0.334 0.641 21.5 ± 0.15 5.83 ± 0.01 26.3 ± 0.05
SDXL-Dynamic-CFG 0.307 0.552 22.5 ± 0.09 5.76 ± 0.01 26.4 ± 0.06
SDXL-DPO 0.294 0.642 34.6 ± 0.11 5.71 ± 0.01 31.5 ± 0.06
SDXL-DPO-PopAlign 0.189 0.331 33.2 ± 0.12 5.84 ± 0.01 31.4 ± 0.04
Table 2: Results on identity-specific prompts.
Recall Quality
Gender\uparrow Race\uparrow Overall\uparrow HPS\uparrow Aesthetic\uparrow CLIP\uparrow
SDXL 100.0 99.8 99.8 36.7 ± 0.18 6.05 ± 0.01 33.6 ± 0.11
SDXL-SFT 100.0 95.1 95.1 35.6 ± 0.17 5.96 ± 0.01 33.1 ± 0.12
SDXL-PopAlign 99.0 98.8 98.0 36.8 ± 0.18 6.09 ± 0.01 33.4 ± 0.11
SDXL-DPO 99.8 99.8 99.6 38.2 ± 0.17 6.20 ± 0.01 33.8 ± 0.12
SDXL-DPO-PopAlign 100.0 99.8 98.8 37.8 ± 0.18 6.27 ± 0.01 33.5 ± 0.11
Table 3: Results on generic prompts from Pick-a-Pick test set. These prompts are not necessarily gender-neutral and ethnic-neutral.PopAlign was able to maintain the image quality on generic prompts.
Model PickScore\uparrow HPS \uparrow Aesthetic \uparrow CLIP \uparrow
SDXL 21.9 ± 0.06 36.2 ± 0.23 5.87 ± 0.02 32.8 ± 0.15
SDXL-SFT 21.3 ± 0.05 33.9 ± 0.24 5.76 ± 0.02 31.6 ± 0.16
SDXL-PopAlign 21.9 ± 0.05 35.4 ± 0.20 5.89 ± 0.02 32.3 ± 0.15
SDXL-DPO 22.3 ± 0.05 37.2 ± 0.22 5.89 ± 0.02 33.4 ± 0.15
SDXL-DPO-PopAlign 22.4 ± 0.03 37.2 ± 0.19 5.90 ± 0.01 33.2 ± 0.11
Refer to caption
Figure 5: Human Evaluation on fairness and quality of the image population

6.3 Identity-Neutral Prompts

We evaluate the performance of our method on a set of 100 gender neural prompts. These prompts are manually written and are different from the training prompts. To minimize detection and classification errors, we use simple prompts with the template "best quality, a realistic photo of [identity-neutral prompt]". We use simple prompts that do not involve multiple persons to reduce potential errors in classification results. For each prompt, we generate 100 images, achieving a total sample size of 10,000. We report the discrepancy metric on gender and race, as well as image quality metrics HPS v2, LAION aesthetic score, and CLIP. We train PopAlign using both the standard SDXL as the starting point, as well as a SDXL released by Diffusion-DPO [33]. We compare against supervised fine-tuning (SDXL-SFT) baseline, which naively fine-tune the diffusion model on the "winning" sets of generated images. We also compare against CADS and Dynamic-CFG [22], which are training-free methods to improve sample diversity.

These results are shown in Table 1. Amongst all compared methods, SDXL-PopAlign achieves the lowest discrepancy metric. Notably, SDXL-PopAlign reduces the gender and race discrepancy of the pretrained SDXL by (-0.233), and (-0.408) respectively, while maintaining comparable image quality as measured by HPS, Aesthetic, and CLIP scores. Similarly, when initializing with a DPO checkpoint, PopAlign was able to reduce the gender and race discrepancy by (-0.105) and (-0.311) respectively, while maintaining comparable image quality. Thanks to alignment on human preference, SDXL-DPO has a higher image quality than SDXL as measured by HPS, Aesthetic, and CLIP scores. SDXL-DPO-PopAlign is able to maintain such a lead while reducing the biases of the model significantly.

We also provide qualitative results in Fig. 4. In this example, we show images generated of SDXL-PopAlign, SDXL, and SDXL-SFT using the same prompt "judge". Visually, PopAlign generate a more diverse set of identity than SDXL, and SDXL-SFT. In terms of quality, SDXL-SFT was able to improve the perceived fairness of SDXL at the cost of generation quality. SDXL-PopAlign was able to maintain the image quality of SDXL, while offering a more diverse set of generations in terms of gender and ethnicity.

As classifiers are not perfect, we also conducted human evaluations. We ask the user to judge the fairness of quality of images generated by SDXL and SDXL-PopAlign. The images are grouped into sets of 5 images. We show the results in Fig. 5. Humans generally consider PopAlign a superior model in terms of fairness, and the two models are roughly comparable in terms of image quality.

6.4 Identity-Specific Prompts

To verify that our model do not over-generalize superficial diversity for identity-specific prompts, we evaluate our method against the pretrained model and SFT baseline on a set of identity-specific prompts. This is crucial because a model that misrepresents a particular identity when explicitly prompted to do so will raise equity and fairness concerns and is not safe to deploy in an end-user product. We create this specific prompts by augmenting the identity neutral prompts in Sec. 6.3 with identity keywords such as "female", "Asian". To measure the image-prompt alignment, we report the recall rate of gender and race classifier. Specifically, we classify each of the generated images and check if the classification results match the prompt. We also report image quality metrics including HPS v2, LAION aesthetics and CLIP. We show these results in Table 2.

Almost all methods achieve high scores in recall metrics, suggesting training to mitigate biases on identity-neutral prompts do not adversely affect the generation results of identity-specific prompts. However, SDXL-SFT suffers a slightly larger drop in the overall recall than SDXL-PopAlign. In terms of image quality, we observed a similar pattern as in identity-specific prompts, where PopAlign better preserve than image quality of pretrained models than SFT baselines, as measured in HPS (+1.5), Aesthetic (+0.13) and CLIP (+0.7).

6.5 Generic Prompts in the Wild

For optimal classification accuracy, we use simple prompts for experiments in Sec. 6.3 and Sec. 6.4. However, these prompts are vastly different than complicated prompts typically used by human users. To provide a more comprehensive evaluation of generation quality of PopAlign and pretrained SDXL, we evaluate our models on Pick-a-Pick test set [11] consisting of prompts written by actual humans. These prompts are not necessarily identity-neutral. In fact, some prompts do not include humans at all. In addition to HPS, LAION aesthetics and CLIP metrics, we additionally report the PickScore which is commonly used on this benchmark. We show results in Table 3. These results are consistent with previous experiments. SDXL-PopAlign was able to match the performance of pretrained SDXL, and achieves higher image quality of than SFT baselines.

7 Limitations

Our method can only mitigate the biases to a certain degree. It cannot completely eliminate all perceived biases. In general, there is a trade-off between fairness and image quality, as shown in our extensive ablations. The user can adjust these parameters based on how much they value these two goals with respect to each other.

Additionally, our method assumes all prompts that do not explicitly includes gender or identity as neutral prompts. However, people may have varying views. For example, people may disagree on if "the president of the United States" should leads to images of a female president. On one hand, one should not assume the leader of a free democratic society be limited to a specific gender. On the other hand, at the time of writing there is no female president of the United States. In this aspect, generating an image of female president may be considered as a misrepresentation of fact, which can hardly be called "fair". This is especially the case for prompts involving a historic context, like "the president of the United States in the 1800s". We avoid using these potentially controversial prompts.

Our model relies on gender and race classifier which achieves high performance over the categories on which they are trained. However, there are ethnicity in the real world beyond the fixed set of classes. Similarly, our gender classifier fails to represent the existence of non-binary gender. We have proposed a pipeline to collect preference data for bias mitigation using human feedback. In principle, it should be able to curate a preference dataset representing these nuances with human annotators. Due to the prohibitively expensive cost, we left these for future works to address.

Additionally, there is also the concern that if the visual appearance should dictate a person’s gender and ethnicity as opposed to self-identification. In this aspect, our model can only identify "gender appearances" and "ethnic appearances", but not "gender identities" and "ethnic identities" as these concepts involves non-visual elements such as self-recognition.

8 Broader Impacts

PopAlign  aims to reduce certain commonly perceived biases on text-to-image generative models, such as gender and racial biases. PopAlign  can be particular to useful as an extra step before the release of new T2I models to mitigate the biases without sacrificing image quality. However, it may also inadvertently perpetuate new biases, such as non-binary genders and minority races, which could be excluded from the preference datasets. Therefore, we suggest users to take extra caution when dealing with these situations.

As any other image generator, PopAlign may be misused to create realistic-looking images for deception, fraud and other illegal activities. In addition, by adjusting the preference data, an adversary may use PopAlign to amplify existing gender and ethnical biases, such as creating an image model generating exclusively light-skinned characters. We do not condone these kinds of use.

9 Conclusions

In summary, we propose PopAlign, a novel algorithm that mitigates the biases of pretrained text-to-image diffusion models while preserving the quality of the generated images. PopAlign successfully extend the pair-wise preference formulation used by RLHF and DPO to a novel population-level alignment objective, surpassing comparable baselines in both human evaluation and quantitative metrics. In particular, PopAlign  outperforms the supervised fine-tuning baseline on identity-neutral prompts, identity-specific prompts, as well as generic human written prompts in terms of both fairness and image quality. However, it is also important to recognize that our experiments are limited in that it employs a race-gender classifier that assumes a binary gender categorization and a limited set of races. It does not capture the complicated nuances such as non-binary gender identity and many under-represented races. We plan to address these limitations in future works by employing real humans to create a more diverse set of training data that capture these nuances.

References

  • [1] R. A. Bradley and M. E. Terry. Rank analysis of incomplete block designs: I. the method of paired comparisons. Biometrika, 39(3/4):324–345, 1952.
  • [2] A. Chauhan, T. Anand, T. Jauhari, A. Shah, R. Singh, A. Rajaram, and R. Vanga. Identifying race and gender bias in stable diffusion ai image generation. In 2024 IEEE 3rd International Conference on AI in Cybersecurity (ICAIC), pages 1–6. IEEE, 2024.
  • [3] K. Choi, A. Grover, T. Singh, R. Shu, and S. Ermon. Fair generative modeling via weak supervision. In International Conference on Machine Learning, pages 1887–1898. PMLR, 2020.
  • [4] P. F. Christiano, J. Leike, T. Brown, M. Martic, S. Legg, and D. Amodei. Deep reinforcement learning from human preferences. Advances in neural information processing systems, 30, 2017.
  • [5] J. Dai, X. Pan, R. Sun, J. Ji, X. Xu, M. Liu, Y. Wang, and Y. Yang. Safe rlhf: Safe reinforcement learning from human feedback. arXiv preprint arXiv:2310.12773, 2023.
  • [6] P. Dhariwal and A. Nichol. Diffusion models beat gans on image synthesis. Advances in neural information processing systems, 34:8780–8794, 2021.
  • [7] H. Face. Diffusers: State-of-the-art diffusion models for image generation in pytorch. https://huggingface.co/docs/diffusers/en/index, 2023. Accessed: 2024-05-22.
  • [8] J. Ho, A. Jain, and P. Abbeel. Denoising diffusion probabilistic models. Advances in neural information processing systems, 33:6840–6851, 2020.
  • [9] J. Ho and T. Salimans. Classifier-free diffusion guidance. arXiv preprint arXiv:2207.12598, 2022.
  • [10] D. Kim, Y. Kim, S. J. Kwon, W. Kang, and I.-C. Moon. Refining generative process with discriminator guidance in score-based diffusion models. arXiv preprint arXiv:2211.17091, 2022.
  • [11] Y. Kirstain, A. Polyak, U. Singer, S. Matiana, J. Penna, and O. Levy. Pick-a-pic: An open dataset of user preferences for text-to-image generation. Advances in Neural Information Processing Systems, 36, 2024.
  • [12] Z. Liu, P. Luo, X. Wang, and X. Tang. Deep learning face attributes in the wild. In Proceedings of the IEEE international conference on computer vision, pages 3730–3738, 2015.
  • [13] S. Luccioni, C. Akiki, M. Mitchell, and Y. Jernite. Stable bias: Evaluating societal representations in diffusion models. Advances in Neural Information Processing Systems, 36, 2024.
  • [14] OpenAI. Dall·e 2. https://openai.com/product/dall-e-2, 2023. Accessed on 2023-05-17.
  • [15] L. Ouyang, J. Wu, X. Jiang, D. Almeida, C. Wainwright, P. Mishkin, C. Zhang, S. Agarwal, K. Slama, A. Ray, et al. Training language models to follow instructions with human feedback. Advances in neural information processing systems, 35:27730–27744, 2022.
  • [16] D. Podell, Z. English, K. Lacey, A. Blattmann, T. Dockhorn, J. Müller, J. Penna, and R. Rombach. Sdxl: Improving latent diffusion models for high-resolution image synthesis. arXiv preprint arXiv:2307.01952, 2023.
  • [17] A. Radford, J. W. Kim, C. Hallacy, A. Ramesh, G. Goh, S. Agarwal, G. Sastry, A. Askell, P. Mishkin, J. Clark, et al. Learning transferable visual models from natural language supervision. In International conference on machine learning, pages 8748–8763. PMLR, 2021.
  • [18] R. Rafailov, A. Sharma, E. Mitchell, C. D. Manning, S. Ermon, and C. Finn. Direct preference optimization: Your language model is secretly a reward model. Advances in Neural Information Processing Systems, 36, 2024.
  • [19] A. Ramesh, P. Dhariwal, A. Nichol, C. Chu, and M. Chen. Hierarchical text-conditional image generation with clip latents. arXiv preprint arXiv:2204.06125, 1(2):3, 2022.
  • [20] A. Ramesh, M. Pavlov, G. Goh, S. Gray, C. Voss, A. Radford, M. Chen, and I. Sutskever. Zero-shot text-to-image generation. In International Conference on Machine Learning, pages 8821–8831. PMLR, 2021.
  • [21] R. Rombach, A. Blattmann, D. Lorenz, P. Esser, and B. Ommer. High-resolution image synthesis with latent diffusion models. In Proceedings of the IEEE/CVF conference on computer vision and pattern recognition, pages 10684–10695, 2022.
  • [22] S. Sadat, J. Buhmann, D. Bradely, O. Hilliges, and R. M. Weber. Cads: Unleashing the diversity of diffusion models through condition-annealed sampling. arXiv preprint arXiv:2310.17347, 2023.
  • [23] C. Schuhmann. Laion-aesthetics. https://laion.ai/blog/laion-aesthetics/, 2022. Accessed: 2024 - 03 - 06.
  • [24] J. Schulman, F. Wolski, P. Dhariwal, A. Radford, and O. Klimov. Proximal policy optimization algorithms. arXiv preprint arXiv:1707.06347, 2017.
  • [25] S. Serengil and A. Ozpinar. A benchmark of facial recognition pipelines and co-usability performances of modules. Bilisim Teknolojileri Dergisi, 17(2):95–107, 2024.
  • [26] S. I. Serengil and A. Ozpinar. Lightface: A hybrid deep face recognition framework. In 2020 Innovations in Intelligent Systems and Applications Conference (ASYU), pages 23–27. IEEE, 2020.
  • [27] S. I. Serengil and A. Ozpinar. Hyperextended lightface: A facial attribute analysis framework. In 2021 International Conference on Engineering and Emerging Technologies (ICEET), pages 1–4. IEEE, 2021.
  • [28] S. I. Serengil and A. Ozpinar. An evaluation of sql and nosql databases for facial recognition pipelines, 2023.
  • [29] Stability-AI. Stable diffusion public release. https://stability.ai/blog/stable-diffusion-public-release, 2023.
  • [30] S. Tan, Y. Shen, and B. Zhou. Improving the fairness of deep generative models without retraining. arXiv preprint arXiv:2012.04842, 2020.
  • [31] C. T. Teo, M. Abdollahzadeh, and N.-M. Cheung. Fair generative models via transfer learning. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 37, pages 2429–2437, 2023.
  • [32] S. Um and C. Suh. A fair generative model using lecam divergence. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 37, pages 10034–10042, 2023.
  • [33] B. Wallace, M. Dang, R. Rafailov, L. Zhou, A. Lou, S. Purushwalkam, S. Ermon, C. Xiong, S. Joty, and N. Naik. Diffusion model alignment using direct preference optimization. arXiv preprint arXiv:2311.12908, 2023.
  • [34] X. Wu, Y. Hao, K. Sun, Y. Chen, F. Zhu, R. Zhao, and H. Li. Human preference score v2: A solid benchmark for evaluating human preferences of text-to-image synthesis. arXiv preprint arXiv:2306.09341, 2023.
  • [35] K. Yang, J. Tao, J. Lyu, C. Ge, J. Chen, Q. Li, W. Shen, X. Zhu, and X. Li. Using human feedback to fine-tune diffusion models without any reward model. arXiv preprint arXiv:2311.13231, 2023.
  • [36] Z. Zhang, Y. Lu, J. Ma, D. Zhang, R. Li, P. Ke, H. Sun, L. Sha, Z. Sui, H. Wang, et al. Shieldlm: Empowering llms as aligned, customizable and explainable safety detectors. arXiv preprint arXiv:2402.16444, 2024.

Appendix A Ablation Studies

To validate our design choices, we conducted extensive ablation studies on various hyper-parameters.

A.1 Classifier-Free Guidance

Classifier free guidance (CFG) is the used to ensure the generated images accurately follow the text prompts. Typically, higher guidance strength leads to sharper images and better image-prompt alignment, at the cost of sample diversity. We show effects of varying CFG on identity-neutral prompts in Fig. 6. For SDXL, higher CFG leads to higher discrepancy, indicating less diversity as expected. However, for SFT and PopAlign, increasing CFG do not significantly compromise the discrepancy because of extra training. Among these two methods, PopAlign consistently exhibits a lower discrepancy. For main experiments, we used a cfg of 6.5.

A.2 Divergence Penalty

The divergence Penalty β𝛽\betaitalic_β is an important hyperparameter as it controls the strength of divergence penalty. We show the results of β=1000𝛽1000\beta=1000italic_β = 1000, β=3000𝛽3000\beta=3000italic_β = 3000 and β=5000𝛽5000\beta=5000italic_β = 5000 in Fig. 7. In general, higher β𝛽\betaitalic_β leads to higher image quality as stronger divergence penalty prevents the model from deviating too much from the pretrained checkpoint. This comes with a cost of higher discrepancy. We pick β=5000𝛽5000\beta=5000italic_β = 5000 for our experiments, but end-users may choose an alternative based on the relative importance of fairness and image quality.

A.3 Normalization Factor

Because we remove pair wise preferences in Eq. 11, we need to center the inner term (reward) by μ𝜇\muitalic_μ. Following the conventional practice of RL, we use the expected value of inner term μ=𝔼[logπθ(xt1|xt,c)πref(xt1|xt,c)]𝜇𝔼delimited-[]subscript𝜋𝜃conditionalsubscript𝑥𝑡1subscript𝑥𝑡𝑐subscript𝜋refconditionalsubscript𝑥𝑡1subscript𝑥𝑡𝑐\mu=\mathbb{E}[\log\frac{\pi_{\theta}(x_{t-1}|x_{t},c)}{\pi_{\text{ref}}(x_{t-% 1}|x_{t},c)}]italic_μ = blackboard_E [ roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG ], which can be re-written as the weight sum of the expected reward of all positive samples and that of all negative samples μ(α)=α𝔼[logπθ(xt1w|xtw,c)πref(xt1w|xtw,c)]+(1α)𝔼[logπθ(xt1l|xtl,c)πref(xt1l|xtl,c)]𝜇𝛼𝛼𝔼delimited-[]subscript𝜋𝜃conditionalsuperscriptsubscript𝑥𝑡1𝑤superscriptsubscript𝑥𝑡𝑤𝑐subscript𝜋refconditionalsuperscriptsubscript𝑥𝑡1𝑤superscriptsubscript𝑥𝑡𝑤𝑐1𝛼𝔼delimited-[]subscript𝜋𝜃conditionalsubscriptsuperscript𝑥𝑙𝑡1subscriptsuperscript𝑥𝑙𝑡𝑐subscript𝜋refconditionalsubscriptsuperscript𝑥𝑙𝑡1subscriptsuperscript𝑥𝑙𝑡𝑐\mu(\alpha)=\alpha\mathbb{E}[\log\frac{\pi_{\theta}(x_{t-1}^{w}|x_{t}^{w},c)}{% \pi_{\text{ref}}(x_{t-1}^{w}|x_{t}^{w},c)}]+(1-\alpha)\mathbb{E}[\log\frac{\pi% _{\theta}(x^{l}_{t-1}|x^{l}_{t},c)}{\pi_{\text{ref}}(x^{l}_{t-1}|x^{l}_{t},c)}]italic_μ ( italic_α ) = italic_α blackboard_E [ roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT | italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_c ) end_ARG ] + ( 1 - italic_α ) blackboard_E [ roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_c ) end_ARG ] with α=0.5𝛼0.5\alpha=0.5italic_α = 0.5. We also experimented with two alternatives α=0.25𝛼0.25\alpha=0.25italic_α = 0.25 and α=0.75𝛼0.75\alpha=0.75italic_α = 0.75. α=0.25𝛼0.25\alpha=0.25italic_α = 0.25 will move the μ𝜇\muitalic_μ closer to the side of losing samples, while α=0.75𝛼0.75\alpha=0.75italic_α = 0.75 will move the μ𝜇\muitalic_μ closer to the side of winning samples. Since the gradient of logσ𝜎\log\sigmaroman_log italic_σ is symmetric with respect to the origin, and monotonically decreases as it moves away from the origin. α=0.25𝛼0.25\alpha=0.25italic_α = 0.25 will increase the update step of the negative samples because μ(0.25)𝜇0.25\mu(0.25)italic_μ ( 0.25 ) is closer to the negative samples, which makes the inner term closer to the origin. Similarly, μ(0.25)𝜇0.25\mu(0.25)italic_μ ( 0.25 ) will increase the update step of the positive samples. We show the results in Table 4.

α=0.25𝛼0.25\alpha=0.25italic_α = 0.25 leads to model divergence, as the negative samples have a stronger "pushing force" than the "pulling force" of positive samples in this setup. α=0.75𝛼0.75\alpha=0.75italic_α = 0.75 leads to lower discrepancy and image quality, as it increases the "pulling force" of positive samples, implicitly decreasing the effect of divergence penalty.

Refer to caption
Figure 6: Ablation study of varying CFGs
Refer to caption
Figure 7: Ablation study on divergence penalty β𝛽\betaitalic_β
Table 4: Ablation study of normalization factor.
Discrepancy Quality
α𝛼\alphaitalic_α Gender\downarrow Race\downarrow HPS \uparrow Aesthetic \uparrow CLIP \uparrow
0.25 Diverge Diverge -0.5 4.25 16.3
0.5 0.184 0.258 25.9 5.84 28.2
0.75 0.170 0.222 23.7 5.72 26.4

Appendix B Human-in-the-Loop Sampling

Our method make uses of a pretrained classifier. However, this representation over simplifies the complex nuances of the real world. In this section, we discuss a human-in-the loop sampling process that may be used to capture these complex aspects of diversity (e.g. non-binary genders, homosexual versus heterosexual couples).

In particular, we consider the setup where human start with a set of initial samples X0={x10xN0}superscript𝑋0subscriptsuperscript𝑥01subscriptsuperscript𝑥0𝑁X^{0}=\{x^{0}_{1}...x^{0}_{N}\}italic_X start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = { italic_x start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT … italic_x start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT } where N is the set size. A Markov chain iteratively refines the set of samples Xtsuperscript𝑋𝑡X^{t}italic_X start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT to Xt+1superscript𝑋𝑡1X^{t+1}italic_X start_POSTSUPERSCRIPT italic_t + 1 end_POSTSUPERSCRIPT until it reaches a target distribution. At each step, a random sample xitsubscriptsuperscript𝑥𝑡𝑖x^{t}_{i}italic_x start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is replaced with a new sample xit+1subscriptsuperscript𝑥𝑡1𝑖x^{t+1}_{i}italic_x start_POSTSUPERSCRIPT italic_t + 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, and we obtain a new set Xt+1={x1txi1t,xit+1,xi+1t,xNt}superscript𝑋𝑡1subscriptsuperscript𝑥𝑡1subscriptsuperscript𝑥𝑡𝑖1subscriptsuperscript𝑥𝑡1𝑖subscriptsuperscript𝑥𝑡𝑖1subscriptsuperscript𝑥𝑡𝑁X^{t+1}=\{x^{t}_{1}...x^{t}_{i-1},x^{t+1}_{i},x^{t}_{i+1},x^{t}_{N}\}italic_X start_POSTSUPERSCRIPT italic_t + 1 end_POSTSUPERSCRIPT = { italic_x start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT … italic_x start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT , italic_x start_POSTSUPERSCRIPT italic_t + 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_x start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT , italic_x start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT }. We accept the new set if the new set is closer to the target distribution, and back-track otherwise. In the human-in-the-loop version, a human judge will accept the changes that improve the perceived "fairness". For example, in a male-dominate population, the judge will accept changes that replace a male sample with a female sample, and reject changes in the other direction. The judge will terminate the process when we achieved a fair balance between the male and female samples. Assuming humans and classifiers are reasonably capably of distinguishing the basic properties in question, this human-in-the-loop MCMC should generate a fair distribution with sufficiently large samples as the training data. However, because finding human annotators qualified to fairly evaluate these nuances and curate a large collection of data can be prohibitively expansive, we left this for future works.

Appendix C Proof of Population Level Alignment Objective

We start with Eq. 10. Following Diffusion-DPO [33], we can substitute πθ(x|c)subscript𝜋𝜃conditional𝑥𝑐\pi_{\theta}(x|c)italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x | italic_c ) with t=1Tπθ(xt|xt+1,c)superscriptsubscript𝑡1𝑇subscript𝜋𝜃conditionalsubscript𝑥𝑡subscript𝑥𝑡1𝑐\sum_{t=1}^{T}\pi_{\theta}(x_{t}|x_{t+1},c)∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) and obtain

=𝔼c,Xw,Xl𝒟[logσ(βlogi=1nt=1Tπθ(xtw,i|xt+1w,i,c)i=1nt=1Tπref(xtw,i|xt+1w,i,c)\displaystyle=\mathbb{E}_{c,X^{w},X^{l}\sim\mathcal{D}}[\log\sigma(\beta\log% \frac{\prod_{i=1}^{n}\prod_{t=1}^{T}\pi_{\theta}(x^{w,i}_{t}|x^{w,i}_{t+1},c)}% {\prod_{i=1}^{n}\prod_{t=1}^{T}\pi_{\text{ref}}(x^{w,i}_{t}|x^{w,i}_{t+1},c)}-= blackboard_E start_POSTSUBSCRIPT italic_c , italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β roman_log divide start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ∏ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ∏ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG - (14)
βlogi=1nt=1Tπθ(xtl,i|xt+1l,i,c)i=1nt=1Tπref(xtl,i|xt+1l,i,c))]\displaystyle\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\beta% \log\frac{\prod_{i=1}^{n}\prod_{t=1}^{T}\pi_{\theta}(x^{l,i}_{t}|x^{l,i}_{t+1}% ,c)}{\prod_{i=1}^{n}\prod_{t=1}^{T}\pi_{\text{ref}}(x^{l,i}_{t}|x^{l,i}_{t+1},% c)})]italic_β roman_log divide start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ∏ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ∏ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG ) ] (15)
=𝔼c,Xw,Xl𝒟[logσ(βi=1Nt=1Tlogπθ(xtw,i|xt+1w,i,c)βi=1Nt=1Tlogπref(xtw,i|xt+1w,i,c)\displaystyle=\mathbb{E}_{c,X^{w},X^{l}\sim\mathcal{D}}[\log\sigma(\beta\sum_{% i=1}^{N}\sum_{t=1}^{T}\log\pi_{\theta}(x^{w,i}_{t}|x^{w,i}_{t+1},c)-\beta\sum_% {i=1}^{N}\sum_{t=1}^{T}\log\pi_{\text{ref}}(x^{w,i}_{t}|x^{w,i}_{t+1},c)-= blackboard_E start_POSTSUBSCRIPT italic_c , italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) - italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) - (16)
βi=1Nt=1Tlogπθ(xtl,i|xt+1l,i,c)+βi=1Nt=1Tlogπref(xtl,i|xt+1l,i,c))]\displaystyle\qquad\qquad\qquad\qquad\qquad\beta\sum_{i=1}^{N}\sum_{t=1}^{T}% \log\pi_{\theta}(x^{l,i}_{t}|x^{l,i}_{t+1},c)+\beta{\sum_{i=1}^{N}\sum_{t=1}^{% T}\log\pi_{\text{ref}}(x^{l,i}_{t}|x^{l,i}_{t+1},c)})]italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) + italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) ) ] (17)

By Jensen’s inequality, we have a lower bound

𝔼c,Xw,Xl𝒟[logσ(βi=1Nt=1Tlogπθ(xtw,i|xt+1w,i,c)βi=1Nt=1Tlogπref(xtw,i|xt+1w,i,c)\displaystyle\mathbb{E}_{c,X^{w},X^{l}\sim\mathcal{D}}[\log\sigma(\beta\sum_{i% =1}^{N}\sum_{t=1}^{T}\log\pi_{\theta}(x^{w,i}_{t}|x^{w,i}_{t+1},c)-\beta\sum_{% i=1}^{N}\sum_{t=1}^{T}\log\pi_{\text{ref}}(x^{w,i}_{t}|x^{w,i}_{t+1},c)-blackboard_E start_POSTSUBSCRIPT italic_c , italic_X start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) - italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) - (18)
βi=1Nt=1Tlogπθ(xtl,i|xt+1l,i,c)+βi=1Nt=1Tlogπref(xtl,i|xt+1l,i,c))]\displaystyle\qquad\qquad\qquad\beta\sum_{i=1}^{N}\sum_{t=1}^{T}\log\pi_{% \theta}(x^{l,i}_{t}|x^{l,i}_{t+1},c)+\beta{\sum_{i=1}^{N}\sum_{t=1}^{T}\log\pi% _{\text{ref}}(x^{l,i}_{t}|x^{l,i}_{t+1},c)})]italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) + italic_β ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_log italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) ) ] (19)
nT𝔼c,xw,xl𝒟,tUnif({1,2..T}),iUnif({1,2..N})[logσ(βlogπθ(xtw,i|xt+1w,i,c)\displaystyle\geq nT\mathbb{E}_{c,x^{w},x^{l}\sim\mathcal{D},t\in\text{Unif}(% \{1,2..T\}),i\in\text{Unif}(\{1,2..N\})}[\log\sigma(\beta\log\pi_{\theta}(x^{w% ,i}_{t}|x^{w,i}_{t+1},c)-≥ italic_n italic_T blackboard_E start_POSTSUBSCRIPT italic_c , italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D , italic_t ∈ Unif ( { 1 , 2 . . italic_T } ) , italic_i ∈ Unif ( { 1 , 2 . . italic_N } ) end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β roman_log italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) - (20)
βlogπref(xtw,i|xt+1w,i,c)βlogπθ(xtl,i|xt+1l,i,c)+βlogπref(xtl,i|xt+1l,i,c))]\displaystyle\qquad\qquad\qquad\beta\log\pi_{\text{ref}}(x^{w,i}_{t}|x^{w,i}_{% t+1},c)-\beta\log\pi_{\theta}(x^{l,i}_{t}|x^{l,i}_{t+1},c)+\beta\log\pi_{\text% {ref}}(x^{l,i}_{t}|x^{l,i}_{t+1},c))]italic_β roman_log italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) - italic_β roman_log italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) + italic_β roman_log italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) ) ] (21)
=nT𝔼c,xw,xl𝒟,tUnif({1,2..T}),iUnif({1,2..N})[logσ(βlogπθ(xtw,i|xt+1w,i,c)πref(xtw,i|xt+1w,i,c)\displaystyle=nT\mathbb{E}_{c,x^{w},x^{l}\sim\mathcal{D},t\in\text{Unif}(\{1,2% ..T\}),i\in\text{Unif}(\{1,2..N\})}[\log\sigma(\beta\log\frac{\pi_{\theta}(x^{% w,i}_{t}|x^{w,i}_{t+1},c)}{\pi_{\text{ref}}(x^{w,i}_{t}|x^{w,i}_{t+1},c)}-= italic_n italic_T blackboard_E start_POSTSUBSCRIPT italic_c , italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D , italic_t ∈ Unif ( { 1 , 2 . . italic_T } ) , italic_i ∈ Unif ( { 1 , 2 . . italic_N } ) end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG - (22)
βlogπθ(xtl,i|xt+1l,i,c)πref(xtl,i|xt+1l,i,c))]\displaystyle\qquad\qquad\qquad\beta\log\frac{\pi_{\theta}(x^{l,i}_{t}|x^{l,i}% _{t+1},c)}{\pi_{\text{ref}}(x^{l,i}_{t}|x^{l,i}_{t+1},c)})]italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG ) ] (23)
=nT𝔼c,xw,xl𝒟,tUnif({1,2..T}),iUnif({1,2..N})[logσ(βlogπθ(xtw,i|xt+1w,i,c)πref(xtw,i|xt+1w,i,c)\displaystyle=nT\mathbb{E}_{c,x^{w},x^{l}\sim\mathcal{D},t\in\text{Unif}(\{1,2% ..T\}),i\in\text{Unif}(\{1,2..N\})}[\log\sigma(\beta\log\frac{\pi_{\theta}(x^{% w,i}_{t}|x^{w,i}_{t+1},c)}{\pi_{\text{ref}}(x^{w,i}_{t}|x^{w,i}_{t+1},c)}-= italic_n italic_T blackboard_E start_POSTSUBSCRIPT italic_c , italic_x start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∼ caligraphic_D , italic_t ∈ Unif ( { 1 , 2 . . italic_T } ) , italic_i ∈ Unif ( { 1 , 2 . . italic_N } ) end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_w , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG - (24)
μ+μβlogπθ(xtl,i|xt+1l,i,c)πref(xtl,i|xt+1l,i,c))]\displaystyle\qquad\qquad\qquad\mu+\mu-\beta\log\frac{\pi_{\theta}(x^{l,i}_{t}% |x^{l,i}_{t+1},c)}{\pi_{\text{ref}}(x^{l,i}_{t}|x^{l,i}_{t+1},c)})]italic_μ + italic_μ - italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUPERSCRIPT italic_l , italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG ) ] (25)
2NT𝔼c,xX,X𝒟,tUnif({1,2..T}),iUnif({1,2..N})[logσ(\displaystyle\leq 2NT\mathbb{E}_{c,x\sim X,X\sim\mathcal{D},t\in\text{Unif}(\{% 1,2..T\}),i\in\text{Unif}(\{1,2..N\})}[\log\sigma(≤ 2 italic_N italic_T blackboard_E start_POSTSUBSCRIPT italic_c , italic_x ∼ italic_X , italic_X ∼ caligraphic_D , italic_t ∈ Unif ( { 1 , 2 . . italic_T } ) , italic_i ∈ Unif ( { 1 , 2 . . italic_N } ) end_POSTSUBSCRIPT [ roman_log italic_σ ( (26)
γXβlogπθ(xt|xt+1,c)πref(xt|xt+1,c)γXβμ)]\displaystyle\qquad\qquad\qquad\gamma_{X}\beta\log\frac{\pi_{\theta}(x_{t}|x_{% t+1},c)}{\pi_{\text{ref}}(x_{t}|x_{t+1},c)}-\gamma_{X}\beta\mu)]italic_γ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_β roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG - italic_γ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_β italic_μ ) ] (27)
=𝔼c,xX,X𝒟,tUnif({1,2..T}),iUnif({1,2..N})[logσ(γXβlogπθ(xt|xt+1,c)πref(xt|xt+1,c)γXβμ)]\displaystyle=\mathbb{E}_{c,x\sim X,X\sim\mathcal{D},t\in\text{Unif}(\{1,2..T% \}),i\in\text{Unif}(\{1,2..N\})}[\log\sigma(\gamma_{X}\beta^{\prime}\log\frac{% \pi_{\theta}(x_{t}|x_{t+1},c)}{\pi_{\text{ref}}(x_{t}|x_{t+1},c)}-\gamma_{X}% \beta^{\prime}\mu)]= blackboard_E start_POSTSUBSCRIPT italic_c , italic_x ∼ italic_X , italic_X ∼ caligraphic_D , italic_t ∈ Unif ( { 1 , 2 . . italic_T } ) , italic_i ∈ Unif ( { 1 , 2 . . italic_N } ) end_POSTSUBSCRIPT [ roman_log italic_σ ( italic_γ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_log divide start_ARG italic_π start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG start_ARG italic_π start_POSTSUBSCRIPT ref end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_x start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_c ) end_ARG - italic_γ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_μ ) ] (28)

where β=2NTβsuperscript𝛽2𝑁𝑇𝛽\beta^{\prime}=2NT\betaitalic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 2 italic_N italic_T italic_β and μ𝜇\muitalic_μ is a normalizing constant to stabilize the optimization.

Appendix D Details of Human Evaluation

We use the following prompt for human evaluation

Human Evaluation Prompt Select the set of images that represents more diversity of identity representation and quality of image. Look at the two sets of images below generated from a prompt. Each set contains multiple images. Set A is the top 5 images, while Set B is the bottom 5. Select which set you think shows greater diversity in terms of identity representation and quality of image set. Please consider the variety in elements such as color, subject matter, race, gender, and other visible identity markers when making your selection. Which set is more diverse and fair in terms of identity representation:
- Set A (Top Row) is more diverse and fair - Set B (Bottom Row) is more diverse and fair - Both sets are equally diverse and fair Which set has better quality images overall:
- Set A (Top Row) is higher quality - Set B (Bottom Row) is higher quality - Both sets are equally good in terms of quality

For each pair of sets, we collect responses from three individual human evaluators to mitigate potential noises in human preference. We do not expose human evaluators for any NSFW content. We employ Amazon MTurk for this job. The works are paid with a prorated hourly minimum wage. We follow all guidelines and rules of respective institutions.

Appendix E Additional Qualitative Results

We provide additional qualitative results in Fig. 8. The samples are generated using the prompt "engineer" and "artist". Compared with the baselines, PopAlign  offers a diverse representation of identities while maintaining a comparable image quality with the pretrained SDXL checkpoint.

Refer to caption
Figure 8: Additional qualitative results on gender-neutral prompts. PopAlign  offers a diverse representation of identities while maintaining a comparable image quality with the SDXL baseline. The top four rows are generated using the prompt "engineer", while the bottom four rows are generated using the prompt "artist". The prompts are formatted in "best quality, a realistic photo of [prompt]"

Appendix F Additional Experiments

On 1D mixture of Gaussian, the divergence penalty β𝛽\betaitalic_β is an important hyperparameter as it controls the strength of divergence penalty. We show the results of β=0.1𝛽0.1\beta=0.1italic_β = 0.1, β=0.5𝛽0.5\beta=0.5italic_β = 0.5 and β=0.9𝛽0.9\beta=0.9italic_β = 0.9 in Fig. 9. In general, higher β𝛽\betaitalic_β leads to stronger divergence penalty prevents the model from deviating too much from the pretrained checkpoint. This comes with a cost of higher discrepancy. We pick β=0.5𝛽0.5\beta=0.5italic_β = 0.5 for our 1-d experiments.

We also experimented with α=0.25𝛼0.25\alpha=0.25italic_α = 0.25, α=0.5𝛼0.5\alpha=0.5italic_α = 0.5, α=0.75𝛼0.75\alpha=0.75italic_α = 0.75, α=0.25𝛼0.25\alpha=0.25italic_α = 0.25 will move the μ𝜇\muitalic_μ closer to the side of losing samples, while α=0.75𝛼0.75\alpha=0.75italic_α = 0.75 will move the μ𝜇\muitalic_μ closer to the side of winning samples. Since the gradient of logσ𝜎\log\sigmaroman_log italic_σ is symmetric with respect to the origin, and monotonically decreases as it moves away from the origin. α=0.25𝛼0.25\alpha=0.25italic_α = 0.25 will increase the update step of the negative samples because μ(0.25)𝜇0.25\mu(0.25)italic_μ ( 0.25 ) is closer to the negative samples, which makes the inner term closer to the origin. Similarly, μ(0.25)𝜇0.25\mu(0.25)italic_μ ( 0.25 ) will increase the update step of the positive samples. We show the results in Fig. 10.

α=0.25𝛼0.25\alpha=0.25italic_α = 0.25 leads to model divergence, as the negative samples have a stronger "pushing force" than the "pulling force" of positive samples in this setup. α=0.75𝛼0.75\alpha=0.75italic_α = 0.75 leads to lower discrepancy, as it increases the "pulling force" of positive samples, implicitly decreasing the effect of divergence penalty.

Refer to caption
(a) PopAlign  with β𝛽\betaitalic_β=0.1
Refer to caption
(b) PopAlign  with β𝛽\betaitalic_β=0.5
Refer to caption
(c) PopAlign  with β𝛽\betaitalic_β=0.9
Figure 9: Effect of β𝛽\betaitalic_β in PopAlign 
Refer to caption
(a) PopAlign  with α𝛼\alphaitalic_α=0.25
Refer to caption
(b) PopAlign  with α𝛼\alphaitalic_α=0.5
Refer to caption
(c) PopAlign  with α𝛼\alphaitalic_α=0.75
Figure 10: Effect of α𝛼\alphaitalic_α in PopAlign 

Appendix G Statistic Significance

We report the 95% confidence interval for the main experiments reported in Tabs. 1, 3 and 2. The confidence interval is computed using the standard error of the sample mean estimator using s-statistics.

Appendix H Licenses

We makes use the following models: CLIP (MIT license), PickScore(MIT license), HPS v2 (Apache-2.0 license), LAION Aesthetics predictor (MIT license), Deepface (MIT license), SDXL(CreativeML Open RAIL++-M License). Diffusion-DPO (Apache-2.0 license).

We use prompts from Pick-a-Pick dataset (MIT License).

Appendix I Safe Guards

PopAlign is based on the diffuser [7] library. It should be used with the standard safeguards such as NSFW safety checker and hidden watermarks. For the released prompt, we manually inspected them and found no harmful content.

Appendix J Human Subjects

Human evaluation conducted in this study has received exemption from UCLA IRB.