arXiv++ Combinatorics

For a graph $F$ with at least one edge, a $k$-uniform hypergraph is Berge-$F$-saturated if it contains no Berge-$F$, but adding any missing hyperedge creates a Berge-$F$. The saturation number $\text{sat}_k(n,\text{Berge-}F)$ is the minimum number of edges in such a hypergraph on $n$ vertices. English, Gordon, Graber, Methuku and Sullivan conjectured a linear upper bound for every fixed finite family of forbidden graphs. We prove the single-graph case: $\text{sat}_k(n,\text{Berge-}F)=O_{F,k}(n)$ for every fixed integer $k\ge2$ and every fixed finite simple graph $F$ with at least one edge. The proof combines a sparse construction with degree and matching arguments.

A graph $G$ is called $F$-irregular if all its vertices have distinct $F$-degrees, defined as the number of subgraphs of $G$ isomorphic to a given graph $F$ and containing the respective vertex. We prove the Strong Conjecture about $F$-irregular graphs (Dovzhenok, Filuta, and Chuhai, 2024), which states that for every connected graph $F$ of order at least three, there exist infinitely many $F$-irregular graphs. Fundamentally generalizing the classical existence conjecture by Chartrand et al. (1987), this work presents an authorized English translation of our original February 2024 manuscript, which was publicly presented in full at two scientific conferences the same year.

The Constructor--Blocker game is played on the edge set of $K_n$. Two players alternately claim previously unclaimed edges. Constructor aims to maximize the number of copies of a target graph $H$ in her graph while keeping it $F$-free throughout the game, whereas Blocker aims to minimize this number. When both players play optimally and Constructor moves first, the final number of copies of $H$ in Constructor's graph is called the score of the game and is denoted by $g(n,H,F)$. Recently, Balogh, Chen, and English systematically studied this game for non-bipartite forbidden graphs $F$. However, bipartite forbidden graphs present additional difficulties. In this paper, we focus on the case in which the forbidden graph is an even cycle. First, using a finite-field-geometric construction, we confirm a conjecture of Balogh, Chen and English by proving \[ g(n,K_3,C_4)=Θ(n^{3/2}). \] We also establish two-sided bounds for $g(n,K_3,C_{2k})$ that relate the game score to classical extremal numbers. Our proofs reveal a structural distinction between the cases $k=2$ and $k\ge3$: a vertex-duplication method works for longer even cycles, but it necessarily creates $4$-cycles and therefore cannot be used in the $C_4$-free game. Finally, we determine the exact order of $g(n,C_t,C_{2k})$ for all $k\ge2$ and all $t\ge4$.

The saturation number $\text{sat}_r(n,\mathcal{F})$ is the minimum number of hyperedges in an $r$-uniform $\mathcal{F}$-saturated hypergraph on $n$ vertices. We determine this parameter for $3$-uniform Berge-$K_4$ hypergraphs, proving that $\text{sat}_3(n,\text{Berge-}K_4)=n$ for $n =5,7,8$ and $n\ge 96$, while $\text{sat}_3(6,\text{Berge-}K_4)=5$. This resolves a problem posed by English, Kritschgau, Nahvi, and Sprangel~\cite{EKNS2024} for large $n.$ Using a computer search, we classify all extremal hypergraphs for $5\le n\le 8.$ For $n\geq 96$, we further show the existence of many non-isomorphic extremal families. Our approach synthesizes structural insights with computational power.

A subset $X$ of vertices in a graph $G$ is a {\em diameter 2 subset} if the distance of any two vertices of $X$ is at most two {\em in $G[X]$}. Relaxing this notion, a subset $X$ of vertices in a graph $G$ is a {\em 2-reachable subset} if the distance of any two vertices of $X$ is at most two {\em in $G$}. Related to recent attempts to strengthen a well-known conjecture of Ryser, English et al. conjectured that the vertices of a $2$-edge-colored cocktail party graph (the graph obtained from a complete graph with an even number of vertices by deleting a perfect matching) can be covered by the vertices of two monochromatic diameter $2$ subsets. In this note we prove the relaxed form of this conjecture, replacing diameter $2$ by $2$-reachable. An immediate corollary is that $2$-colored cocktail party graphs on $n$ vertices must contain a monochromatic $2$-reachable subset with at least $n\over 2$ vertices (and this is best possible).

