Next Article in Journal
Attributes Influencing Visitors’ Experiences in Conservation Centers with Different Social Identities: A Topic Modeling Approach
Previous Article in Journal
Reinforcement Learning Model for Optimizing Bid Price and Service Quality in Crowdshipping
Previous Article in Special Issue
Intraday and Post-Market Investor Sentiment for Stock Price Prediction: A Deep Learning Framework with Explainability and Quantitative Trading Strategy
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Systematically Formulating Investments for Carbon Offset by Multiple-Objective Portfolio Selection: Classifying, Evolving, and Optimizing

1
College of Business Administration, Fujian Business University, 8 Tingjiang Road, Fuzhou 350016, China
2
Department of Financial Management, Business School, Nankai University, 94 Weijin Road, Tianjin 300071, China
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Systems 2025, 13(6), 441; https://doi.org/10.3390/systems13060441
Submission received: 12 April 2025 / Revised: 26 May 2025 / Accepted: 29 May 2025 / Published: 6 June 2025

Abstract

:
Our society is facing serious challenges from global warming and environmental degradation. Scientists have identified carbon dioxide as one of the causes. Our society is embracing carbon offset as a way to field the challenges. The purpose of carbon offset is trying to cancel out the large amounts of carbon dioxide by investing in projects that reduce or remove emissions elsewhere. Examples of carbon offset projects are planting trees, renewable energy projects, and capturing methane from landfills or farms. Not all carbon offset projects are equally effective. In stock markets, investors eagerly pursue carbon offset. Namely, investors favor carbon offset in addition to risk and return when investing. Therefore, investors supervise risk, return, and carbon offset. Investors’ pursuits raise the question of how to model carbon offset for investments. The traditional answer is to adopt carbon offset screening and engineer portfolios by stocks with good carbon offset ratings. However, Nobel Laureate Markowitz emphasizes portfolio selection rather than stock selection. Moreover, carbon offset is composed of multiple components, ranging from business, social, economic, and environmental aspects. This multifaceted nature requires more advanced models than carbon offset screening and portfolio selection. Within this context, we systematically formulate multiple-objective portfolio selection models that include carbon offset. Firstly, we extend portfolio selection and treat carbon offset as a whole. Secondly, we separate carbon offsets into different components and build models to monitor each component. Thirdly, we innovate a model to monitor each component’s expectation and mitigate each component’s risk. Lastly, we optimize the series of models and prove the models’ properties in theorems. Mathematically, this paper makes theoretical contributions to multiple-objective optimization, particularly by proving the consistency of efficient solutions during objective classification and model evolution, describing the structure of properly efficient sets for multiple quadratic objectives, and elucidating the optimization’s sensitivity analyses. Moreover, by coordinating the abstract objective function, our formulation is generalizable. Overall, this paper’s contribution is to model carbon offset investments through multiple-objective portfolio selection. This paper’s methodology is multiple-objective optimization. This paper’s achievements are to provide investors with greater precision and effectiveness than carbon offset screening and portfolio selection through engineering means and to mathematically prove the properties of the model.

1. Introduction

Figure 1 presents a “graphical abstract”, which is a visual summary of the main findings. It starts with Markowitz’s classical portfolio selection model. Then, this model is improved by adding several constraints and objectives that are connected with several carbon offset projects.
The graphical summary consists of four vertical panels with progressively different shades, representing research progress, as follows:
  • Panel A: portfolio selection;
  • Panel B: multiple-objective portfolio selection for carbon offset;
  • Panel C: classify carbon offset c = c 1 + + c m and the model; and
  • Panel D: further meditate variances (risks) of carbon offset’s compositions.
The graphical abstract horizontally contains three parts as follows:
  • Formulate and evolve (for the models and model evolution);
  • Envisage (for the figures); and
  • Optimize.
We will elaborate the graphical abstract in the following sections. We will explicitly refer to its stuffs by stating that, for instance, “Particularly in the “Formulate and evolve” part of Panel A of Figure 1, we depict Markowitz’s emphasis”.

1.1. Carbon Offset

Our society is facing serious challenges from global warming and environmental degradation. Scientists have identified carbon dioxide as one of the causes. Our society is embracing carbon offset to field the challenges.
Carbon offset refers to a way of compensating for carbon dioxide emissions—for example, from flying, driving, or manufacturing—by supporting projects that reduce or remove carbon dioxide elsewhere. In simple terms, we emit carbon dioxide in one place and pay to reduce or remove carbon dioxide somewhere else. Examples of carbon offset projects are planting trees, renewable energy projects, capturing methane from landfills or farms, improving energy efficiency in homes and businesses, helping individuals or companies cancel out their carbon footprint, and moving toward being carbon neutral (net zero emissions). As an important remark, not all carbon offset projects are equally effective. Some projects may be poorly managed or fail to deliver real emission reductions. Carbon offset should not replace efforts to reduce emissions at the source. Carbon offset is best used as a last step, not the first.
Researchers are actively investigating carbon offset. Huber et al. [1] analyzed the quality of carbon offset and contemplated the quality criteria for carbon offset. de Mello [2] surveyed voluntary carbon offset programs in aviation. Wei et al. [3] explored the research advancement of carbon offset by a bibliometric measure. Hyams and Fawcett [4] exposed the ethical basis for carbon offset and assessed empirical disagreements. González-Ramírez et al. [5] reviewed the design and implementation of carbon offset in agriculture. Lovell [6] overviewed the governance of carbon offset markets and commenced implications for governance structures.

1.2. The Urgency to Engineer Carbon Offset Investments by Multiple-Objective Portfolio Selection in Stock Markets

In stock markets, investors eagerly pursue carbon offset in investments1. The pursuit raises the question how to model carbon offset for investments.
The traditional answer is to adopt carbon offset screening and build portfolios by stocks with good carbon offset ratings. However, Markowitz [7] (p. 3) emphasized portfolio selection rather than stock selection, because portfolio selection and its extensions envelop the interconnection among stocks and wholly design portfolios, while stock selection does not. Particularly in the “Formulate and evolve” part of Panel A of Figure 1, we depict Markowitz’s emphasis.
Moreover, carbon offset is composed of multiple compositions including business, social, economic, and environmental aspects. This multifaceted nature requires more advanced models than carbon offset screening and portfolio selection.
Within this context, we systematically formulate carbon offset investments by multiple-objective portfolio selection. Firstly, we treat carbon offset as a whole and extend portfolio selection. Secondly, we classify carbon offset into compositions and evolve a model to monitor each composition. Thirdly, we innovate a model to monitor each composition’s expectation and mitigate each composition’s risk. Lastly, we optimize the series of models and prove the models’ properties in theorems.

1.3. Portfolio Selection as the Birth of Modern Finance

Portfolio selection is universally recognized as the birth of modern finance (as acclaimed by Rubinstein [8] (p. 1041)). Markowitz [9] presumed the vector of the returns of n stocks as r (as a random vector). For a portfolio weight vector x , Markowitz [9] calculated the portfolio return r (as a random variable) as follows:
portfolio return r = x T r
For notations, normal symbols (e.g., r) denote scalars. Bold-face symbols (e.g., r or Σ ) denote vectors or matrices. Please note the difference between r (portfolio return as a scalar) and r (stock returns as a vector). We introduce numerous symbols and will list the symbols in the Appendix.
Markowitz [7] (p. 6) accentuated both risk and return. Markowitz [9] (p. 83) originated portfolio selection as the following two-objective optimization2:
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expectation of portfolio return   subject to x S , feasible region
where Σ is the covariance matrix of r . μ is a vector of the expectations of stock returns (i.e., μ = E ( r ) ) . A portfolio is fixed by its weight vector x . z 1 measures the variance of r and thus indicates risk. z 2 measures the expectation of r and thus indicates return. S R n is a feasible region.
(2) is a model of two-objective optimization, and investors simultaneously minimize the variance of portfolio return and maximize the expectation of portfolio return. We will review multiple-objective optimization in Section 2. In contrast, ordinary optimization optimizes only one objective function. The optimal result of (2) in ( z 1 , z 2 ) space is called an efficient frontier. Particularly in the “Formulate and evolve” part of Panel A of Figure 1, we depict (2). Particularly in the “Envisage” part of Panel A of Figure 1, we depict an efficient frontier.

1.4. The Rise of Multiple-Objective Portfolio Selection as Extensions of Portfolio Selection

