Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Simplex faces of order and chain polytopes
Published
• View Publication
• BIB
It will be proved that a $k$-clique in the $1$-skeleton of either the order polytope or the chain polytope corresponds to the $(k-1)$-face, which is a simplex, in each polytope. These results generalize the known explicit descriptions of edges and triangular $2$-faces of each polytope.
On hardness of computing analytic Brouwer degree
We prove that counting the analytic Brouwer degree of rational coefficient polynomial maps in $\operatorname{Map}(\mathbb C^d, \mathbb C^d)$ -- presented in degree-coefficient form -- is hard for the complexity class $\operatorname{\sharp P}$, in the following sense: if there is a randomized polynomial time algorithm that counts the Brouwer degree correctly for a good fraction of all input instances (with coefficients of bounded height where the bound is an input to the algorithm), then $\operatorname{P}^{\operatorname{\sharp P}} =\operatorname{BPP}$.
A structural duality for path-decompositions into parts of small radius
Published
• View Publication
• BIB
It is an easy observation that if a graph~$G$ admits a path-decomposition whose parts have small radius, then $G$ contains no large subdivision of $K_{1,3}$ or $K^3$ as a (quasi-)geodesic subgraph. We show that these are in fact the only obstructions to such path-decompositions of small radial width, and we prove analogous results for decompositions modelled on cycles and subdivided stars instead of paths.
With our results we confirm in a strong form a conjecture of Georgakopoulos and Papasoglu on fat-minor-characterisations of graphs quasi-isometric to paths, cycles and paths, and subdivided stars, respectively. For this, we present a novel view on quasi-isometries between graphs by graph-decompositions of bounded radial width and spread. This new perspective enables us to prove further results in coarse graph theory, and may thus be of independent interest.
Toggling, rowmotion, and homomesy on interval-closed sets
Published
• View Publication
• BIB
Interval-closed sets of a poset are a natural superset of order ideals. We initiate the study of interval-closed sets of finite posets from enumerative and dynamical perspectives. In particular, we use the generalized toggle group to define rowmotion on interval-closed sets as a product of these toggles. Our main theorem is an intricate global characterization of rowmotion on interval-closed sets, which we show is equivalent to the toggling definition. We also study specific posets; we enumerate interval-closed sets of ordinal sums of antichains, completely describe their rowmotion orbits, and prove a homomesy result involving the signed cardinality statistic. Finally, we study interval-closed sets of product of chains posets, proving further results about enumeration and homomesy.
The weighted total cophenetic index: A novel balance index for phylogenetic networks
Phylogenetic networks play an important role in evolutionary biology as, other than phylogenetic trees, they can be used to accommodate reticulate evolutionary events such as horizontal gene transfer and hybridization. Recent research has provided a lot of progress concerning the reconstruction of such networks from data as well as insight into their graph theoretical properties. However, methods and tools to quantify structural properties of networks or differences between them are still very limited. For example, for phylogenetic trees, it is common to use balance indices to draw conclusions concerning the underlying evolutionary model, and more than twenty such indices have been proposed and are used for different purposes. One of the most frequently used balance index for trees is the so-called total cophenetic index, which has several mathematically and biologically desirable properties. For networks, on the other hand, balance indices are to-date still scarce.
In this contribution, we introduce the \textit{weighted} total cophenetic index as a generalization of the total cophenetic index for trees to make it applicable to general phylogenetic networks. As we shall see, this index can be determined efficiently and behaves in a mathematical sound way, i.e., it satisfies so-called locality and recursiveness conditions. In addition, we analyze its extremal properties and, in particular, we investigate its maxima and minima as well as the structure of networks that achieve these values within the space of so-called level-$1$ networks. We finally briefly compare this novel index to the two other network balance indices available so-far.
Colouring Digraphs
Published
• View Publication
• BIB
The aim of this thesis is to investigate how the structure of a digraph affects its dichromatic number and to extend various results on undirected colouring to digraphs.
In the first part of this thesis, we examine how the dichromatic number interacts with other metrics. First, we consider the degree, which is the maximum number of neighbours of a vertex. In the undirected case, this corresponds to Brooks' theorem, a celebrated theorem with multiple variations and generalizations. In the directed case, there is no natural metric corresponding to the maximum degree, so we explore how different notions of maximum directed degree lead to either Brooks-like theorems or impossibility results. We also investigate the maximum local-arc connectivity, a metric that encompasses several degree-like metrics.
The second part of this manuscript focuses on a directed analogue of the Gyárfás-Sumner conjecture. The Gyárfás-Sumner conjecture tries to characterize sets S of undirected graphs such that graphs with large enough chromatic number must contain a graph of S. This conjecture is still largely open. On digraphs, a corresponding conjecture was proposed by Aboulker, Charbit, and Naserasr. We prove several subcases of this conjecture, mainly demonstrating that certain classes of digraphs have bounded dichromatic number.
In the last part of this thesis, we address the d-edge-defective-colouring problem, which involves colouring edges of a multigraph such that, for any vertex, no colour appears on more than d of its incident edges. When d equals one, this corresponds to the infamous edge-colouring problem. Shannon established a tight bound on the number of colours needed relative to the maximum degree when d equals one, and we extend this result to any value of d. We also explore this problem on simple graphs and prove results that extend Vizing's theorem to any value of d.
Ramsey numbers and the Zarankiewicz problem
Published
• View Publication
• BIB
Building on recent work of Mattheus and Verstraëte, we establish a general connection between Ramsey numbers of the form $r(F,t)$ for $F$ a fixed graph and a variant of the Zarankiewicz problem asking for the maximum number of 1s in an $m$ by $n$ $0/1$-matrix that does not have any matrix from a fixed finite family $\mathcal{L}(F)$ derived from $F$ as a submatrix. As an application, we give new lower bounds for the Ramsey numbers $r(C_5,t)$ and $r(C_7,t)$, namely, $r(C_5,t) = \tildeΩ(t^{\frac{10}{7}})$ and $r(C_7,t) = \tildeΩ(t^{\frac{5}{4}})$. We also show how the truth of a plausible conjecture about Zarankiewicz numbers would allow an approximate determination of $r(C_{2\ell+1}, t)$ for any fixed integer $\ell \geq 2$.
On the algebraic area of cubic lattice walks
Published in Phys. Rev. E 108, 054104 (2023)
• View Publication
• BIB
We obtain an explicit formula to enumerate closed random walks on a cubic lattice with a specified length and 3D algebraic area. The 3D algebraic area is defined as the sum of algebraic areas obtained from the walk's projection onto the three Cartesian planes. This enumeration formula can be mapped onto the cluster coefficients of three types of particles that obey quantum exclusion statistics with statistical parameters $g=1$, $g=1$, and $g=2$, respectively, subject to the constraint that the numbers of $g=1$ (fermions) exclusion particles of two types are equal.
The first example of a simple $2-(81,6,2)$ design
Published in Examples and Counterexamples, 1, 2021, 100005
• View Publication
• BIB
We give the very first example of a simple $2-(81,6,2)$ design. Its points are the elements of the elementary abelian group of order 81 and each block is the union of two parallel lines of the 4-dimensional geometry over the field of order 3. Hence it is also additive.
Packing and Covering Triangles in Bilaterally-Complete Tripartite Graphs
Published
• View Publication
• BIB
We use Menger's Theorem and König's Line Colouring Theorem to show that in any tripartite graph with two complete (bipartite) sides the maximum number of pairwise edge-disjoint triangles equals the minimum number of edges that meet all triangles. This generalizes the corresponding result for complete tripartite graphs given by Lakshmanan, et al.
A stability result for $C_{2k+1}$-free graphs
Published
• View Publication
• BIB
A graph $G$ is called $C_{2k+1}$-free if it does not contain any cycle of length $2k+1$. In 1981, Haggkvist, Faudree and Schelp showed that every $n$-vertex triangle-free graph with more than $\frac{(n-1)^2}{4}+1$ edges is bipartite. In this paper, we extend their result and show that for $1\leq t\leq 2k-2$ and $n\geq 318t^2k$, every $n$-vertex $C_{2k+1}$-free graph with more than $\frac{(n-t-1)^2}{4}+\binom{t+2}{2}$ edges can be made bipartite by either deleting at most $t-1$ vertices or deleting at most $\binom{\lfloor\frac{t+2}{2}\rfloor}{2}+\binom{\lceil\frac{t+2}{2}\rceil}{2}-1$ edges. The construction shows that this is best possible.
Moduli spaces of quantum toric stacks and their compactification
A toric variety is a normal complex variety which is completely described by combinatorial data, namely by a fan of strongly convex rational (with respect to a lattice) cones. Due to this rationality condition, toric varieties are (equivariantly) rigid since a deformation of the lattice can make it dense. A solution to this problem consists in considering quantum toric stacks. The latter is a stacky generalization of toric varieties where the "lattice" is replaced by a finitely generated subgroup of $\mathbb{R}^d$ (in the simplicial case as introduced by L. Katzarkov, E. Lupercio, L. Meersseman and A. Verjovsky). The goal of this paper is to explain the moduli spaces of quantum toric stacks and their compactification.
On the sizes of generalized cactus graphs
Published
• View Publication
• BIB
A cactus is a connected graph in which each edge is contained in at most one cycle. We generalize the concept of cactus graphs, i.e., a $k$-cactus is a connected graph in which each edge is contained in at most $k$ cycles where $k\ge 1$. It is well known that every cactus with $n$ vertices has at most $\lfloor\frac{3}{2}(n-1) \rfloor$ edges. Inspired by it, we attempt to establish analogous upper bounds for general $k$-cactus graphs. In this paper, we first characterize $k$-cactus graphs for $2\le k\le 4$ based on the block decompositions. Subsequently, we give tight upper bounds on their sizes. Moreover, the corresponding extremal graphs are also characterized. However, the case of $k\ge 5$ remains open. For the case of 2-connectedness, the range of $k$ is expanded to all positive integers in our research. We prove that every $2$-connected $k ~(\ge 1)$-cactus graphs with $n$ vertices has at most $n+k-1$ edges, and the bound is tight if $n \ge k + 2$. But, for $n < k+1$, determining best bounds remains a mystery except for some small values of $k$.
An algorithmic version of the Hajnal--Szemerédi theorem
A $K_r$-factor of a graph $G$ is a collection of vertex disjoint $r$-cliques covering $V(G)$. We prove the following algorithmic version of the classical Hajnal--Szemerédi Theorem in graph theory, when $r$ is considered as a constant. Given $r, c, n\in \mathbb{N}$ such that $n\in r\mathbb N$, let $G$ be an $n$-vertex graph with minimum degree at least $(1-1/r)n - c$. Then there is an algorithm with running time $2^{c^{O(1)}} n^{O(1)}$ that outputs either a $K_r$-factor of $G$ or a certificate showing that none exists, namely, this problem is fixed-parameter tractable in $c$. On the other hand, it is known that if $c = n^{\varepsilon}$ for fixed $\varepsilon \in (0,1)$, the problem is \texttt{NP-C}.
We indeed establish characterization theorems for this problem, showing that the existence of a $K_r$-factor is equivalent to the existence of certain class of $K_r$-tilings of size $o(n)$, whose existence can be searched by the color-coding technique developed by Alon--Yuster--Zwick.
The sequence of higher order Mersenne numbers and associated binomial transforms
In this article, we introduce and study a new integer sequence referred to as the higher order Mersenne sequence. The proposed sequence is analogous to the higher order Fibonacci numbers and closely associated with the Mersenne numbers. Here, we discuss various algebraic properties such as Binet's formula, Catalan's identity, d'Ocagne's identity, generating functions, finite and binomial sums, etc. of this new sequence, and some inter-relations with Mersenne and Jacobsthal numbers. Moreover, we study the sequence generated from the binomial transforms of the higher order Mersenne numbers and present the recurrence relation and algebraic properties of them. Lastly, we give matrix generators and tridiagonal matrix representation for higher order Mersenne numbers.
On the singular pebbling number of a graph
In this paper, we define a new parameter of a graph as a spin-off of the pebbling number (which is the smallest $t$ such that every supply of $t$ pebbles can satisfy every demand of one pebble). This new parameter is the singular pebbling number, the smallest $t$ such that a player can be given any configuration of at least $t$ pebbles and any target vertex and can successfully move pebbles so that exactly one pebble ends on the target vertex. We also prove that the singular pebbling number of any graph on 3 or more vertices is equal to its pebbling number, that the singular pebbling number of the disconnected graph on two vertices is equal to its pebbling number, and we find the singular pebbling numbers of the two remaining graphs, $K_1$ and $K_2$, which are not equal to their pebbling numbers.
The connectivity of friends-and-strangers graphs on complete multipartite graphs
Published in Annals of Combinatorics (2024)
• View Publication
• BIB
For simple graphs $X$ and $Y$ on $n$ vertices, the friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertex set consists of all bijections $σ: V(X) \to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if and only if they agree on all but two adjacent vertices $a, b \in V(X)$ such that $σ(a), σ(b) \in V(Y)$ are adjacent in $Y$. Resolving a conjecture of Wang, Lu, and Chen, we completely characterize the connectedness of $\mathsf{FS}(X, Y)$ when $Y$ is a complete bipartite graph. We further extend this result to when $Y$ is a complete multipartite graph. We also determine when $\mathsf{FS}(X, Y)$ has exactly two connected components where $X$ is bipartite and $Y$ is a complete bipartite graph.
Additivity of symmetric and subspace designs
Published
• View Publication
• BIB
A $2$-$(v,k,λ)$ design is additive (or strongly additive) if it is possible to embed it in a suitable abelian group $G$ in such a way that its block set is contained in (or coincides with) the set of all the zero-sum $k$-subsets of $G$. Explicit results on the additivity or strong additivity of symmetric designs and subspace 2-designs are presented. In particular, the strong additivity of PG$_d(n,q)$, which was known to be additive only for $q=2$ or $d=n-1$, is always established.
Ehrhart quasi-polynomials and parallel translations
Published
• View Publication
• BIB
Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated polytopes $P+ \mathbf v$ for all $\mathbf v \in \mathbb Q^d$? We provide a way to compute such Ehrhart quasi-polynomials using a certain toric arrangement and lattice point counting functions of translated cones of $P$. This method allows us to visualize how constituent polynomials of $\mathrm{ehr}_{P+\mathbf v}$ change in the torus $\mathbb R^d/\mathbb Z^d$. We also prove that information of $\mathrm{ehr}_{P+\mathbf v}$ for all $\mathbf v \in \mathbb Q^d$ determines the rational $d$-polytope $P \subset \mathbb R^d$ up to translations by integer vectors, and characterize all rational $d$-polytopes $P \subset \mathbb R^d$ such that $\mathrm{ehr}_{P+\mathbf v}$ is symmetric for all $\mathbf v \in \mathbb Q^d$.
On short edges in complete topological graphs
Published
• View Publication
• BIB
Let $h(n)$ be the minimum integer such that every complete $n$-vertex simple topological graph contains an edge that crosses at most $h(n)$ other edges. In 2009, Kynčl and Valtr showed that $h(n) = O(n^2/\log^{1/4} n)$, and in the other direction, gave constructions showing that $h(n) = Ω(n^{3/2})$. In this paper, we prove that $h(n) = O(n^{7/4})$. Along the way, we establish a new variant of Chazelle and Welzl's matching theorem for set systems with bounded VC-dimension, which we believe to be of independent interest.