Combinatorica最新文献

{"title":"Tiling Edge-Coloured Graphs with Few Monochromatic Bounded-Degree Graphs","authors":"Jan Corsten, Walner Mendonça","doi":"10.1007/s00493-023-00072-1","DOIUrl":"https://doi.org/10.1007/s00493-023-00072-1","url":null,"abstract":"<p>We prove that for all integers <span>(Delta ,r ge 2)</span>, there is a constant <span>(C = C(Delta ,r) &gt;0)</span> such that the following is true for every sequence <span>({mathcal {F}}= {F_1, F_2, ldots })</span> of graphs with <span>(v(F_n) = n)</span> and <span>(Delta (F_n) le Delta )</span>, for each <span>(n in {mathbb {N}})</span>. In every <i>r</i>-edge-coloured <span>(K_n)</span>, there is a collection of at most <i>C</i> monochromatic copies from <span>({mathcal {F}})</span> whose vertex-sets partition <span>(V(K_n))</span>. This makes progress on a conjecture of Grinshpun and Sárközy.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"27 20","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138293812","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Kempe Equivalent List Colorings","authors":"Daniel W. Cranston, Reem Mahmoud","doi":"10.1007/s00493-023-00063-2","DOIUrl":"https://doi.org/10.1007/s00493-023-00063-2","url":null,"abstract":"<p>An <span>(alpha ,beta )</span>-Kempe swap in a properly colored graph interchanges the colors on some component of the subgraph induced by colors <span>(alpha )</span> and <span>(beta )</span>. Two <i>k</i>-colorings of a graph are <i>k</i>-Kempe equivalent if we can form one from the other by a sequence of Kempe swaps (never using more than <i>k</i> colors). Las Vergnas and Meyniel showed that if a graph is <span>((k-1))</span>-degenerate, then each pair of its <i>k</i>-colorings are <i>k</i>-Kempe equivalent. Mohar conjectured the same conclusion for connected <i>k</i>-regular graphs. This was proved for <span>(k=3)</span> by Feghali, Johnson, and Paulusma (with a single exception <span>(K_2square ,K_3)</span>, also called the 3-prism) and for <span>(kge 4)</span> by Bonamy, Bousquet, Feghali, and Johnson. In this paper we prove an analogous result for list-coloring. For a list-assignment <i>L</i> and an <i>L</i>-coloring <span>(varphi )</span>, a Kempe swap is called <i>L</i>-valid for <span>(varphi )</span> if performing the Kempe swap yields another <i>L</i>-coloring. Two <i>L</i>-colorings are called <i>L</i>-equivalent if we can form one from the other by a sequence of <i>L</i>-valid Kempe swaps. Let <i>G</i> be a connected <i>k</i>-regular graph with <span>(kge 3)</span> and <span>(Gne K_{k+1})</span>. We prove that if <i>L</i> is a <i>k</i>-assignment, then all <i>L</i>-colorings are <i>L</i>-equivalent (again excluding only <span>(K_2square ,K_3)</span>). Further, if <span>(Gin {K_{k+1},K_2square ,K_3})</span>, <i>L</i> is a <span>(Delta )</span>-assignment, but <i>L</i> is not identical everywhere, then all <i>L</i>-colorings of <i>G</i> are <i>L</i>-equivalent. When <span>(kge 4)</span>, the proof is completely self-contained, implying an alternate proof of the result of Bonamy et al. Our proofs rely on the following key lemma, which may be of independent interest. Let <i>H</i> be a graph such that for every degree-assignment <span>(L_H)</span> all <span>(L_H)</span>-colorings are <span>(L_H)</span>-equivalent. If <i>G</i> is a connected graph that contains <i>H</i> as an induced subgraph, then for every degree-assignment <span>(L_G)</span> for <i>G</i> all <span>(L_G)</span>-colorings are <span>(L_G)</span>-equivalent.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"62 9","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138293144","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Book Proof of the Middle Levels Theorem","authors":"Torsten Mütze","doi":"10.1007/s00493-023-00070-3","DOIUrl":"https://doi.org/10.1007/s00493-023-00070-3","url":null,"abstract":"<p>We give a short constructive proof for the existence of a Hamilton cycle in the subgraph of the <span>((2n+1))</span>-dimensional hypercube induced by all vertices with exactly <i>n</i> or <span>(n+1)</span> many 1s.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"11 6","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493551","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On Unique Sums in Abelian Groups","authors":"Benjamin Bedert","doi":"10.1007/s00493-023-00069-w","DOIUrl":"https://doi.org/10.1007/s00493-023-00069-w","url":null,"abstract":"<p>Let <i>A</i> be a subset of the cyclic group <span>({textbf{Z}}/p{textbf{Z}})</span> with <i>p</i> prime. It is a well-studied problem to determine how small |<i>A</i>| can be if there is no unique sum in <span>(A+A)</span>, meaning that for every two elements <span>(a_1,a_2in A)</span>, there exist <span>(a_1',a_2'in A)</span> such that <span>(a_1+a_2=a_1'+a_2')</span> and <span>({a_1,a_2}ne {a_1',a_2'})</span>. Let <i>m</i>(<i>p</i>) be the size of a smallest subset of <span>({textbf{Z}}/p{textbf{Z}})</span> with no unique sum. The previous best known bounds are <span>(log p ll m(p)ll sqrt{p})</span>. In this paper we improve both the upper and lower bounds to <span>(omega (p)log p leqslant m(p)ll (log p)^2)</span> for some function <span>(omega (p))</span> which tends to infinity as <span>(prightarrow infty )</span>. In particular, this shows that for any <span>(Bsubset {textbf{Z}}/p{textbf{Z}})</span> of size <span>(|B|&lt;omega (p)log p)</span>, its sumset <span>(B+B)</span> contains a unique sum. We also obtain corresponding bounds on the size of the smallest subset of a general Abelian group having no unique sum.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"11 16","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493550","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Sweeps, Polytopes, Oriented Matroids, and Allowable Graphs of Permutations","authors":"Arnau Padrol, Eva Philippe","doi":"10.1007/s00493-023-00062-3","DOIUrl":"https://doi.org/10.1007/s00493-023-00062-3","url":null,"abstract":"<p>A sweep of a point configuration is any ordered partition induced by a linear functional. Posets of sweeps of planar point configurations were formalized and abstracted by Goodman and Pollack under the theory of allowable sequences of permutations. We introduce two generalizations that model posets of sweeps of higher dimensional configurations. Sweeps of a point configuration are in bijection with faces of an associated sweep polytope. Mimicking the fact that sweep polytopes are projections of permutahedra, we define sweep oriented matroids as strong maps of the braid oriented matroid. Allowable sequences are then the sweep oriented matroids of rank 2, and many of their properties extend to higher rank. We show strong ties between sweep oriented matroids and both modular hyperplanes and Dilworth truncations from (unoriented) matroid theory. Pseudo-sweeps are a generalization of sweeps in which the sweeping hyperplane is allowed to slightly change direction, and that can be extended to arbitrary oriented matroids in terms of cellular strings. We prove that for sweepable oriented matroids, sweep oriented matroids provide a sphere that is a deformation retract of the poset of pseudo-sweeps. This generalizes a property of sweep polytopes (which can be interpreted as monotone path polytopes of zonotopes), and solves a special case of the strong Generalized Baues Problem for cellular strings. A second generalization are allowable graphs of permutations: symmetric sets of permutations pairwise connected by allowable sequences. They have the structure of acycloids and include sweep oriented matroids.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"54 42","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71514519","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Structural Theorem for Sets with Few Triangles","authors":"Sam Mansfield, Jonathan Passant","doi":"10.1007/s00493-023-00066-z","DOIUrl":"https://doi.org/10.1007/s00493-023-00066-z","url":null,"abstract":"<p>We show that if a finite point set <span>(Psubseteq {mathbb {R}}^2)</span> has the fewest congruence classes of triangles possible, up to a constant <i>M</i>, then at least one of the following holds.</p><ul>\u0000<li>\u0000<p>There is a <span>(sigma &gt;0)</span> and a line <i>l</i> which contains <span>(Omega (|P|^sigma ))</span> points of <i>P</i>. Further, a positive proportion of <i>P</i> is covered by lines parallel to <i>l</i> each containing <span>(Omega (|P|^sigma ))</span> points of <i>P</i>.</p>\u0000</li>\u0000<li>\u0000<p>There is a circle <span>(gamma )</span> which contains a positive proportion of <i>P</i>.</p>\u0000</li>\u0000</ul><p> This provides evidence for two conjectures of Erdős. We use the result of Petridis–Roche–Newton–Rudnev–Warren on the structure of the affine group combined with classical results from additive combinatorics.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"11 18","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the Maximum of the Sum of the Sizes of Non-trivial Cross-Intersecting Families","authors":"P. Frankl","doi":"10.1007/s00493-023-00060-5","DOIUrl":"https://doi.org/10.1007/s00493-023-00060-5","url":null,"abstract":"<p>Let <span>(n ge 2k ge 4)</span> be integers, <span>({[n]atopwithdelims ()k})</span> the collection of <i>k</i>-subsets of <span>([n] = {1, ldots , n})</span>. Two families <span>({mathcal {F}}, {mathcal {G}} subset {[n]atopwithdelims ()k})</span> are said to be <i>cross-intersecting</i> if <span>(F cap G ne emptyset )</span> for all <span>(F in {mathcal {F}})</span> and <span>(G in {mathcal {G}})</span>. A family is called non-trivial if the intersection of all its members is empty. The best possible bound <span>(|{mathcal {F}}| + |{mathcal {G}}| le {n atopwithdelims ()k} - 2 {n - katopwithdelims ()k} + {n - 2k atopwithdelims ()k} + 2)</span> is established under the assumption that <span>({mathcal {F}})</span> and <span>({mathcal {G}})</span> are non-trivial and cross-intersecting. For the proof a strengthened version of the so-called <i>shifting technique</i> is introduced. The most general result is Theorem 4.1.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"11 17","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493548","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Solution to Babai’s Problems on Digraphs with Non-diagonalizable Adjacency Matrix","authors":"Yuxuan Li, Binzhou Xia, Sanming Zhou, Wenying Zhu","doi":"10.1007/s00493-023-00068-x","DOIUrl":"https://doi.org/10.1007/s00493-023-00068-x","url":null,"abstract":"<p>The fact that the adjacency matrix of every finite graph is diagonalizable plays a fundamental role in spectral graph theory. Since this fact does not hold in general for digraphs, it is natural to ask whether it holds for digraphs with certain level of symmetry. Interest in this question dates back to the early 1980 s, when P. J. Cameron asked for the existence of arc-transitive digraphs with non-diagonalizable adjacency matrix. This was answered in the affirmative by Babai (J Graph Theory 9:363–370, 1985). Then Babai posed the open problems of constructing a 2-arc-transitive digraph and a vertex-primitive digraph whose adjacency matrices are not diagonalizable. In this paper, we solve Babai’s problems by constructing an infinite family of <i>s</i>-arc-transitive digraphs for each integer <span>(sge 2)</span>, and an infinite family of vertex-primitive digraphs, both of whose adjacency matrices are non-diagonalizable.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"12 10","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493575","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Value Distributions of Perfect Nonlinear Functions","authors":"Lukas Kölsch, Alexandr Polujan","doi":"10.1007/s00493-023-00067-y","DOIUrl":"https://doi.org/10.1007/s00493-023-00067-y","url":null,"abstract":"<p>In this paper, we study the value distributions of perfect nonlinear functions, i.e., we investigate the sizes of image and preimage sets. Using purely combinatorial tools, we develop a framework that deals with perfect nonlinear functions in the most general setting, generalizing several results that were achieved under specific constraints. For the particularly interesting elementary abelian case, we derive several new strong conditions and classification results on the value distributions. Moreover, we show that most of the classical constructions of perfect nonlinear functions have very specific value distributions, in the sense that they are almost balanced. Consequently, we completely determine the possible value distributions of vectorial Boolean bent functions with output dimension at most 4. Finally, using the discrete Fourier transform, we show that in some cases value distributions can be used to determine whether a given function is perfect nonlinear, or to decide whether given perfect nonlinear functions are equivalent.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"12 11","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Generalization of the Chevalley–Warning and Ax–Katz Theorems with a View Towards Combinatorial Number Theory","authors":"David J. Grynkiewicz","doi":"10.1007/s00493-023-00057-0","DOIUrl":"https://doi.org/10.1007/s00493-023-00057-0","url":null,"abstract":"&lt;p&gt;Let &lt;span&gt;({mathbb {F}}_q)&lt;/span&gt; be a finite field of characteristic &lt;i&gt;p&lt;/i&gt; and order &lt;i&gt;q&lt;/i&gt;. The Chevalley–Warning Theorem asserts that the set &lt;i&gt;V&lt;/i&gt; of common zeros of a collection of polynomials must satisfy &lt;span&gt;(|V|equiv 0mod p)&lt;/span&gt;, provided the number of variables is sufficiently large with respect to the degrees of the polynomials. The Ax–Katz Theorem generalizes this by giving tight bounds for higher order &lt;i&gt;p&lt;/i&gt;-divisibility for |&lt;i&gt;V&lt;/i&gt;|. Besides the intrinsic algebraic interest of these results, they are also important tools in the Polynomial Method, particularly in the prime field case &lt;span&gt;({mathbb {F}}_p)&lt;/span&gt;, where they have been used to prove many results in Combinatorial Number Theory. In this paper, we begin by explaining how arguments used by Wilson to give an elementary proof of the &lt;span&gt;({mathbb {F}}_p)&lt;/span&gt; case for the Ax–Katz Theorem can also be used to prove the following generalization of the Ax–Katz Theorem for &lt;span&gt;({mathbb {F}}_p)&lt;/span&gt;, and thus also the Chevalley–Warning Theorem, where we allow varying prime power moduli. Given any box &lt;span&gt;({mathcal {B}}={mathcal {I}}_1times ldots times {mathcal {I}}_n)&lt;/span&gt;, with each &lt;span&gt;({mathcal {I}}_jsubseteq {mathbb {Z}})&lt;/span&gt; a complete system of residues modulo &lt;i&gt;p&lt;/i&gt;, and a collection of nonzero polynomials &lt;span&gt;(f_1,ldots ,f_sin {mathbb {Z}}[X_1,ldots ,X_n])&lt;/span&gt;, then the set of common zeros inside the box, &lt;/p&gt;&lt;span&gt;$$begin{aligned} V={{textbf{a}}in {mathcal {B}}:; f_1({{textbf {a}}})equiv 0mod p^{m_1},ldots ,f_s({{textbf {a}}})equiv 0mod p^{m_s}}, end{aligned}$$&lt;/span&gt;&lt;p&gt;satisfies &lt;span&gt;(|V|equiv 0mod p^m)&lt;/span&gt;, provided &lt;span&gt;(n&gt;(m-1)max _{iin [1,s]}Big {p^{m_i-1}deg f_iBig }+ sum nolimits _{i=1}^{s}frac{p^{m_i}-1}{p-1}deg f_i.)&lt;/span&gt; The introduction of the box &lt;span&gt;({mathcal {B}})&lt;/span&gt; adds a degree of flexibility, in comparison to prior work of Sun. Indeed, incorporating the ideas of Sun, a weighted version of the above result is given. We continue by explaining how the added flexibility, combined with an appropriate use of Hensel’s Lemma to choose the complete system of residues &lt;span&gt;({mathcal {I}}_j)&lt;/span&gt;, allows many combinatorial applications of the Chevalley–Warning and Ax–Katz Theorems, previously only valid for &lt;span&gt;({mathbb {F}}_p^n)&lt;/span&gt;, to extend with bare minimal modification to validity for an arbitrary finite abelian &lt;i&gt;p&lt;/i&gt;-group &lt;i&gt;G&lt;/i&gt;. We illustrate this by giving several examples, including a new proof of the exact value of the Davenport Constant &lt;span&gt;({textsf{D}}(G))&lt;/span&gt; for finite abelian &lt;i&gt;p&lt;/i&gt;-groups, and a streamlined proof of the Kemnitz Conjecture. We also derive some new results, for a finite abelian &lt;i&gt;p&lt;/i&gt;-group &lt;i&gt;G&lt;/i&gt; with exponent &lt;i&gt;q&lt;/i&gt;, regarding the constant &lt;span&gt;({textsf{s}}_{kq}(G))&lt;/span&gt;, defined as the minimal integer &lt;span&gt;(ell )&lt;/span&gt; such that any sequence of &lt;span&gt;(ell )&lt;/span&gt; terms from &lt;i&gt;G&lt;/i&gt; must contain a zero-sum subsequence of length &lt;i&gt;kq&lt;/i&gt;. ","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"12 12","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}