Markowitz [11] (pp. 471 and 476) realized extra objectives after his feat (2). So did Sharpe [12]. Markowitz [13] analyzed short-run portfolio variance and long-run portfolio variance. Fama [14] (pp. 445–447) and Cochrane [15] (pp. 1081–1082) used multiple factors for asset pricing models. Harvey and Siddique [16] considered skewness. Lo et al. [17] inspected liquidity. Pedersen et al. [18] treated ESG. Chow [19] studied tracking errors.
Ehrgott et al. [20], Steuer et al. [21], Dorfleitner et al. [22], Hirschberger et al. [23], Utz et al. [24], Qi et al. [25], Qi and Steuer [26], and Utz and Steuer [27] extended (2) and proposed multiple-objective portfolio selection as follows:
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expectation of portfolio return max z 3 = x T μ 2 , expectation of general portfolio objective 2   max z k = x T μ k 1 , expectation of general portfolio objective k 1   subject to x S , feasible region
where μ 2 μ k 1 are vectors of the expectations of general stock objectives (e.g., carbon offset). z 3 z k measure the expectations of general portfolio objectives.
Spronk and Hallerbach [28], Bana e Costa and Soares [29], Steuer and Na [30], Zopounidis et al. [31], Aouni et al. [32], and La Torre et al. [33] surveyed the area.

1.5. Theoretical Originality and Practical Contribution

1.5.1. Overall Originality and Contribution

Mathematically, this paper makes theoretical contributions to multiple-objective optimization, particularly by proving the consistency of efficient solutions during objective classification and model evolution, describing the structure of properly efficient sets for multiple quadratic objectives, and elucidating the optimization’s sensitivity analyses. Practically, this paper enriches investments for carbon offset. “Systematically” in the title epitomizes integrally formulating, classifying, evolving, and optimizing a series of models. We crystalize the originality and contribution in the following sections.

1.5.2. Formulating

The carbon offset of a corporation typically changes from year to year and thus acts as a random variable. The carbon offsets of n corporations or stocks also change from year to year and thus act as a random vector. We denote the vector of carbon offsets of the n stocks as c (as an n × 1 vector). For a portfolio weight vector x (as an n × 1 vector), we follow (1) and calculate the portfolio carbon offset c (as a random variable) as follows3:
portfolio carbon offset c = x T c
For example, for n = 3 stocks, we presume c with entries as follows:
c = carbon offset of stock 1 carbon offset of stock 2 carbon offset of stock 3 T
For x = x 1 x 2 x 3 T , we compute portfolio carbon offset as follows:
portfolio carbon offset c = x T c = x 1 × ( carbon offset of stock 1 ) + x 2 × ( carbon offset of stock 2 ) + x 3 × ( carbon offset of stock 3 )
We extend the classical portfolio selection model that is model (2) by proposing a multi-objective model with three objective functions: minimize the variance of the portfolio return, maximize the expected portfolio return and maximize the expected portfolio carbon offset return.
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expected portfolio return max z 3 = x T ν , expected portfolio carbon offset return   subject to x S , feasible region
where ν is a vector of the expectations of stock carbon offsets (i.e., ν = E ( c ) ) . z 3 measures the expectation of c. Steuer et al. [21] (pp. 302–303) justified (5). Particularly in the “Formulate and evolve” part of Panel B of Figure 1, we depict (5).
The optimal result of (5) in ( z 1 , z 2 , z 3 ) space extends into a surface (from an efficient frontier as depicted in the “Envisage” part of Panel A of Figure 1). Particularly in the “Envisage” part of Panel B of Figure 1, we depict such a surface. The surface acts as a panorama of the optimal variance of portfolio return ( z 1 ), expectation of portfolio return ( z 2 ), and expectation of portfolio carbon offset ( z 3 ). Investors further reflect carbon offset and overall balance z 1 , z 2 , and z 3 on the surface. Particularly in the “Formulate and evolve” part of Panel B of Figure 1, we depict the advantage.

1.5.3. Classifying

Carbon offset is composed of multiple compositions (e.g., carbon dioxide control and pollutant control) including business, social, economic, and environmental aspects. We acknowledge the multifaceted nature of these compositions and formulate to control each composition. We further presume that carbon offset is composed of m compositions as follows:
c = c 1 + + c m
In Section 1.5.2, we denote the vector of carbon offset of the n stocks as c (as an n × 1 vector). Here, still of the n stocks, c 1 is an n × 1 vector, and c m is an n × 1 vector. We will illustrate in (8).
After presuming the n stocks’ carbon offset compositions, we compute a portfolio’s carbon offset compositions.
  • In (4), for the vector of carbon offsets of the n stocks as c (as an n × 1 vector) and a portfolio weight vector x (as an n × 1 vector), we calculate the portfolio carbon offset c (as a scalar).
  • Similarly, for the vector of carbon offset’s first compositions of the n stocks as c 1 (as an n × 1 vector) and a portfolio weight vector x (as an n × 1 vector), we follow (4) and calculate the portfolio c 1 (as a scalar) as follows:
  • Similarly, for the vector of carbon offset’s last compositions of the n stocks as c m (as an n × 1 vector) and a portfolio weight vector x (as an n × 1 vector), we follow (4) and calculate the portfolio c m (as a scalar) as follows4:
portfolio c 1 = x T c 1 , , portfolio c m = x T c m
For example, for n = 3 stocks, we simply presume that carbon offset is composed of carbon dioxide control and pollutant control alone as follows:
carbon offset = carbon dioxide control + pollutant control
carbon offset = 4 3 6 , carbon dioxide control = 1 2 3 , pollutant control = 3 1 3
With a portfolio weight vector 0.1 0.2 0.7 T , we total the portfolio carbon dioxide control and portfolio pollutant control as follows:
portfolio carbon dioxide control = 0.1 0.2 0.7 1 2 3 portfolio pollutant control = 0.1 0.2 0.7 3 1 3
By (6) and (7), we refine (5), classify carbon offset into the compositions, control each composition, and instigate the following model:
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expectation of portfolio return max z 31 = x T ν 1 , expectation of portfolio c 1   max z 3 m = x T ν m , expectation of portfolio c m   subject to x S , feasible region
where ν 1 ν m are vectors of the expectations of stock c 1 c m (i.e., ν 1 = E ( c 1 ) , …, ν m = E ( c m ) ). By (9), investors simultaneously minimize the variance of portfolio return, maximize the expectation of portfolio return, maximize the expectation of portfolio c 1 , and maximize the expectation of portfolio c m . To maintain consistency of symbol usage, we deploy symbols z 31 z 3 m (instead of z 3 z 2 + m ). Steuer et al. [21] (pp. 302–303) justified (9). Particularly in the “Formulate and evolve” part of Panel C of Figure 1, we depict (9).
The optimal result of (9) in ( z 1 , z 2 , z 31 , , z 3 m ) space again extends into a surface (from a surface as depicted in the “Envisage” part of Panel B of Figure 1). Particularly in the “Envisage” part of Panel C of Figure 1, we depict such a surface. Our depiction is hypothetical because we engage in ( m + 2 ) -dimensional space, which resists visualization. The surface acts as a panorama of the optimal z 1 , z 2 , z 31 , , z 3 m . Investors further ponder the compositions of carbon offset and overall modulate the ( m + 2 ) -dimensional trade-off on the surface. Particularly in the “Formulate and evolve” part of Panel C of Figure 1, we depict the advantage.
Moreover, we prove that any optimal solution of (5) is still optimal of (9) in Theorem 1.

1.5.4. Evolving

Furthermore, we reinforce (9) and evolve the following model:
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expectation of portfolio return min z 311 = x T Ω 1 x , variance of portfolio c 1 max z 312 = x T ν 1 , expectation of portfolio c 1   min z 3 m 1 = x T Ω m x , variance of portfolio c m max z 3 m 2 = x T ν m , expectation of portfolio c m   subject to x S , feasible region
where Ω 1 Ω m are covariance matrices of c 1 c m of (6), respectively. By (10), investors simultaneously minimize the variance of portfolio return, maximize the expectation of portfolio return, minimize the variance of portfolio c 1 , maximize the expectation of portfolio c 1 , minimize the variance of portfolio c m , and maximize the expectation of portfolio c m . Qi and Steuer [34] (pp. 1579–1581) justified (10). Particularly in the “Formulate and evolve” part of Panel D of Figure 1, we depict (10).
The optimal result of (10) in ( z 1 , z 2 , z 311 , z 312 , , z 3 m 1 , z 3 m 2 ) space further extends into a surface (from a surface as depicted in the “Envisage” part of Panel C of Figure 1). Particularly in the “Envisage” part of Panel D of Figure 1, we depict such a surface. Our depiction is hypothetical because we engage in ( 2 m + 2 ) -dimensional space, which resists visualization. The surface acts as a panorama of the optimal z 1 , z 2 , z 311 , z 312 , , z 3 m 1 , z 3 m 2 . Investors cogitate the compositions’ variances (risks) and overall model the m + 1 pairs of variances and expectations on the surface. Particularly in the “Formulate and evolve” part of Panel D of Figure 1, we depict the advantage.

