<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Transparency in Corporate Networks: A Graph-based Model to Reduce Computational Complexity in Identifying Total Ownership of Ultimate Beneficial Owners</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Fabricio Echeverria</string-name>
          <email>pedro.echeverria@asturias.edu.co</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Marcelo Leon</string-name>
          <email>marceloleon11@hotmail.com</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Paula Erazo</string-name>
          <email>p.erazo@upse.edu.ec</email>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Simone Belli</string-name>
          <email>sbelli@ucm.es</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Corporacion Universitaria de Asturias</institution>
          ,
          <addr-line>Bogotá</addr-line>
          ,
          <country country="CO">Colombia</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Universidad Complutense de Madrid</institution>
          ,
          <addr-line>Madrid</addr-line>
          ,
          <country country="ES">Spain</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Universidad Ecotec</institution>
          ,
          <addr-line>Samborondon</addr-line>
          ,
          <country country="EC">Ecuador</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Universidad Estatal Peninsula de Santa Elena</institution>
          ,
          <addr-line>La Libertad</addr-line>
          ,
          <country country="EC">Ecuador</country>
        </aff>
      </contrib-group>
      <fpage>395</fpage>
      <lpage>403</lpage>
      <abstract>
        <p>Identifying Ultimate Beneficial Owners (UBOs) in complex corporate structures is critical for financial transparency and preventing economic crimes. Recursive cycles in ownership networks exacerbate this challenge by increasing computational complexity. This article proposes a model based on weighted directed graphs, where nodes represent individuals or legal entities and edges represent ownership percentages. Integrating graph theory and geometric series eficiently resolves ownership cycles, providing a mathematical framework for calculating efective ownership. Direct ownership is computed as the product of weights along paths, while cycles are addressed using recursive algorithms and convergence factors derived from geometric series. The methodology combines graph modeling, algorithmic design (including a DFS version), and experimental validation. Preliminary results demonstrate that the model significantly reduces computational complexity (from O(n!) to O(n+m)), transforming intricate corporate networks into compact UBO tables with their total ownership. While its efectiveness depends on data quality, this work lays the foundation for scalable corporate transparency systems, with applications in financial regulation and compliance.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Ultimate Beneficial Owners</kwd>
        <kwd>Algorithmic Eficiency</kwd>
        <kwd>Corporate Transparency</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <sec id="sec-1-1">
        <title>Identifying Ultimate Beneficial Owners (UBOs) in complex corporate structures is essential for financial</title>
        <p>transparency and combating economic crime worldwide. In recent years, international organizations
such as FATF and the European Union have established strict guidelines for disclosing this information,
recognizing its critical role in preventing money laundering, terrorism financing, and other illicit
activities.</p>
        <p>
          However, this task faces significant computational challenges due to complex ownership networks
featuring multi-level indirect ownership, circular relationships, and exponential search space growth,
especially in multinational structures [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ]. These characteristics make UBO identification potentially
NPhard and traditional approaches computationally infeasible at scale. This work addresses questions such
as: How can corporate structures be represented using graphs? Is it possible to reduce the complexity
of corporate structures to determine the total ownership of each UBO? Can a DFS and geometric series
model resolve recursivity in corporate structures?
        </p>
        <p>The key contributions are: a weighted directed graph model for ownership representation, a DFS
algorithm with geometric series for cycle resolution, a mathematical framework for ownership
calculation, and experimental validation with real-world data, together enabling eficient UBO identification in
complex corporate networks while reducing computational complexity from (!) to ( + ).</p>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>2. Methodology</title>
      <sec id="sec-2-1">
        <title>2.1. Ownership Structure and Ultimate Beneficial Owners</title>
        <p>Ownership is defined as the share of a company held directly (via direct shareholding) or indirectly
(through ownership chains). According to GAFI1, UBOs are individuals deriving economic benefits or
exercising control, as per FATF guidelines (see Figure 1).</p>
        <p>
          Ownership information for companies and trusts serves as a countermeasure to crime. Clear data
is essential for combating illicit financial flows, and governments increasingly commit to beneficial
ownership transparency as a key law enforcement tool [
          <xref ref-type="bibr" rid="ref2 ref3">2, 3</xref>
          ]. According to Open Ownership2, beneficial
ownership registries help prevent financial and economic crimes such as money laundering, terrorism
ifnancing, tax fraud, and corruption. These registries clarify where money is sent, preventing individuals
from hiding potential financial crimes behind a corporation. All EU countries maintain UBO registries.
        </p>
        <p>
          GAFI [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ] emphasizes the importance of timely access to adequate, accurate, and up-to-date
