<p>This paper considers minimum-dimensional representations of graphs in pseudo-Euclidean spaces, where adjacency and non-adjacency relations are reflected in fixed scalar square values. A representation of a simple graph (<i>V</i>,&#xa0;<i>E</i>) is a mapping <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> from the vertices to the pseudo-Euclidean space <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {R}^{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> such that <Equation ID="Equ8"> <EquationSource Format="TEX">\( ||\varphi (u)-\varphi (v)||={\left\{ \begin{array}{ll} a \text { if }(u,v) \in E, \\ b \text { if }(u,v) \not \in E\text { and }u\ne v,\\ 0 \text { if }u=v\\ \end{array}\right. } \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mo>-</mo> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> </mrow> <mo>=</mo> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mi>a</mi> <mspace width="0.333333em" /> <mtext>if</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>E</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>b</mi> <mspace width="0.333333em" /> <mtext>if</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">)</mo> <mo>∉</mo> <mi>E</mi> <mspace width="0.333333em" /> <mtext>and</mtext> <mspace width="0.333333em" /> <mi>u</mi> <mo>≠</mo> <mi>v</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mn>0</mn> <mspace width="0.333333em" /> <mtext>if</mtext> <mspace width="0.333333em" /> <mi>u</mi> <mo>=</mo> <mi>v</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </math></EquationSource> </Equation>for some <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(a,b \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, where <Equation ID="Equ9"> <EquationSource Format="TEX">\(||\varvec{x}||=\langle \langle \varvec{x},\varvec{x} \rangle \rangle = \sum _{i=1}^p x_i^2- \sum _{j=1}^q x_{p+j}^2 \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">⟨</mo> <mrow> <mo stretchy="false">⟨</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo stretchy="false">⟩</mo> </mrow> <mo stretchy="false">⟩</mo> </mrow> <mo>=</mo> <munderover> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>p</mi> </munderover> <msubsup> <mi>x</mi> <mi>i</mi> <mn>2</mn> </msubsup> <mo>-</mo> <munderover> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>q</mi> </munderover> <msubsup> <mi>x</mi> <mrow> <mi>p</mi> <mo>+</mo> <mi>j</mi> </mrow> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </Equation>is the scalar square of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varvec{x}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {R}^{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. For a finite set <i>X</i> in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {R}^{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>, we define <Equation ID="Equ10"> <EquationSource Format="TEX">\( A(X)=\{||\varvec{x}- \varvec{y} || :\, \varvec{x},\varvec{y} \in X, \varvec{x} \ne \varvec{y}\}. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>A</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo stretchy="false">{</mo> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>-</mo> <mrow> <mi mathvariant="bold-italic">y</mi> </mrow> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> <mo>:</mo> <mspace width="0.166667em" /> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-italic">y</mi> </mrow> <mo>∈</mo> <mi>X</mi> <mo>,</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>≠</mo> <mrow> <mi mathvariant="bold-italic">y</mi> </mrow> <mo stretchy="false">}</mo> <mo>.</mo> </mrow> </math></EquationSource> </Equation>A finite set <i>X</i> in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {R}^{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> is called an <i>s</i>-indefinite-distance set if <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(|A(X)|=s\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>A</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mo>=</mo> <mi>s</mi> </mrow> </math></EquationSource> </InlineEquation> holds. An <i>s</i>-indefinite-distance set in <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {R}^{p,0}=\mathbb {R}^p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mn>0</mn> </mrow> </msup> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>p</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is called an <i>s</i>-distance set. Graphs obtained from Seidel switching of a Johnson graph sometimes admit Euclidean or pseudo-Euclidean representations in low dimensions relative to the number of vertices. For instance, Lisoněk&#xa0;[<CitationRef CitationID="CR8">8</CitationRef>] obtained a largest 2-distance set in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {R}^8\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>8</mn> </msup> </math></EquationSource> </InlineEquation> and largest spherical 2-indefinite-distance sets in <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathbb {R}^{p,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mn>1</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> for each <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(p\ge 10\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mn>10</mn> </mrow> </math></EquationSource> </InlineEquation> from the switching classes of Johnson graphs. In the present paper, we consider graphs in the switching classes of Johnson and Hamming graphs of diameter 2 and classify those that admit representations in <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathbb {R}^{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> with the smallest possible dimensionality <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(p+q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>+</mo> <mi>q</mi> </mrow> </math></EquationSource> </InlineEquation> among all graphs in the same class. The method not only recovers known results, such as the largest 2-(indefinite)-distance sets constructed by Lisoněk, but also provides a unified framework for determining the minimum dimension of representations for entire switching classes of strongly regular graphs.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Pseudo-Euclidean Representations of Switching Classes of Johnson and Hamming Graphs with Minimal Dimension

  • Hiroshi Nozaki,
  • Masashi Shinohara,
  • Sho Suda

摘要

This paper considers minimum-dimensional representations of graphs in pseudo-Euclidean spaces, where adjacency and non-adjacency relations are reflected in fixed scalar square values. A representation of a simple graph (VE) is a mapping \(\varphi \) φ from the vertices to the pseudo-Euclidean space \(\mathbb {R}^{p,q}\) R p , q such that \( ||\varphi (u)-\varphi (v)||={\left\{ \begin{array}{ll} a \text { if }(u,v) \in E, \\ b \text { if }(u,v) \not \in E\text { and }u\ne v,\\ 0 \text { if }u=v\\ \end{array}\right. } \) | | φ ( u ) - φ ( v ) | | = a if ( u , v ) E , b if ( u , v ) E and u v , 0 if u = v for some \(a,b \in \mathbb {R}\) a , b R , where \(||\varvec{x}||=\langle \langle \varvec{x},\varvec{x} \rangle \rangle = \sum _{i=1}^p x_i^2- \sum _{j=1}^q x_{p+j}^2 \) | | x | | = x , x = i = 1 p x i 2 - j = 1 q x p + j 2 is the scalar square of \(\varvec{x}\) x in \(\mathbb {R}^{p,q}\) R p , q . For a finite set X in \(\mathbb {R}^{p,q}\) R p , q , we define \( A(X)=\{||\varvec{x}- \varvec{y} || :\, \varvec{x},\varvec{y} \in X, \varvec{x} \ne \varvec{y}\}. \) A ( X ) = { | | x - y | | : x , y X , x y } . A finite set X in \(\mathbb {R}^{p,q}\) R p , q is called an s-indefinite-distance set if \(|A(X)|=s\) | A ( X ) | = s holds. An s-indefinite-distance set in \(\mathbb {R}^{p,0}=\mathbb {R}^p\) R p , 0 = R p is called an s-distance set. Graphs obtained from Seidel switching of a Johnson graph sometimes admit Euclidean or pseudo-Euclidean representations in low dimensions relative to the number of vertices. For instance, Lisoněk [8] obtained a largest 2-distance set in \(\mathbb {R}^8\) R 8 and largest spherical 2-indefinite-distance sets in \(\mathbb {R}^{p,1}\) R p , 1 for each \(p\ge 10\) p 10 from the switching classes of Johnson graphs. In the present paper, we consider graphs in the switching classes of Johnson and Hamming graphs of diameter 2 and classify those that admit representations in \(\mathbb {R}^{p,q}\) R p , q with the smallest possible dimensionality \(p+q\) p + q among all graphs in the same class. The method not only recovers known results, such as the largest 2-(indefinite)-distance sets constructed by Lisoněk, but also provides a unified framework for determining the minimum dimension of representations for entire switching classes of strongly regular graphs.