{"title":"带符号图中的群值电位差和流","authors":"Xiangyu Ren , Jianguo Qian","doi":"10.1016/j.dam.2025.01.035","DOIUrl":null,"url":null,"abstract":"<div><div>A signed graph <span><math><mrow><mi>Σ</mi><mo>=</mo><mrow><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></mrow></mrow></math></span> is a graph associated with a signature <span><math><mi>σ</mi></math></span> on each edge (positive or negative). Let <span><math><mi>Γ</mi></math></span> be an additive abelian group and <span><math><mi>τ</mi></math></span> be an orientation of <span><math><mi>Σ</mi></math></span>. Let <span><math><mrow><mi>f</mi><mo>:</mo><mi>E</mi><mo>→</mo><mi>Γ</mi></mrow></math></span> be a mapping. Then <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-flow if for each vertex <span><math><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mo>∈</mo><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></munder><mi>τ</mi><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mi>f</mi><mrow><mo>(</mo><mi>e</mi><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo></mrow></math></span>\n <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-tension if for every signed circuit <span><math><mrow><mi>C</mi><mo>=</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></math></span>, <span><math><mrow><munderover><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>k</mi></mrow></munderover><mfenced><mrow><mo>−</mo><mi>τ</mi><mrow><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><munderover><mrow><mo>∏</mo></mrow><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></munderover><mi>σ</mi><mrow><mo>(</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>)</mo></mrow></mrow></mfenced><mi>f</mi><mrow><mo>(</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo></mrow></math></span>\n and <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-potential difference if <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-tension such that for every closed walk <span><math><mrow><mi>W</mi><mo>=</mo><mrow><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo></mrow></mrow></math></span> around an unbalanced circuit, <span><math><mrow><munderover><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>k</mi></mrow></munderover><mi>f</mi><mrow><mo>(</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><mo>∈</mo><mrow><mo>{</mo><mn>2</mn><mi>x</mi><mo>:</mo><mi>x</mi><mo>∈</mo><mi>Γ</mi><mo>}</mo></mrow><mo>.</mo></mrow></math></span>\n We say a mapping <span><math><mrow><mi>f</mi><mo>:</mo><mi>E</mi><mo>⋃</mo><mi>V</mi><mo>→</mo><mi>Γ</mi></mrow></math></span> is a mixed <span><math><mi>Γ</mi></math></span>-flow if for each vertex <span><math><mi>v</mi></math></span>, <span><math><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mo>∈</mo><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></munder><mi>τ</mi><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mi>f</mi><mrow><mo>(</mo><mi>e</mi><mo>)</mo></mrow><mo>=</mo><mi>f</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>.</mo></mrow></math></span>\n Denote by <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span>, <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span> the sets of <span><math><mi>Γ</mi></math></span>-flows, <span><math><mi>Γ</mi></math></span>-potential differences, and mixed <span><math><mi>Γ</mi></math></span>-flows of <span><math><mi>Σ</mi></math></span> respectively.</div><div>In this paper, we use a new method to determine the values of <span><math><mrow><mo>|</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>Σ</mi></mrow></msub><mo>|</mo></mrow></math></span> and <span><math><mrow><mo>|</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>Σ</mi></mrow></msub><mo>|</mo></mrow></math></span>. Furthermore, we show that <span><math><mrow><msub><mrow><mi>B</mi></mrow><mrow><mi>Σ</mi></mrow></msub><mo>/</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>Σ</mi></mrow></msub></mrow></math></span> is isomorphic to <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span> by a new decomposition of <span><math><mi>Γ</mi></math></span>-potential difference.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"366 ","pages":"Pages 185-192"},"PeriodicalIF":1.1000,"publicationDate":"2025-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On group-valued potential differences and flows in a signed graph\",\"authors\":\"Xiangyu Ren , Jianguo Qian\",\"doi\":\"10.1016/j.dam.2025.01.035\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>A signed graph <span><math><mrow><mi>Σ</mi><mo>=</mo><mrow><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></mrow></mrow></math></span> is a graph associated with a signature <span><math><mi>σ</mi></math></span> on each edge (positive or negative). Let <span><math><mi>Γ</mi></math></span> be an additive abelian group and <span><math><mi>τ</mi></math></span> be an orientation of <span><math><mi>Σ</mi></math></span>. Let <span><math><mrow><mi>f</mi><mo>:</mo><mi>E</mi><mo>→</mo><mi>Γ</mi></mrow></math></span> be a mapping. Then <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-flow if for each vertex <span><math><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mo>∈</mo><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></munder><mi>τ</mi><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mi>f</mi><mrow><mo>(</mo><mi>e</mi><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo></mrow></math></span>\\n <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-tension if for every signed circuit <span><math><mrow><mi>C</mi><mo>=</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></math></span>, <span><math><mrow><munderover><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>k</mi></mrow></munderover><mfenced><mrow><mo>−</mo><mi>τ</mi><mrow><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><munderover><mrow><mo>∏</mo></mrow><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></munderover><mi>σ</mi><mrow><mo>(</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>)</mo></mrow></mrow></mfenced><mi>f</mi><mrow><mo>(</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo></mrow></math></span>\\n and <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-potential difference if <span><math><mi>f</mi></math></span> is a <span><math><mi>Γ</mi></math></span>-tension such that for every closed walk <span><math><mrow><mi>W</mi><mo>=</mo><mrow><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>e</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo></mrow></mrow></math></span> around an unbalanced circuit, <span><math><mrow><munderover><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>k</mi></mrow></munderover><mi>f</mi><mrow><mo>(</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><mo>∈</mo><mrow><mo>{</mo><mn>2</mn><mi>x</mi><mo>:</mo><mi>x</mi><mo>∈</mo><mi>Γ</mi><mo>}</mo></mrow><mo>.</mo></mrow></math></span>\\n We say a mapping <span><math><mrow><mi>f</mi><mo>:</mo><mi>E</mi><mo>⋃</mo><mi>V</mi><mo>→</mo><mi>Γ</mi></mrow></math></span> is a mixed <span><math><mi>Γ</mi></math></span>-flow if for each vertex <span><math><mi>v</mi></math></span>, <span><math><mrow><munder><mrow><mo>∑</mo></mrow><mrow><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mo>∈</mo><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></munder><mi>τ</mi><mrow><mo>(</mo><mi>v</mi><mo>,</mo><mi>e</mi><mo>)</mo></mrow><mi>f</mi><mrow><mo>(</mo><mi>e</mi><mo>)</mo></mrow><mo>=</mo><mi>f</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>.</mo></mrow></math></span>\\n Denote by <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span>, <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span> the sets of <span><math><mi>Γ</mi></math></span>-flows, <span><math><mi>Γ</mi></math></span>-potential differences, and mixed <span><math><mi>Γ</mi></math></span>-flows of <span><math><mi>Σ</mi></math></span> respectively.</div><div>In this paper, we use a new method to determine the values of <span><math><mrow><mo>|</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>Σ</mi></mrow></msub><mo>|</mo></mrow></math></span> and <span><math><mrow><mo>|</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>Σ</mi></mrow></msub><mo>|</mo></mrow></math></span>. Furthermore, we show that <span><math><mrow><msub><mrow><mi>B</mi></mrow><mrow><mi>Σ</mi></mrow></msub><mo>/</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>Σ</mi></mrow></msub></mrow></math></span> is isomorphic to <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>Σ</mi></mrow></msub></math></span> by a new decomposition of <span><math><mi>Γ</mi></math></span>-potential difference.</div></div>\",\"PeriodicalId\":50573,\"journal\":{\"name\":\"Discrete Applied Mathematics\",\"volume\":\"366 \",\"pages\":\"Pages 185-192\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2025-05-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discrete Applied Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0166218X25000447\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2025/1/27 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0166218X25000447","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/1/27 0:00:00","PubModel":"Epub","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
On group-valued potential differences and flows in a signed graph
A signed graph is a graph associated with a signature on each edge (positive or negative). Let be an additive abelian group and be an orientation of . Let be a mapping. Then is a -flow if for each vertex
is a -tension if for every signed circuit ,
and is a -potential difference if is a -tension such that for every closed walk around an unbalanced circuit,
We say a mapping is a mixed -flow if for each vertex ,
Denote by , and the sets of -flows, -potential differences, and mixed -flows of respectively.
In this paper, we use a new method to determine the values of and . Furthermore, we show that is isomorphic to by a new decomposition of -potential difference.
期刊介绍:
The aim of Discrete Applied Mathematics is to bring together research papers in different areas of algorithmic and applicable discrete mathematics as well as applications of combinatorial mathematics to informatics and various areas of science and technology. Contributions presented to the journal can be research papers, short notes, surveys, and possibly research problems. The "Communications" section will be devoted to the fastest possible publication of recent research results that are checked and recommended for publication by a member of the Editorial Board. The journal will also publish a limited number of book announcements as well as proceedings of conferences. These proceedings will be fully refereed and adhere to the normal standards of the journal.
Potential authors are advised to view the journal and the open calls-for-papers of special issues before submitting their manuscripts. Only high-quality, original work that is within the scope of the journal or the targeted special issue will be considered.