1.5.5. Optimizing

Even (5) alone is complex. There does not exist public domain software despite promising algorithms. (9) and (10) are much more complex than (5)5. We operationalize (5), (9), and (10) by simplifying x S as 1 T x = 1 and functioning the following models:
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expectation of portfolio return max z 3 = x T ν , expectation of portfolio carbon offset   subject to 1 T x = 1
where 1 is the vector with all entries equal to one.
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expectation of portfolio return max z 31 = x T ν 1 , expectation of portfolio c 1   max z 3 m = x T ν m , expectation of portfolio c m   subject to 1 T x = 1
min z 1 = x T Σ x , variance of portfolio return max z 2 = x T μ , expectation of portfolio return min z 311 = x T Ω 1 x , variance of portfolio c 1 max z 312 = x T ν 1 , expectation of portfolio c 1   min z 3 m 1 = x T Ω m x , variance of portfolio c m max z 3 m 2 = x T ν m , expectation of portfolio c m   subject to 1 T x = 1
Particularly in the “Optimize” parts of Panels B, C, and D of Figure 1, we depict (5.o), (9.o), and (10.o), respectively.
We intentionally utilize model numbers (5.o), (9.o), and (10.o) in order to clearly exhibit the models’ relationship to (5), (9), and (10).

1.6. Paper Structure

The rest of this paper is organized as follows: We review portfolio selection and multiple-objective optimization in Section 2. We explicate (5), (9), and (10) and prove the consistency of efficient solutions from (5) to (9) in Section 3. We optimize (5.o), (9.o), and (10.o) and prove the structure of the properly efficient set of (10.o) in Section 4. We illustrate in Section 5. We discuss and conclude in Section 6. We list major symbols in Appendix A.

2. Theoretical Background: Multiple-Objective Optimization and Portfolio Optimization

In this section, we review multiple-objective optimization, multiple-objective portfolio optimization, and investments in carbon offset.

2.1. Multiple-Objective Optimization

Scholars (e.g., Steuer [10]) formalized multiple-objective optimization as follows:
max z 1 = f 1 ( x )   max z k = f k ( x )   subject to x S
where x R n is a decision vector in decision space. k is the number of objectives. f 1 ( x ) f k ( x ) are objective functions. z = z 1 z k T is a criterion vector in criterion space. S R n is a feasible region in decision space. Z = { z x S } is the feasible region in criterion space. Scientists launch the following definitions:
Definition 1.
For z ¯ Z and z Z , that z ¯  dominates  z is defined as z ¯ 1 z 1 , , z ¯ k z k with at least one strict inequality.
Definition 2.
That z ¯ Z is nondominated is defined as that there does not exist a z Z such that z dominates z ¯ . Then, if x ¯ S is an inverse image of z ¯ (i.e., z ¯ = f 1 ( x ¯ ) f k ( x ¯ ) T ), x ¯ is efficient.
Definition 3.
That x ¯ S is properly efficient is defined as that x ¯ is efficient and there exists a scalar M > 0 such that for each i { 1 , , k } , f i ( x ) f i ( x ¯ ) f j ( x ¯ ) f j ( x ) M for some j { 1 , , k } such that f j ( x ) < f j ( x ¯ ) whenever x S and f i ( x ) > f i ( x ¯ ) . Then, if z ¯ is the criterion vector of x ¯ , z ¯ is properly nondominated.
One purpose of multiple-objective optimization is to ascertain the following:
  • Set of efficient decision vectors as an efficient set (denoted as E);
  • Set of nondominated criterion vectors as a nondominated set (denoted as N);
  • Set of properly efficient decision vectors as a properly efficient set; and
  • Set of properly nondominated criterion vectors as a properly nondominated set.
For terminologies, Markowitz [9] specified the optimal result of (2) in ( z 1 , z 2 ) space as an efficient frontier. Contrarily, we respect Definition 2, reserve “nondominated” for criterion space and “efficient” for decision space, and specify the result as a nondominated set.
To resolve (11), researchers (e.g., Steuer [10] (pp. 202–205)) often harnessed e-constraint methods as follows:
max z 1 = f 1 ( x )   subject to f 2 ( x ) = e 2     f k ( x ) = e k   x S
where e 2 e k are the parameters. (12) is an ordinary one-objective optimization. Researchers often presume a set of e 2 e k , solve (12) with the set of e 2 e k , and presume that the optimal decision vectors of (12) are as efficient as those of (11). However, Steuer [10] (p. 203) warned that e-constraint methods are ad hoc and can actually locate inefficient decision vectors of (11).
To resolve (11), researchers (e.g., Steuer [10] (pp. 165–168)) also often harnessed weighted-sums methods as follows:
max λ 1 f 1 ( x ) + + λ k f k ( x )   subject to x S
where λ 1 0 , …, λ k 0 but λ 1 λ k 0 0 are the parameters. Researchers often presume a set of λ 1 λ k , crack (13) with the set of λ 1 λ k , and presume the optimal decision vectors of (13) as efficient of (11). However, Qi [35] (pp. 1683–1685) argued that presuming an appropriate set of λ 1 λ k is tricky, but Qi [35] (pp. 1683–1685) experimented merely with the optimization for (2).

2.2. Multiple-Objective Portfolio Optimization

2.2.1. Analytical Methods

Sharpe [36] (pp. 59–62) and Merton [37] contemplated
min z 1 = x T Σ x max z 2 = x T μ   subject to 1 T x = 1
They analytically derived the efficient set. “Analytical” means closed-form formulae. By analyticity, the computational complexity of Sharpe [36] (pp. 59–62) and Merton [37] was very low. Sharpe [38] anchored his capital asset pricing model on (14). However, Merton [37] and Sharpe [38] did not ponder the general feasible region S of (2) and thus sacrificed generality for analyticity. Huang and Litzenberger [39] (p. 60) endorsed (14) for its analyticity and empirical implications.
Qi et al. [25] extended (14), inserted one linear objective function, and also analytically derived the efficient set. However, Qi et al. [25] did not ponder the general feasible region S of (2) and thus sacrificed generality for analyticity. Qi and Steuer [26] extended the research of Qi et al. [25], inserted more linear objective functions and equality constraints, and also analytically derived the efficient set. Qi and Steuer [34] extended the research of Qi and Steuer [26], inserted more quadratic objective functions, and also analytically derived the properly efficient set. Although Qi and Steuer [26] and Qi and Steuer [34] admitted more equality constraints than Qi et al. [25], Qi and Steuer [26] and Qi and Steuer [34] were still confined to the feasible regions formed by equality constraints only. By analyticity, the computational complexity of Qi et al. [25], Qi and Steuer [26], and Qi and Steuer [34] was very low.

2.2.2. Repetitive Quadratic Programming

Scholars (e.g., Bodie et al. [40] (pp. 230–242)) employed e-constraint methods or weighted-sums methods to (11) and obtained discrete approximation of the nondominated set of (11). Because the scholars repetitively solve quadratic programming problems with established software (e.g., Matlab), the complexity was medium.

2.2.3. Parametric Quadratic Programming

To crack (2), Markowitz [41] and Markowitz and Todd [42] employed parametric quadratic programming and gained the full and precise efficient set6. For general three-objective portfolio selection, Hirschberger et al. [23] also employed parametric quadratic programming and gained the full and precise efficient set. Goh and Yang [44], Jayasekara et al. [45], and Jayasekara et al. [46] also designed parametric quadratic programming algorithms.
Markowitz [41], Markowitz and Todd [42], and Hirschberger et al. [23] exploited the properties of the efficient set (e.g., the efficient set’s connectedness) and started the algorithms with a linear programming problem; the complexity of the algorithms was relatively low. However, Markowitz [41], Markowitz and Todd [42], and Hirschberger et al. [23] operated advanced theory of parametric optimization, so the algorithms were elusive.
Unfortunately, there does not exist public domain software for general multiple-objective portfolio selection, so investors still cannot execute it. To the best of our knowledge, even for merely three-objective portfolio selection, only Hirschberger et al. [23] coded the algorithm, but the code is still private.

