Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Cyclic Deficiency of Graphs
Published
• View Publication
• BIB
A proper edge coloring of a graph $G$ with colors $1,2,\dots,t$ is called a cyclic interval $t$-coloring if for each vertex $v$ of $G$ the edges incident to $v$ are colored by consecutive colors, under the condition that color $1$ is considered as consecutive to color $t$. In this paper we introduce and investigate a new notion, the cyclic deficiency of a graph $G$, defined as the minimum number of pendant edges whose attachment to $G$ yields a graph admitting a cyclic interval coloring; this number can be considered as a measure of closeness of $G$ of being cyclically interval colorable. We determine or bound the cyclic deficiency of several families of graphs. In particular, we present examples of graphs of bounded maximum degree with arbitrarily large cyclic deficiency, and graphs whose cyclic deficiency approaches the number of vertices. Finally, we conjecture that the cyclic deficiency of any graph does not exceed the number of vertices, and we present several results supporting this conjecture.
An inverse theorem for an inequality of Kneser
Published
• View Publication
• BIB
Let $G = (G,+)$ be a compact connected abelian group, and let $μ_G$ denote its probability Haar measure. A theorem of Kneser (generalising previous results of Macbeath and Raikov) establishes the bound $$ μ_G(A + B) \geq \min( μ_G(A)+μ_G(B), 1 ) $$ whenever $A,B$ are compact subsets of $G$, and $A+B := \{ a+b: a \in A, b \in B \}$ denotes the sumset of $A$ and $B$. Clearly one has equality when $μ_G(A)+μ_G(B) \geq 1$. Another way in which equality can be obtained is when $A = φ^{-1}(I), B = φ^{-1}(J)$ for some continuous surjective homomorphism $φ: G \to {\bf R}/{\bf Z}$ and compact arcs $I,J \subset {\bf R}/{\bf Z}$. We establish an inverse theorem that asserts, roughly speaking, that when equality in the above bound is almost attained, then $A,B$ are close to one of the above examples. We also give a more "robust" form of this theorem in which the sumset $A+B$ is replaced by the partial sumset $A +_\varepsilon B :=\{ 1_A * 1_B \geq \varepsilon \}$ for some small $\varepsilon >0$. In a subsequent paper with Joni Teräväinen, we will apply this latter inverse theorem to establish that certain patterns in multiplicative functions occur with positive density.
Hypergraph encodings of arbitrary toric ideals
Relying on the combinatorial classification of toric ideals using their bouquet structure, we focus on toric ideals of hypergraphs and study how they relate to general toric ideals. We show that hypergraphs exhibit a surprisingly general behavior: the toric ideal associated to any general matrix can be encoded by that of a $0/1$ matrix, while preserving the essential combinatorics of the original ideal. We provide two universality results about the unboundedness of degrees of various generating sets: minimal, Graver, universal Gröbner bases, and indispensable binomials. Finally, we provide a polarization-type operation for arbitrary positively graded toric ideals, which preserves all the combinatorial signatures and the homological properties of the original toric ideal.
On k-Total Dominating Graphs
For a graph G, the k-total dominating graph D_{k}^{t}(G) is the graph whose vertices correspond to the total dominating sets of G that have cardinality at most k; two vertices of D_{k}^{t}(G) are adjacent if and only if the corresponding total dominating sets of G differ by either adding or deleting a single vertex. The graph D_{k}^{t}(G) is used to study the reconfiguration problem for total dominating sets: a total dominating set can be reconfigured to another by a sequence of single vertex additions and deletions, such that the intermediate sets of vertices at each step are total dominating sets, if and only if they are in the same component of D_{k}^{t}(G). Let d_{0}(G) be the smallest integer r such that D_{k}^{t}(G) is connected for all k greater than or equal to r. We investigate the realizability of graphs as total dominating graphs. For k the upper total domination number Γ_{t}(G), we show that any graph without isolated vertices is an induced subgraph of a graph G such that D_{k}^{t}(G) is connected. We show that d_{0}(G) lies between Γ_{t}(G) and n (inclusive) for any connected graph G of order n at least 3, characterize the graphs for which either bound is realized, and determine d_{0}(C_{n}) and d_{0}(P_{n}).
The energy change of the complete multipartite graph
Published
• View Publication
• BIB
The energy of a graph is defined as the sum of the absolute values of all eigenvalues of the graph. Akbari et al. \cite{S. Akbari} proved that for a complete multipartite graph $K_{t_1 ,\ldots,t_k}$, if $t_i\geq 2 \ (i=1,\ldots,k)$, then deleting any edge will increase the energy. A natural question is how the energy changes when $\min\{t_1 ,\ldots,t_k\}=1$. In this paper, we will answer this question and completely determine how the energy of a complete multipartite graph changes when one edge is removed.
On the parameters of intertwining codes
Published
• View Publication
• BIB
Let $F$ be a field and let $F^{r\times s}$ denote the space of $r\times s$ matrices over $F$. Given equinumerous subsets $\mathcal{A}=\{A_i\mid i \in I\}\subseteq F^{r\times r}$ and $\mathcal{B}=\{B_i\mid i\in I\}\subseteq F^{s\times s}$ we call the subspace $C(\mathcal{A},\mathcal{B}):=\{X\in F^{r\times s}\mid A_iX=XB_i\ {\rm for }\ i\in I\}$ an \emph{intertwining code}. We show that if $C(\mathcal{A},\mathcal{B})\ne\{0\}$, then for each $i\in I$, the characteristic polynomials of $A_i$ and $B_i$ and share a nontrivial factor. We give an exact formula for $k=\dim(C(\mathcal{A},\mathcal{B}))$ and give upper and lower bounds. This generalizes previous work in this area. Finally we construct intertwining codes with large minimum distance when the field is not `too small'. We give examples of codes where $d=rs/k=1/R$ is large where the minimum distance, dimension, and rate of the linear code $C(\mathcal{A},\mathcal{B})$ by $d$, $k$, and $R=k/rs$, respectively.
Natural exact covering systems and the reversion of the Möbius series
Published
• View Publication
• BIB
We prove that the number of natural exact covering systems of cardinality $k$ is equal to the coefficient of $x^k$ in the reversion of the power series $\sum_{k \ge 1} μ(k) x^k$, where $μ(k)$ is the usual number-theoretic Möbius function. Using this result, we deduce an asymptotic expression for the number of such systems.
From randomness in two symbols to randomness in three symbols
Published
• View Publication
• BIB
In 1909 Borel defined normality as a notion of randomness of the digits of the representation of a real number over certain base (fractional expansion). If we think the representation of a number over a base as an infinite sequence of symbols from a finite alphabet $A$, we can define normality directly for words of symbols of $A$: A word $x$ is normal to the alphabet $A$ if every finite block of symbols from $A$ appears with the same asymptotic frequency in $x$ as every other block of the same length. Many examples of normal words have been found since its definition, being Champernowne in 1933 the first to show an explicit and simple instance. Moreover, it has been characterized how we can select subsequences of a normal word $x$ preserving its normality, always leaving the alphabet $A$ fixed. In this work we consider the dual problem which consists of inserting symbols in infinite positions of a given word, in such a way that normality is preserved. Specifically, given a symbol $s$ that is not present on the original alphabet $A$ and given a word $x$ that is normal to the alphabet $A$ we solve how to insert the symbol $s$ in infinite positions of the word $x$ such that the resulting word is normal to the expanded alphabet $A\cup \{s\}$.
On Pure Degree Sequence Manipulations Forcing Long Cycles in Graphs
The well-known Hamiltonian sufficient conditions, proposed by Dirac, Faudree et al., Pósa, Bondy, Chvátal are based on pure degree manipulations without any additional conditions. In this paper, we present two new types of pure degree manipulations that produce relatively simpler (in view of verification) results. The reverse versions (long-cycle versions) of the obtained results are presented as well. The importance of pure degree manipulations is motivated by their amenability (as starting points) to generalizations and new ideas in a great variety of ways.
A Constructive Lower Bound on Szemerédi's Theorem
Let $r_k(n)$ denote the maximum cardinality of a set $A \subset \{1,2, \dots, n \}$ such that $A$ does not contain a $k$-term arithmetic progression. In this paper, we give a method of constructing such a set and prove the lower bound $n^{1-\frac{c_k}{k \ln k}} < r_k(n)$ where $k$ is prime, and $c_k \rightarrow 1$ as $k \rightarrow \infty$. This bound is the best known for an increasingly large interval of $n$ as we choose larger and larger $k$. We also demonstrate that one can prove or disprove a conjecture of Erdős on arithmetic progressions in large sets once tight enough bounds on $r_k(n)$ are obtained.
Rationality of Poincaré Series for a Family of Lattice Simplices
We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincaré series is rational. Our method of proof is to produce for each algebra an explicit minimal free resolution of the ground field, in which the resolution reflects the recursive structure encoded in the denominator of the finely-graded Poincaré series. Using this resolution, we show that these algebras are not Koszul, and therefore rationality is non-trivial. Our results demonstrate how interactions between multivariate and univariate rational generating functions can create subtle complications when attempting to use rational Poincaré series to inform the construction of minimal resolutions.
The packing number of the double vertex graph of the path graph
Published in Discrete Appl. Math, 247 (2018) 327-340
• View Publication
• BIB
Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane's graph. Our solution implies a conjecture of Rob Pratt about the ordinary generating function of sequence A085680.
Frieze patterns over integers and other subsets of the complex numbers
Published
• View Publication
• BIB
We study (tame) frieze patterns over subsets of the complex numbers, with particular emphasis on the corresponding quiddity cycles. We provide new general transformations for quiddity cycles of frieze patterns. As one application, we present a combinatorial model for obtaining the quiddity cycles of all tame frieze patterns over the integers (with zero entries allowed), generalising the classic Conway-Coxeter theory. This model is thus also a model for the set of specializations of cluster algebras of Dynkin type $A$ in which all cluster variables are integers.
Moreover, we address the question of whether for a given height there are only finitely many non-zero frieze patterns over a given subset $R$ of the complex numbers. Under certain conditions on $R$, we show upper bounds for the absolute values of entries in the quiddity cycles. As a consequence, we obtain that if $R$ is a discrete subset of the complex numbers then for every height there are only finitely many non-zero frieze patterns over $R$. Using this, we disprove a conjecture of Fontaine, by showing that for a complex $d$-th root of unity $ζ_d$ there are only finitely many non-zero frieze patterns for a given height over $R=\mathbb{Z}[ζ_d]$ if and only if $d\in \{1,2,3,4,6\}$.
Long directed rainbow cycles and rainbow spanning trees
Published
• View Publication
• BIB
A subgraph of an edge-coloured graph is called rainbow if all its edges have different colours. The problem of finding rainbow subgraphs goes back to the work of Euler on transversals in Latin squares and was extensively studied since then. In this paper we consider two related questions concerning rainbow subgraphs of complete, edge-coloured graphs and digraphs. In the first part, we show that every properly edge-coloured complete directed graph contains a directed rainbow cycle of length $n-O(n^{4/5})$. This is motivated by an old problem of Hahn and improves a result of Gyarfas and Sarkozy. In the second part, we show that any tree $T$ on $n$ vertices with maximum degree $Δ_T\leq βn/\log n$ has a rainbow embedding into a properly edge-coloured $K_n$ provided that every colour appears at most $αn$ times and $α, β$ are sufficiently small constants.
Existence of Small Separators Depends on Geometry for Geometric Inhomogeneous Random Graphs
We show that Geometric Inhomogeneous Random Graphs (GIRGs) with power law weights may either have or not have separators of linear size, depending on the underlying geometry. While it was known that for Euclidean geometry it is possible to split the giant component into two linear size components by removing at most n^{1-\eps} edges, we show that this is impossible if the geometry is given by the minimum component distance.
Packing coloring of Sierpiński-type graphs
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we consider the packing chromatic number of several families of Sierpiński-type graphs. While it is known that this number is bounded from above by $8$ in the family of Sierpiński graphs with base $3$, we prove that it is unbounded in the families of Sierpiński graphs with bases greater than $3$. On the other hand, we prove that the packing chromatic number in the family of Sierpiński triangle graphs $ST^n_3$ is bounded from above by $31$. Furthermore, we establish or provide bounds for the packing chromatic numbers of generalized Sierpiński graphs $S^n_G$ with respect to all connected graphs $G$ of order 4.
Group Connectivity: $\mathbb Z_4$ v. $\mathbb Z_2^2$
We answer a question on group connectivity suggested by Jaeger et al. [Group connectivity of graphs -- A nonhomogeneous analogue of nowhere-zero flow properties, JCTB 1992]: we find that $\mathbb Z_2^2$-connectivity does not imply $\mathbb Z_4$-connectivity, neither vice versa. We use a computer to find the graphs certifying this and to verify their properties using non-trivial enumerative algorithm. While the graphs are small (the largest has 15 vertices and 21 edges), a computer-free approach remains elusive.
Parallelogram polyominoes, partially labelled Dyck paths, and the Delta conjecture
We introduce area, bounce and dinv statistics on decorated parallelogram polyominoes, and prove that some of their q,t-enumerators match $\langle Δ_{h_m} e_{n+1}, s_{k+1,1^{n-k}} \rangle$, extending in this way the work in (Aval et al. 2014). Also, we provide a bijective connection between decorated parallelogram polyominoes and decorated labelled Dyck paths, which allows us to prove the combinatorial interpretation of the coefficient $\langleΔ_{e_{m+n-k-1}}'e_{m+n}, h_m h_n \rangle$ predicted by the Delta conjecture in (Haglund et al. 2015). Finally, we define a statistic pmaj on partially labelled Dyck paths, which provides another conjectural combinatorial interpretation of $Δ_{h_{\ell}}Δ_{e_{n-k-1}}'e_n$, cf. (Haglund et al. 2015).
This is an extended abstract of (D'Adderio, Iraci 2017): this forthcoming publication will have proofs and additional details and results.
Distances from points to planes
Published
• View Publication
• BIB
We prove that if $E \subset {\Bbb F}_q^d$, $d \ge 2$, $F \subset \operatorname{Graff}(d-1,d)$, the set of affine $d-1$-dimensional planes in ${\Bbb F}_q^d$, then $|Δ(E,F)| \ge \frac{q}{2}$ if $|E||F|>q^{d+1}$, where $Δ(E,F)$ the set of distances from points in $E$ to lines in $F$. In dimension three and higher this significantly improves the exponent obtained by Pham, Phuong, Sang, Vinh and Valculescu.
Metric dimension of dual polar graphs
Published
• View Publication
• BIB
A resolving set for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The metric dimension $μ(Γ)$ is the smallest size of a resolving set for $Γ$. We consider the metric dimension of the dual polar graphs, and show that it is at most the rank over $\mathbb{R}$ of the incidence matrix of the corresponding polar space. We then compute this rank to give an explicit upper bound on the metric dimension of dual polar graphs, as well as the halved dual polar graphs.