A shuffle square is a word consisting of two shuffled copies of the same word. For instance, the Turkish word $\mathtt{\color{red}{ik}\color{blue}{i}\color{red}{li}\color{blue}{kli}}$ (binary in English) is a shuffle square, as it can be split into two copies of the word $\mathtt{ikli}$. We explore a representation of shuffle squares in terms of \emph{ordered nest-free graphs} and demonstrate the usefulness of this approach by applying it to several families of binary words. Among others, we characterize shuffle squares with four and five runs, as well as shuffle squares with all $\mathtt1$-runs of length one (and with the $\mathtt1$'s alternating between the two copies). In our main result we provide quite general sufficient conditions for a binary word not to be a shuffle square. In particular, it follows that binary words of the type $(\mathtt{1001})^n$, $n$ odd, are not shuffle squares. We complement it by showing that all other words whose every $\mathtt{1}$-run has length one or two, while every $\mathtt{0}$-run has length two, are shuffle squares. We also provide a counterexample to a believable stipulation that binary words of the form $\mathtt1^{m}\mathtt0^{m-2}\mathtt1^{m-4}\cdots$, $m$ odd, are far from being shuffle squares (the distance measured by the minimum number of letters one has to delete in order to turn a word into a shuffle square).

The presented work focuses on problems from determinant theory, set theory and topology. The term graph is the binding element that connects these problems. Graphs are distinguished by their geometrical simplicity, which helps in showing the equivalence between various seemingly unrelated problems, besides providing solutions to several open questions discussed here.

A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ such that every $p$-clique receives at least $q$ colors. In 1975, Erdős and Shelah introduced the generalized Ramsey number $f(n,p,q)$ which is the minimum number of colors needed in a $(p,q)$-coloring of $K_n$. In 1997, Erdős and Gyárfás showed that $f(n,p,q)$ is at most a constant times $n^{\frac{p-2}{\binom{p}{2} - q + 1}}$. Very recently the first author, Dudek, and English improved this bound by a factor of $\log n^{\frac{-1}{\binom{p}{2} - q + 1}} $ for all $q \le \frac{p^2 - 26p + 55}{4}$, and they ask if this improvement could hold for a wider range of $q$. We answer this in the affirmative for the entire non-integral regime, that is, for all integers $p, q$ with $p-2$ not divisible by $\binom{p}{2} - q + 1$. Furthermore, we provide a simultaneous three-way generalization as follows: where $p$-clique is replaced by any fixed graph $F$ (with $|V(F)|-2$ not divisible by $|E(F)| - q + 1$); to list coloring; and to $k$-uniform hypergraphs. Our results are a new application of the Forbidden Submatching Method of the second and fourth authors.

We reconsider the classical equality 0.999. .. = 1 with the tool of circular words, that is: finite words whose last letter is assumed to be followed by the first one. Such circular words are naturally embedded with algebraic structures that enlight this problematic equality, allowing it to be considered in Q rather than in R. We comment early history of such structures, that involves English teachers and accountants of the first part of the xviii th century, who appear to be the firsts to assert the equality 0.999. .. = 1. Their level of understanding show links with Dubinsky et al.'s apos theory in mathematics education. Eventually, we rebuilt the field Q from circular words, and provide an original proof of the fact that an algebraic integer is either an integer or an irrational number.

This is Part A of four Parts dedicated to modular lattices of finite length. It builds on 1992 notes of the author (available on ResearchGate), and in so doing heeds a wish of the late Gian-Carlo Rota. Part A is in fairly final form and mainly features known material, exceptions being a short proof of the distributivity of congruence lattices of lattices, as well as the concept of a point-splitting (which applies to arbitrary partial linear spaces). The planned content of Parts B,C,D is given in the introduction of Part A. Suffice it to say that deep results from C.Herrmann and R.Wille will be treated in English for the first time. All of this (even Part A) is work in process and comments/contributions are welcome.

In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem. This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructive lower bounds (achieved largely via quadratic residues in finite fields and concepts from design theory). To provide an impression of the historical development of the subject, we have attempted to modernise many of the original proofs, while maintaining the underlying ideas. Thus some of the proofs have the flavour of determinant theory, and some appear in print in English for the first time. We survey constructions of matrices in order $n \equiv 3 \mod 4$, giving asymptotic analysis which has not previously appeared in the literature. We prove that there exists an infinite family of matrices achieving at least $0.48$ of the maximal determinant bound. Previously the best known constant for a result of this type was $0.34$.

In the 1950's, English painter Anthony Hill described drawings of complete graphs $K_n$ in the plane having precisely $$H(n) = \tfrac{1}{4}\lfloor \tfrac{n}{2}\rfloor \, \lfloor \tfrac{n-1}{2}\rfloor \, \lfloor \tfrac{n-2}{2}\rfloor \,\lfloor \tfrac{n-3}{2}\rfloor$$ crossings. It became a conjecture that this number is minimum possible and, despite serious efforts, the conjecture is still widely open. Another way of drawing $K_n$ with the same number of crossings was found by Blažek and Koman in 1963. In this note we provide, for the first time, a very general construction of drawings attaining the same bound. Surprisingly, the proof is extremely short and may as well qualify as a "book proof". In particular, it gives a very simple explanation of the phenomenon discovered by Moon in 1968 that a random set of $n$ points on the unit sphere $\SS^2$ in $\RR^3$ joined by geodesics gives rise to a drawing whose number of crossings asymptotically approaches the Hill value $H(n)$.

English title: Eigenvalues of Symmetrized Shuffling Operators The random-to-random shuffling operator explains, for example, the evolution of a deck of cards subject to the following random process: draw a card randomly from the deck and reinsert it at a random position. If one instead draws more than one card at a time before reinserting, then the resulting operator is an example of a family of symmetrized shuffling operators studied by Victor Reiner, Franco Saliola and Volkmar Welker. This thesis describes a way to obtain the eigenvalues of these operators. We build on the work of Anton Dieker and Franco Saliola, who computed the eigenvalues of the random-to-random shuffle. Here, we compute the eigenvalues for all the operators of the family. We proceed with the help of the representation theory of the symmetric group. We decompose the vector space on which the shuffles act into simple modules for the symmetric group. These modules correspond to standard Young tableaux, and the algorithm to compute the eigenvalues is combinatorial because it computes the eigenvalues directly from the standard Young tableaux. As a corollary of our main result, we solve several conjectures of Reiner, Saliola and Welker, including showing that the eigenvalues are all nonnegative integers. Furthermore, the techniques used here allow us to give a new proof of their result that these symmetrized shuffling operators commute. Knowing the eigenvalues is the key step in one method of computing the number of shuffles one needs to execute to get a perfectly shuffled deck, which is briefly explored. We also study a second family of shuffles introduced by Reiner, Saliola and Welker. We present many conjectures about their eigenvalues.

In communication networks, the binding numbers of graphs (or networks) are often used to measure the vulnerability and robustness of graphs (or networks). Furthermore, the fractional factors of graphs and the fractional ID-$[a,b]$-factor-critical covered graphs have a great deal of important applications in the data transmission networks. In this paper, we investigate the relationship between the binding numbers of graphs and the fractional ID-$[a,b]$-factor-critical covered graphs, and derive a binding number condition for a graph to be fractional ID-$[a,b]$-factor-critical covered, which is an extension of Zhou's previous result [S. Zhou, Binding numbers for fractional ID-$k$-factor-critical graphs, Acta Mathematica Sinica, English Series 30(1)(2014)181--186].

For a graph $F$, we say a hypergraph $H$ is Berge-$F$ if it can be obtained from $F$ be replacing each edge of $F$ with a hyperedge containing it. We say a hypergraph is Berge-$F$-saturated if it does not contain a Berge-$F$, but adding any hyperedge creates a copy of Berge-$F$. The $k$-uniform saturation number of Berge-$F$, $\mathrm{sat}_k(n,\text{Berge-}F)$ is the fewest number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices. We show that $\mathrm{sat}_k(n,\text{Berge-}F) = O(n)$ for all graphs $F$ and uniformities $3\leq k\leq 5$, partially answering a conjecture of English, Gordon, Graber, Methuku, and Sullivan. We also extend this conjecture to Berge copies of hypergraphs.

A simple graph $G$ is an {\it 2-tree} if $G=K_3$, or $G$ has a vertex $v$ of degree 2, whose neighbors are adjacent, and $G-v$ is an 2-tree. Clearly, if $G$ is an 2-tree on $n$ vertices, then $|E(G)|=2n-3$. A non-increasing sequence $π=(d_1,\ldots,d_n)$ of nonnegative integers is a {\it graphic sequence} if it is realizable by a simple graph $G$ on $n$ vertices. Yin and Li (Acta Mathematica Sinica, English Series, 25(2009)795--802) proved that if $k\ge 2$, $n\ge \frac{9}{2}k^2+\frac{19}{2}k$ and $π=(d_1,\ldots,d_n)$ is a graphic sequence with $\sum\limits_{i=1}^n d_i>(k-2)n$, then $π$ has a realization containing every 1-tree (the usual tree) on $k$ vertices. Moreover, the lower bound $(k-2)n$ is the best possible. This is a variation of a conjecture due to Erdős and Sós. In this paper, we investigate an analogue problem for $2$-trees and prove that if $k\ge 3$ is an integer with $k\equiv i(\mbox{mod }3)$, $n\geq20\lfloor\frac{k}{3}\rfloor^2+31\lfloor\frac{k}{3}\rfloor+12$ and $π=(d_1,\ldots,d_n)$ is a graphic sequence with $\sum\limits_{i=1}^n d_i>\max\{(k-1)(n-1),2\lfloor\frac{2k}{3}\rfloor n-2n-\lfloor\frac{2k}{3}\rfloor^2+\lfloor\frac{2k}{3}\rfloor+1-(-1)^i\}$, then $π$ has a realization containing every 2-tree on $k$ vertices. Moreover, the lower bound $\max\{(k-1)(n-1),2\lfloor\frac{2k}{3}\rfloor n-2n-\lfloor\frac{2k}{3}\rfloor^2+\lfloor\frac{2k}{3}\rfloor+1-(-1)^i\}$ is the best possible. This result implies a conjecture due to Zeng and Yin (Discrete Math. Theor. Comput. Sci., 17(3)(2016), 315--326).

C. Thomassen in \cite{[11]} suggested (see also \cite{[2]}, J. C.Bermond, C. Thomassen, Cycles in Digraphs - A survey, J. Graph Theory 5 (1981) 1-43, Conjectures 1.6.7 and 1.6.8) the following conjectures : 1. Every 3-strongly connected digraph of order $n$ and with minimum degree at least $n+1$ is strongly Hamiltonian-connected. 2. Let $D$ be a 4-strongly connected digraph of order $n$ such that the sum of the degrees of any pair of non-adjacent vertices is at least $2n+1$. Then $D$ is strongly Hamiltonian-connected. We disprove Conjecture 1 and prove two results which provide some support for Conjecture 2. The main goal of this article is to present the detailed proofs of these results (in English).

In 1929 B.~N.~Delaunay proved that there are exactly 5 types of coincidence of parallelohedra at faces of codimension 3. We give a combinatorial proof of this theorem and prove several additional statements on three-codimensional faces of parallelohedral tiling. -- The original paper appeared in 2013 in MAIS (see the bibref) and was in Russian. This is the English version.

We construct perfect $2$-colorings of the $12$-hypercube that attain our recent bound on the dimension of arbitrary correlation immune functions. We prove that such colorings with parameters $(x,12-x,4+x,8-x$) exist if $x=0$, $2$, $3$ and do not exist if $x=1$. This is a translation into English of the original paper by D. G. Fon-Der-Flaass, "Perfect colorings of the $12$-cube that attain the bound on correlation immunity", published in Russian in Siberian Electronic Mathematical Reports, vol. 4 (2007) 292-295.

This monograph is intended to be considered as my habilitation (D.Sc.) thesis; because of that and as everything has already appeared in English, it is performed exclusively in Russian. The monograph comprises a detailed introduction and seven chapters that represent part of my work influenced by Apéry's proof from 1978 of the irrationality of $ζ(2)$ and $ζ(3)$, the values of Riemann's zeta function. Chapter 1 is about "at least one of the four numbers $ζ(5)$, $ζ(7)$, $ζ(9)$ and $ζ(11)$ is irrational" (based in part on arXiv:math.NT/0206176). Chapter 2 explains a connection between the generalized multiple integrals introduced by Beukers in his proof of Apéry's result and the very-well-poised hypergeometric series; it is based on arXiv:math.CA/0206177. Chapter 3 surveys some arithmetic and hypergeometric $q$-analogies and establishes the irrationality measure $μ(ζ_q(2))<3.518876$ for a $q$-analogue of $ζ(2)$; it closely follows the text in Sb. Math. 193 (2002), 1151--1172, but also incorporates the sharper analysis of the hypergeometric construction by Smet and Van Assche (arXiv:0809.2501 [math.CA]) to produce the improvement upon the 2002 result. Chapter 4 is devoted to the measure $μ(ζ(2))<5.095412$ and is based on arXiv:1310.1526 [math.NT]; Chapter 5 is establishing the estimate $||(3/2)^k||>0.5803^k$ for the distance from $(3/2)^k$ to the nearest integer, with the English version published in J. Théor. Nombres Bordeaux 19 (2007), 313--325. Chapter 6 reproduces the solution (from arXiv:math.CA/0311195) to the problem of Asmus Schmidt about generalized Apéry's numbers. Finally, Chapter 7 is about expressing the special $L$-values as periods (in the sense of Kontsevich and Zagier), in particular, as values of hypergeometric functions; it is based on the publication in Springer Proc. Math. Stat. 43 (2013), 381--395.