2.2.4. Heuristic Methods

Heuristic methods can handle additional nonlinear formulations and thus become important provisional tools. For instance, Deb [47] exhibited evolutionary algorithms. The complexity of evolutionary algorithms can be maximally medium.

2.2.5. Other Latest Methods

Additionally, scientists are advancing other latest methods. For instance, Goli and Tirkolaee [48] promisingly designed a closed-loop supply chain network, accelerated the Benders decomposition algorithm and optimized product portfolio design models but did not generalize for more objective models. Tirkolaee [49] scrutinized novel possibilistic multi-objective mixed-integer linear programming models for sustainable and reliable waste management system design and performed sensitivity analyses but did not prove mathematical properties in theorems. Biswas et al. [50] meditated robust mathematical models for resource allocation and logistics for COVID-19 and hosted a group of late optimization techniques but did not prove mathematical properties in theorems.

2.3. Investments for Carbon Offset

To the best of our knowledge, there exists a limited amount of research for investments in carbon offset. Lou et al. [51] sampled 534 carbon offset projects and identified corporate motivations for carbon offset investments but did not prescribe models for a mass of investors. Lee [52] determined the optimum for investing in carbon emissions reduction by EOQ models and compared regulations for corporate total cost and carbon footprint but did not prescribe models for a mass of investors. Ngilangwa [53] explored the motivation for corporations to invest in carbon offset and contended compliance to the environmental regulations as the major motivation but did not prescribe models for a mass of investors.

3. Formulation and Evolution

3.1. Further Justifying and Illuminating (5)

For portfolio selection (2) and multiple-objective portfolio selection (5) (as an extension), we illuminate the feasible regions, efficient sets, nondominated sets, and advantage of (5) in Figure 2.
In Panel A of Figure 2, we depict the feasible regions S and Z (as reviewed in Section 2) of (2) as shaded regions. Our depiction of S is hypothetical because we engage in n-dimensional space R n , which resists visualization. Portfolio selection (2) maps S to Z. We depict x 1 z 1 and x 2 z 2 .
In Panel B of Figure 2, we depict the efficient set E and nondominated set N of (2). (2) maps E to N. We depict x 3 z 3 .
In Panel C of Figure 2, we depict the S and Z of (5) as shaded regions. (5) maps S to Z. We depict x 1 z 1 and x 2 z 2 . The feasible regions S of (2) and (5) are identical. The Z of (5) extends from a two-dimensional set into a three-dimensional set, because investors integrally reflect the variance of portfolio return, expectation of portfolio return, and expectation of portfolio carbon offset. Contrarily, the investors of (2) simultaneously consider merely the variance of portfolio return and expectation of portfolio return.
In Panel D of Figure 2, we depict the E and N of (5). (5) maps E to N. We depict x 3 z 3 . The N of (5) extends from a two-dimensional set into a three-dimensional set. The N acts as a panorama of the optimal variance of portfolio return, expectation of portfolio return, and expectation of portfolio carbon offset. Investors thus fully envisage the trade-offs and enjoy the freedom of choosing preferred portfolios on N.
By Figure 2, investors can similarly justify (9) and (10).

3.2. Proving the Consistency of Efficient Solutions from (5) to (9)

We deliberate the connection between (5) and (9) by proving the consistency of efficient solutions in the following lemma and theorem:
Lemma 1.
For any x of (5) and (9), the following equality holds for z 3 of (5) and z 31 z 3 m of (9):
x T ν = x T ν 1 + + x T ν m , z 3 = z 31 + + z 3 m
Proof. 
We calculate the expectation of (6) as follows:
E ( c ) = E ( c 1 ) + + E ( c m ) , by the formulation of ( 5 ) and ( 9 )
ν = ν 1 + + ν m
We gauge z 3 by (5) as follows:
z 3 = x T ν , by ( 16 ) = x T ν 1 + + x T ν m , by ( 9 ) = z 31 + + z 3 m
The expression above is (15). Lemma (1) is proved. □
Theorem 1.
Any efficient x of (5) is still efficient for (9). Therefore, the efficient set of (5) is a subset of the efficient set of (9).
Proof. 
For any efficient x ( 5 ) of (5), suppose that x ( 5 ) is not efficient for (9). Then, by Definition 2, there exists x ( 9 ) S with the following relationship:
x ( 9 ) T Σ x ( 9 ) x ( 5 ) T Σ x ( 5 )
x ( 9 ) T μ x ( 5 ) T μ
x ( 9 ) T ν 1 x ( 5 ) T ν 1
x ( 9 ) T ν m x ( 5 ) T ν m
with at least one strict inequality
Because (19) and (20) all carry ≥, we add (19) and (20) and obtain as follows:
x ( 9 ) T ν 1 + + x ( 9 ) T ν m x ( 5 ) T ν 1 + + x ( 5 ) T ν m , by Lemma 1
x ( 9 ) T ν x ( 5 ) T ν
(5) and (9) possess identical S values. By (17), (18), (22), and (21), we infer that x ( 5 ) is not efficient for (5) because x ( 9 ) is more efficient than x ( 5 ) .
However, the inference contradicts the supposition. Therefore, the supposition is incorrect. Namely, x ( 5 ) is efficient for (9). Theorem 1 is proved. □

4. Optimization

4.1. Graphically Comparing Portfolio Optimization Methods

In Figure 3, we graphically compare optimization methods for (5.o), (9.o), and (10.o). Because public domain software for parametric quadratic programming does not exist, we exclude it for the comparison.
By analytical methods, Merton [37], Qi et al. [25], and Qi and Steuer [26] derived full nondominated sets. Moreover, the scholars prove the sets’ parabolic structure and paraboloidal structure, respectively. For instance, we depict a paraboloid z 1 = z 2 2 + 3 z 3 2 + 2 z 2 + 6 z 3 + 7 in Panel A of Figure 3. Additionally, the scholars manipulate just calculus and linear algebra, so analytical methods are understandable. However, the disadvantage is that the scholars are confined to equality constraints only.
Repetitive quadratic programming is easy to execute. However, it renders only partial nondominated sets by discrete approximation. More importantly, it can render dominated criterion vectors (as depicted in Panel B of Figure 3).
Heuristic methods are simple to implement and can handle complex models. However, they inherently render dominated criterion vectors (as depicted in Panel C of Figure 3). Moreover, they also suffer from the disadvantage of repetitive quadratic programming.

4.2. Optimizing (5.o)

We inherit the following assumptions from Qi et al. [25]:
Assumption 1.
Σ is positive definite and thus invertible.
Assumption 2.
μ, ν, and 1 of (5.o) are linearly independent.
By Qi et al. [25], we express the efficient set of (5.o) as follows:
{ x R n x = x m v + λ 2 γ 2 + λ 3 γ 3 , λ 2 , λ 3 0 }
where7
x m v = 1 1 T Σ 1 1 Σ 1 1
γ 2 = 1 2 ( Σ 1 μ 1 T Σ 1 μ 1 T Σ 1 1 Σ 1 1 )
γ 3 = 1 2 ( Σ 1 ν 1 T Σ 1 ν 1 T Σ 1 1 Σ 1 1 )
Geometrically, (23) is a two-dimensional translated cone. Namely, the cone is generated by γ 2 and γ 3 at the origin of R n and translated by x m v . Moreover, the cone is closed because of λ 2 0 and λ 3 0 of (23). Mathematically, Qi et al. [25] (p. 171) proved the linear independence of γ 2 and γ 3 and structure of (23) in the following theorem:
Theorem 2.
The efficient set of (5.o) is structured as a two-dimensional cone.
In Panel A of Figure 4, we show such a cone.

4.3. Optimizing (9.o)

