Abstract Let Γ be a diameter 3 distance-regular graph with a strongly regular graph Γ3, where Γ3 is the graph whose vertex set coincides with the vertex set of the graph Γ and two vertices are adjacent whenever they are at distance 3 in the graph Γ. Computing the parameters of Γ3 by the intersection array of the graph Γ is considered as the direct problem. Recovering the intersection array of the graph Γ by the parameters of Γ3 is referred to as the inverse problem. The inverse problem for Γ3 has been solved earlier by A. A. Makhnev and M. S. Nirova. In the case where Γ3 is a pseudo-geometric graph of a net, a series of admissible intersection arrays has been obtained: {c2(u2 − m2) + 2c2m − c2 − 1, c2(u2 − m2), (c2 − 1)(u2 − m2) + 2c2m − c2; 1, c2, u2 − m2} (A. A. Makhnev, Wenbin Guo, M. P. Golubyatnikov). The cases c2 = 1 and c2 = 2 have been examined by A. A. Makhnev, M. P. Golubyatnikov and A. A. Makhnev, M. S. Nirova, respectively. In this paper in the class of graphs with the intersection arrays {mn − 1, (m − 1)(n + 1)}, {n − m + 1}; 1, 1, (m − 1)(n + 1)} all admissible intersection arrays for {3 ≤ m ≤ 13} are found: {20,16,5; 1, 1,16}, {39,36,4; 1, 1,36}, {55,54,2; 1, 2,54}, {90,84,7; 1, 1,84}, {220,216,5; 1, 1,216}, {272,264,9; 1, 1,264} and {350,336,15; 1, 1,336}. It is demonstrated that graphs with the intersection arrays {20,16,5; 1, 1,16}, {39,36,4; 1, 1,36} and {90,84,7; 1, 1,84} do not exist.
摘要 假设Γ是一个直径为 3 的距离正则图,它有一个强正则图Γ3,其中Γ3 是顶点集与图Γ的顶点集重合的图,并且只要两个顶点在图Γ中的距离为 3,它们就是相邻的。通过图 Γ 的交点阵列计算 Γ3 的参数被视为直接问题。通过 Γ3 的参数恢复图 Γ 的交点阵列称为逆问题。A. A. Makhnev 和 M. S. Nirova 早先已经解决了 Γ3 的逆问题。在 Γ3 是一个网的伪几何图形的情况下,得到了一系列可接受的交点阵列:{c2(u2 - m2) + 2c2m - c2 - 1, c2(u2 - m2), (c2 - 1)(u2 - m2) + 2c2m - c2; 1, c2, u2 - m2} (A. A. Makhnev, Wenbin Guo, M. P. Golubyatnikov)。A. A. Makhnev, M. P. Golubyatnikov 和 A. A. Makhnev, M. S. Nirova 分别研究了 c2 = 1 和 c2 = 2 的情况。在本文中,在具有交集阵列 {mn - 1, (m - 1)(n + 1)}, {n - m + 1}; 1, 1, (m - 1)(n + 1)} 的一类图形中,发现了 {3 ≤ m ≤ 13} 的所有可容许交集阵列:{20,16,5; 1, 1,16}, {39,36,4; 1, 1,36}, {55,54,2; 1, 2,54}, {90,84,7; 1, 1,84}, {220,216,5; 1, 1,216}, {272,264,9; 1, 1,264} 和 {350,336,15; 1, 1,336}.事实证明,不存在交集数组为 {20,16,5; 1, 1,16}, {39,36,4; 1, 1,36} 和 {90,84,7; 1, 1,84} 的图形。
{"title":"On small distance-regular graphs with the intersection arrays {mn − 1, (m − 1)(n + 1), n − m + 1; 1, 1, (m − 1)(n + 1)}","authors":"A. Makhnev, M. P. Golubyatnikov","doi":"10.1515/dma-2023-0025","DOIUrl":"https://doi.org/10.1515/dma-2023-0025","url":null,"abstract":"Abstract Let Γ be a diameter 3 distance-regular graph with a strongly regular graph Γ3, where Γ3 is the graph whose vertex set coincides with the vertex set of the graph Γ and two vertices are adjacent whenever they are at distance 3 in the graph Γ. Computing the parameters of Γ3 by the intersection array of the graph Γ is considered as the direct problem. Recovering the intersection array of the graph Γ by the parameters of Γ3 is referred to as the inverse problem. The inverse problem for Γ3 has been solved earlier by A. A. Makhnev and M. S. Nirova. In the case where Γ3 is a pseudo-geometric graph of a net, a series of admissible intersection arrays has been obtained: {c2(u2 − m2) + 2c2m − c2 − 1, c2(u2 − m2), (c2 − 1)(u2 − m2) + 2c2m − c2; 1, c2, u2 − m2} (A. A. Makhnev, Wenbin Guo, M. P. Golubyatnikov). The cases c2 = 1 and c2 = 2 have been examined by A. A. Makhnev, M. P. Golubyatnikov and A. A. Makhnev, M. S. Nirova, respectively. In this paper in the class of graphs with the intersection arrays {mn − 1, (m − 1)(n + 1)}, {n − m + 1}; 1, 1, (m − 1)(n + 1)} all admissible intersection arrays for {3 ≤ m ≤ 13} are found: {20,16,5; 1, 1,16}, {39,36,4; 1, 1,36}, {55,54,2; 1, 2,54}, {90,84,7; 1, 1,84}, {220,216,5; 1, 1,216}, {272,264,9; 1, 1,264} and {350,336,15; 1, 1,336}. It is demonstrated that graphs with the intersection arrays {20,16,5; 1, 1,16}, {39,36,4; 1, 1,36} and {90,84,7; 1, 1,84} do not exist.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139331533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract The nonlinearity and additive nonlinearity of a function are defined as the Hamming distances, respectively, to the set of all affine mappings and to the set of all mappings having nontrivial additive translators. On the basis of the revealed relation between the nonlinearities and the Fourier coefficients of the characters of a function, convenient formulas for nonlinearity evaluation for practically important classes of functions over an arbitrary finite field are found. In the case of a field of even characteristic, similar results were obtained for the additive nonlinearity in terms of the autocorrelation coefficients. The formulas obtained made it possible to present specific classes of functions with maximal possible and high nonlinearity and additive nonlinearity.
{"title":"Nonlinearity of functions over finite fields","authors":"V. G. Ryabov","doi":"10.1515/dma-2023-0021","DOIUrl":"https://doi.org/10.1515/dma-2023-0021","url":null,"abstract":"Abstract The nonlinearity and additive nonlinearity of a function are defined as the Hamming distances, respectively, to the set of all affine mappings and to the set of all mappings having nontrivial additive translators. On the basis of the revealed relation between the nonlinearities and the Fourier coefficients of the characters of a function, convenient formulas for nonlinearity evaluation for practically important classes of functions over an arbitrary finite field are found. In the case of a field of even characteristic, similar results were obtained for the additive nonlinearity in terms of the autocorrelation coefficients. The formulas obtained made it possible to present specific classes of functions with maximal possible and high nonlinearity and additive nonlinearity.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48978494","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract We prove that any Boolean function in n variables can be modeled by a testable Boolean circuit with two additional inputs in the basis “conjunction, oblique conjunction, disjunction, negation” so that the circuit admits a complete diagnostic test of the length at most 2n + 3 with respect to stuck-at faults of the type 1 at gate outputs.
{"title":"Short complete diagnostic tests for circuits with two additional inputs in some basis","authors":"K. A. Popkov","doi":"10.1515/dma-2023-0020","DOIUrl":"https://doi.org/10.1515/dma-2023-0020","url":null,"abstract":"Abstract We prove that any Boolean function in n variables can be modeled by a testable Boolean circuit with two additional inputs in the basis “conjunction, oblique conjunction, disjunction, negation” so that the circuit admits a complete diagnostic test of the length at most 2n + 3 with respect to stuck-at faults of the type 1 at gate outputs.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41403232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract We consider predicates on a finite set that are invariant with respect to an affine operation fG, where G is some Abelian group. Such predicates are said to be multiaffine for the group G. Special attention is paid to predicates that are affine for a group Gq of addition modulo q=ps, where p is a prime number and s=1. We establish the predicate multiaffinity criterion for a group Gq. Then we introduce disjunctive normal forms (DNF) for predicates on a finite set and obtain properties of DNFs of predicates that are multiaffine for a group Gq. Finally we show how these properties can be used to design a polynomial algorithm that decides satisfiability of a system of predicates which are multiaffine for a group Gq, if predicates are specified by DNF.
{"title":"On properties of multiaffine predicates on a finite set","authors":"S. Selezneva","doi":"10.1515/dma-2023-0023","DOIUrl":"https://doi.org/10.1515/dma-2023-0023","url":null,"abstract":"Abstract We consider predicates on a finite set that are invariant with respect to an affine operation fG, where G is some Abelian group. Such predicates are said to be multiaffine for the group G. Special attention is paid to predicates that are affine for a group Gq of addition modulo q=ps, where p is a prime number and s=1. We establish the predicate multiaffinity criterion for a group Gq. Then we introduce disjunctive normal forms (DNF) for predicates on a finite set and obtain properties of DNFs of predicates that are multiaffine for a group Gq. Finally we show how these properties can be used to design a polynomial algorithm that decides satisfiability of a system of predicates which are multiaffine for a group Gq, if predicates are specified by DNF.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47853471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract We consider a critical Galton – Watson branching process starting with N particles; the number of offsprings is supposed to have the distribution pk=(k + 1)−τ−(k + 2)−τ, k=0, 1, 2, … Limit distributions of the maximal tree size are obtained for the corresponding Galton – Watson forest with N trees and n non-root vertices as N, n → ∞, n/Nτ ⩾ C > 0.
{"title":"Limit theorems for the maximal tree size of a Galton – Watson forest in the critical case","authors":"Elena V. Khvorostianskaia","doi":"10.1515/dma-2023-0019","DOIUrl":"https://doi.org/10.1515/dma-2023-0019","url":null,"abstract":"Abstract We consider a critical Galton – Watson branching process starting with N particles; the number of offsprings is supposed to have the distribution pk=(k + 1)−τ−(k + 2)−τ, k=0, 1, 2, … Limit distributions of the maximal tree size are obtained for the corresponding Galton – Watson forest with N trees and n non-root vertices as N, n → ∞, n/Nτ ⩾ C > 0.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47910452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract For sequences of independent random variables having a Bernoulli distribution the joint distribution and the limit joint distribution of statistics of three tests of the NIST statistical package («Monobit Test», «Frequency Test within a Block», and «Cumulative Sums Test») are obtained. In the case when two blocks are used in «Frequency Test within a Block», pairwise covariance of these statistics is given.
{"title":"The limit joint distributions of statistics of three tests of the NIST package","authors":"Maksim P. Savelov","doi":"10.1515/dma-2023-0022","DOIUrl":"https://doi.org/10.1515/dma-2023-0022","url":null,"abstract":"Abstract For sequences of independent random variables having a Bernoulli distribution the joint distribution and the limit joint distribution of statistics of three tests of the NIST statistical package («Monobit Test», «Frequency Test within a Block», and «Cumulative Sums Test») are obtained. In the case when two blocks are used in «Frequency Test within a Block», pairwise covariance of these statistics is given.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43618843","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract There exist well-known distance-regular graphs Γ of diameter 3 for which Γ3 is a triangle-free graph. An example is given by the Johnson graph J (8, 3) with the intersection array {15, 8, 3;1, 4, 9}. The paper is concerned with the problem of the existence of distance-regular graphs Γ with the intersection arrays {78, 50, 9;1, 15, 60} and {174, 110, 18;1, 30, 132} for which Γ3 is a triangle-free graph.
{"title":"On distance-regular graphs Γ of diameter 3 for which Γ3 is a triangle-free graph","authors":"A. Makhnev, Wenbin Guo","doi":"10.1515/dma-2023-0018","DOIUrl":"https://doi.org/10.1515/dma-2023-0018","url":null,"abstract":"Abstract There exist well-known distance-regular graphs Γ of diameter 3 for which Γ3 is a triangle-free graph. An example is given by the Johnson graph J (8, 3) with the intersection array {15, 8, 3;1, 4, 9}. The paper is concerned with the problem of the existence of distance-regular graphs Γ with the intersection arrays {78, 50, 9;1, 15, 60} and {174, 110, 18;1, 30, 132} for which Γ3 is a triangle-free graph.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47785169","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract Earlier, the author introduced the concept of a universal function and proved the existence of universal functions for classes of linear k-valued functions of two variables for k ≥ 5. In this paper, we show that the product modulo k is a universal function for the class of linear k-valued functions of two variables if and only if k = 6l ± 1.
{"title":"On the universality of product for classes of linear functions of two variables","authors":"A. A. Voronenko","doi":"10.1515/dma-2023-0024","DOIUrl":"https://doi.org/10.1515/dma-2023-0024","url":null,"abstract":"Abstract Earlier, the author introduced the concept of a universal function and proved the existence of universal functions for classes of linear k-valued functions of two variables for k ≥ 5. In this paper, we show that the product modulo k is a universal function for the class of linear k-valued functions of two variables if and only if k = 6l ± 1.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42137330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-01DOI: 10.1515/dma-2023-frontmatter4
{"title":"Frontmatter","authors":"","doi":"10.1515/dma-2023-frontmatter4","DOIUrl":"https://doi.org/10.1515/dma-2023-frontmatter4","url":null,"abstract":"","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136222020","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract In a generalized allocation scheme of n particles over N cells we consider the random variable ηn,N(K) which is the number of particles in a given set consisting of K cells. We prove that if n, K, N → ∞, then under some conditions random variables ηn,N(K) are asymptotically normal, and under another conditions ηn,N(K) converge in distribution to a Poisson random variable. For the case when N → ∞ and n is a fixed number, we find conditions under which ηn,N(K) converge in distribution to a binomial random variable with parameters n and s = KN $begin{array}{} displaystyle frac{K}{N} end{array}$, 0 < K < N, multiplied by a integer coefficient. It is shown that if for a generalized allocation scheme of n particles over N cells with random variables having a power series distribution defined by the function B(β) = ln(1 − β) the conditions n, N, K → ∞, KN $begin{array}{} displaystyle frac{K}{N} end{array}$ → s, N = γ ln(n) + o(ln(n)), where 0 < s < 1, 0 < γ < ∞, are satisfied, then distributions of random variables ηn,N(K)n $begin{array}{} displaystyle frac{eta_{n,N}(K)}{n} end{array}$ converge to a beta-distribution with parameters sγ and (1 − s)γ.
{"title":"On a number of particles in a marked set of cells in a general allocation scheme","authors":"A. Chuprunov","doi":"10.1515/dma-2023-0014","DOIUrl":"https://doi.org/10.1515/dma-2023-0014","url":null,"abstract":"Abstract In a generalized allocation scheme of n particles over N cells we consider the random variable ηn,N(K) which is the number of particles in a given set consisting of K cells. We prove that if n, K, N → ∞, then under some conditions random variables ηn,N(K) are asymptotically normal, and under another conditions ηn,N(K) converge in distribution to a Poisson random variable. For the case when N → ∞ and n is a fixed number, we find conditions under which ηn,N(K) converge in distribution to a binomial random variable with parameters n and s = KN $begin{array}{} displaystyle frac{K}{N} end{array}$, 0 < K < N, multiplied by a integer coefficient. It is shown that if for a generalized allocation scheme of n particles over N cells with random variables having a power series distribution defined by the function B(β) = ln(1 − β) the conditions n, N, K → ∞, KN $begin{array}{} displaystyle frac{K}{N} end{array}$ → s, N = γ ln(n) + o(ln(n)), where 0 < s < 1, 0 < γ < ∞, are satisfied, then distributions of random variables ηn,N(K)n $begin{array}{} displaystyle frac{eta_{n,N}(K)}{n} end{array}$ converge to a beta-distribution with parameters sγ and (1 − s)γ.","PeriodicalId":11287,"journal":{"name":"Discrete Mathematics and Applications","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47885290","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}