Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Ranking and Unranking Restricted Permutations
Published
• View Publication
• BIB
We discuss efficient methods for unranking derangements and ménage permutations. That is, we will provide an algorithm to efficiently extract the $k$-th earliest such permutation under the lexicographic ordering. We will show that this problem can be reduced to the problem of computing the number of restricted permutations with a given prefix, and then we will use rook theory to solve this counting problem. This has applications to combinatorics, probability, statistics, and modeling.
An inductive proof of the Bollobás two family theorem
Inspired by the inductive proof of LYM-inequality given by P. Frankl, we provide an inductive proof of the Bollobás two family theorem.
On products of permutations with the most uncontaminated cycles by designated labels
Published in Journal of Algebraic Combinatorics, 2023
• View Publication
• BIB
There is a growing interest in studying the distribution of certain labels in products of permutations since the work of Stanley addressing a conjecture of Bóna. This paper is concerned with a problem in that direction. Let $D$ be a permutation on the set $[n]=\{1,2,\ldots, n\}$ and $E\subset [n]$. Suppose the maximum possible number of cycles uncontaminated by the $E$-labels in the product of $D$ and a cyclic permutation on $[n]$ is $θ$ (depending on $D$ and $E$). We prove that for arbitrary $D$ and $E$ with few exceptions, the number of cyclic permutations $γ$ such that $D\circ γ$ has exactly $θ-1$ $E$-label free cycles is at least $1/2$ that of $γ$ for $D\circ γ$ to have $θ$ $E$-label free cycles, where $1/2$ is best possible. An even more general result is also conjectured.
Systolic inequalities and chromatic number
We show that the discrete versions of the systolic inequality that estimate the number of vertices of a simplicial complex from below have substantial applications to graphs, the one-dimensional simplicial complexes. Almost directly they provide good estimates for the number of vertices of a graph in terms of its chromatic number and the length of the smallest odd cycle. Combined with the graph-theoretic techniques of Berlov and Bogdanov, the systolic approach produces even better estimates.
Reconfiguration of colorings in triangulations of the sphere
In 1973, Fisk proved that any $4$-coloring of a $3$-colorable triangulation of the $2$-sphere can be obtained from any $3$-coloring by a sequence of Kempe-changes. On the other hand, in the case where we are only allowed to recolor a single vertex in each step, which is a special case of a Kempe-change, there exists a $4$-coloring that cannot be obtained from any $3$-coloring. In this paper, we present a characterization of a $4$-coloring of a $3$-colorable triangulation of the $2$-sphere that can be obtained from a $3$-coloring by a sequence of recoloring operations at single vertices, and a criterion for a $3$-colorable triangulation of the $2$-sphere that all $4$-colorings can be obtained from a $3$-coloring by such a sequence. Moreover, our first result can be generalized to a high-dimensional case, in which ``$4$-coloring,'' ``$3$-colorable,'' and ``$2$-sphere'' above are replaced with ``$k$-coloring,'' ``$(k-1)$-colorable,'' and ``$(k-2)$-sphere'' for $k \geq 4$, respectively. In addition, we show that the problem of deciding whether, for given two $(k+1)$-colorings, one can be obtained from the other by such a sequence is PSPACE-complete for any fixed $k \geq 4$. Our results above can be rephrased as new results on the computational problems named {\sc $k$-Recoloring} and {\sc Connectedness of $k$-Coloring Reconfiguration Graph}, which are fundamental problems in the field of combinatorial reconfiguration.
Symmetric Covers and Pseudocovers of Complete Graphs
Published
• View Publication
• BIB
We first characterize all faithful arc-transitive covers of complete graphs and we give a general construction of such covers. For a counterpart of cover, we say a graph $Γ$ is a pseudocover of its quotient $Σ$ if they have the same valency and $Γ$ is not a cover of $Σ$.As the second result of this paper, we prove that the complete graph $\K_n$ has a connected arc-transitive pseudocover if and only if $n-1$ is not a prime.
Toric rings of perfectly matchable subgraph polytopes
Published
• View Publication
• BIB
The perfectly matchable subgraph polytope of a graph is a (0,1)-polytope associated with the vertex sets of matchings in the graph. In this paper, we study algebraic properties (compressedness, Gorensteinness) of the toric rings of perfectly matchable subgraph polytopes. In particular, we give a complete characterization of a graph whose perfectly matchable subgraph polytope is compressed.
Hyper-Mahler measures via Goncharov-Deligne cyclotomy
Published in In Howard S. Cohl, Roberto S. Costas-Santos, and Robert S. Maier (eds.) Classical Hypergeometric Functions and Generalizations. pp. 239-288, Vol 818 of Contemporary Mathematics, AMS (2025)
• View Publication
• BIB
The hyper-Mahler measures $m_k( 1+x_1+x_2),k\in\mathbb Z_{>1}$ and $m_k( 1+x_1+x_2+x_3),k\in\mathbb Z_{>1}$ are evaluated in closed form via Goncharov-Deligne periods, namely $\mathbb Q$-linear combinations of multiple polylogarithms at cyclotomic points (complex-valued coordinates that are roots of unity). Some infinite series related to these hyper-Mahler measures are also explicitly represented as Goncharov-Deligne periods of levels $1$, $2$, $ 3$, $4$, $6$, $8$, $10$ and $12$.
House of Graphs 2.0: a database of interesting graphs and more
Published
• View Publication
• BIB
In 2012 we announced the House of Graphs (https://houseofgraphs.org) [Discrete Appl. Math. 161 (2013), 311-314], which was a new database of graphs. The House of Graphs hosts complete lists of graphs of various graph classes, but its main feature is a searchable database of so called "interesting" graphs, which includes graphs that already occurred as extremal graphs or as counterexamples to conjectures. An important aspect of this database is that it can be extended by users of the website.
Over the years, several new features and graph invariants were added to the House of Graphs and users uploaded many interesting graphs to the website. But as the development of the original House of Graphs website started in 2010, the underlying frameworks and technologies of the website became outdated. This is why we completely rebuilt the House of Graphs using modern frameworks to build a maintainable and expandable web application that is future-proof. On top of this, several new functionalities were added to improve the application and the user experience.
This article describes the changes and new features of the new House of Graphs website.
Congruences concerning binomial coefficients and binary quadratic forms
Let $p>3$ be a prime. In this paper, we obtain the congruences for $$\sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^3}{(-8)^k},\ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{3k}k}{(-192)^k},\ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{4k}{2k}}{(-144)^k}\ \text{and} \ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{4k}{2k}}{648^k}$$ modulo $p^2$, and partial results for $\sum_{k=0}^{(p-1)/2} \binom{2k}k^3\frac{w(k)}{m^k}$ modulo $p^2$, where $m\in\{1,16,-64,256,-512,4096\}$ and $w(k)\in\{k^2,k^3,\frac 1{k+1},\frac 1{(k+1)^2},\frac 1{(k+1)^3}, \frac 1{2k-1},\frac 1{k+2}\}$.
Partitioning a tournament into sub-tournaments of high connectivity
We prove that there exists a constant $c > 0$ such that the vertices of every strongly $c \cdot kt$-connected tournament can be partitioned into $t$ parts, each of which induces a strongly $k$-connected tournament. This is clearly tight up to a constant factor, and it confirms a conjecture of Kühn, Osthus and Townsend (2016).
A Cartesian graph-decomposition theorem based on a vertex-removing synchronised graph product
Recently, we have introduced and modified two graph-decomposition theorems based on a new graph product, motivated by applications in the context of synchronising periodic real-time processes. This vertex-removing synchronised product (VRSP), is based on modifications of the well-known Cartesian product and is closely related to the synchronised product due to Wöhrle and Thomas. Here, we introduce a new graph-decomposition theorem based on the VRSP that provides a Cartesian decomposition of graphs.
Ramified inverse and planar monoids
Published
• View Publication
• BIB
Ramified monoids are a class of monoids introduced by the authors. The main motivation for considering these monoids comes from knot theory, see [3, 4, 5]. Thus, in [2] we have studied the ramified monoids of the symmeytric group and of the Brauer monoid, among others. This paper study the ramified of the inverse symmetric monoid, which plays a notable role in knot theory as well, see [10]. Here is also introduced the notion of planar ramified monoid. In particular, we give presentations for some planar ramified monoids arising from noncrossing set partitions.
On the smallest gap in a sequence with Poisson pair correlations
Published in Combinator. Probab. Comp. 34 (2025) 283-297
• View Publication
• BIB
We prove that any increasing sequence of real numbers with average gap $1$ and Poisson pair correlations has some gap that is at least $3/2+10^{-9}$. This improves upon a result of Aistleitner, Blomer, and Radziwill.
Powersum Bases in Quasisymmetric Functions and Quasisymmetric Functions in Non-commuting Variables
Published
• View Publication
• BIB
We introduce a new $P$ basis for the Hopf algebra of quasisymmetric functions that refine the symmetric powersum basis. Unlike the quasisymmetric power sums of types 1 and 2, our basis is defined combinatorially: its expansion in quasisymmetric monomial functions is given by fillings of matrices. This basis has a shuffle product, a deconcatenate coproduct, and has a change of basis rule to the quasisymmetric fundamental basis by using tuples of ribbons. We lift our quasisymmetric powersum $P$ basis to the Hopf algebra of quasisymmetric functions in non-commuting variables by introducing fillings with disjoint sets. This new basis has a shifted shuffle product and a standard deconcatenate coproduct, and certain basis elements agree with the fundamental basis of the Malvenuto-Reutenauer Hopf algebra of permutations. Finally we discuss how to generalize these bases and their properties by using total orders on indices.
Clique factors in powers of graphs
The $k$th power of a graph $G$, denoted $G^k$, has the same vertex set as $G$, and two vertices are adjacent in $G^k$ if and only if there exists a path between them in $G$ of length at most $k$. A $K_r$-factor in a graph is a spanning subgraph in which every component is a complete graph of order $r$. It is easy to show that for any connected graph $G$ of order divisible by $r$, $G^{2r-2}$ contains a $K_r$-factor. This is best possible as there exist connected graphs $G$ of order divisible by $r$ such that $G^{2r-3}$ does not contain a $K_r$-factor. We conjecture that for any 2-connected graph $G$ of order divisible by $r$, $G^r$ contains a $K_r$-factor. This was known for $r \le 3$ and we prove it for $r = 4$. We prove a stronger statement that the vertex set of any 2-connected graph $G$ of order $4k$ can be partitioned into $k$ parts of size $4$, such that the four vertices in any part are contained in a subtree of $G$ of order at most 5. More generally, we conjecture that for any partition of $n = n_1+n_2+\cdots+n_k$, the vertex set of any 2-connected graph $G$ of order $n$ can be partitioned into $k$ parts $V_1,V_2,\ldots,V_k$, such that $|V_i| = n_i$ and $V_i \subseteq V(T_i)$ for some subtree $T_i$ of $G$ of order at most $n_i+1$, for $1 \le i \le k$.
Local aspects of the Sidorenko property for linear equations
Published in Forum of Mathematics, Sigma 13 (2025) e177
• View Publication
• BIB
A system of linear equations in $\mathbb{F}_p^n$ is \textit{Sidorenko} if any subset of $\mathbb{F}_p^n$ contains at least as many solutions to the system as a random set of the same density, asymptotically as $n\to \infty$. A system of linear equations is \textit{common} if any 2-colouring of $\mathbb{F}_p^n$ yields at least as many monochromatic solutions to the system of equations as a random 2-colouring, asymptotically as $n\to \infty$. Both classification problems remain wide open despite recent attention.
We show that a certain generic family of systems of two linear equations is not Sidorenko. In fact, we show that systems in this family are not locally Sidorenko, and that systems in this family which do not contain additive tuples are not weakly locally Sidorenko. This endeavour answers a conjecture and question of Kamčev--Liebenau--Morrison. Insofar as methods, we observe that the true complexity of a linear system is not maintained under Fourier inversion; our main novelty is the use of higher-order methods in the frequency space of systems which have complexity one. We also give a shorter proof of the recent result of Kamčev--Liebenau--Morrison and independently Versteegen that any linear system containing a four term arithmetic progression is uncommon.
Universal minima of discrete potentials for sharp spherical codes
Published
• View Publication
• BIB
This article is devoted to the study of discrete potentials on the sphere in $\mathbb{R}^n$ for sharp codes. We show that the potentials of most of the known sharp codes attain the universal lower bounds for polarization for spherical $τ$-designs previously derived by the authors, where ``universal'' is meant in the sense of applying to a large class of potentials that includes absolutely monotone functions of inner products. We also extend our universal bounds to $T$-designs and the associated polynomial subspaces determined by the vanishing moments of spherical configurations and thus obtain the minima for the icosahedron, dodecahedron, and sharp codes coming from $E_8$ and the Leech lattice. For this purpose, we investigate quadrature formulas for certain subspaces of Gegenbauer polynomials $P^{(n)}_j$ which we call PULB subspaces, particularly those having basis $\{P_j^{(n)}\}_{j=0}^{2k+2}\setminus \{P_{2k}^{(n)}\}.$ Furthermore, for potentials with $h^{(τ+1)}<0$ we prove that the strong sharp codes and the antipodal sharp codes attain the universal bounds and their minima occur at points of the codes. The same phenomenon is established for the $600$-cell when the potential $h$ satisfies $h^{(i)}\geq 0$, $i=1,\dots,15$, and $h^{(16)}\leq 0.$
On Sylvester-type constructions of Hadamard matrices and their modifications
Published
• View Publication
• BIB
Using the ideas of concatenation construction of codes over the $q$-ary alphabet, we modify the known generalized Sylvester-type construction of the Hadamard matrices. The new construction is based on two collections of the Hadamard matrices. In particular this construction involves $m$ Hadamard matrices of order $k$ and $k$ Hadamard matrices of order $m$. These matrices are not necessary different. As a result we obtain a Hadamard matrix of order $km$. The new construction gives many possibilities for construction of the new Hadamard matrices with different ranks and dimension of kernel.
A Proof Without Words: Triangles in the Triangular Grid
This proof without words demonstrates that there are $\binom{n+2}{4}$ equilateral triangles in the regular $n$-vertices-per-side triangular grid by describing a map from four-element subsets of $\{1,2, \dots, n+2\}$ into the set of equilateral triangles in this grid. Specifically, we illustrate the triangle that corresponds to the subset $\{4,5,8,11\}$ under this bijection when $n = 10$.