Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Random subgraphs of properly edge-coloured complete graphs and long rainbow cycles
Published
• View Publication
• BIB
A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. In 1980 Hahn conjectured that every properly edge-coloured complete graph $K_n$ has a rainbow Hamiltonian path. Although this conjecture turned out to be false, it was widely believed that such a colouring always contains a rainbow cycle of length almost $n$. In this paper, improving on several earlier results, we confirm this by proving that every properly edge-coloured $K_n$ has a rainbow cycle of length $n-O(n^{3/4})$. One of the main ingredients of our proof, which is of independent interest, shows that a random subgraph of a properly edge-coloured $K_n$ formed by the edges of a random set of colours has a similar edge distribution as a truly random graph with the same edge density. In particular it has very good expansion properties.
Distances in domino flip graphs
Published
• View Publication
• BIB
This article is about measuring and visualizing distances between domino tilings. Given two tilings of a simply connected square tiled surface, we're interested in the minimum number of flips between two tilings. Given a certain shape, we're interested in computing the diameters of the flip graphs, meaning the maximal distance between any two of its tilings. Building on work of Thurston and others, we give geometric interpretations of distances which result in formulas for the diameters of the flip graphs of rectangles or Aztec diamonds.
Towards a uniform subword complex description of acyclic finite type cluster algebras
Published
• View Publication
• BIB
It has been established in recent years how to approach acyclic cluster algebras of finite type using subword complexes. In this paper, we continue this study by describing the c- and g-vectors, and by providing a conjectured description of the Newton polytopes of the F-polynomials. In particular, we show that this conjectured description would imply that finite type cluster complexes are realized by the duals of the Minkowski sums of the Newton polytopes of either the F-polynomials, or of the cluster variables, respectively.
Geometry of the vacant set left by random walk on random graphs, Wright's constants, and critical random graphs with prescribed degrees
Published
• View Publication
• BIB
We provide an explicit algorithm for sampling a uniform simple connected random graph with a given degree sequence. By products of this central result include:
(i) continuum scaling limits of uniform simple connected graphs with given degree sequence and asymptotics for the number of simple connected graphs with given degree sequence under some regularity conditions, and
(ii) scaling limits for the metric space structure of the maximal components in the critical regime of both the configuration model and the uniform simple random graph model with prescribed degree sequence under finite third moment assumption on the degree sequence.
As a substantive application we answer a question raised by Cerny and Teixeira by obtaining the metric space scaling limit of maximal components in the vacant set left by random walks on random regular graphs.
On Hypohamiltonian Snarks and a Theorem of Fiorini
Published
• View Publication
• BIB
We discuss an omission in the statement and proof of Fiorini's 1983 theorem on hypohamiltonian snarks and present a version of this theorem which is more general in several ways. Using Fiorini's erroneous result, Steffen showed that hypohamiltonian snarks exist for some $n \ge 10$ and each even $n \ge 92$. We rectify Steffen's proof by providing a correct demonstration of a technical lemma on flower snarks, which might be of separate interest. We then strengthen Steffen's theorem to the strongest possible form by determining all orders for which hypohamiltonian snarks exists. This also strengthens a result of Máčajová and Škoviera. Finally, we verify a conjecture of Steffen on hypohamiltonian snarks up to 36 vertices.
Lots of Aperiodic Sets of Tiles
Published
• View Publication
• BIB
Aperiodic tiling --- a form of complex global geometric structure arising through locally checkable, constant-time matching rules --- has long been closely tied to a wide range of physical, information-theoretic, and foundational applications, but its study and use has been hindered by a lack of easily generated examples. Through readily generalized, robust techniques for controlling hierarchical structure, we increase the catalogue of explicit constructions of aperiodic sets of tiles hundreds-fold, in lots, easily assembled and configured from atomic subsets of 211 tiles, enforcing 25,380 distinct "domino" substitution tiling systems. Among these, we notice three non-periodic, non-unique decomposition substitution tiling systems.
The Pegasus Tiles: an aperiodic pair of tiles
The Pegasus tiles are an aperiodic pair of tiles with "tip to tip" matching rules, first drawn in 1996. We present them here.
The Trilobite and Crab: a full explanation
The trilobite and crab are among the very simplest aperiodic sets of tiles known: two tiles in eight translation classes. Yet the proof that they are an aperiodic set is surprisingly complex.
Matching Rules for the Sphinx Tiling Substitution
We give a set of tiles that enforces the sphinx tiling substitution system; the tiles are thus aperiodic.
Minimal number of points on a grid forming line segments of equal length
Published in International Journal of Geometry, vol. 12, no. 2, pp. 5-13, 2023
• Search Publication
We consider the minimal number of points on a regular grid on the plane that generates $n$ line segments of points of exactly length $k$. We illustrate how this is related to the $n$-queens problem on the toroidal chessboard and show that this number is upper bounded by $kn/3$ and approaches $kn/4$ as $n\rightarrow\infty$ when $k+1$ is coprime with $6$ or when $k$ is large.
Combinatorial characterization of upward planarity
Published
• View Publication
• BIB
We give a combinatorial characterization of upward planar graphs in terms of upward planar orders, which are special linear extensions of edge posets.
Complexity of inheritance of $\mathcal{F}$-convexity for restricted games induced by minimum partitions
Published
• View Publication
• BIB
Let $G = (N,E,w)$ be a weighted communication graph (with weight function $w$ on $E$). For every subset $A \subseteq N$, we delete in the subset $E(A)$ of edges with ends in $A$, all edges of minimum weight in $E(A)$. Then the connected components of the corresponding induced subgraph constitute a partition of $A$ that we call $P_{\min}(A)$. For every game $(N, v)$, we define the $P_{\min}$-restricted game $(N, \bar{v})$ by $\bar{v}(A) = \sum_{F \in P_{\min}(A)} v(F)$ for all $A \subseteq N$. We prove that we can decide in polynomial time if there is inheritance of $\mathcal{F}$-convexity from $(N, v)$ to the $P_{\min}$-restricted game $(N, \bar{v})$ where $\mathcal{F}$-convexity is obtained by restricting convexity to connected subsets.
Characterization of intersecting families of maximum size in $PSL(2,q)$
Published in J. Comb. Theory A. 157 (2018), 461-499
• View Publication
• BIB
We consider the action of the $2$-dimensional projective special linear group $PSL(2,q)$ on the projective line $PG(1,q)$ over the finite field $\F_q$, where $q$ is an odd prime power. A subset $S$ of $PSL(2,q)$ is said to be an intersecting family if for any $g_1,g_2 \in S$, there exists an element $x\in PG(1,q)$ such that $x^{g_1}= x^{g_2}$. It is known that the maximum size of an intersecting family in $PSL(2,q)$ is $q(q-1)/2$. We prove that all intersecting families of maximum size are cosets of point stabilizers for all odd prime powers $q>3$.
On Stanley's theorem and its Generalizations
In this paper we go on to discuss about Stanley's theorem in Integer partitions. We give two different versions for the proof of the generalization of Stanley's theorem illustrating different techniques that may be applied to profitably understand the underlying structure behind the theorem.
Central elements in U(gl(n)), shifted symmetric functions and the superalgebraic Capelli's method of virtual variables
In this work, we propose a new method for a unified study of some of the main features of the theory of the center of the enveloping algebra U(gl(n)) and of the algebra of shifted symmetric polynomials, that allows the whole theory to be developed, in a transparent and concise way, from the representation-theoretic point of view, that is entirely in the center of U(gl(n)). Our methodological innovation is the systematic use of the superalgebraic method of virtual variables for gl(n), which is, in turn, an extension of Capelli's method of "variabili ausiliarie".
Total dominating sequences in trees, split graphs, and under modular decomposition
A sequence of vertices in a graph $G$ with no isolated vertices is called a total dominating sequence if every vertex in the sequence totally dominates at least one vertex that was not totally dominated by preceding vertices in the sequence, and, at the end all vertices of $G$ are totally dominated (by definition a vertex totally dominates its neighbors). The maximum length of a total dominating sequence is called the Grundy total domination number, $γ_{\rm gr}^t(G)$, of $G$, as introduced in [B. Brešar, M.A. Henning, and D. F. Rall, Total dominating sequences in graphs, Discrete Math. 339 (2016), 1165--1676]. In this paper we continue the investigation of this concept, mainly from the algorithmic point of view. While it was known that the decision version of the problem is NP-complete in bipartite graphs, we show that this is also true if we restrict to split graphs. A linear time algorithm for determining the Grundy total domination number of an arbitrary tree $T$ is presented, based on the formula $γ_{\rm gr}^t(T)=2τ(T)$, where $τ(T)$ is the vertex cover number of $T$. A similar efficient algorithm is presented for bipartite distance-hereditary graphs. Using the modular decomposition of a graph, we present a frame for obtaining polynomial algorithms for this problem in classes of graphs having relatively simple modular subgraphs. In particular, a linear algorithm for determining the Grundy total domination number of $P_4$-tidy graphs is presented. In addition, we prove a realization result by exhibiting a family of graphs $G_k$ such that $γ_{\rm gr}^t(G_k)=k$, for any $k\in{\mathbb{Z}^+}\setminus\{1,3\}$, and showing that there are no graphs $G$ with $γ_{\rm gr}^t(G)\in \{1,3\}$. We also present such a family, which has minimum possible order and size among all graphs with Grundy total domination number equal to $k$.
Additive Energy and Irregularities of Distribution
Published
• View Publication
• BIB
We consider strictly increasing sequences $\left(a_{n}\right)_{n \geq 1}$ of integers and sequences of fractional parts $\left(\left\{a_{n} α\right\}\right)_{n \geq 1}$ where $α\in \mathbb{R}$. We show that a small additive energy of $\left(a_{n}\right)_{n \geq 1}$ implies that for almost all $α$ the sequence $\left(\left\{a_{n} α\right\}\right)_{n \geq 1}$ has large discrepancy. We prove a general result, provide various examples, and show that the converse assertion is not necessarily true.
Combinatorics of the Lipschitz polytope
Published
• View Publication
• BIB
Let $ρ$ be a metric on the set $X=\{1,2,\dots,n+1\}$. Consider the $n$-dimensional polytope of functions $f:X\rightarrow \mathbb{R}$, which satisfy the conditions $f(n+1)=0$, $|f(x)-f(y)|\leq ρ(x,y)$. The question on classifying metrics depending on the combinatorics of this polytope have been recently posed by A. M. Vershik \cite{V}. We prove that for any "generic" metric the number of $(n-m)$-dimensional faces, $0\leq m\leq n$, equals $\binom{n+m}{m,m,n-m}=(n+m)!/m!m!(n-m)!$. This fact is intimately related to regular triangulations of the root polytope (the convex hull of the roots of $A_n$ root system). Also we get two-sided estimates for the logarithm of the number of Vershik classes of metrics: $n^3\log n$ from above and $n^2$ from below.
Perfect vector sets, properly overlapping partitions, and largest empty box
We revisit the following problem (along with its higher dimensional variant): Given a set $S$ of $n$ points inside an axis-parallel rectangle $U$ in the plane, find a maximum-area axis-parallel sub-rectangle that is contained in $U$ but contains no points of $S$. (I) We present an algorithm that finds a large empty box amidst $n$ points in $[0,1]^d$: a box whose volume is at least $\frac{\log{d}}{4(n + \log{d})}$ can be computed in $O(n+d \log{d})$ time. (II) To better analyze the above approach, we introduce the concepts of perfect vector sets and properly overlapping partitions, in connection to the minimum volume of a maximum empty box amidst $n$ points in the unit hypercube $[0,1]^d$, and derive bounds on their sizes.
Majority choosability of digraphs
Published in The Electronic Journal of Combinatorics 24(3)/2017, #P3.57
• View Publication
• BIB
A \emph{majority coloring} of a digraph is a coloring of its vertices such that for each vertex $v$, at most half of the out-neighbors of $v$ has the same color as $v$. A digraph $D$ is \emph{majority $k$-choosable} if for any assignment of lists of colors of size $k$ to the vertices there is a majority coloring of $D$ from these lists. We prove that every digraph is majority $4$-choosable. This gives a positive answer to a question posed recently by Kreutzer, Oum, Seymour, van der Zypen, and Wood in \cite{Kreutzer}. We obtain this result as a consequence of a more general theorem, in which majority condition is profitably extended. For instance, the theorem implies also that every digraph has a coloring from arbitrary lists of size three, in which at most $2/3$ of the out-neighbors of any vertex share its color. This solves another problem posed in \cite{Kreutzer}, and supports an intriguing conjecture stating that every digraph is majority $3$-colorable.