We inherit the following assumption from Qi and Steuer [26].
Assumption 3.
μ, ν 1 , …, ν m , and 1 are linearly independent.
By Qi and Steuer [26], we express the efficient set of (9.o) as follows:
{ x R n x = x m v + λ 2 γ 2 + λ 31 γ 31 + + λ 3 m γ 3 m , λ 2 , λ 31 , , λ 3 m 0 }
where
x m v = 1 1 T Σ 1 1 Σ 1 1
γ 2 = 1 2 ( Σ 1 μ 1 T Σ 1 μ 1 T Σ 1 1 Σ 1 1 )
γ 31 = 1 2 ( Σ 1 ν 1 1 T Σ 1 ν 1 1 T Σ 1 1 Σ 1 1 )
γ 3 m = 1 2 ( Σ 1 ν m 1 T Σ 1 ν m 1 T Σ 1 1 Σ 1 1 )
Geometrically, (27) is an ( m + 1 ) -dimensional translated cone. Namely, the cone is generated by γ 2 , γ 31 , …, γ 3 m at the origin of R n and translated by x m v . Moreover, the cone is closed because of λ 2 0 and λ 31 0 λ 3 m 0 of (27). Mathematically, Qi and Steuer [26] (p. 532) proved the linear independence of γ 2 , γ 31 , …, γ 3 m and structure of (27) in the following theorem:
Theorem 3.
The efficient set of (9.o) is structured as an ( m + 1 ) -dimensional cone.
In Panel B of Figure 4, we show such a cone.

4.4. Optimizing (10.o)

We inherit the following assumption from Qi and Steuer [34]:
Assumption 4.
Ω 1 Ω m are positive definite and thus invertible.
By Qi and Steuer [34], we express the properly efficient set of (10.o) as follows:
{ x R n x = x m v + λ 2 γ 2 + λ 312 γ 312 + + λ 3 m 2 γ 3 m 2 , λ 2 , λ 312 , , λ 3 m 2 > 0 }
where
Θ = Σ + λ 311 Ω 1 + + λ 3 m 1 Ω m , Θ 1 exists
x m v = 1 1 T Θ 1 1 Θ 1 1
γ 2 = 1 2 ( Θ 1 μ 1 T Θ 1 μ 1 T Θ 1 1 Θ 1 1 )
γ 312 = 1 2 ( Θ 1 ν 1 1 T Θ 1 ν 1 1 T Θ 1 1 Θ 1 1 )
γ 3 m 2 = 1 2 ( Θ 1 ν m 1 T Θ 1 ν m 1 T Θ 1 1 Θ 1 1 )
Qi and Steuer [34] (p. 1582) proved Θ of (33) as positive definite and thus invertible. Therefore, Θ 1 exists.
Geometrically, for fixed λ 311 λ 3 m 1 of (33), (32) is a translated cone. Namely, the cone is generated by γ 2 , γ 312 , … γ 3 m 2 at the origin of R n and translated by x m v . Moreover, the cone is open because of λ 2 > 0 and λ 312 > 0 λ 3 m 2 > 0 of (32). Mathematically, we prove the cone as ( m + 1 ) -dimensional in the following theorem and corollary:
Theorem 4.
For fixed λ 311 λ 3 m 1 of (33), γ 2 , γ 312 , γ 3 m 2 of (35)–(37) are linear independent.
Proof. 
Suppose that there exist g 2 , g 312 , , g 3 m 2 R such that
g 2 γ 2 + g 312 γ 312 + g 3 m 2 γ 3 m 2 = 0
where 0 is the vector with all entries equal to zero. We substitute (35)–(37) into (38) and rearrange as follows:
g 2 1 2 ( Θ 1 μ 1 T Θ 1 μ 1 T Θ 1 1 Θ 1 1 ) + g 312 1 2 ( Θ 1 ν 1 1 T Θ 1 ν 1 1 T Θ 1 1 Θ 1 1 ) + + g 3 m 2 1 2 ( Θ 1 ν m 1 T Θ 1 ν m 1 T Θ 1 1 Θ 1 1 ) = 0
g 2 Θ 1 μ g 2 1 T Θ 1 μ 1 T Θ 1 1 Θ 1 1 + g 312 Θ 1 ν 1 g 312 1 T Θ 1 ν 1 1 T Θ 1 1 Θ 1 1 + + g 3 m 2 Θ 1 ν m g 3 m 2 1 T Θ 1 ν m 1 T Θ 1 1 Θ 1 1 = 0
g 2 Θ 1 μ + g 312 Θ 1 ν 1 + + g 3 m 2 Θ 1 ν m ( g 2 1 T Θ 1 μ 1 T Θ 1 1 Θ 1 1 + g 312 1 T Θ 1 ν 1 1 T Θ 1 1 + + g 3 m 2 1 T Θ 1 ν m 1 T Θ 1 1 ) Θ 1 1 = 0
By Assumption 3 and the existence of Θ 1 of (33), we premultiply μ , ν 1 , …, ν m , and 1 by Θ 1 , and the products Θ 1 μ , Θ 1 ν 1 , …, Θ 1 ν m , and Θ 1 1 are also linearly independent as follows:
h 2 Θ 1 μ + h 312 Θ 1 ν 1 + + h 3 m 2 Θ 1 ν m + h 1 Θ 1 1 = 0 , only with h 2 = 0 , h 312 = 0 , , h 3 m 2 = 0 , h 1 = 0
We align (39) and (40) and reason g 2 = 0 , g 312 = 0 , …, g 3 m 2 = 0 of (38). Then, by definition, γ 2 , γ 312 , … γ 3 m 2 are linear independent. Theorem 4 is proved. □
Corollary 1.
For fixed λ 311 λ 3 m 1 of (33), the cone (32) is  ( m + 1 ) -dimensional.
Proof. 
The cone (32) is generated by γ 2 , γ 312 , … γ 3 m 2 . γ 2 , γ 312 , … γ 3 m 2 are linearly independent, so the cone is ( m + 1 ) -dimensional. Corollary 1 is proved. □
In Panel C of Figure 4, we depict such a cone. We further reveal the structure of the properly efficient set of (10.o) in the following theorem:
Theorem 5.
For varying λ 311 but fixed λ 321 λ 3 m 1 of (33), (33) and (32) determine a sequence of ( m + 1 ) -dimensional cones. For varying λ 3 m 1 but fixed λ 311 λ 3 ( m 1 ) 1 of (33), (33) and (32) determine a sequence of ( m + 1 ) -dimensional cones. Broadly, for varying λ 311 λ 3 m 1 of (33), (33) and (32) determine m sequences of ( m + 1 ) -dimensional cones. The m sequences of ( m + 1 ) -dimensional cones describe the structure of the properly efficient set of (10.o).
Proof. 
By Corollary 1, for fixed λ 311 λ 3 m 1 of (33), the cone (32) is ( m + 1 ) -dimensional. With varying λ 3 m 1 but fixed λ 311 λ 3 ( m 1 ) 1 , (33) and (32) determine a sequence of ( m + 1 ) -dimensional cones. Consequently, with varying λ 311 λ 3 m 1 of (33), (33) and (32) determine m sequences of ( m + 1 ) -dimensional cones. Theorem 5 is proved. □
In Panel D of Figure 4, we depict a sequence of ( m + 1 ) -dimensional cones for varying λ 311 but fixed λ 321 λ 3 m 1 . In Panel E, we depict m sequences of ( m + 1 ) -dimensional cones for varying λ 311 λ 3 m 1 .

4.5. Sensitivity Analyses

For the special case of λ 311 = 0 λ 3 m 1 = 0 of (33), we deduce as follows:
Θ = Σ + 0 Ω 1 + + 0 Ω m = Σ
The properly efficient set of (10.o) can subsume the efficient sets of (5.o) and (9.o). Therefore, we perform sensitivity analyses for only (10.o) as general cases.
For (10.o), the constraint 1 T x = 1 is definitive, while the parameters (i.e., Σ , Ω 1 , …, Ω m , μ , ν 1 , …, ν m ) can be indefinitive as follows:
Σ Σ + Δ Σ , Ω 1 Ω 1 + Δ Ω 1 , , Ω m Ω m + Δ Ω m
μ μ + Δ μ , ν 1 ν 1 + Δ ν 1 , , ν m ν m + Δ ν m
We prove the following theorem for the sensitivity of (10.o). The theorem also holds for (5.o) and (9.o).
Theorem 6.
For (32), x m v , γ 2 , γ 312 , …, γ 3 m 2 are all nonlinearly sensitive with respect to Σ, Ω 1 , …, Ω m . Therefore, the sensitivity to Σ, Ω 1 , …, Ω m can be substantial. In contrast, γ 2 is linearly sensitive with respect to μ. Therefore, the sensitivity to μ can be mild. γ 312 is linearly sensitive with respect to ν 1 . Therefore, the sensitivity to ν 1 can be mild. …. γ 3 m 2 is linearly sensitive with respect to ν m . Therefore, the sensitivity to ν m can be mild.
Proof. 
Σ , Ω 1 , …, Ω m all affect Θ of (33). x m v , γ 2 , γ 312 , …, γ 3 m 2 all contain Θ 1 and thus are all nonlinearly sensitive with respect to Σ , Ω 1 , …, Ω m . Because Σ + Δ Σ , Ω 1 + Δ Ω 1 , …, Ω m + Δ Ω m of (41) all can approach the status of singularity, while Θ 1 can vary dramatically. Therefore, the sensitivity to Σ , Ω 1 , …, Ω m can be substantial.
γ 2 of (35) contains Θ 1 μ and 1 T Θ 1 μ and thus is linearly sensitive with respect to μ . Therefore, the sensitivity to μ can be mild.
γ 312 of (36) contains Θ 1 ν 1 and 1 T Θ 1 ν 1 and thus is linearly sensitive with respect to ν 1 . Therefore, the sensitivity to ν 1 can be mild.
γ 3 m 2 of (37) contains Θ 1 ν m and 1 T Θ 1 ν m and thus is linearly sensitive with respect to ν m . Therefore, the sensitivity to ν m can be mild.
Theorem 6 is proved. □