information. Key considerations include:
• Adequate information: Suficient to unequivocally identify individuals who are UBOs, including
the means and mechanisms through which they exercise ownership or control.
• Accurate information: Verified rigorously to confirm its correctness through reliable
documentation, cross-checked data, or independently verifiable sources. Verification measures should
be risk-based, and countries are encouraged to implement complementary measures, such as
mandatory inconsistency reporting, to enhance accuracy.
• Up-to-date information: Reflects the current situation and must be updated within a reasonable
timeframe (e.g., one month) after significant changes.
        </p>
        <p>Beyond whether UBO registries should be public, a more pressing concern is ensuring their accuracy
and integrity. The UK registry, maintained by Companies House, is a prime example of a well-intentioned
but unreliable database. UBO registries aim to ensure that the ownership of assets held through legal
structures, such as companies or trusts, is known at least to the registry administrator.</p>
        <sec id="sec-2-1-1">
          <title>1https://biblioteca.gafilat.org/wp-content/uploads/2024/07/Recomendaciones-metodologia-actDIC2023.pdf</title>
        </sec>
        <sec id="sec-2-1-2">
          <title>2https://www.openownership.org/en/about/what-is-beneficial-ownership-transparency/</title>
        </sec>
        <sec id="sec-2-1-3">
          <title>For data organization, Open Ownership adopts the Beneficial Ownership Data Standard (BODS).</title>
          <p>Within this framework, a statement may refer to one of three core elements of a beneficial ownership
network:
• Entities: Corporations, trusts, and various legal arrangements.
• Persons: Individuals who own, control, or benefit from entities.</p>
          <p>• Relationships: Connections representing interests between an entity and a stakeholder.</p>
        </sec>
      </sec>
      <sec id="sec-2-2">
        <title>2.2. Mathematical Modeling</title>
        <p>
          The proposed approach transforms corporate networks into directed graphs, resolving cycles using
nested functions and geometric series. This method reduces the complexity of ownership structures
through mathematical modeling, algorithm design, and experimental validation (see Figure 2) [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ].
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>2.3. Graph Modeling</title>
        <p>
          Based on BODS representation, the model uses graph theory to represent corporate structures:
• Nodes: Individuals or legal entities.
• Edges: Ownership relationships, weighted by ownership percentages, forming a graph  =
(, , ), where  = { ∪ },  ⊆  ×  , and  :  → [
          <xref ref-type="bibr" rid="ref1">0, 1</xref>
          ] are normalized
weights. For each company node , the sum of incoming weights equals 1.
• Open Path: A directed graph  = (, ) is a graph where edges represent a connection from
vertex 1 to 2 [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ].
• Cycles: Closed path  = {1 → 2 → · · · →   → 1} among entities, introducing recursion.
        </p>
        <p>
          To handle these structures:
– Nested functional equations model recursive ownership by propagating contributions
through the network. This involves a recursive definition where a function depends on
itself, such as () =  +  (()) [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ].
– Geometric series resolves cycles by summing infinite recursive ownership interactions
compactly. In such a series, each term grows by a constant ratio , where || &lt; 1 and
 → ∞, then  = (1 − ) (−1) .
        </p>
      </sec>
      <sec id="sec-2-4">
        <title>2.4. Applying the Depth-First Search (DFS) Algorithm</title>
        <p>
          As the name suggests, explore as deeply as possible in a graph. In our model, DFS traverses weighted
