Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Prolific permutations and permuted packings: downsets containing many large patterns
Published in J. Combin. Theory A., 153:98-121, 2018
• View Publication
• BIB
A permutation of n letters is k-prolific if each (n-k)-subset of the letters in its one-line notation forms a unique pattern. We present a complete characterization of k-prolific permutations for each k, proving that k-prolific permutations of m letters exist for every m \ge k^2/2+2k+1, and that none exist of smaller size. Key to these results is a natural bijection between k-prolific permutations and certain "permuted" packings of diamonds.
Nowhere-zero flows in signed graphs: A survey
We survey known results related to nowhere-zero flows and related topics, such as circuit covers and the structure of circuits of signed graphs. We include an overview of several different definitions of signed graph colouring.
Enclosings of Decompositions of Complete Multigraphs in 2-Factorizations
Published
• View Publication
• BIB
Let $k$, $λ$ and $μ$ be positive integers. A decomposition of a multigraph $ λG$ into edge-disjoint subgraphs $G_1, \ldots , G_k$ is said to be \emph{enclosed} by a decomposition of a multigraph $μH$ into edge-disjoint subgraphs $H_1, \ldots , H_k$ if $μ> λ$ and $G_i$ is a subgraph of $H_i$, $1 \leq i \leq k$. In this paper we initiate the study of when a decomposition can be enclosed by a decomposition that consists of spanning subgraphs.
A decomposition of a graph is a 2-factorization if each subgraph is 2-regular and is Hamiltonian if each subgraph is a Hamiltonian cycle. Let $n$ and $m$ be positive integers. We give necessary and sufficient conditions for enclosing a decomposition of $λK_n$ in a $2$-factorization of $μK_{n+m}$ whenever $μ>λ$ and $m \geq n-2$. We also give necessary and sufficient conditions for enclosing a decomposition of $λK_n$ in a Hamiltonian decomposition of $μK_{n+m}$ whenever $μ> λ$ and $m \geq n-1$, or $μ> λ$, $n=3$ and $m=1$, or $μ= 2$, $λ=1$ and $m=n-2$.
An elementary proof of Bevan's theorem on the growth of grid classes of permutations
Published
• View Publication
• BIB
Bevan established that the growth rate of a monotone grid class of permutations is equal to the square of the spectral radius of a related bipartite graph. We give an elementary and self-contained proof of a generalization of this result using only Stirling's Formula, the method of Lagrange multipliers, and the singular value decomposition of matrices.
On the growth of merges and staircases of permutation classes
Published
• View Publication
• BIB
There is a well-known upper bound on the growth rate of the merge of two permutation classes. Curiously, there is no known merge for which this bound is not achieved. Using staircases of permutation classes, we provide sufficient conditions for this upper bound to be achieved. In particular, our results apply to all merges of principal permutation classes. We end by demonstrating how our techniques can be used to reprove a result of Bóna.
Orientations of graphs with uncountable chromatic number
Published
• View Publication
• BIB
Motivated by an old conjecture of P. Erdős and V. Neumann-Lara, our aim is to investigate digraphs with uncountable dichromatic number and orientations of undirected graphs with uncountable chromatic number. A graph has uncountable chromatic number if its vertices cannot be covered by countably many independent sets, and a digraph has uncountable dichromatic number if its vertices cannot be covered by countably many acyclic sets. We prove that consistently there are digraphs with uncountable dichromatic number and arbitrarily large digirth; this is in surprising contrast with the undirected case: any graph with uncountable chromatic number contains a 4-cycle. Next, we prove that several well known graphs (uncountable complete graphs, certain comparability graphs, and shift graphs) admit orientations with uncountable dichromatic number in ZFC. However, we show that the statement "every graph $G$ of size and chromatic number $ω_1$ has an orientation $D$ with uncountable dichromatic number" is independent of ZFC.