5. Illustration

For four stocks, we simply adopt (8) and assume m = 2 compositions of carbon offset. We report the following parameters:
Σ = 0.01 0 0 0.001 0 0.02 0 0 0 0 0.03 0 0.001 0 0 0.04 , μ = 0.1 0.2 0.3 0.4 , ν = 0.5 0.6 0.7 0.9 , ν 1 = 0.1 0.2 0.4 0.3 , ν 2 = 0.4 0.4 0.3 0.6 Ω 1 = 0.05 0 0.001 0 0 0.08 0 0 0.001 0 0.03 0 0 0 0 0.04 , Ω 2 = 0.07 0 0 0 0 0.08 0 0 0 0 0.09 0 0 0 0 0.1
For (5.o), we compute its efficient set (23) as follows:
{ x R 4 x = x m v + λ 2 γ 2 + λ 3 γ 3 , λ 2 , λ 3 0 }
where
x m v = 0.4800 0.2455 0.1637 0.1108 , γ 2 = 4.8000 0.2369 1.8246 2.7385 , γ 3 = 5.4667 0.0400 1.6400 3.8667
For (9.o), we compute its efficient set (27) as follows:
{ x R 4 x = x m v + λ 2 γ 2 + λ 31 γ 31 + λ 32 γ 32 , λ 2 , λ 31 , λ 32 0 }
where
x m v = 0.4800 0.2455 0.1637 0.1108 , γ 2 = 4.8000 0.2369 1.8246 2.7385 , γ 31 = 4.9333 0.1046 3.4031 1.4256 , γ 32 = 0.5333 0.1446 1.7631 2.4410
For (10.o), we would rather not report the computation of its properly efficient set, because we need to fix specific values for λ 311 and λ 321 .

6. Discussion

6.1. Practical, Theoretical, and Managerial Implications

Practically, this paper enriches investments for carbon offset. Investors can apply this paper, because investors can request some historical return and carbon offset data and readily channel the analyticity (as exhibited in Section 4). Classic finance organizations (e.g., Yahoo Finance) tender historical return data. Several carbon offset organizations (e.g., OPIS, a Dow Jones company) tender reports with data, and investors can design and extract carbon offset variables from the reports8. Academically, scholars (e.g., Bolton and Kacperczyk [54] and Yan et al. [55]) evaluated carbon offset and analyzed its effects.
Theoretically, this paper makes theoretical contributions for multiple-objective optimization, particularly by proving the consistency of efficient solutions during objective classification and model evolution, describing the structure of properly efficient sets for multiple quadratic objectives, and elucidating the optimization’s sensitivity analyses.
Managerially, this paper embraces data-driven modeling and evolves a series of models. Firstly, we extend portfolio selection and treat carbon offset as a whole. Therefore, we reinforce the managerial scope of risk (variance) of return and expectation of return by supplementing carbon offset. Secondly, we comprehend the various nature (e.g., business, social, economic, and environmental nature) of carbon offset, classify carbon offset into multiple compositions, and implant models for each composition. Therefore, we reinforce the managerial scope by highlighting the multifaceted nature and implanting multiple precision. Lastly, we evolve a model to monitor each composition’s risk (variance). Therefore, we reinforce the managerial scope by unlocking new possibilities for decision making across a various range of compositions’ risks and returns.

6.2. Generality of the Formulation

This paper’s formulation is general. Firstly, we regulate abstract compositions in (6) (instead of concrete and fixed compositions). Secondly, instead of concrete and fixed objective functions, we anchor the objective functions on the abstract compositions (e.g., x T ν 1 in (9)). Lastly, even the orientation for carbon offset is exemplary. Namely, we can replace carbon offset by ESG, and the formulation and theorems (e.g., (9) and (10) and Theorems 4 and 5) still hold.

6.3. Future Directions

Overall, this paper’s contributions are to model carbon offset investments by multiple-objective portfolio selection. Mathematically, this paper makes theoretical contributions for multiple-objective optimization, particularly by proving the consistency of efficient solutions during objective classification and model evolution, describing the structure of properly efficient sets for multiple quadratic objectives, and elucidating the optimization’s sensitivity analyses.
Meanwhile, one crucial issue is that this paper lacks empirical testing using real market or carbon offset data. The use of real data could provide practical applicability. Therefore, we envision the following future directions: Firstly, we will dissect the limited research for rating carbon offset, design rating schemes, and tentatively rate component stocks of Dow Jones Industrial Average. To the best of our knowledge, such a rating is barely provided. Then, we maneuver this paper’s models and perform empirical testing.
Secondly, investors analytically foster the efficient sets and nondominated sets of (9), and (10). The nondominated sets are in high-dimensional spaces and reject visualization. Then, how do scholars advance algorithms to incorporate investors’ preferences and pin-point investors’ final portfolios?
Future work could focus on algorithm development, real-world testing, and user-oriented toolkits to bridge this gap.
Researchers are enriching multiple-objective optimization and arming carbon offset investors with systematic formulation.

Author Contributions

Conceptualization, L.L.; methodology, L.L.; software, L.L.; validation, Y.Q.; formal analysis, Y.Q.; investigation, L.L.; resources, Y.Q.; data curation, Y.Q.; writing—original draft preparation, L.L. and Y.Q.; visualization, Y.Q.; supervision, L.L.; project administration, L.L. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are available in a publicly accessible repository. The original data presented in the study are openly available in Mendeley Data at: https://data.mendeley.com/datasets/66dy7vnhpj/1 (accessed on 28 May 2025).

Acknowledgments

We would very much like to thank three anonymous referees for their highly constructive comments.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Lists of Major Symbols and Meanings

Appendix A.1. English Symbols

1.
1 is a vector, denotes the vector with all entries equal to one, and is introduced in (5.o).
2.
c is a vector, denotes the vector of carbon offset of the n stocks, and is introduced in (4).
3.
c is a scalar, denotes the portfolio carbon offset, and is introduced in (4).
4.
c 1 c m are vectors, denote the vector of carbon offset’s first composition of the n stocks …the vector of carbon offset’s last composition of the n stocks, and are introduced in (6).
5.
c 1 c m are scalars, denote portfolio c 1 …portfolio c m , and are introduced in (7).
6.
E is set, denotes the set of efficient decision vectors as efficient set, and is introduced in Section 2.1.
7.
f 1 ( x ) f k ( x ) are scalars, denote objective functions, and are introduced in (11).
8.
k is a scalar, denotes the number of objectives, and is introduced in (11).
9.
N is set, denotes the set of nondominated criterion vectors as nondominated set, and is introduced in Section 2.1.
10.
n is a scalar, denotes the number of stocks, and is introduced in Section 1.3.
11.
r is a random n × 1 vector, denotes the return vector of n stocks, and is introduced in Section 1.3.
12.
r is a random variable (random scalar), denotes portfolio return, and is introduced in (1).
13.
S is a set, denotes a feasible region, and is introduced in (2) and (11).
14.
x is an n × 1 vector, denotes a portfolio weight vector, and is introduced in Section 1.3.
15.
x m v is a vector and is introduced in (24).
16.
Z is a set, denotes the feasible region in criterion space, and is introduced in (11).
17.
z is a vector, denotes a criterion vector, and is introduced in (11).
18.
z 1 is a scalar, denotes the variance of r, and is introduced in (2).
19.
z 2 is a scalar, denotes the expectation of r, and is introduced in (2).
20.
z 3 z k are scalars, denote the expectations of general portfolio objectives, and are introduced in (3).
21.
z 31 z 3 m are scalars, denote the expectation of portfolio c 1 …the expectation of portfolio c m , and are introduced in (9).
22.
z 311 z 3 m 1 are scalars, denote the variance of portfolio c 1 …variance of portfolio c m , and are introduced in (10).
23.
z 312 z 3 m 2 are scalars, denote the expectation of portfolio c 1 …expectation of portfolio c m , and are introduced in (10).

