<!DOCTYPE article
PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD with MathML3 v1.2 20190208//EN" "JATS-archivearticle1-mathml3.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" article-type="research-article"><?properties manuscript?><front><journal-meta><journal-id journal-id-type="nlm-journal-id">101743592</journal-id><journal-id journal-id-type="pubmed-jr-id">48460</journal-id><journal-id journal-id-type="nlm-ta">Priv Stat Databases</journal-id><journal-title-group><journal-title>Privacy in statistical databases. PSD (Conference : 2004-)</journal-title></journal-title-group></journal-meta><article-meta><article-id pub-id-type="pmid">33889869</article-id><article-id pub-id-type="pmc">8057307</article-id><article-id pub-id-type="doi">10.1007/978-3-030-57521-2_12</article-id><article-id pub-id-type="manuscript">HHSPA1676971</article-id><article-categories><subj-group subj-group-type="heading"><subject>Article</subject></subj-group></article-categories><title-group><article-title>On Different Formulations of a Continuous CTA Model</article-title></title-group><contrib-group><contrib contrib-type="author"><name><surname>Lesaja</surname><given-names>Goran</given-names></name><xref ref-type="aff" rid="A1">1</xref><xref ref-type="aff" rid="A2">2</xref></contrib><contrib contrib-type="author"><name><surname>Iacob</surname><given-names>Ionut</given-names></name><xref ref-type="aff" rid="A1">1</xref></contrib><contrib contrib-type="author"><name><surname>Oganian</surname><given-names>Anna</given-names></name><xref ref-type="aff" rid="A3">3</xref></contrib></contrib-group><aff id="A1"><label>1</label>Department of Mathematical Sciences, Georgia Southern University, 65 Georgia Ave., Statesboro, GA 30460-8093, U.S.A.</aff><aff id="A2"><label>2</label>Department of Mathematics, US Naval Academy, 121 Blake Road, Annapolis, MD 21402-1300</aff><aff id="A3"><label>3</label>National Center for Health Statistics 3311 Toledo Rd, Hyattsville, MD, 20782, U.S.A.</aff><author-notes><corresp id="CR1"><email>goran@georgiasouthern.edu</email></corresp></author-notes><pub-date pub-type="nihms-submitted"><day>3</day><month>3</month><year>2021</year></pub-date><pub-date pub-type="epub"><day>16</day><month>9</month><year>2020</year></pub-date><pub-date pub-type="ppub"><month>9</month><year>2020</year></pub-date><pub-date pub-type="pmc-release"><day>01</day><month>9</month><year>2021</year></pub-date><volume>12276</volume><fpage>166</fpage><lpage>179</lpage><!--elocation-id from pubmed: 10.1007/978-3-030-57521-2_12--><abstract id="ABS1"><p id="P1">In this paper, we consider a Controlled Tabular Adjustment (CTA) model for statistical disclosure limitation of tabular data. The goal of the CTA model is to find the closest safe (masked) table to the original table that contains sensitive information. The measure of closeness is usually measured using <italic>&#x02113;</italic><sub>1</sub> or <italic>&#x02113;</italic><sub>2</sub> norm. However, in the norm-based CTA model, there is no control of how well the statistical properties of the data in the original table are preserved in the masked table. Hence, we propose a different criterion of &#x0201c;closeness&#x0201d; between the masked and original table which attempts to minimally change certain statistics used in the analysis of the table. The Chi-square statistic is among the most utilized measures for the analysis of data in two-dimensional tables. Hence, we propose a <italic>Chi-square</italic> CTA model which minimizes the objective function that depends on the difference of the Chi-square statistics of the original and masked table. The model is non-linear and non-convex and therefore harder to solve which prompted us to also consider a modification of this model which can be transformed into a linear programming model that can be solved more efficiently. We present numerical results for the two-dimensional table illustrating our novel approach and providing a comparison with norm-based CTA models.</p></abstract><kwd-group><kwd>Statistical disclosure limitation</kwd><kwd>controlled tabular adjustment models</kwd><kwd>linear and non-linear optimization</kwd><kwd>interior-point methods</kwd><kwd>chi-square statistic</kwd></kwd-group></article-meta></front><body><sec id="S1"><label>1</label><title>Introduction</title><p id="P2"><italic>Minimum-distance controlled tabular adjustment</italic> (CTA) methodology for tabular data was first introduced in [<xref rid="R7" ref-type="bibr">7</xref>, <xref rid="R14" ref-type="bibr">14</xref>]. It is one of the effective statistical disclosure limitation (SDL) methods for the protection of sensitive information in tabular data. An overview of SDL theory and methods can be found in the monograph [<xref rid="R16" ref-type="bibr">16</xref>], and for tabular data only, in the survey [<xref rid="R8" ref-type="bibr">8</xref>].</p><p id="P3">CTA problem can be formulated as follows: given a table with sensitive cells, compute the &#x0201c;closest&#x0201d; additive safe (masked) table to the original table ensuring that adjusted (masked) values of all sensitive cells are safely away from their original value and that adjusted values are within a certain range of the real values. The additivity of the masked table means in most cases the requirement that the sum of cell values in each row and column of the table remains the same in the original and masked table, [<xref rid="R16" ref-type="bibr">16</xref>, <xref rid="R18" ref-type="bibr">18</xref>].</p><p id="P4">In the standard formulation of the CTA model, the closeness of the original and masked table is measured by the weighted distance between the tables with respect to a certain norm. Most commonly used norms are <italic>&#x02113;</italic><sub>1</sub> and <italic>&#x02113;</italic><sub>2</sub> norms. Thus, the problem can be formulated as a minimization problem with the objective function being a particular weighted distance function and constraints being derived from the requirements stated above.</p><p id="P5">In general, the CTA problem is a Mixed Integer Optimization Problem (MICOP) which is a difficult problem to solve especially for large dimension tables. The MICOP CTA problem involves binary variables that characterize sensitive cells and their values indicate whether the value of the sensitive cell is adjusted upward or downward. Apriori fixing the values of binary variables reduces the problem to the continuous optimization problem which is easier to solve, however, the quality of the solution may be reduced since we are no longer searching for the global optimal solution but its approximation. In addition, the values of the binary variables have to be assigned carefully otherwise the problem may become infeasible. Some strategies to fix the binary variables while preserving the feasibility of the problem were discussed in [<xref rid="R11" ref-type="bibr">11</xref>, <xref rid="R12" ref-type="bibr">12</xref>]. In the paper we assume that the binary variables are fixed upfront according to one of the strategies presented in these papers, hence we consider continuous CTA models.</p><p id="P6">As indicated above, the objective function in the continuous CTA model is based on either the <italic>&#x02113;</italic><sub>1</sub>-norm or <italic>&#x02113;</italic><sub>2</sub>-norm. The formulation of <italic>&#x02113;</italic><sub>2</sub>-CTA model leads to the Quadratic Programming (QP) problem, while <italic>&#x02113;</italic><sub>1</sub>-CTA model can be formulated as the Linear Programming (LP) problem and, as a Second-Order Cone (SOC) problem, which has recently been proposed in [<xref rid="R18" ref-type="bibr">18</xref>].</p><p id="P7">However, in the standard norm-based CTA model, there is no control of how well the statistical properties of the data in the table are preserved. The numerical experiments summarized in <xref rid="T1" ref-type="table">Table 1</xref> in <xref ref-type="sec" rid="S4">Section 2.2</xref> suggest that there is no pattern which would indicate that one CTA model consistently produces the values of the Chi-square statistic, or other statistics, of the masked and original table that are closer to each other than for any other model.</p><p id="P8">This observation motivated us to consider different criteria of &#x0201c;closeness&#x0201d; between masked and original table which attempts to minimally change certain statistical properties of the table. For example, the Chi-square statistic is an important statistical measure often used to analyze tabular data [<xref rid="R10" ref-type="bibr">10</xref>]. Hence, we propose, what we call <italic>Chi-square</italic> CTA model, which minimizes the objective function that depends on the difference of Chi-square statistics of the original and masked table. The Chi-square CTA model is smooth, non-linear, and non-convex which makes it harder to solve the problem. This motivated us to also consider a modification of this model, called <italic>Chi-linear</italic> CTA which can be transformed into a LP problem that can be solved more efficiently.</p><p id="P9">The Chi-square and Chi-linear CTA models are applied to the two-dimensional table used previously in the literature [<xref rid="R18" ref-type="bibr">18</xref>, <xref rid="R5" ref-type="bibr">5</xref>] as a two-dimensional test table to compare solutions of different CTA models. Chi-square and Chi-linear CTA models for this table are solved using interior-point methods (IPMs) and compared with results obtained in [<xref rid="R18" ref-type="bibr">18</xref>] when norm-based CTAs models were applied to the same table. The Chi-square statistic, Cramer V, and Chi-linear measures were calculated for the original table and for masked tables and compared to illustrate the validity of our approach.</p><p id="P10">The paper is organized as follows. In <xref ref-type="sec" rid="S2">Section 2</xref> the norm-based CTA models are outlined. In <xref ref-type="sec" rid="S5">Section 3</xref> a novel continuous Chi-square CTA model is presented, as well as its modification, Chi-linear CTA model, and the transformation to LP problem is derived. <xref ref-type="sec" rid="S8">Section 4</xref> contains numerical results of applying Chi-square, Chi-linear, and norm-based CTA models to the two-dimensional table. The concluding remarks and possible directions for future research are given in <xref ref-type="sec" rid="S9">Section 5</xref>.</p></sec><sec id="S2"><label>2</label><title>Preliminaries</title><sec id="S3"><label>2.1</label><title>Norm-based CTA models</title><p id="P11">In this section, we review the standard norm-based CTA model as it is presented in [<xref rid="R18" ref-type="bibr">18</xref>]. Given the following set of parameters:
<list list-type="roman-lower" id="L1"><list-item><p id="P12">A set of cells <italic>a<sub>i</sub></italic>, <inline-formula><mml:math display="inline" id="M1"><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">N</mml:mi><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>&#x02026;</mml:mo><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow><mml:mo>}</mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula>. The vector <italic>a</italic> = (<italic>a</italic><sub>1</sub>, &#x02026;, <italic>a<sub>n</sub></italic>)<sup><italic>T</italic></sup> satisfies certain linear system <italic>Aa</italic> = <italic>b</italic> where <inline-formula><mml:math display="inline" id="M2"><mml:mrow><mml:mi>A</mml:mi><mml:mo>&#x02208;</mml:mo><mml:msup><mml:mi mathvariant="double-struck">R</mml:mi><mml:mrow><mml:mi>m</mml:mi><mml:mo>&#x000d7;</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> is an <italic>m</italic> &#x000d7; <italic>n</italic> matrix and and <inline-formula><mml:math display="inline" id="M3"><mml:mrow><mml:mi>b</mml:mi><mml:mo>&#x02208;</mml:mo><mml:msup><mml:mi mathvariant="double-struck">R</mml:mi><mml:mi>m</mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> is <italic>m</italic>-vector.</p></list-item><list-item><p id="P13">A lower, and upper bound for each cell, <italic>l<sub>a<sub>i</sub></sub></italic> &#x02264; <italic>a<sub>i</sub></italic> &#x02264; <italic>u<sub>a<sub>i</sub></sub></italic> for <inline-formula><mml:math display="inline" id="M4"><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">N</mml:mi></mml:mrow></mml:math></inline-formula>, which are considered known by any attacker.</p></list-item><list-item><p id="P14">A set of indices of sensitive cells, <inline-formula><mml:math display="inline" id="M5"><mml:mrow><mml:mi mathvariant="script">S</mml:mi><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:msub><mml:mi>i</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x02026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:mrow><mml:mo>}</mml:mo></mml:mrow><mml:mo>&#x02286;</mml:mo><mml:mi mathvariant="script">N</mml:mi></mml:mrow></mml:math></inline-formula></p></list-item><list-item><p id="P15">A lower and upper protection level for each sensitive cell <inline-formula><mml:math display="inline" id="M6"><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi></mml:mrow></mml:math></inline-formula> respectively, <italic>lpl<sub>i</sub></italic> and <italic>upl<sub>i</sub></italic>, such that the released values must be outside of the interval (<italic>a<sub>i</sub></italic> &#x02212; <italic>lpl<sub>i</sub>, a<sub>i</sub></italic> + <italic>upl<sub>i</sub></italic>).</p></list-item><list-item><p id="P16">A set of weights, <italic>w<sub>i</sub></italic>, <inline-formula><mml:math display="inline" id="M7"><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">N</mml:mi></mml:mrow></mml:math></inline-formula> used in measuring the deviation of the released data values from the original data values.</p></list-item></list></p><p id="P17">A standard CTA problem is a problem of finding values <italic>z<sub>i</sub></italic>, <inline-formula><mml:math display="inline" id="M8"><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">N</mml:mi></mml:mrow></mml:math></inline-formula>, to be released, such that <italic>z<sub>i</sub></italic>, <inline-formula><mml:math display="inline" id="M9"><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi></mml:mrow></mml:math></inline-formula> are safe values and the weighted distance between released values <italic>z<sub>i</sub></italic> and original values <italic>a<sub>i</sub></italic>, denoted as &#x02016;<italic>z</italic> &#x02212; <italic>a</italic>&#x02016;<sub><italic>l</italic>(<italic>w</italic>)</sub> is minimized, which leads to solving the following optimization problem
<disp-formula id="FD1"><label>(1)</label><mml:math display="block" id="M10"><mml:munder><mml:mrow><mml:mi>min</mml:mi></mml:mrow><mml:mi>z</mml:mi></mml:munder><mml:msub><mml:mrow><mml:mo>&#x02016;</mml:mo><mml:mrow><mml:mi>z</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mi>a</mml:mi></mml:mrow><mml:mo>&#x02016;</mml:mo></mml:mrow><mml:mrow><mml:mi>l</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>w</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msub><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Az</mml:mi><mml:mo>=</mml:mo><mml:mi>b</mml:mi><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:msub><mml:mi>l</mml:mi><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>&#x02264;</mml:mo><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02264;</mml:mo><mml:msub><mml:mi>u</mml:mi><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">N</mml:mi><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>are safe values</mml:mi><mml:mo>.</mml:mo></mml:math></disp-formula></p><p id="P18">As indicated in the assumption (iv) above, safe values are the values that satisfy
<disp-formula id="FD2"><label>(2)</label><mml:math display="block" id="M11"><mml:mrow><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02264;</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:mi>l</mml:mi><mml:mi>p</mml:mi><mml:msub><mml:mi>l</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mspace width="thickmathspace"/><mml:mi>or</mml:mi><mml:mspace width="thickmathspace"/><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02265;</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:msub><mml:mi>l</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mo>.</mml:mo></mml:mrow></mml:math></disp-formula></p><p id="P19">By introducing a vector of binary variables <italic>y</italic> &#x02208; {0, 1}<sup><italic>s</italic></sup> the constraint (<xref ref-type="disp-formula" rid="FD2">2</xref>) can be written as
<disp-formula id="FD3"><label>(3)</label><mml:math display="block" id="M12"><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02265;</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mi>M</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>+</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:msub><mml:mi>l</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02264;</mml:mo><mml:mi>M</mml:mi><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:mi>l</mml:mi><mml:mi>p</mml:mi><mml:msub><mml:mi>l</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mspace width="1em"/><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mo>,</mml:mo></mml:math></disp-formula>
where <italic>M</italic> &#x0226b; 0 is a large positive number. Constraints (<xref ref-type="disp-formula" rid="FD3">3</xref>) enforce the upper safe value if <italic>y<sub>i</sub></italic> = 1 or the lower safe value if <italic><italic>y</italic><sub>i</sub></italic> = 0.</p><p id="P20">Replacing the last constraint in the CTA model (<xref ref-type="disp-formula" rid="FD1">1</xref>) with (<xref ref-type="disp-formula" rid="FD3">3</xref>) leads to a mixed-integer convex optimization problem (MICOP) which is, in general, a difficult problem to solve; however, it provides a globally optimal solution [<xref rid="R6" ref-type="bibr">6</xref>]. The alternative approach is to fix binary variables upfront which leads to a CTA model which is a continuous convex optimization problem that is easier to solve. It is worth noting that the obtained solution is optimal for the fixed combination of binary variables which is different from the global optimum obtained when solving MICOP CTA problem, however, in most cases, it is quite a good approximation that serves the purpose of protecting sensitive values in the table quite well. It is also important to mention that a wrong assignment of binary variables may result in the problem being infeasible. Strategies on how to avoid this difficulty are discussed in [<xref rid="R11" ref-type="bibr">11</xref>, <xref rid="R12" ref-type="bibr">12</xref>].</p><p id="P21">In this paper, we consider a continuous CTA model where binary variables are fixed according to one of the strategies suggested in these papers. Furthermore, vector <italic>z</italic> is replaced by the vector of <italic>cell deviations</italic>, <italic>x</italic> = <italic>z</italic> &#x02212; <italic>a</italic>.</p><p id="P22">The CTA (<xref ref-type="disp-formula" rid="FD1">1</xref>) model with constraints (<xref ref-type="disp-formula" rid="FD3">3</xref>) reduces to the following convex optimization problem:
<disp-formula id="FD4"><label>(4)</label><mml:math display="block" id="M13"><mml:munder><mml:mrow><mml:mi>min</mml:mi></mml:mrow><mml:mi>x</mml:mi></mml:munder><mml:msub><mml:mrow><mml:mo>&#x02016;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02016;</mml:mo></mml:mrow><mml:mrow><mml:mi>l</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>w</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msub><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>,</mml:mo></mml:math></disp-formula>
where upper and lover bounds for <italic>x<sub>i</sub></italic>, <inline-formula><mml:math display="inline" id="M14"><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">N</mml:mi></mml:mrow></mml:math></inline-formula> are defined as follows:
<disp-formula id="FD5"><label>(5)</label><mml:math display="block" id="M15"><mml:mrow><mml:msub><mml:mi>l</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mtable columnalign="left"><mml:mtr><mml:mtd><mml:mrow><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:msub><mml:mi>l</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>and</mml:mi><mml:mspace width="thickmathspace"/><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>l</mml:mi><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mrow><mml:mi mathvariant="script">N</mml:mi><mml:mo>\</mml:mo><mml:mi mathvariant="script">S</mml:mi></mml:mrow></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mspace width="thickmathspace"/><mml:mi>or</mml:mi><mml:mspace width="thickmathspace"/><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>and</mml:mi><mml:mspace width="thickmathspace"/><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow></mml:mrow></mml:mrow></mml:math></disp-formula>
<disp-formula id="FD6"><label>(6)</label><mml:math display="block" id="M16"><mml:mrow><mml:msub><mml:mi>u</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mtable columnalign="left"><mml:mtr><mml:mtd><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>l</mml:mi><mml:mi>p</mml:mi><mml:msub><mml:mi>l</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>and</mml:mi><mml:mspace width="thickmathspace"/><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>u</mml:mi><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mrow><mml:mi mathvariant="script">N</mml:mi><mml:mo>\</mml:mo><mml:mi mathvariant="script">S</mml:mi></mml:mrow></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mspace width="thickmathspace"/><mml:mi>or</mml:mi><mml:mspace width="thickmathspace"/><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x02208;</mml:mo><mml:mi mathvariant="script">S</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>and</mml:mi><mml:mspace width="thickmathspace"/><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow></mml:mrow></mml:mrow></mml:math></disp-formula></p><p id="P23">The two most commonly used norms in problem (<xref ref-type="disp-formula" rid="FD4">4</xref>) are the <italic>&#x02113;</italic><sub>1</sub> and <italic>&#x02113;</italic><sub>2</sub> norms. For the <italic>&#x02113;</italic><sub>2</sub>-norm the problem, (<xref ref-type="disp-formula" rid="FD4">4</xref>) reduces to the following <italic>&#x02113;</italic><sub>2</sub>-CTA model which is a QP problem:
<disp-formula id="FD7"><label>(7)</label><mml:math display="block" id="M17"><mml:munder><mml:mrow><mml:mi>min</mml:mi></mml:mrow><mml:mi>x</mml:mi></mml:munder><mml:munderover><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:munderover><mml:mrow><mml:msub><mml:mi>w</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:mrow><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>.</mml:mo></mml:math></disp-formula></p><p id="P24">For the <italic>&#x02113;</italic><sub>1</sub>-norm the problem, (<xref ref-type="disp-formula" rid="FD4">4</xref>) reduces to the following <italic>&#x02113;</italic><sub>1</sub>-CTA model:
<disp-formula id="FD8"><label>(8)</label><mml:math display="block" id="M18"><mml:munder><mml:mrow><mml:mi>min</mml:mi></mml:mrow><mml:mi>x</mml:mi></mml:munder><mml:munderover><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:munderover><mml:mrow><mml:msub><mml:mi>w</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>.</mml:mo></mml:math></disp-formula></p><p id="P25">The above <italic>&#x02113;</italic><sub>1</sub>-CTA model (<xref ref-type="disp-formula" rid="FD8">8</xref>) is a convex optimization problem; however, the objective function is not differentiable at <italic>x</italic> = 0. Since most of the algorithms require differentiability of the objective function, problem (<xref ref-type="disp-formula" rid="FD8">8</xref>) needs to be reformulated. The standard reformulation is the transformation of the model (<xref ref-type="disp-formula" rid="FD8">8</xref>) to the following LP model:
<disp-formula id="FD9"><label>(9)</label><mml:math display="block" id="M19"><mml:munder><mml:mrow><mml:mi>min</mml:mi></mml:mrow><mml:mrow><mml:msup><mml:mi>x</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msup></mml:mrow></mml:munder><mml:munderover><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:munderover><mml:mrow><mml:msub><mml:mi>w</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:msubsup><mml:mo>+</mml:mo><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msubsup></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>A</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:msubsup><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msubsup></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>x</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>,</mml:mo></mml:math></disp-formula>
where
<disp-formula id="FD10"><label>(10)</label><mml:math display="block" id="M20"><mml:mrow><mml:msup><mml:mi>x</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mtable columnalign="left"><mml:mtr><mml:mtd><mml:mi>x</mml:mi></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>x</mml:mi><mml:mo>&#x02265;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>x</mml:mi><mml:mo>&#x0003c;</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow></mml:mrow><mml:mspace width="1em"/><mml:msup><mml:mi>x</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mtable columnalign="left"><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>x</mml:mi><mml:mo>&#x0003e;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>x</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mi>if</mml:mi><mml:mspace width="thickmathspace"/><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow></mml:mrow></mml:mrow></mml:math></disp-formula>
The inequality constraints can further be split into lower and upper bounds constraints for <italic>x</italic><sup>+</sup> and <italic>x</italic><sup>&#x02212;</sup> separately (see [<xref rid="R18" ref-type="bibr">18</xref>]).</p><p id="P26">Recently, another reformulation of <italic>&#x02113;</italic><sub>1</sub>-CTA has been proposed. In [<xref rid="R18" ref-type="bibr">18</xref>] it was observed that the absolute value has an obvious second-order cone (SOC) representation
<disp-formula id="FD28"><mml:math display="block" id="M21"><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="thickmathspace"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:msub><mml:mi mathvariant="script">K</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x02208;</mml:mo><mml:msup><mml:mi mathvariant="double-struck">R</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>:</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02265;</mml:mo><mml:msqrt><mml:mrow><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:mrow></mml:msqrt></mml:mrow><mml:mo>}</mml:mo></mml:mrow></mml:mrow></mml:math></disp-formula>
which leads to the following SOC formulation of the <italic>&#x02113;</italic><sub>1</sub>-CTA (<xref ref-type="disp-formula" rid="FD8">8</xref>)
<disp-formula id="FD11"><label>(11)</label><mml:math display="block" id="M22"><mml:munder><mml:mrow><mml:mi>min</mml:mi></mml:mrow><mml:mi>x</mml:mi></mml:munder><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:msub><mml:mi>w</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x02208;</mml:mo><mml:msub><mml:mi mathvariant="script">K</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>;</mml:mo><mml:mspace width="1em"/><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>&#x02026;</mml:mo><mml:mo>,</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>.</mml:mo></mml:math></disp-formula></p><p id="P27">The three CTA models outlined above can be solved using interior-point methods (IPMs). IPMs have been developed in the past three decades and have proven to be very efficient in solving large linear and non-linear optimization problems that were previously hard to solve. Nowadays almost every relevant optimization software, whether commercial or open-source, contains an IPM solver. For more information on IPMs see [<xref rid="R19" ref-type="bibr">19</xref>&#x02013;<xref rid="R21" ref-type="bibr">21</xref>, <xref rid="R23" ref-type="bibr">23</xref>, <xref rid="R22" ref-type="bibr">22</xref>] and references therein. Specifically, for conic optimization problems and methods see [<xref rid="R3" ref-type="bibr">3</xref>, <xref rid="R4" ref-type="bibr">4</xref>, <xref rid="R15" ref-type="bibr">15</xref>].</p><p id="P28">We conclude this section by listing several references where numerical experiments and comparisons of different methods for norm-based CTA models were presented [<xref rid="R5" ref-type="bibr">5</xref>, <xref rid="R9" ref-type="bibr">9</xref>, <xref rid="R13" ref-type="bibr">13</xref>, <xref rid="R18" ref-type="bibr">18</xref>].</p></sec><sec id="S4"><label>2.2</label><title>Motivation to consider different CTA models</title><p id="P29">In traditional, norm-based continuous CTA models we are finding the closest safe table to the original table with respect to a certain norm, usually <italic>l</italic><sub>2</sub> or <italic>l</italic><sub>1</sub> norm. However, in norm-based CTA models, there is no control of how well the statistical properties of the data in the table are preserved. The analysis of the data in the masked table with respect to the original table is usually done after the masked table is produced using a CTA model. One of the most utilized measures of analysis is the Chi-square statistic. For example, in [<xref rid="R10" ref-type="bibr">10</xref>] Chi-square and Cramer V statistical measures were used in assessing information loss of the masked table produced by the LP CTA model (<xref ref-type="disp-formula" rid="FD9">9</xref>). See also references therein.</p><p id="P30">The definitions of Chi-square statistic and Cramer V measure are well known, however, we list them below for the sake of completeness.</p><p id="P31">Chi-square statistic of a table is
<disp-formula id="FD12"><label>(12)</label><mml:math display="block" id="M23"><mml:mrow><mml:msup><mml:mi>&#x003c7;</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>=</mml:mo><mml:munderover><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:munderover><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mn>0</mml:mn><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>
where <italic>o<sub>i</sub></italic> is an observed cell value and <italic>e<sub>i</sub></italic> is an expected cell value.</p><p id="P32">Cramer&#x02019;s V statistical measure is derived from Chi-square statistic
<disp-formula id="FD13"><label>(13)</label><mml:math display="block" id="M24"><mml:mrow><mml:mi>V</mml:mi><mml:mo>=</mml:mo><mml:msqrt><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mi>&#x003c7;</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>r</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>c</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:msqrt></mml:mrow></mml:math></disp-formula>
where <italic>r</italic> is a number of rows and <italic>c</italic> is a number of columns and <italic>n</italic> is a number of cells in the table, i.e. <italic>n</italic> = <italic>rc</italic>.</p><p id="P33">An absolute value of the differences instead of a square of the differences as in (<xref ref-type="disp-formula" rid="FD12">12</xref>) can also be considered. We call this measure a <italic>Chi-linear</italic> measures.</p><disp-formula id="FD14"><label>(14)</label><mml:math display="block" id="M25"><mml:mrow><mml:msub><mml:mi>&#x003c7;</mml:mi><mml:mrow><mml:mi mathvariant="italic">abs</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:munderover><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:munderover><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mn>0</mml:mn><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula><p id="P34">We performed numerical experiments on a set of randomly generated tables of different dimensions and different numbers of sensitive cells and applied the QP, the LP, and SOC (Conic) CTA models listed above to obtain the masked tables. We used different weights, <italic>w<sub>i</sub></italic> = 1/<italic>a<sub>i</sub></italic> and <italic>w<sub>i</sub></italic> = 1/<italic>e<sub>i</sub></italic> for QP and the square root of these weights for LP-CTA models. We calculated the Chi-square statistic, and Cramer V and Chi-linear measures for each masked table and for the original table. The summary of the results is presented in <xref rid="T1" ref-type="table">Table 1</xref> below</p><p id="P35">The review of the results in <xref rid="T1" ref-type="table">Table 1</xref> leads to the following observations:
<list list-type="bullet" id="L2"><list-item><p id="P36">There is no pattern that would indicate that the masked table produced by one of the CTA models consistently exhibits values of the Chi-square, or other statistics, closer to the values of these statistics for the original table than for other models.</p></list-item><list-item><p id="P37">This is consistent with the findings in [<xref rid="R10" ref-type="bibr">10</xref>]. The authors compared the original and masked tables generated using only LP CTA model. They observed that Chi-square and Cramer&#x02019;s V measures are affected by the size of the table, the way the cell values are generated, the number of sensitive cells, upper and lower safe values for sensitive cells, etc.</p></list-item><list-item><p id="P38">The conclusion is that standard norm-based CTA models do not guarantee that Chi-square value, or values of other statistics, computed on the masked table will be as close as possible to the corresponding values of the original table given the constraints.</p></list-item></list></p><p id="P39">Given these observations, we propose to consider a different measure of &#x0201c;closeness&#x0201d; between masked and original table which attempts to minimize an objective function that depends on the difference between values of statistics of the original and masked table. In the sequel, we specifically focus on designing a CTA model for Chi-square statistic.</p></sec></sec><sec id="S5"><label>3</label><title>Chi-square CTA model and a modification</title><sec id="S6"><label>3.1</label><title>Chi-square CTA model</title><p id="P40">In this section, we propose a CTA model that we call <italic>Chi-Square</italic> CTA where the minimization of the norm-based objective function in (<xref ref-type="disp-formula" rid="FD4">4</xref>) is replaced with the minimization of the absolute value of the differences of values of Chi-square statistic of the masked and original table.</p><p id="P41">The model is as follows:
<disp-formula id="FD15"><label>(15)</label><mml:math display="block" id="M26"><mml:mi>min</mml:mi><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>.</mml:mo></mml:math></disp-formula></p><p id="P42">Below, the objective function is transformed in terms of cell deviations, <italic>x</italic> = <italic>z</italic> &#x02212; <italic>a</italic> rather than the original masked values <italic>z</italic>.
<disp-formula id="FD16"><label>(16)</label><mml:math display="block" id="M27"><mml:mi>f</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mo>&#x02192;</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>:</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msubsup><mml:mi>d</mml:mi><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msubsup><mml:mi>x</mml:mi><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msubsup><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:math></disp-formula></p><p id="P43">The difficulty with the Chi-square CTA model (<xref ref-type="disp-formula" rid="FD15">15</xref>) is that it is non-linear, non-convex, and non-smooth. The non-smoothness that is caused by absolute value can be removed by replacing the absolute value with a square of the differences.
<disp-formula id="FD17"><label>(17)</label><mml:math display="block" id="M28"><mml:mi>min</mml:mi><mml:msup><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>]</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>.</mml:mo></mml:math></disp-formula></p><p id="P44">Using the same substitutions as in (<xref ref-type="disp-formula" rid="FD16">16</xref>) we obtain the following nonlinear and non-convex but smooth problem with linear constraints that we call <italic>Chi-square</italic> CTA model.
<disp-formula id="FD18"><label>(18)</label><mml:math display="block" id="M29"><mml:mi>min</mml:mi><mml:msup><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>]</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>.</mml:mo></mml:math></disp-formula></p></sec><sec id="S7"><label>3.2</label><title>Chi-linear CTA Model</title><p id="P45">The Chi-square CTA model (<xref ref-type="disp-formula" rid="FD18">18</xref>) which is a smooth non-linear and non-convex problem can be solved using an appropriate IPM for non-linear problems. However, the non-linearity and non-convexity of the problem make it harder to solve the problem. In other words, the IPM will be able to handle problems of the smaller size and will perform slower than if it is applied to the LP or QP CTA model. At this point, it is still an open question ofwhether model (<xref ref-type="disp-formula" rid="FD18">18</xref>) can be transformed into a more tractable problem that can be efficiently solved by IPMs. One option is to consider the modification of the Chi-square CTA formulation (<xref ref-type="disp-formula" rid="FD18">18</xref>) by minimizing the absolute value of the sum of absolute values of differences (errors) rather than squares of differences as in (<xref ref-type="disp-formula" rid="FD18">18</xref>).</p><p id="P46">The model is as follows:
<disp-formula id="FD19"><label>(19)</label><mml:math display="block" id="M30"><mml:msub><mml:mi>min</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>,</mml:mo></mml:math></disp-formula></p><p id="P47">We call this model <italic>Chi-linear</italic> CTA model. In what follows we will show that this model can be transformed into the LP problem which then can be solved efficiently using IPMs or simplex based algorithms.</p><p id="P48">The objective function in (<xref ref-type="disp-formula" rid="FD19">19</xref>) can be transformed in a similar way as in (<xref ref-type="disp-formula" rid="FD16">16</xref>) for Chi-square CTA model (<xref ref-type="disp-formula" rid="FD18">18</xref>).
<disp-formula id="FD20"><label>(20)</label><mml:math display="block" id="M31"><mml:mi>f</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="1em"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="1em"/><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>:</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="1em"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="1em"/><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>:</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="1em"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="1em"/><mml:mi>G</mml:mi><mml:mo>:</mml:mo><mml:mo>=</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="1em"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="1em"/><mml:mi>g</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:mi>g</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:math></disp-formula></p><p id="P49">The Chi-linear CTA model (<xref ref-type="disp-formula" rid="FD19">19</xref>) can now be written in the form
<disp-formula id="FD21"><label>(21)</label><mml:math display="block" id="M32"><mml:msub><mml:mi>min</mml:mi><mml:mi>x</mml:mi></mml:msub><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:mi>g</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi mathvariant="italic">Ax</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>,</mml:mo></mml:math></disp-formula></p><p id="P50">The transformation of (<xref ref-type="disp-formula" rid="FD21">21</xref>) to the LP model is derived below. The objective function transformation:
<disp-formula id="FD22"><label>(22)</label><mml:math display="block" id="M33"><mml:mi>f</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="thickmathspace"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>;</mml:mo><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>&#x022ef;</mml:mo><mml:mo>,</mml:mo><mml:mi>n</mml:mi><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="thickmathspace"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:msubsup><mml:mo>+</mml:mo><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msubsup><mml:mo>;</mml:mo><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:msubsup><mml:mo>,</mml:mo><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msubsup><mml:mo>&#x02265;</mml:mo><mml:mn>0</mml:mn><mml:mo>;</mml:mo><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>&#x022ef;</mml:mo><mml:mo>,</mml:mo><mml:mi>n</mml:mi><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:msubsup><mml:mo>+</mml:mo><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msubsup></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="thickmathspace"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>t</mml:mi><mml:mo>=</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:msubsup><mml:mo>+</mml:mo><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msubsup></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi></mml:mrow><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:mi>t</mml:mi><mml:mo>|</mml:mo></mml:mrow><mml:mspace width="thickmathspace"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>t</mml:mi><mml:mo>=</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:mspace width="thickmathspace"/><mml:msup><mml:mi>t</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>&#x02265;</mml:mo><mml:mn>0</mml:mn><mml:mspace linebreak="newline"/><mml:mo>=</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup></mml:math></disp-formula>
Equality constraints transformations:
<disp-formula id="FD23"><label>(23)</label><mml:math display="block" id="M34"><mml:mi>A</mml:mi><mml:mi>x</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>A</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mspace linebreak="newline"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>A</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mi>A</mml:mi><mml:mi>d</mml:mi><mml:mspace linebreak="newline"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>A</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:mi>A</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mi>A</mml:mi><mml:mi>d</mml:mi></mml:math></disp-formula>
It is not hard to show that
<disp-formula id="FD24"><label>(24)</label><mml:math display="block" id="M35"><mml:mrow><mml:mi mathvariant="italic">Ad</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>
hence, we have
<disp-formula id="FD25"><label>(25)</label><mml:math display="block" id="M36"><mml:mrow><mml:mi>A</mml:mi><mml:mi>x</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mspace width="1em"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="1em"/><mml:mi>A</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:mi>A</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mn>0.</mml:mn></mml:mrow></mml:math></disp-formula>
Inequality constraints transformations:
<disp-formula id="FD26"><label>(26)</label><mml:math display="block" id="M37"><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>l</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mi>d</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mspace linebreak="newline"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>l</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>y</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:mspace linebreak="newline"/><mml:mo>&#x02192;</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>l</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:mo>&#x02264;</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi></mml:math></disp-formula></p><p id="P51">The Chi-linear CTA model (<xref ref-type="disp-formula" rid="FD21">21</xref>) transforms now to the following LP problem.</p><disp-formula id="FD27"><label>(27)</label><mml:math display="block" id="M38"><mml:mi>min</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msup><mml:mi>t</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mi>s</mml:mi><mml:mo>.</mml:mo><mml:mi>t</mml:mi><mml:mo>.</mml:mo><mml:mspace width="thickmathspace"/><mml:mi>A</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:mi>A</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:msup><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:msubsup><mml:mstyle stretchy="true"><mml:mo>&#x02211;</mml:mo></mml:mstyle><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>n</mml:mi></mml:msubsup><mml:mrow><mml:mfrac><mml:mrow><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>+</mml:mo></mml:msubsup><mml:mo>+</mml:mo><mml:msubsup><mml:mi>y</mml:mi><mml:mi>i</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msubsup></mml:mrow><mml:mrow><mml:msqrt><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:msqrt></mml:mrow></mml:mfrac></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>G</mml:mi><mml:mspace linebreak="newline"/><mml:mi>l</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:mo>&#x02264;</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>&#x02264;</mml:mo><mml:mi>u</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi><mml:mspace linebreak="newline"/><mml:msup><mml:mi>t</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>&#x02265;</mml:mo><mml:mn>0</mml:mn><mml:mspace linebreak="newline"/><mml:msup><mml:mi>y</mml:mi><mml:mo>+</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>&#x02212;</mml:mo></mml:msup><mml:mo>&#x02265;</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo></mml:math></disp-formula></sec></sec><sec id="S8"><label>4</label><title>Numerical results</title><p id="P52">In this section a two-dimensional table stated in <xref rid="F1" ref-type="fig">Figure 1</xref> in [<xref rid="R18" ref-type="bibr">18</xref>] is considered. The table is listed in <xref rid="F1" ref-type="fig">Figure 1</xref> below as Table (a).</p><p id="P53">In order to make the paper more self-contained we give the description of the parameters used to formulate constraints of continuous CTA models that are based on table (a), as it was given in [<xref rid="R18" ref-type="bibr">18</xref>]:
<list list-type="bullet" id="L3"><list-item><p id="P54">The linear constraints are obtained from the requirement that the sum of the elements in each row (or column) remains constant and is equal to the corresponding component in the last column (or row) of the table (a).</p></list-item><list-item><p id="P55">The sensitive cells are cells <italic>a</italic><sub>1</sub> and <italic>a</italic><sub>12</sub>. For both of them the upper safe values are enforced, which are listed in the parentheses in the lower right corners of the cells, <italic>upl</italic><sub>1</sub> = 3 and <italic>upl</italic><sub>12</sub> = 5 respectively. Hence, in the transformed tables the upper safe value of the cell <italic>a</italic><sub>1</sub> should be 13 or above and for <italic>a</italic><sub>12</sub> the upper safe value should be 18 or above.</p></list-item><list-item><p id="P56">For the nonsensitive cells the lower and upper bounds are set to be zero and positive infinity respectively, that is, <italic>l<sub>a<sub>i</sub></sub></italic> = 0 and <italic>u<sub>a<sub>i</sub></sub></italic> = inf for <italic>i</italic> = 2, &#x02026;, 11.</p></list-item><list-item><p id="P57">We take the weights in the objective function to be <italic>w<sub>i</sub></italic> = 1; <italic>i</italic> = 1, &#x02026;, 12.</p></list-item></list></p><p id="P58">This table is used to build five different CTA models, <italic>&#x02113;</italic><sub>1</sub>-CTA LP formulation (<xref ref-type="disp-formula" rid="FD9">9</xref>), <italic>&#x02113;</italic><sub>1</sub>-CTA SOC formulation (<xref ref-type="disp-formula" rid="FD11">11</xref>), <italic>&#x02113;</italic><sub>2</sub>-CTA QP formulation (<xref ref-type="disp-formula" rid="FD7">7</xref>), Chi-linear CTA LP formulation (<xref ref-type="disp-formula" rid="FD27">27</xref>), and Chi-square CTA formulation (<xref ref-type="disp-formula" rid="FD18">18</xref>). These CTA models are solved using appropriate interior-point methods (IPMs). The first four models were solved using MOSEK solver [<xref rid="R1" ref-type="bibr">1</xref>] while the last one is solved using IPOPT solver [<xref rid="R2" ref-type="bibr">2</xref>]. The results are listed in <xref rid="F1" ref-type="fig">Figure 1</xref>.</p><p id="P59">In the next <xref rid="T2" ref-type="table">Table 2</xref> the values of Chi-square, Cramer V, and Chi-linear statistical measures are listed for the original table and related masked tables produced by five CTA models.</p><p id="P60">From <xref rid="T2" ref-type="table">Table 2</xref> we observe that the value of the Chi-square statistic of the masked table produced by the Chi-square CTA model indeed differs the least from the value of the Chi-square statistic of the original table. Similarly, the Chi-linear measure of the masked table produced by the Chi-linear CTA model is the closest to the Chi-linear measure of the original table.</p><p id="P61">The second observation is about p-values of the Chi-square statistic for the tables listed in <xref rid="T2" ref-type="table">Table 2</xref>. The p-values for the tables are as follows: original: 0.82, <italic>&#x02113;</italic><sub>2</sub>-QP: 0.15, <italic>&#x02113;</italic><sub>1</sub>-LP: 0.11, <italic>&#x02113;</italic><sub>1</sub>-SOC: 0.08, Chi-square: 0.34, Chi-linear: 0.29. As expected, the p-value of the Chi-square table is the closest to the p-value of the original table. However, the discrepancy between the p-values of the original and masked tables is significant and deserves comment.</p><p id="P62">The Chi-square statistic is very sensitive to the number of sensitive cells in the table and the level of perturbation needed to get the safe values for these cells [<xref rid="R6" ref-type="bibr">6</xref>, <xref rid="R10" ref-type="bibr">10</xref>]. The larger the number of sensitive cells and the level of perturbation, in general, the larger the discrepancy between Chi-square statistic values and, consequently, p-values. Therefore, the discrepancy is more due to the requirements for the protection of tabular data and less due to the CTA model used to obtain the masked table which satisfies these requirements. Nevertheless, the new Chi-square CTA model proposed in this paper achieves the p-value of the masked table that is the closest to the p-value of the original table among all other CTA models. On the more general note, this is an illustration of the interplay between maximizing the utility of the masked data while keeping disclosure risk under control which is at the heart of the theory and methods of SDL.</p></sec><sec id="S9"><label>5</label><title>Concluding remarks and future work</title><p id="P63">In this paper, a novel approach to building Continuous CTA models for statistical disclosure limitation of tabular data is discussed. The standard norm-based CTA model finds the closest safe (masked) table to the original table while satisfying additivity equations and safe value inequality constraints, as described in <xref ref-type="sec" rid="S3">Section 2.1</xref>. The measure of closeness is usually measured using an <italic>&#x02113;</italic><sub>1</sub> or <italic>&#x02113;</italic><sub>2</sub> norm.</p><p id="P64">The numerical experiments summarized in <xref rid="T1" ref-type="table">Table 1</xref> in <xref ref-type="sec" rid="S4">Section 2.2</xref> suggest that there is no pattern which would indicate that one CTA model consistently produces the values of the Chi-square statistic, or other statistics, of the masked and original table that are closer to each other than for any other model. Hence, we propose a CTA model, which we call <italic>Chi-square</italic> CTA model (<xref ref-type="disp-formula" rid="FD18">18</xref>), that produces a masked table with Chi-square statistic closest to Chi-square statistic of the original table.</p><p id="P65">Given the non-linearity and non-convexity of the Chi-square CTA model, we also consider a modification of this model, a <italic>Chi-linear</italic> CTA model (<xref ref-type="disp-formula" rid="FD27">27</xref>) that can be transformed to LP problem, hence allowing IPMs to solve high dimensional tables efficiently. The price to pay is that the closeness between Chi-square statistics of an original and masked table may be affected. Further examination of this topic is the subject of future research.</p><p id="P66">The goal of the paper is mainly theoretical, that is, to present a novel Chi-square CTA model and its modification, Chi-linear CTA model, as an illustration of a possible new approach in building CTA models which produce masked tables that are the closest to the original table in terms of a certain statistic, rather than in terms of a distance between tables.</p><p id="P67">The rationale behind the new approach is to consider <italic>Analysis Specific</italic> CTA models. On one hand, they may be more narrow in scope, however, they produce the optimal result for the specific analysis. On the other hand, norm-based CTA models may be wider in scope and produce tables that may have &#x02018;&#x02018;relatively good&#x0201d; results for multiple different statistical measures, but &#x02018;really good&#x0201d; (optimal) for none. In addition, we have no explicit control of the quality of results in the norm-based CTA approach.</p><p id="P68">Directions for future research include more extensive numerical experiments on a larger set of randomly generated two-dimensional tables of different sizes and different numbers of sensitive cells. A more theoretical direction for future research is to examine whether the Chi-square CTA model (<xref ref-type="disp-formula" rid="FD18">18</xref>) can be transformed into a more tractable problem that can be efficiently solved by IPMs.</p></sec></body><back><ack id="S10"><title>Acknowledgments</title><p id="P69">Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors only and do not necessarily represent the official position of the Centers for Disease Control and Prevention.</p></ack><ref-list><title>References</title><ref id="R1"><label>1.</label><mixed-citation publication-type="journal"><name><surname>Andersen</surname><given-names>ED</given-names></name>, <source>MOSEK solver</source>. <comment><ext-link ext-link-type="uri" xlink:href="https://mosek.com/resources/doc">https://mosek.com/resources/doc</ext-link></comment>, <year>2020</year>.</mixed-citation></ref><ref id="R2"><label>2.</label><mixed-citation publication-type="journal"><name><surname>Waechter</surname><given-names>A</given-names></name>, <name><surname>Laird</surname><given-names>C</given-names></name>
<source>IPOPT solver</source>. <comment><ext-link ext-link-type="uri" xlink:href="https://coin-or.github.io/Ipopt/">https://coin-or.github.io/Ipopt/</ext-link></comment></mixed-citation></ref><ref id="R3"><label>3.</label><mixed-citation publication-type="journal"><name><surname>Alizadeh</surname><given-names>F</given-names></name>, and <name><surname>Goldfarb</surname><given-names>D</given-names></name>, <article-title>Second-order cone programming</article-title>. <source>Math. Programming</source>, <volume>95</volume>(<issue>1</issue>):<fpage>3</fpage>&#x02013;<lpage>51</lpage>, <year>2003</year>.</mixed-citation></ref><ref id="R4"><label>4.</label><mixed-citation publication-type="journal"><name><surname>Andersen</surname><given-names>ED</given-names></name>, <name><surname>Roos</surname><given-names>C</given-names></name> and <name><surname>Terlaky</surname><given-names>T</given-names></name>, <article-title>On implementing a primal-dual interior-point method for conic quadratic optimization</article-title>. <source>Math. Programming</source>, <volume>95</volume>(<issue>2</issue>):<fpage>249</fpage>&#x02013;<lpage>277</lpage>, <year>2003</year>.</mixed-citation></ref><ref id="R5"><label>5.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name>, <article-title>A CTA Model Based on the Huber Function</article-title>. <source>Privacy in Statistical Databases 2014, LNCS</source>, <volume>8744</volume>:<fpage>79</fpage>&#x02013;<lpage>88</lpage>, <year>2014</year>.</mixed-citation></ref><ref id="R6"><label>6.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name>, <article-title>On assessing the disclosure risk of controlled adjustment methods for statistical tabular data</article-title>. <source>International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems</source>, <volume>20</volume>:<fpage>921</fpage>&#x02013;<lpage>941</lpage>, <year>2012</year>.</mixed-citation></ref><ref id="R7"><label>7.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name>, <article-title>Minimum-distance controlled perturbation methods for large-scale tabular data protection</article-title>. <source>European Journal of Operational Research</source>, <volume>171</volume>:<fpage>39</fpage>&#x02013;<lpage>52</lpage>, <year>2006</year>.</mixed-citation></ref><ref id="R8"><label>8.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name>, <article-title>Recent advances in optimization techniques for statistical tabular data protection</article-title>. <source>European Journal of Operational Research</source>, <volume>216</volume>:<fpage>257</fpage>&#x02013;<lpage>269</lpage>, <year>2012</year>.</mixed-citation></ref><ref id="R9"><label>9.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name> and <name><surname>Cuesta</surname><given-names>J</given-names></name>, <article-title>Solving <italic>&#x02113;</italic><sub>1</sub>-CTA in 3D tables by an interior-point method for primal block-angular problems</article-title>. <source>TOP</source>, <volume>21</volume>:<fpage>25</fpage>&#x02013;<lpage>47</lpage>, <year>2013</year>.</mixed-citation></ref><ref id="R10"><label>10.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name> and <name><surname>Gonzalez</surname><given-names>JA</given-names></name>, <article-title>Assessing the information loss of controlled adjustment methods in two-way tables</article-title>. <source>Privacy in Statistical Databases 2014, LNCS</source>, <volume>8744</volume>:<fpage>79</fpage>&#x02013;<lpage>88</lpage>, <year>2014</year>.</mixed-citation></ref><ref id="R11"><label>11.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name> and <name><surname>Gonzalez</surname><given-names>JA</given-names></name>, <article-title>A fast CTA method without complicating binary decisions</article-title>. <source>Documents of the Joint UNECE / Eurostat Work Session on Statistical Data Confidentiality, Statistics Canada, Ottawa</source>, <fpage>1</fpage>&#x02013;<lpage>7</lpage>, <year>2013</year>.</mixed-citation></ref><ref id="R12"><label>12.</label><mixed-citation publication-type="confproc"><name><surname>Castro</surname><given-names>J</given-names></name> and <name><surname>Gonzalez</surname><given-names>JA</given-names></name>, <source>A multiobjective LP approach for controlled tabular adjustment in statistical disclosure control</source>. <conf-name>Working paper, Department of Statistics and Operations Research, Universitat Politecnica de Catalunya</conf-name>, <year>2014</year>.</mixed-citation></ref><ref id="R13"><label>13.</label><mixed-citation publication-type="journal"><name><surname>Castro</surname><given-names>J</given-names></name> and <name><surname>Giessing</surname><given-names>S</given-names></name>, <article-title>Testing variants of minimum distance controlled tabular adjustment</article-title>. In <source>Monographs of Official Statistics, Eurostat-Office for Official Publications of the European Communities, Luxembourg</source>, <fpage>333</fpage>&#x02013;<lpage>343</lpage>, <year>2006</year>.</mixed-citation></ref><ref id="R14"><label>14.</label><mixed-citation publication-type="journal"><name><surname>Dandekar</surname><given-names>RA</given-names></name> and <name><surname>Cox</surname><given-names>LH</given-names></name>, <article-title>Synthetic tabular Data: an alternative to complementary cell suppression</article-title>. <source>Manuscript, Energy Information Administration, U.S</source>
<year>2002</year>.</mixed-citation></ref><ref id="R15"><label>15.</label><mixed-citation publication-type="thesis"><name><surname>Gu</surname><given-names>G</given-names></name>, <source>Interior-Point Methods for Symmetric Optimization</source>. <comment>Ph.D. Thesis</comment>, <collab>TU Delft</collab>, <year>2009</year>.</mixed-citation></ref><ref id="R16"><label>16.</label><mixed-citation publication-type="book"><name><surname>Hundepool</surname><given-names>A</given-names></name>, <name><surname>Domingo-Ferrer</surname><given-names>J</given-names></name>, <name><surname>Franconi</surname><given-names>L</given-names></name>, <name><surname>Giessing</surname><given-names>S</given-names></name>, <name><surname>Schulte Nordholt</surname><given-names>E</given-names></name>, <name><surname>Spicer</surname><given-names>K</given-names></name> and <name><surname>DeWolf</surname><given-names>P-P</given-names></name>, <source>Statistical Disclosure Control</source>. <publisher-name>Wiley, Chichester</publisher-name>, <publisher-loc>United Kingdom</publisher-loc>, <year>2012</year>.</mixed-citation></ref><ref id="R17"><label>17.</label><mixed-citation publication-type="journal"><name><surname>Karr</surname><given-names>AF</given-names></name>, <name><surname>Kohnen</surname><given-names>CN</given-names></name>, <name><surname>Oganian</surname><given-names>A</given-names></name>, <name><surname>Reiter</surname><given-names>JP</given-names></name>, and <name><surname>Sanil</surname><given-names>AP</given-names></name>, <article-title>A framework for evaluating the utility of data altered to protect confidentiality</article-title>. <source>The American Statistician</source>, <volume>60</volume>(<issue>3</issue>):<fpage>224</fpage>&#x02013;<lpage>232</lpage>, <year>2006</year>.</mixed-citation></ref><ref id="R18"><label>18.</label><mixed-citation publication-type="book"><name><surname>Lesaja</surname><given-names>G</given-names></name>, <name><surname>Castro</surname><given-names>J</given-names></name>, and <name><surname>Oganian</surname><given-names>A</given-names></name>
<chapter-title>A Second Order Cone Formulation of Continuous CTA Model</chapter-title>. <source>Lecture Notes in Computer Science</source>
<volume>9867</volume>, <publisher-name>Springer</publisher-name>, <fpage>41</fpage>&#x02013;<lpage>53</lpage>, <year>2016</year>.</mixed-citation></ref><ref id="R19"><label>19.</label><mixed-citation publication-type="journal"><name><surname>Lesaja</surname><given-names>G</given-names></name>, <article-title>Introducing Interior-Point Methods for Introductory Operations Research Courses and/or Linear Programming Courses</article-title>. <source>The Open Operational Research Journal</source>, <volume>3</volume>:<fpage>1</fpage>&#x02013;<lpage>12</lpage>, <year>2009</year>.</mixed-citation></ref><ref id="R20"><label>20.</label><mixed-citation publication-type="journal"><name><surname>Lesaja</surname><given-names>G</given-names></name> and <name><surname>Roos</surname><given-names>C</given-names></name>, <article-title>Kernel-based interior-point methods for monotone linear complementarity problems over symmetric cones</article-title>. <source>J. Optim. Theory Appl</source>, <volume>150</volume>(<issue>3</issue>):<fpage>444</fpage>&#x02013;<lpage>474</lpage>, <year>2011</year>.</mixed-citation></ref><ref id="R21"><label>21.</label><mixed-citation publication-type="book"><name><surname>Nesterov</surname><given-names>Y</given-names></name> and <name><surname>Nemirovski</surname><given-names>A</given-names></name>, <source>Interior-Point Polynomial Algorithms in Convex Programming. SIAM Studies in Applied Mathematics</source>, Volume <volume>13</volume>, <publisher-name>SIAM</publisher-name>, <publisher-loc>Philadelphia</publisher-loc>, <year>1994</year>.</mixed-citation></ref><ref id="R22"><label>22.</label><mixed-citation publication-type="book"><name><surname>Roos</surname><given-names>C</given-names></name>, <name><surname>Terlaky</surname><given-names>T</given-names></name>, and <name><surname>Vial</surname><given-names>J. Ph.</given-names></name>, <source>Theory and Algorithms for Linear Optimization. An Interior-Point Approach</source>. <publisher-name>Springer Science</publisher-name>, <year>2005</year>.</mixed-citation></ref><ref id="R23"><label>23.</label><mixed-citation publication-type="book"><name><surname>Wright</surname><given-names>SJ</given-names></name>, <source>Primal-Dual Interior-Point Methods</source>. <publisher-name>SIAM</publisher-name>, <publisher-loc>Philadelphia</publisher-loc>, <year>1996</year>.</mixed-citation></ref></ref-list></back><floats-group><fig id="F1" orientation="portrait" position="float"><label>Fig. 1.</label><caption><p id="P70">Masked tables produced by different CTA models for table (a)</p></caption><graphic xlink:href="nihms-1676971-f0001"/></fig><table-wrap id="T1" position="float" orientation="portrait"><label>Table 1.</label><caption><p id="P71">Values of statistical measures</p></caption><table frame="box" rules="all"><colgroup span="1"><col align="left" valign="middle" span="1"/><col align="left" valign="middle" span="1"/><col align="left" valign="middle" span="1"/><col align="left" valign="middle" span="1"/><col align="left" valign="middle" span="1"/></colgroup><thead><tr><th rowspan="2" align="left" valign="middle" colspan="1">Percentage of sensitive cells</th><th rowspan="2" align="left" valign="bottom" colspan="1">Tables</th><th colspan="3" align="center" valign="top" rowspan="1">Statistical measures</th></tr><tr><th align="left" valign="top" rowspan="1" colspan="1">Chi-square</th><th align="left" valign="top" rowspan="1" colspan="1">Chi-linear</th><th align="center" valign="top" rowspan="1" colspan="1">Cramer V</th></tr></thead><tbody><tr><td align="center" valign="top" rowspan="1" colspan="1"/><td align="left" valign="top" rowspan="1" colspan="1">Original</td><td align="center" valign="top" rowspan="1" colspan="1">1790.69</td><td align="center" valign="top" rowspan="1" colspan="1">506.40</td><td align="center" valign="top" rowspan="1" colspan="1">0.228821</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1">10</td><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/></tr><tr><td rowspan="7" align="center" valign="top" colspan="1"/><td align="left" valign="top" rowspan="1" colspan="1"><italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">2039.68</td><td align="center" valign="top" rowspan="1" colspan="1">536.77</td><td align="center" valign="top" rowspan="1" colspan="1">0.244212</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>a<sub>i</sub></italic>) &#x02013; <italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">2034.97</td><td align="center" valign="top" rowspan="1" colspan="1">518.96</td><td align="center" valign="top" rowspan="1" colspan="1">0.243930</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>e<sub>i</sub></italic>) &#x02013; <italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">2111.99</td><td align="center" valign="top" rowspan="1" colspan="1">540.48</td><td align="center" valign="top" rowspan="1" colspan="1">0.248504</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1971.56</td><td align="center" valign="top" rowspan="1" colspan="1">519.52</td><td align="center" valign="top" rowspan="1" colspan="1">0.240100</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>a<sub>i</sub></italic>) &#x02013; <italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1940.21</td><td align="center" valign="top" rowspan="1" colspan="1">512.82</td><td align="center" valign="top" rowspan="1" colspan="1">0.238183</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>e<sub>i</sub></italic>) &#x02013; <italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1976.04</td><td align="center" valign="top" rowspan="1" colspan="1">519.89</td><td align="center" valign="top" rowspan="1" colspan="1">0.240372</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1">Conic</td><td align="center" valign="top" rowspan="1" colspan="1">1954.00</td><td align="center" valign="top" rowspan="1" colspan="1">520.86</td><td align="center" valign="top" rowspan="1" colspan="1">0.239028</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1">15</td><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/></tr><tr><td rowspan="7" align="center" valign="top" colspan="1"/><td align="left" valign="top" rowspan="1" colspan="1"><italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">2008.59</td><td align="center" valign="top" rowspan="1" colspan="1">532.59</td><td align="center" valign="top" rowspan="1" colspan="1">0.242344</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>a<sub>i</sub></italic>) &#x02013; <italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1960.27</td><td align="center" valign="top" rowspan="1" colspan="1">520.67</td><td align="center" valign="top" rowspan="1" colspan="1">0.239411</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>e<sub>i</sub></italic>) &#x02013; <italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">2046.51</td><td align="center" valign="top" rowspan="1" colspan="1">539.46</td><td align="center" valign="top" rowspan="1" colspan="1">0.244621</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">2012.38</td><td align="center" valign="top" rowspan="1" colspan="1">534.54</td><td align="center" valign="top" rowspan="1" colspan="1">0.242573</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>a<sub>i</sub></italic>) &#x02013; <italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1952.36</td><td align="center" valign="top" rowspan="1" colspan="1">526.04</td><td align="center" valign="top" rowspan="1" colspan="1">0.238928</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>e<sub>i</sub></italic>) &#x02013; <italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">2019.59</td><td align="center" valign="top" rowspan="1" colspan="1">535.99</td><td align="center" valign="top" rowspan="1" colspan="1">0.243007</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1">Conic</td><td align="center" valign="top" rowspan="1" colspan="1">1968.98</td><td align="center" valign="top" rowspan="1" colspan="1">525.72</td><td align="center" valign="top" rowspan="1" colspan="1">0.239942</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1">20</td><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/><td align="center" valign="top" rowspan="1" colspan="1"/></tr><tr><td rowspan="7" align="center" valign="top" colspan="1"/><td align="left" valign="top" rowspan="1" colspan="1"><italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1950.37</td><td align="center" valign="top" rowspan="1" colspan="1">513.28</td><td align="center" valign="top" rowspan="1" colspan="1">0.238806</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>a<sub>i</sub></italic>) &#x02013; <italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1922.12</td><td align="center" valign="top" rowspan="1" colspan="1">511.77</td><td align="center" valign="top" rowspan="1" colspan="1">0.237070</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>e<sub>i</sub></italic>) &#x02013; <italic>LP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1993.11</td><td align="center" valign="top" rowspan="1" colspan="1">522.35</td><td align="center" valign="top" rowspan="1" colspan="1">0.241408</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1949.98</td><td align="center" valign="top" rowspan="1" colspan="1">516.88</td><td align="center" valign="top" rowspan="1" colspan="1">0.238782</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>a<sub>i</sub></italic>) &#x02013; <italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1881.74</td><td align="center" valign="top" rowspan="1" colspan="1">505.13</td><td align="center" valign="top" rowspan="1" colspan="1">0.234566</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1"><italic>W</italic>(<italic>e<sub>i</sub></italic>) &#x02013; <italic>QP</italic></td><td align="center" valign="top" rowspan="1" colspan="1">1947.82</td><td align="center" valign="top" rowspan="1" colspan="1">516.88</td><td align="center" valign="top" rowspan="1" colspan="1">0.238650</td></tr><tr><td align="left" valign="top" rowspan="1" colspan="1">Conic</td><td align="center" valign="top" rowspan="1" colspan="1">1957.35</td><td align="center" valign="top" rowspan="1" colspan="1">520.91</td><td align="center" valign="top" rowspan="1" colspan="1">0.239233</td></tr></tbody></table></table-wrap><table-wrap id="T2" position="float" orientation="portrait"><label>Table 2.</label><caption><p id="P72">Values of the three statistical measures</p></caption><table frame="box" rules="all"><colgroup span="1"><col align="center" valign="top" span="1"/><col align="center" valign="top" span="1"/><col align="center" valign="top" span="1"/><col align="center" valign="top" span="1"/></colgroup><thead><tr><th align="center" valign="top" rowspan="1" colspan="1"/><th colspan="3" align="center" valign="top" rowspan="1">Statistical measures</th></tr><tr><th align="center" valign="top" rowspan="1" colspan="1">Tables</th><th align="center" valign="top" rowspan="1" colspan="1">Chi-square</th><th align="center" valign="top" rowspan="1" colspan="1">Chi-linear</th><th align="center" valign="top" rowspan="1" colspan="1">Cramer V</th></tr></thead><tbody><tr><td align="center" valign="top" rowspan="1" colspan="1">original</td><td align="center" valign="top" rowspan="1" colspan="1">2.89</td><td align="center" valign="top" rowspan="1" colspan="1">4.70</td><td align="center" valign="top" rowspan="1" colspan="1">0.20</td></tr><tr><td align="center" valign="top" rowspan="1" colspan="1"><italic>&#x02113;</italic><sub>2</sub>-QP</td><td align="center" valign="top" rowspan="1" colspan="1">9.49</td><td align="center" valign="top" rowspan="1" colspan="1">8.74</td><td align="center" valign="top" rowspan="1" colspan="1">0.36</td></tr><tr><td align="center" valign="top" rowspan="1" colspan="1"><italic>&#x02113;</italic><sub>1</sub>-LP</td><td align="center" valign="top" rowspan="1" colspan="1">10.44</td><td align="center" valign="top" rowspan="1" colspan="1">8.49</td><td align="center" valign="top" rowspan="1" colspan="1">0.32</td></tr><tr><td align="center" valign="top" rowspan="1" colspan="1"><italic>&#x02113;</italic><sub>1</sub>-SOC</td><td align="center" valign="top" rowspan="1" colspan="1">11.30</td><td align="center" valign="top" rowspan="1" colspan="1">9.26</td><td align="center" valign="top" rowspan="1" colspan="1">0.39</td></tr><tr><td align="center" valign="top" rowspan="1" colspan="1">Chi-Square</td><td align="center" valign="top" rowspan="1" colspan="1"><bold>6.81</bold></td><td align="center" valign="top" rowspan="1" colspan="1">7.17</td><td align="center" valign="top" rowspan="1" colspan="1">0.31</td></tr><tr><td align="center" valign="top" rowspan="1" colspan="1">Chi-Linear</td><td align="center" valign="top" rowspan="1" colspan="1">7.38</td><td align="center" valign="top" rowspan="1" colspan="1"><bold>6.55</bold></td><td align="center" valign="top" rowspan="1" colspan="1">0.32</td></tr></tbody></table></table-wrap></floats-group></article>