edges to identify ownership paths to UBOs [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. After exploring all edges from a vertex, the search
backtracks to the vertex where it was discovered. This process continues until all vertices reachable
from the source vertex are discovered. If undiscovered vertices remain, DFS selects one as a new source
and repeats the search. The algorithm continues until all vertices are discovered.
        </p>
        <p>When applying a DFS algorithm to a corporate structure graph to determine the real ownership
of individuals as shareholders in a reference company, we find that open paths represent ownership
links between a shareholder and an entity. Direct ownership is a direct connection, calculated by
multiplying ownership percentages. Indirect ownership involves intermediaries and is the total of
multiplied percentages along each indirect path (see Figure 3).</p>
        <p>Consider two companies (1, 2) and UBOs 1, 2 (see Figure 3). Applying DFS for 1:
• UBO 1:
– Open path 1 → 1, with direct ownership of  1
– Open path 1 → 2 → 1, with indirect ownership of  4 2
– Open path 2 → 2 → 1, with indirect ownership of  3 2</p>
        <p>Closed paths (cycles) occur exclusively among entities, introducing mathematical complexity through
recursivity. This manifests in two key efects: (1) individual-to-entity edges maintain fixed ownership
percentages, while (2) entity-to-entity edges generate converging sums via geometric series, with values
distributed to individuals according to defined edge weights.</p>
        <p>Consider two companies (1, 2) with a Cycle 1 → 2 → 1 and UBOs 1, 2 (Figure 4).</p>
        <sec id="sec-2-4-1">
          <title>Applying DFS for 1:</title>
          <p>– Open path 1 → 1, with direct ownership of  1
– Open path 1 → 2 → 1, with indirect ownership of  4 2</p>
          <p>– Open path 2 → 2 → 1, with indirect ownership of  3 2</p>
          <p>A closed path 1 → 2 → 1, introduces recursivity, requiring 2 and 5, to be computed as
convergent sums via geometric series, forming nested functions:
2 = 2(3 + 4 + 5)
5 = 5(1 + 2)</p>
          <p>1 = 1 + 2
1 = 1 + 2(3 + 4) + 25
1 = 1 + 2(3 + 4) + 25( 1 + 2)</p>
        </sec>
        <sec id="sec-2-4-2">
          <title>Using the sum of ownership percentages for :</title>
          <p>Substituting 5 from (2) and rearranging from (2) to (3):
Substituting 5:
This extends to , where  → ∞:
Since (1 + 2) repeats in (4), it can be substituted as a nested function:
1 = 1 + 2(3 + 4) + 25( 1 + 2(3 + 4) + 25(1 + 2))
1 = (1 + 2(3 + 4))(1 + 25 + (25)2) + · · · + ( 25) + (25)+1(1 + 2)</p>
        </sec>
        <sec id="sec-2-4-3">
          <title>This equation has a complexity order of (!).</title>
          <p>The last term converges to zero because (25)+1 &lt; 1
The remaining terms form a geometric series:
(25)+1(1 + 2) = 0</p>
        </sec>
        <sec id="sec-2-4-4">
          <title>Finally:</title>
          <p>(1 + 25 + (25)2 + · · · + ( 25)) = (1 −  25)−1
1 = (1 + 2(3 + 4))(1 −  25)−1
(1 + 2(3 + 4))−1 = (1 −  25)−1</p>
        </sec>
        <sec id="sec-2-4-5">
          <title>This equality is significant (11), as the coeficient can be expressed in two forms. Having calculated open paths, the Total Ownership for each UBO is:</title>
          <p>• UBO 1: (1 + 24)(1 + 2(3 + 4))( − 1)
• UBO 2: (23)(1 + 2(3 + 4))( − 1)</p>
          <p>The Total Ownership of each UBO is the sum of the product of ownership percentages along each
independent path, divided by the sum of all independent paths for all UBOs multiplied by their ownership
percentages. This reduces the complexity order to ( + ).</p>
          <p>(9)
(10)
(11)</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Results</title>
      <sec id="sec-3-1">
        <title>3.1. Algorithm Design</title>
        <sec id="sec-3-1-1">
          <title>The proposed DFS algorithm is:</title>
          <p>Algorithm Total Ownership  ():
Input: Weighted directed graph  = (, , )
Output: Table  of UBOs and their total ownership
1. Initialize  as empty
2. For each node  ∈  :
3. Run DFS from  to identify paths and cycles
4. For each acyclic path  from  to :
5. Compute   = ∏︀ () for  ∈ 
6. Compute the cyclic coefficient as the sum of Direct and Indirect</p>
          <p>Ownership
7. Compute Total Ownership for each UBO
8. Return T</p>
        </sec>
      </sec>
      <sec id="sec-3-2">
        <title>3.2. Case 1: Recursivity with Three Companies Forming a Cycle</title>
        <p>Consider three companies (1, 2, 3) with a Cycle 1 → 3 → 2 → 1 and UBOs 1, 2, 3
(Figure 5). Applying DFS for 1:
• UBO 1</p>
        <p>– Open path 1 → 1, with direct ownership of  1.
• UBO 2</p>
        <p>– Open path 2 → 2 → 1, with direct ownership of  4 2.
• UBO 3</p>
        <p>– Open path 3 → 3 → 1, with direct ownership of  6 5.
• UBO 1: 1(1 + 42 + 65)−1
• UBO 2: 42(1 + 42 + 65)−1
• UBO 3: 65(1 + 42 + 65)−1</p>
      </sec>
      <sec id="sec-3-3">
        <title>3.3. Case 2: Multiple Recursivities in Three Companies</title>
        <p>Consider three companies (1, 2, 3) with a Cycle 1 → 2 → 1, 1 → 3 → 1 and UBOs
1, 2, 3 (Figure 6). Applying DFS for 1:
• UBO 1
• UBO 2
• UBO 3
– Open path 1 → 1, with direct ownership of  1.
– Open path 2 → 2 → 1, with direct ownership of  4 2.
– Open path 3 → 3 → 2 → 1, with direct ownership of  6 3 2.</p>
        <p>– Open path 3 → 3 → 1, with direct ownership of  6 5.</p>
        <sec id="sec-3-3-1">
          <title>Total ownership accounts for the cycle using geometric series, yielding:</title>
          <p>• UBO 1: 1(1 + 42 + 632 + 65)−1
• UBO 2: 42(1 + 42 + 632 + 65)−1
• UBO 3: (632 + 65)(1 + 42 + 632 + 65)−1</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Discussion</title>
      <p>The proposed graph-based model tackles the tricky computational challenges of identifying Ultimate</p>
      <sec id="sec-4-1">
        <title>Beneficial Owners (UBOs) with impressive eficiency. By mapping out corporate structures as weighted</title>
        <p>directed graphs and cleverly handling recursive cycles through geometric series, this approach turns
what could be an NP-hard problem into one that operates with linear complexity (( + )). Utilizing
Depth-First Search (DFS) allows for a thorough exploration of ownership paths, while the underlying
mathematical framework ensures accurate calculations of total ownership. Plus, the model’s alignment
with the Beneficial Ownership Data Standard (BODS) makes it even more relevant for regulatory and
compliance purposes.</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>5. Conclusions</title>
      <p>Accurately identifying Ultimate Beneficial Owners (UBOs) in complex corporate structures is essential
for financial transparency and combating economic crime.</p>
      <sec id="sec-5-1">
        <title>Using a weighted directed graph model combined with geometric series, this approach eficiently addresses recursive ownership cycles—transforming a potentially NP-hard problem into one with linear complexity, reducing complexity from O(n!) to O(n+m).</title>
      </sec>
      <sec id="sec-5-2">
        <title>The methodology generates concise UBO tables with precise total ownership figures and is compatible</title>
        <p>with international standards such as the Beneficial Ownership Data Standard (BODS), making it suitable
for regulatory and compliance applications.</p>
        <p>When it comes to future research, there are some exciting areas to explore. We could look into how
to integrate financial risk detection, tackle the challenges of cross-border data inconsistencies, and
ifne-tune algorithms for real-time analysis. It would also be beneficial to validate findings across various
economic sectors and examine how legal representatives, proxies, and other types of beneficiaries
influence the graph model.</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Declaration on Generative AI</title>
      <sec id="sec-6-1">
        <title>The authors have not employed any Generative AI tools.</title>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>P.</given-names>
            <surname>Gómez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Sánchez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Florez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Villalobos</surname>
          </string-name>
          ,
          <article-title>An approach to the co-creation of models and metamodels in enterprise architecture projects</article-title>
          ,
          <source>Journal of Object Technology</source>
          <volume>13</volume>
          (
          <year>2014</year>
          )
          <fpage>1</fpage>
          -
          <lpage>29</lpage>
          . URL: http://ticsw.uniandes.edu.co. doi:
          <volume>10</volume>
          .5381/jot.
          <year>2014</year>
          .
          <volume>13</volume>
          .3.a2.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>A.-L.</given-names>
            <surname>Barabási</surname>
          </string-name>
          , Network science,
          <source>Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences</source>
          <volume>371</volume>
          (
          <year>2013</year>
          )
          <fpage>20120375</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>H.</given-names>
            <surname>Florez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Sánchez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Villalobos</surname>
          </string-name>
          ,
          <article-title>A catalog of automated analysis methods for enterprise models</article-title>
          ,
          <source>SpringerPlus</source>
          <volume>5</volume>
          (
          <year>2016</year>
          )
          <fpage>1</fpage>
          -
          <lpage>24</lpage>
          . doi:
          <volume>10</volume>
          .1186/s40064-016-2032-9.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>C. H.</given-names>
            <surname>Richardson</surname>
          </string-name>
          , Financial Mathematics, Cambridge,
          <year>1946</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>R.</given-names>
            <surname>Bairamkulov</surname>
          </string-name>
          , E. Friedman,
          <article-title>Graph fundamentals</article-title>
          , in: Graphs in
          <string-name>
            <surname>VLSI</surname>
          </string-name>
          , Springer,
          <year>2022</year>
          , pp.
          <fpage>13</fpage>
          -
          <lpage>57</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>T. H.</given-names>
            <surname>Cormen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. E.</given-names>
            <surname>Leiserson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. L.</given-names>
            <surname>Rivest</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Stein</surname>
          </string-name>
          , Introduction to algorithms, MIT press,
          <year>2022</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>