Appendix A.2. Greek Symbols

1.
γ 2 is a vector and is introduced in (25).
2.
γ 3 is a vector and is introduced in (26).
3.
γ 31 is a vector and is introduced in (30).
4.
γ 3 m is a vector and is introduced in (31).
5.
γ 312 is a vector and is introduced in (36).
6.
γ 3 m 2 is a vector and is introduced in (37).
7.
μ is an n × 1 vector, denotes the expectations of stock returns (i.e., μ = E ( r ) ) , and is introduced in (2).
8.
μ 2 μ k 1 are n × 1 vectors, denote vectors of the expectations of general stock objectives, and are introduced in (3).
9.
ν is a vector, denotes the expectations of stock carbon offsets, and is introduced in (5).
10.
ν 1 ν m are vectors, denote the expectations of stock c 1 c m , and are introduced in (9).
11.
Ω 1 Ω m are matrices, denote the covariance matrices of c 1 c m , and are introduced in (10).
12.
Σ is an n × n matrix, denotes the covariance matrix of r , and is introduced in (2).
13.
Θ is a vector and is introduced in (33).

Notes

1
Morgan Stanley predicts that voluntary carbon offset markets will advance from $2 billion in 2020 to $250 billion in 2050. Data source: “Where the Carbon Offset Market Is Poised to Surge”, Morgan Stanley. https://www.morganstanley.com/ideas/carbon-offset-market-growth (accessed on 1 March 2025).
2
Steuer [10] illuminated multiple-objective optimization.
3
Please note the difference between c (portfolio carbon offset as a scalar) and c (stock carbon offsets as a vector).
4
Please note the difference between c 1 (portfolio level as a scalar) and c 1 (stock level as a vector).
5
We fantasize full and precise optimization (rather than partial and heuristic optimization) and will compare optimization methods in Section 4.
6
Pistikopoulos et al. [43] (pp. 6–7) defined parametric programming as optimization with parameters, while ordinary optimization (e.g., quadratic programming) carries no parameters.
7
By Assumption 1, we deduce 1 T Σ 1 1 > 0 , and 1 1 T Σ 1 1 is well-defined.
8
Data source: “Global Carbon Offsets Report”, OPIS, a Dow Jones company. https://www.opisnet.com/product/pricing/spot/carbon-offsets-report/ (accessed on 4 March 2025)

