Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Excluded minors are almost fragile II: essential elements
Published in Journal of Combinatorial Theory, Series B, 163 (2023), 272-307
• View Publication
• BIB
Let $M$ be an excluded minor for the class of $\mathbb{P}$-representable matroids for some partial field $\mathbb{P}$, let $N$ be a $3$-connected strong $\mathbb{P}$-stabilizer that is non-binary, and suppose $M$ has a pair of elements $\{a,b\}$ such that $M\backslash a,b$ is $3$-connected with an $N$-minor. Suppose also that $|E(M)| \geq |E(N)|+11$ and $M \backslash a,b$ is not $N$-fragile. In the prequel to this paper, we proved that $M \backslash a,b$ is at most five elements away from an $N$-fragile minor. An element $e$ in a matroid $M'$ is $N$-essential if neither $M'/e$ nor $M' \backslash e$ has an $N$-minor. In this paper, we prove that, under mild assumptions, $M \backslash a,b$ is one element away from a minor having at least $r(M)-2$ elements that are $N$-essential.
The $p$-numerical semigroup of the triple of arithmetic progressions
Published
• View Publication
• BIB
For given positive integers $a_1,a_2,\dots,a_k$ with $\gcd(a_1,a_2,\dots,a_k)=1$, the denumerant $d(n)=d(n;a_1,a_2,\dots,a_k)$ is the number of nonnegative solutions $(x_1,x_2,\dots,x_k)$ of the linear equation $a_1 x_1+a_2 x_2+\dots+a_k x_k=n$ for a positive integer $n$. For a given nonnegative integer $p$, let $S_p=S_p(a_1,a_2,\dots,a_k)$ be the set of all nonnegative integers $n$'s such that $d(n)>p$. In this paper, we are interested in the $p$-Frobenius number, which is the maximum of the set of gaps $\mathbb N_0\backslash S_p$. Here $\mathbb N_0$ denotes the set of nonnegative integers. When $p=0$, $S=S_0$ is the original numerical semigroup, and the $0$-Frobenius number is the original Frobenius number. The explicit formula for two variables is known not only for $p=0$ but also for $p>0$, but when there are three or more variables, it is difficult even in the special case of $p=0$. For $p>0$, it is not only more difficult, but no explicit formula had been found. In this paper, explicit formulas of the $p$-Frobenius number and related values are given for the triple of arithmetic progressions. The main tool is to determine the elements of the $p$-Apéry set.
Run and Frequency quotas for q-binary trials
We study the distributions of waiting times in variations of the $q$-sooner and later waiting time problem. One variation imposes length and frequency quotas on the runs of successes and failures. Another case considers binary trials for which the probability of ones is geometrically varying. We also study the distributions of Longest run under the same variations. The main theorems are sooner and later waiting time problem and the joint distribution of the length of the longest success and longest failure runs when a run and frequency quotas imposed on runs of successes and failure. In the present work, we consider a sequence of independent binary $(0-1)$ trials with not necessarily identical distributed with probability of ones varying according to a geometric rule. Exact formulae for the distributions obtained by means of enumerative combinatorics.
The Frobenius number for sequences of triangular numbers associated with number of solutions
Published
• View Publication
• BIB
The famous linear diophantine problem of Frobenius is the problem to determine the largest integer (Frobenius number) whose number of representations in terms of $a_1,\dots,a_k$ is at most zero, that is not representable. In other words, all the integers greater than this number can be represented for at least one way. One of the natural generalizations of this problem is to find the largest integer (generalized Frobenius number) whose number of representations is at most a given nonnegative integer $p$. It is easy to find the explicit form of this number in the case of two variables. However, no explicit form has been known even in any special case of three variables. In this paper we are successful to show explicit forms of the generalized Frobenius numbers of the triples of triangular numbers. When $p=0$, their Frobenius number is given by Robles-Pérez and Rosales in 2018.
Ergodicity of the Wang--Swendsen--Kotecký algorithm on several classes of lattices on the torus
Published in J. Phys. A: Math. Theor. 55 (2022) 415004
• View Publication
• BIB
We prove the ergodicity of the Wang--Swendsen--Kotecký (WSK) algorithm for the zero-temperature $q$-state Potts antiferromagnet on several classes of lattices on the torus. In particular, the WSK algorithm is ergodic for $q\ge 4$ on any quadrangulation of the torus of girth $\ge 4$. It is also ergodic for $q \ge 5$ (resp. $q \ge 3$) on any Eulerian triangulation of the torus such that one sublattice consists of degree-4 vertices while the other two sublattices induce a quadrangulation of girth $\ge 4$ (resp.~a bipartite quadrangulation) of the torus. These classes include many lattices of interest in statistical mechanics.
On the number of minimum dominating sets and total dominating sets in forests
Published in Journal of Graph Theory, 106(4) (2024)
• View Publication
• BIB
We show that the maximum number of minimum dominating sets of a forest with domination number $γ$ is at most $\sqrt{5}^γ$ and construct for each $γ$ a tree with domination number $γ$ that has more than $\frac{2}{5}\sqrt{5}^γ$ minimum dominating sets. Furthermore, we disprove a conjecture about the number of minimum total dominating sets in forests by Henning, Mohr and Rautenbach.
Homomesies on permutations -- an analysis of maps and statistics in the FindStat database
Published in Mathematics of Computation 93 (2024), no. 346, 921-976
• View Publication
• BIB
In this paper, we perform a systematic study of permutation statistics and bijective maps on permutations in which we identify and prove 122 instances of the homomesy phenomenon. Homomesy occurs when the average value of a statistic is the same on each orbit of a given map. The maps we investigate include the Lehmer code rotation, the reverse, the complement, the Foata bijection, and the Kreweras complement. The statistics studied relate to familiar notions such as inversions, descents, and permutation patterns, and also more obscure constructs. Beside the many new homomesy results, we discuss our research method, in which we used SageMath to search the FindStat combinatorial statistics database to identify potential homomesies.
Canonical tessellations of decorated hyperbolic surfaces
Published in Geom Dedicata, 217(14):1-37, April 2023
• View Publication
• BIB
A decoration of a hyperbolic surface of finite type is a choice of circle, horocycle or hypercycle about each cone-point, cusp or flare of the surface, respectively. In this article we show that a decoration induces a unique canonical tessellation and dual decomposition of the underlying surface. They are analogues of the weighted Delaunay tessellation and Voronoi decomposition in the Euclidean plane. We develop a characterisation in terms of the hyperbolic geometric equivalents of Delaunay's empty-discs and Laguerre's tangent-distance, also known as power-distance. Furthermore, the relation between the tessellations and convex hulls in Minkowski space is presented, generalising the Epstein-Penner convex hull construction. This relation allows us to extend Weeks' flip algorithm to the case of decorated finite type hyperbolic surfaces. Finally, we give a simple description of the configuration space of decorations and show that any fixed hyperbolic surface only admits a finite number of combinatorially different canonical tessellations.
Line graphs of simplicial complexes
We consider the line graph of a pure simplicial complex. We prove that, as in the case of line graphs of simple graphs, one can compute the second graded Betti number of the facet ideal of a pure simplicial complex in terms of the combinatorial structure of its line graph. We characterize those pure simplicial complexes whose line graph is a complete (bipartite) graph. We give conditions that line graphs of simplicial complexes should fulfill.
Short injective proofs of the Erdős-Ko-Rado and Hilton-Milner Theorem: A canonical partition of shifted intersecting set systems
We give a canonical partition of shifted intersecting set systems, from which one can obtain unified and elementary proofs of the Erdős-Ko-Rado and Hilton-Milner Theorem, as well as a characterization of maximal shifted $k$-uniform intersecting set systems over $[n]$.
Hardness of almost embedding simplicial complexes in $\mathbb{R}^d$, II
A map $f: K \to \mathbb{R}^d$ of a simplicial complex is an almost embedding if $f(σ) \cap f(τ) = \varnothing$ whenever $σ, τ$ are disjoint simplices of $K$. Fix integers $d,k \geqslant 2$ such that $k+2 \leqslant d \leqslant\frac{3k}2+1$. Assuming that the "preimage of a cycle is a cycle" we prove $\mathbf{NP}$-hardness of the algorithmic problem of recognition of almost embeddability of finite $k$-dimensional complexes in $\mathbb{R}^d$. Assuming that $\mathbf{P} \ne \mathbf{NP}$ (and that the "preimage of a cycle is a cycle") we prove that the embedding obstruction is incomplete for $k$-dimensional complexes in $\mathbb{R}^d$ using configuration spaces. Our proof generalizes the Skopenkov-Tancer proof of this result for $d = \frac{3k}{2} + 1$.
A Critical Probability for Biclique Partition of $G_{n,p}$
Published
• View Publication
• BIB
The biclique partition number of a graph $G= (V,E)$, denoted $bp(G)$, is the minimum number of pairwise edge disjoint complete bipartite subgraphs of $G$ so that each edge of $G$ belongs to exactly one of them. It is easy to see that $ bp(G) \leq n - α(G)$, where $α(G)$ is the maximum size of an independent set of $G$. Erdős conjectured in the 80's that for almost every graph $G$ equality holds; i.e., if $ G=G_{n,1/2}$ then $bp(G) = n - α(G)$ with high probability. Alon showed that this is false. We show that the conjecture of Erdős is true if we instead take $ G=G_{n,p}$, where $p$ is constant and less than a certain threshold value $p_0 \approx 0.312$. This verifies a conjecture of Chung and Peng for these values of $p$. We also show that if $p_0 < p <1/2$ then $bp(G_{n,p}) = n - (1 + Θ(1)) α(G_{n,p})$ with high probability.
Successive vertex orderings of fully regular graphs
Published
• View Publication
• BIB
A graph G = (V,E) is called fully regular if for every independent set $I\subset V$ , the number of vertices in $V\setminus$ I that are not connected to any element of I depends only on the size of I. A linear ordering of the vertices of G is called successive if for every i, the first i vertices induce a connected subgraph of G. We give an explicit formula for the number of successive vertex orderings of a fully regular graph.
As an application of our results, we give alternative proofs of two theorems of Stanley and Gao + Peng, determining the number of linear edge orderings of complete graphs and complete bipartite graphs, respectively, with the property that the first i edges induce a connected subgraph. As another application, we give a simple product formula for the number of linear orderings of the hyperedges of a complete 3-partite 3-uniform hypergraph such that, for every i, the first i hyperedges induce a connected subgraph. We found similar formulas for complete (non-partite) 3-uniform hypergraphs and in another closely related case, but we managed to verify them only when the number of vertices is small.
Semidefinite programming bounds for few-distance sets in the Hamming and Johnson spaces
We study the maximum cardinality problem of a set of few distances in the Hamming and Johnson spaces. We formulate semidefinite programs for this problem and extend the 2011 works by Barg-Musin and Musin-Nozaki. As our main result, we find new parameters for which the maximum size of two- and three-distance sets is known exactly.
Coloring hypergraphs with excluded minors
Published
• View Publication
• BIB
Hadwiger's conjecture, among the most famous open problems in graph theory, states that every graph that does not contain $K_t$ as a minor is properly $(t-1)$-colorable. The purpose of this work is to demonstrate that a natural extension of Hadwiger's problem to hypergraph coloring exists, and to derive some first partial results and applications. Generalizing ordinary graph minors to hypergraphs, we say that a hypergraph $H_1$ is a minor of a hypergraph $H_2$, if a hypergraph isomorphic to $H_1$ can be obtained from $H_2$ via a finite sequence of vertex- and hyperedge-deletions, and hyperedge contractions. We first show that a weak extension of Hadwiger's conjecture to hypergraphs holds true: For every $t \ge 1$, there exists a finite (smallest) integer $h(t)$ such that every hypergraph with no $K_t$-minor is $h(t)$-colorable, and we prove $$\left\lceil\frac{3}{2}(t-1)\right\rceil \le h(t) \le 2g(t)$$ where $g(t)$ denotes the maximum chromatic number of graphs with no $K_t$-minor. Using the recent result by Delcourt and Postle that $g(t)=O(t \log \log t)$, this yields $h(t)=O(t \log \log t)$. We further conjecture that $h(t)=\left\lceil\frac{3}{2}(t-1)\right\rceil$, i.e., that every hypergraph with no $K_t$-minor is $\left\lceil\frac{3}{2}(t-1)\right\rceil$-colorable for all $t \ge 1$, and prove this conjecture for all hypergraphs with independence number at most $2$. By considering special classes of hypergraphs, the above additionally has some interesting applications for ordinary graph coloring, such as:
-graphs of chromatic number $C k t \log \log t$ contain $K_t$-minors with $k$-edge-connected branch-sets,
-graphs of chromatic number $C q t \log \log t$ contain $K_t$-minors with modulo-$q$-connected branch sets,
-by considering cycle hypergraphs of digraphs we recover known results on strong minors in digraphs of large dichromatic number as special cases.
Hermitian adjacency matrices of mixed multigraphs
A mixed multigraph is obtained from an undirected multigraph by orienting a subset of its edges. In this paper, we study a new Hermitian matrix representation of mixed multigraphs, give an introduction to cospectral operations on mixed multigraphs, and characterize switching equivalent mixed multigraphs in terms of fundamental cycle basis. As an application, an upper bound of cospectral classes of mixed multigraphs with the same underlying graph is obtained.
Factorisation of the complete graph into spanning regular factors
Published
• View Publication
• BIB
We enumerate factorisations of the complete graph into spanning regular graphs in several cases, including when the degrees of all the factors except for one or two are small. The resulting asymptotic behaviour is seen to generalise the number of regular graphs in a simple way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices.
Factorisation of the complete bipartite graph into spanning semiregular factors
Published
• View Publication
• BIB
We enumerate factorisations of the complete bipartite graph into spanning semiregular graphs in several cases, including when the degrees of all the factors except one or two are small. The resulting asymptotic behaviour is seen to generalise the number of semiregular graphs in an elegant way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices. As a corollary, we find the average number of ways to partition the edges of a random semiregular bipartite graph into spanning semiregular subgraphs in several cases. Our proof of one case uses a switching argument to find the probability that a set of sufficiently sparse semiregular bipartite graphs are edge-disjoint when randomly labelled.
Specialization maps for shuffle algebras of type $B_{n}$ and $G_{2}$
We define a filtration of Feigin-Odesskii's shuffle algebras of type B_n and G_2 using specialization maps, generalizing the results in type A_n case given by Negut and Tsymbaliuk. These filtrations are compatible with a class of PBW type bases for the quantum current algebras of type B_n and G_2.
Fast winning strategies for Staller in the Maker-Breaker domination game
The Maker-Breaker domination game is played on a graph $G$ by two players, called Dominator and Staller, who alternately choose a vertex that has not been played so far. Dominator wins the game if his moves form a dominating set. Staller wins if she plays all vertices from a closed neighborhood of a vertex $v \in V(G)$. Dominator's fast winning strategies were studied earlier. In this work, we concentrate on the cases when Staller has a winning strategy in the game. We introduce the invariant $γ'_{\rm SMB}(G)$ (resp., $γ_{\rm SMB}(G)$) which is the smallest integer $k$ such that, under any strategy of Dominator, Staller can win the game by playing at most $k$ vertices, if Staller (resp., Dominator) plays first on the graph $G$.
We prove some basic properties of $γ_{\rm SMB}(G)$ and $γ'_{\rm SMB}(G)$ and study the parameters' changes under some operators as taking the disjoint union of graphs or deleting a cut vertex. We show that the inequality $δ(G)+1 \le γ'_{\rm SMB}(G) \le γ_{\rm SMB}(G)$ always holds and that for every three integers $r,s,t$ with $2\le r\le s\le t$, there exists a graph $G$ such that $δ(G)+1 = r$, $γ'_{\rm SMB}(G) = s$, and $γ_{\rm SMB}(G) = t$. We prove exact formulas for $γ'_{\rm SMB}(G)$ where $G$ is a path, or it is a tadpole graph which is obtained from the disjoint union of a cycle and a path by adding one edge between them.