References

  1. Huber, E.; Bach, V.; Finkbeiner, M. A qualitative meta-analysis of carbon offset quality criteria. J. Environ. Manag. 2024, 352, 119983. [Google Scholar] [CrossRef] [PubMed]
  2. de Mello, F.P. Voluntary carbon offset programs in aviation: A systematic literature review. Transp. Policy 2024, 147, 158–168. [Google Scholar] [CrossRef]
  3. Wei, J.; Zhao, K.; Zhang, L.; Yang, R.; Wang, M. Exploring development and evolutionary trends in carbon offset research: A bibliometric perspective. Environ. Sci. Pollut. 2021, 28, 18850–18869. [Google Scholar] [CrossRef] [PubMed]
  4. Hyams, K.; Fawcett, T. The ethics of carbon offsetting. WIREs Clim. Chang. 2013, 4, 91–98. [Google Scholar] [CrossRef]
  5. González-Ramírez, J.; Kling, C.L.; Valcu, A. An overview of carbon offsets from agriculture. Annu. Rev. Resour. Econ. 2012, 4, 145–160. [Google Scholar] [CrossRef]
  6. Lovell, H.C. Governing the carbon offset market. WIREs Clim. Chang. 2010, 1, 353–362. [Google Scholar] [CrossRef]
  7. Markowitz, H.M. Portfolio Selection: Efficient Diversification in Investments, 1st ed.; John Wiley & Sons: New York, NY, USA, 1959. [Google Scholar]
  8. Rubinstein, M. Markowitz’s “portfolio selection”: A fifty-year retrospective. J. Financ. 2002, 57, 1041–1045. [Google Scholar] [CrossRef]
  9. Markowitz, H.M. Portfolio Selection. J. Financ. 1952, 7, 77–91. [Google Scholar]
  10. Steuer, R.E. Multiple Criteria Optimization: Theory, Computation, and Application; John Wiley & Sons: New York, NY, USA, 1986. [Google Scholar]
  11. Markowitz, H.M. Foundations of portfolio selection. J. Financ. 1991, 46, 469–477. [Google Scholar] [CrossRef]
  12. Sharpe, W.F. Optimal Portfolios without Bounds on Holdings. Ph.D. Thesis, Graduate School of Business, Stanford University, Stanford, CA, USA, 2001. Available online: https://web.stanford.edu/~wfsharpe/mia/opt/mia_opt2.htm (accessed on 28 May 2025).
  13. Markowitz, H.M. How to represent mark-to-market possibilities with the general portfolio selection model. J. Portf. Manag. 2013, 39, 1–3. [Google Scholar] [CrossRef]
  14. Fama, E.F. Multifactor portfolio efficiency and multifactor asset pricing. J. Financ. Quant. Anal. 1996, 31, 441–465. [Google Scholar] [CrossRef]
  15. Cochrane, J.H. Presidential address: Discount rates. J. Financ. 2011, 66, 1047–1108. [Google Scholar] [CrossRef]
  16. Harvey, C.R.; Siddique, A. Conditional skewness in asset pricing tests. J. Financ. 2000, 55, 1263–1296. [Google Scholar] [CrossRef]
  17. Lo, A.W.; Petrov, C.; Wierzbicki, M. It’s 11pm—Do you know where your liquidity is? The mean-variance-liquidity frontier. J. Invest. Manag. 2003, 1, 55–93. [Google Scholar]
  18. Pedersen, L.H.; Fitzgibbons, S.; Pomorski, L. Responsible investing: The ESG-efficient frontier. J. Financ. Econ. 2021, 142, 572–597. [Google Scholar] [CrossRef]
  19. Chow, G. Portfolio selection based on return, risk, and relative performance. Financ. Anal. J. 1995, 51, 54–60. [Google Scholar] [CrossRef]
  20. Ehrgott, M.; Klamroth, K.; Schwehm, C. An MCDM Approach to Portfolio Optimization. Eur. J. Oper. Res. 2004, 155, 752–770. [Google Scholar] [CrossRef]
  21. Steuer, R.E.; Qi, Y.; Hirschberger, M. Suitable-portfolio investors, nondominated frontier sensitivity, and the effect of multiple objectives on standard portfolio selection. Ann. Oper. Res. 2007, 152, 297–317. [Google Scholar] [CrossRef]
  22. Dorfleitner, G.; Leidl, M.; Reeder, J. Theory of social returns in portfolio choice with application to microfinance. J. Asset Manag. 2012, 13, 384–400. [Google Scholar] [CrossRef]
  23. Hirschberger, M.; Steuer, R.E.; Utz, S.; Wimmer, M.; Qi, Y. Computing the nondominated surface in tri-criterion portfolio selection. Oper. Res. 2013, 61, 169–183. [Google Scholar] [CrossRef]
  24. Utz, S.; Wimmer, M.; Steuer, R.E. Tri-criterion modeling for constructing more-sustainable mutual funds. Eur. J. Oper. Res. 2015, 246, 331–338. [Google Scholar] [CrossRef]
  25. Qi, Y.; Steuer, R.E.; Wimmer, M. An analytical derivation of the efficient surface in portfolio selection with three criteria. Ann. Oper. Res. 2017, 251, 161–177. [Google Scholar] [CrossRef]
  26. Qi, Y.; Steuer, R.E. On the analytical derivation of efficient sets in quad-and-higher criterion portfolio selection. Ann. Oper. Res. 2020, 293, 521–538. [Google Scholar] [CrossRef]
  27. Utz, S.; Steuer, R.E. Empirical analysis of the trade-offs among risk, return, and climate risk in multi-criteria portfolio optimization. Ann. Oper. Res. 2024, Epub ahead of printing. [Google Scholar] [CrossRef]
  28. Spronk, J.; Hallerbach, W.G. Financial modelling: Where to go? With an illustration for portfolio management. Eur. J. Oper. Res. 1997, 99, 113–127. [Google Scholar] [CrossRef]
  29. Bana e Costa, C.A.; Soares, J.O. Multicriteria approaches for portfolio selection: An overview. Rev. Financ. Mark. 2001, 4, 19–26. [Google Scholar]
  30. Steuer, R.E.; Na, P. Multiple criteria decision making combined with finance: A categorized bibliography. Eur. J. Oper. Res. 2003, 150, 496–515. [Google Scholar] [CrossRef]
  31. Zopounidis, C.; Galariotis, E.; Doumpos, M.; Sarri, S.; Andriosopoulos, K. Multiple criteria decision aiding for finance: An updated bibliographic survey. Eur. J. Oper. Res. 2015, 247, 339–348. [Google Scholar] [CrossRef]
  32. Aouni, B.; Doumpos, M.; Pérez-Gladish, B.; Steuer, R.E. On the increasing importance of multiple criteria decision aid methods for portfolio selection. J. Oper. Res. Soc. 2018, 69, 1525–1542. [Google Scholar] [CrossRef]
  33. La Torre, D.; Boubaker, S.; Pérez-Gladish, B.; Zopounidis, C. Preface to the special issue on multidimensional finance, insurance, and investment. Int. Trans. Oper. Res. 2023, 30, 2137–2138. [Google Scholar] [CrossRef]
  34. Qi, Y.; Steuer, R.E. An analytical derivation of properly efficient sets in multi-objective portfolio selection. Ann. Oper. Res. 2025, 346, 1573–1595. [Google Scholar] [CrossRef]
  35. Qi, Y. Parametrically computing efficient frontiers of portfolio selection and reporting and utilizing the piecewise-segment structure. J. Oper. Res. Soc. 2020, 71, 1675–1690. [Google Scholar] [CrossRef]
  36. Sharpe, W.F. Portfolio Theory and Capital Markets, 1st ed.; McGraw-Hill: New York, NY, USA, 1970. [Google Scholar]
  37. Merton, R.C. An analytical derivation of the efficient portfolio frontier. J. Financ. Quant. Anal. 1972, 7, 1851–1872. [Google Scholar] [CrossRef]
  38. Sharpe, W.F. Capital asset prices: A theory of market equilibrium. J. Financ. 1964, 19, 425–442. [Google Scholar]
  39. Huang, C.; Litzenberger, R.H. Foundations for Financial Economics; Prentice Hall: Englewood Cliffs, NJ, USA, 1988. [Google Scholar]
  40. Bodie, Z.; Kane, A.; Marcus, A.J. Investments, 12th ed.; McGraw-Hill Education: New York, NY, USA, 2021. [Google Scholar]
  41. Markowitz, H.M. The optimization of a quadratic function subject to linear constraints. Nav. Res. Logist. Q. 1956, 3, 111–133. [Google Scholar] [CrossRef]
  42. Markowitz, H.M.; Todd, G.P. Mean-Variance Analysis in Portfolio Choice and Capital Markets; Frank J. Fabozzi Associates: New Hope, PA, USA, 2000. [Google Scholar]
  43. Pistikopoulos, E.N.; Diangelakis, N.A.; Oberdieck, R. Multi-parametric Optimization and Control, 1st ed.; John Wiley & Sons: Hoboken, NJ, USA, 2021. [Google Scholar]
  44. Goh, C.; Yang, X. Analytic efficient solution set for multi-criteria quadratic programs. Eur. J. Oper. Res. 1996, 92, 166–181. [Google Scholar] [CrossRef]
  45. Jayasekara, P.L.; Adelgren, N.; Wiecek, M.M. On convex multiobjective programs with application to portfolio optimization. J.-Multi-Criteria Decis. Anal. 2019, 27, 189–202. [Google Scholar] [CrossRef]
  46. Jayasekara, P.L.; Pangia, A.C.; Wiecek, M.M. On solving parametric multiobjective quadratic programs with parameters in general locations. Ann. Oper. Res. 2023, 320, 123–172. [Google Scholar] [CrossRef]
  47. Deb, K. Multi-Objective Optimization Using Evolutionary Algorithms; John Wiley & Sons: New York, NY, USA, 2001. [Google Scholar]
  48. Goli, A.; Tirkolaee, E.B. Designing a portfolio-based closed-loop supply chain network for dairy products with a financial approach: Accelerated Benders decomposition algorithm. Comput. Oper. Res. 2023, 155, 106244. [Google Scholar] [CrossRef]
  49. Tirkolaee, E.B. Circular–sustainable–reliable waste management system design: A Possibilistic multi-objective mixed-integer linear programming model. Systems 2024, 12, 435. [Google Scholar] [CrossRef]
  50. Biswas, S.; Belamkar, P.; Sarma, D.; Tirkolaee, E.B.; Bera, U.K. A multi-objective optimization approach for resource allocation and transportation planning in institutional quarantine centres. Ann. Oper. Res. 2025, 346, 781–825. [Google Scholar] [CrossRef]
  51. Lou, J.; Hultman, N.; Patwardhan, A.; Mintzer, I. Corporate motivations and co-benefit valuation in private climate finance investments through voluntary carbon markets. NPJ Clim. Action 2023, 2, 32. [Google Scholar] [CrossRef]
  52. Lee, J. Investing in carbon emissions reduction in the EOQ model. J. Oper. Res. Soc. 2020, 71, 1289–1300. [Google Scholar] [CrossRef]
  53. Ngilangwa, B.N. Factors contributing an organization to invest in carbon offset projects. Int. J. Manag. Soc. Sci. 2015, 3, 56–71. [Google Scholar]
  54. Bolton, P.; Kacperczyk, M. Do investors care about carbon risk? J. Financ. Econ. 2021, 142, 517–549. [Google Scholar] [CrossRef]
  55. Yan, H.; Li, X.; Huang, Y.; Li, Y. The impact of the consistency of carbon performance and carbon information disclosure on enterprise value. Financ. Res. Lett. 2020, 37, 101680. [Google Scholar] [CrossRef]
Figure 1. Graphical abstract: It vertically contains four panels and horizontally contains three parts. We will elaborate on this in the Introduction.
Figure 1. Graphical abstract: It vertically contains four panels and horizontally contains three parts. We will elaborate on this in the Introduction.
Systems 13 00441 g001
Figure 2. For portfolio selection (2) and multiple-objective portfolio selection (5) (as an extension), the feasible regions, efficient sets, and nondominated sets, and advantage of (5).
Figure 2. For portfolio selection (2) and multiple-objective portfolio selection (5) (as an extension), the feasible regions, efficient sets, and nondominated sets, and advantage of (5).
Systems 13 00441 g002
Figure 3. Comparing portfolio optimization methods for (5.o), (9.o), and (10.o).
Figure 3. Comparing portfolio optimization methods for (5.o), (9.o), and (10.o).
Systems 13 00441 g003
Figure 4. The structure of the efficient sets of (5) and (9.o) and properly efficient of (10.o).
Figure 4. The structure of the efficient sets of (5) and (9.o) and properly efficient of (10.o).
Systems 13 00441 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Lin, L.; Qi, Y. Systematically Formulating Investments for Carbon Offset by Multiple-Objective Portfolio Selection: Classifying, Evolving, and Optimizing. Systems 2025, 13, 441. https://doi.org/10.3390/systems13060441

AMA Style

Lin L, Qi Y. Systematically Formulating Investments for Carbon Offset by Multiple-Objective Portfolio Selection: Classifying, Evolving, and Optimizing. Systems. 2025; 13(6):441. https://doi.org/10.3390/systems13060441

Chicago/Turabian Style

Lin, Long, and Yue Qi. 2025. "Systematically Formulating Investments for Carbon Offset by Multiple-Objective Portfolio Selection: Classifying, Evolving, and Optimizing" Systems 13, no. 6: 441. https://doi.org/10.3390/systems13060441

APA Style

Lin, L., & Qi, Y. (2025). Systematically Formulating Investments for Carbon Offset by Multiple-Objective Portfolio Selection: Classifying, Evolving, and Optimizing. Systems, 13(6), 441. https://doi.org/10.3390/systems13060441

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop