Showing 20 papers (Total: 82505 papers, 47699 authors in database)
F-finite embeddabilities of sets and ultrafilters
Let $S$ be a semigroup, let $n\in\mathbb{N}$ be a positive natural number, let $A,B\subseteq S$, let $\mathcal{U},\mathcal{V}\inβS$ and let let $\mathcal{F}\subseteq\{f:S^{n}\rightarrow S\}$. We say that $A$ is $\mathcal{F}$-finitely embeddable in $B$ if for every finite set $F\subseteq A$ there is a function $f\in\mathcal{F}$ such that $f\left(A^{n}\right)\subseteq B$, and we say that $\mathcal{U}$ is $\mathcal{F}$-finitely embeddable in $\mathcal{V}$ if for every set $B\in\mathcal{V}$ there is a set $A\in\mathcal{U}$ such that $A$ is $\mathcal{F}$-finitely embeddable in $B$. We show that $\mathcal{F}$-finite embeddabilities can be used to study certain combinatorial properties of sets and ultrafilters related with finite structures. We introduce the notions of set and of ultrafilter maximal for $\mathcal{F}$-finite embeddability, whose existence is proved under very mild assumptions. Different choices of $\mathcal{F}$ can be used to characterize many combinatorially interesting sets/ultrafilters as maximal sets/ultrafilters, for example thick sets, AP-rich sets, $\overline{K(βS)}$ and so on. The set of maximal ultrafilters for $\mathcal{F}$-finite embeddability can be characterized algebraically in terms of $\mathcal{F}$. This property can be used to give an algebraic characterization of certain interesting sets of ultrafilters, such as the ultrafilters whose elements contain, respectively, arbitrarily long arithmetic, geoarithmetic or polynomial progressions. As a consequence of the connection between sets and ultrafilters maximal for $\mathcal{F}$-finite embeddability we are able to prove a general result that entails, for example, that given a finite partition of a set that contains arbitrarily long geoarithmetic (resp. polynomial) progressions, one cell must contain arbitrarily long geoarithmetic (resp. polynomial) progressions.
Infinite square-free self-shuffling words
In this paper we answer two recent questions from Charlier et al. and Harju about self-shuffling words. An infinite word $w$ is called self-shuffling, if $w=\prod_{i=0}^\infty U_iV_i=\prod_{i=0}^\infty U_i=\prod_{i=0}^\infty V_i$ for some finite words $U_i$, $V_i$. Harju recently asked whether square-free self-shuffling words exist. We answer this question affirmatively. Besides that, we build an infinite word such that no word in its shift orbit closure is self-shuffling, answering positively a question from Charlier et al.
Unstable Graphs: A Fresh Outlook via TF-Automorphisms
Published
• View Publication
• BIB
In this paper, we first establish the very close link between stability of graphs, a concept first introduced in \cite{Scapsalvi1} and studied most notably by Surowski \cite{Surowski1}, \cite{Surowski2} and Wilson \cite{Wilson01} and two-fold automorphisms. The concept of two-fold isomorphisms, as far as we know, first appeared in literature in the form of isotopies of digraphs \cite{zelinka4}, \cite{zelinka1}, \cite{zelinka2}, \cite{zelinka3} and later studied formally in \cite{lms1}, \cite{lms2} with a greater emphasis on undirected graphs. We then turn our attention to the stability of graphs which have every edge on a triangle, but with the fresh outlook provided by TF-automorphisms. Amongst such graphs are strongly regular graphs with certain parameters. The advantages of this fresh outlook are highlighted when we ultimately present a method of constructing and generating unstable graphs with large diameter having every edge lying on a triangle. This was a rather surprising outcome.
The Radio Number of Grid Graphs
The radio number problem uses a graph-theoretical model to simulate optimal frequency assignments on wireless networks. A radio labeling of a connected graph $G$ is a function $f:V(G) \to \mathbb Z_{0}^+$ such that for every pair of vertices $u,v \in V(G)$, we have $\lvert f(u)-f(v)\rvert \ge \text{diam}(G) + 1 - d(u,v)$ where $\text{diam}(G)$ denotes the diameter of $G$ and $d(u,v)$ the distance between vertices $u$ and $v$. Let $\text{span}(f)$ be the difference between the greatest label and least label assigned to $V(G)$. Then, the \textit{radio number} of a graph $\text{rn}(G)$ is defined as the minimum value of $\text{span}(f)$ over all radio labelings of $G$. So far, there have been few results on the radio number of the grid graph: In 2009 Calles and Gomez gave an upper and lower bound for square grids, and in 2008 Flores and Lewis were unable to completely determine the radio number of the ladder graph (a 2 by $n$ grid). In this paper, we completely determine the radio number of the grid graph $G_{a,b}$ for $a,b>2$, characterizing three subcases of the problem and providing a closed-form solution to each. These results have implications in the optimization of radio frequency assignment in wireless networks such as cell towers and environmental sensors.
Combinatorial proofs of some Bell number formulas
Published
• View Publication
• BIB
In this note, we provide bijective proofs of some identities involving the Bell number, as previously requested. Our arguments may be extended to yield a generalization in terms of complete Bell polynomials. We also provide a further interpretation for a related difference of Catalan numbers in terms of the inclusion-exclusion principle.
Note on the residue codes of self-dual $\mathbb{Z}_4$-codes having large minimum Lee weights
Published
• View Publication
• BIB
It is shown that the residue code of a self-dual $\mathbb{Z}_4$-code of length $24k$ (resp.\ $24k+8$) and minimum Lee weight $8k+4 \text{ or }8k+2$ (resp.\ $8k+8 \text{ or }8k+6$) is a binary extremal doubly even self-dual code for every positive integer $k$. A number of new self-dual $\mathbb{Z}_4$-codes of length $24$ and minimum Lee weight $10$ are constructed using the above characterization. These codes are Type I $\mathbb{Z}_4$-codes having the largest minimum Lee weight and the largest Euclidean weight among all Type I $\mathbb{Z}_4$-codes of that length. In addition, new extremal Type II $\mathbb{Z}_4$-codes of length $56$ are found.
On a 5-design related to a putative extremal doubly even self-dual code of length a multiple of 24
Published in Designs, Codes and Cryptogr. 76 (2015), 373-384
• View Publication
• BIB
By the Assmus and Mattson theorem, the codewords of each nontrivial weight in an extremal doubly even self-dual code of length 24m form a self-orthogonal 5-design. In this paper, we study the codes constructed from self-orthogonal 5-designs with the same parameters as the above 5-designs. We give some parameters of a self-orthogonal 5-design whose existence is equivalent to that of an extremal doubly even self-dual code of length 24m for m=3,...,6. If $m \in \{1,\ldots,6\}$, $k \in \{m+1,\ldots,5m-1\}$ and $(m,k) \ne (6,18)$, then it is shown that an extremal doubly even self-dual code of length 24m is generated by codewords of weight 4k.
Mutual Interlacing and Eulerian-like Polynomials for Weyl Groups
We use the method of mutual interlacing to prove two conjectures on the real-rootedness of Eulerian-like polynomials: Brenti's conjecture on $q$-Eulerian polynomials for Weyl groups of type $D$, and Dilks, Petersen, and Stembridge's conjecture on affine Eulerian polynomials for irreducible finite Weyl groups.
For the former, we obtain a refinement of Brenti's $q$-Eulerian polynomials of type $D$, and then show that these refined Eulerian polynomials satisfy certain recurrence relation. By using the Routh--Hurwitz theory and the recurrence relation, we prove that these polynomials form a mutually interlacing sequence for any positive $q$, and hence prove Brenti's conjecture. For $q=1$, our result reduces to the real-rootedness of the Eulerian polynomials of type $D$, which were originally conjectured by Brenti and recently proved by Savage and Visontai.
For the latter, we introduce a family of polynomials based on Savage and Visontai's refinement of Eulerian polynomials of type $D$. We show that these new polynomials satisfy the same recurrence relation as Savage and Visontai's refined Eulerian polynomials. As a result, we get the real-rootedness of the affine Eulerian polynomials of type $D$. Combining the previous results for other types, we completely prove Dilks, Petersen, and Stembridge's conjecture, which states that, for every irreducible finite Weyl group, the affine descent polynomial has only real zeros.
From the Ising and Potts models to the general graph homomorphism polynomial
In this note we study some of the properties of the generating polynomial for homomorphisms from a graph to at complete weighted graph on $q$ vertices. We discuss how this polynomial relates to a long list of other well known graph polynomials and the partition functions for different spin models, many of which are specialisations of the homomorphism polynomial.
We also identify the smallest graphs which are not determined by their homomorphism polynomials for $q=2$ and $q=3$ and compare this with the corresponding minimal examples for the $U$-polynomial, which generalizes the well known Tutte-polynomal.
Monochromatic Clique Decompositions of Graphs
Published
• View Publication
• BIB
Let $G$ be a graph whose edges are coloured with $k$ colours, and $\mathcal H=(H_1,\dots , H_k)$ be a $k$-tuple of graphs. A monochromatic $\mathcal H$-decomposition of $G$ is a partition of the edge set of $G$ such that each part is either a single edge or forms a monochromatic copy of $H_i$ in colour $i$, for some $1\le i\le k$. Let $φ_{k}(n,\mathcal H)$ be the smallest number $φ$, such that, for every order-$n$ graph and every $k$-edge-colouring, there is a monochromatic $\mathcal H$-decomposition with at most $φ$ elements. Extending the previous results of Liu and Sousa ["Monochromatic $K_r$-decompositions of graphs", Journal of Graph Theory}, 76:89--100, 2014], we solve this problem when each graph in $\mathcal H$ is a clique and $n\ge n_0(\mathcal H)$ is sufficiently large.
Følner sequences and sum-free sets
Published
• View Publication
• BIB
Erdős showed that every set of $n$ positive integers contains a subset of size at least $n/(k+1)$ containing no solutions to $x_1 + \cdots + x_k = y$. We prove that the constant $1/(k+1)$ here is best possible by showing that if $(F_m)$ is a multiplicative Følner sequence in $\mathbf{N}$ then $F_m$ has no $k$-sum-free subset of size greater than $(1/(k+1)+o(1))|F_m|$. This provides a new proof and a generalisation of a recent theorem of Eberhard, Green, and Manners.
Counting multijoints
Published
• View Publication
• BIB
Let $\mathfrak{L}_1$, $\mathfrak{L}_2$, $\mathfrak{L}_3$ be finite collections of $L_1$, $L_2$, $L_3$, respectively, lines in $\mathbb{R}^3$, and $J(\mathfrak{L}_1, \mathfrak{L}_2,\mathfrak{L}_3)$ the set of multijoints formed by them, i.e. the set of points $x \in \mathbb{R}^3$, each of which lies in at least one line $l_i \in \mathfrak{L}_i$, for all $i=1,2,3$, such that the directions of $l_1$, $l_2$ and $l_3$ span $\mathbb{R}^3$. We prove here that $|J(\mathfrak{L}_1, \mathfrak{L}_2,\mathfrak{L}_3)|\lesssim (L_1L_2L_3)^{1/2}$, and we extend our results to multijoints formed by real algebraic curves in $\mathbb{R}^3$ of uniformly bounded degree, as well as by curves in $\mathbb{R}^3$ parametrised by real univariate polynomials of uniformly bounded degree. The multijoints problem is a variant of the joints problem, as well as a discrete analogue of the endpoint multilinear Kakeya problem.
Combined tilings and separated set-systems
Published
• View Publication
• BIB
In 1998, Leclerc and Zelevinsky introduced the notion of weakly separated collections of subsets of the ordered $n$-element set $[n]$ (using this notion to give a combinatorial characterization for quasi-commuting minors of a quantum matrix). They conjectured the purity of certain natural domains $D\subseteq 2^{[n]}$ (in particular, of the hypercube $2^{[n]}$ itself, and the hyper-simplex $\{X\subseteq[n]\colon |X|=m\}$ for $m$ fixed), where $D$ is called pure if all maximal weakly separated collections in $D$ have the same cardinality. These conjectures have been answered affirmatively.
In this paper, generalizing those earlier results, we reveal wider classes of pure domains in $2^{[n]}$. This is obtained as a consequence of our study of a novel geometric--combinatorial model for weakly separated set-systems, so-called \emph{combined (polygonal) tilings} on a zonogon, which yields a new insight in the area.
Supporting document to the paper "Logical limit laws for minor-closed classes of graphs"
We provide a hand-checkable proof for Lemma 4.9 in the paper "Logical limit laws for minor-closed classes of graphs" by Heinig, Muller, Noy and Taraz.
r-Dynamic Chromatic Number of Graphs
An $r$-dynamic $k$-coloring of a graph $G$ is a proper vertex $k$-coloring such that the neighbors of any vertex $v$ receive at least $\min\{r,{\rm deg}(v)\}$ different colors. The $r$-dynamic chromatic number of $G$, $χ_r(G)$, is defined as the smallest $k$ such that $G$ admits an $r$-dynamic $k$-coloring. In this paper we introduce an upper bound for $χ_r(G)$ in terms of $r$, chromatic number, maximum degree and minimum degree. In 2001, Montgomery \cite{MR2702379} conjectured that, for a $d$-regular graph $G$, $χ_2(G)-χ(G)\leq 2$. In this regard, for a $d$-regular graph $G$, we present two upper bounds for $χ_2(G)-χ(G)$, one of them, $\lceil 5.437\log d+2.721\rceil$, is an improvement of the bound $14.06\log d +1$, proved by Alishahi (2011) \cite{MR2746973}. Also, we give an upper bound for $χ_2(G)$ in terms of chromatic number, maximum degree and minimum degree.
Level Matrices
Let $n>1$ and $k>0$ be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix with $m$ rows is called reducible if we can delete $j$ rows, $0<j<m$, so that the remaining matrix is level. We ask if there is a minimum integer $\ell=\ell(n,k)$ such that for all $m>\ell$, any $m\times n$ level matrix with entries in $\{0,\ldots,k\}$ is reducible. It is known that $\ell(2,k)=2k-1$. In this paper, we establish the existence of $\ell(n,k)$ for $n\geq 3$ by giving upper and lower bounds for it. We then apply this result to bound the number of certain types of vector space multipartitions.
On graph-like continua of finite length
Published
• View Publication
• BIB
We extend the notion of effective resistance to metric spaces that are similar to graphs but can also be similar to fractals. Combined with other basic facts proved in the paper, this lays the ground for a construction of Brownian Motion on such spaces completed in [10].
Entropy of subordinate shift spaces
Published in Amer. Math. Monthly 125 (2018), no. 2, 141-148
• View Publication
• BIB
We introduce a new family of shift spaces --- the subordinate shifts. Using subordinate shifts we prove in an elementary way that for every nonnegative real number $t$ there is a shift space with entropy $t$.
Some q-analogues of supercongruences of Rodriguez-Villegas
Published
• View Publication
• BIB
We study different q-analogues and generalizations of the ex-conjectures of Rodriguez-Villegas. For example, for any odd prime p, we show that the known congruence \sum_{k=0}^{p-1}\frac{{2k\choose k}^2}{16^k} \equiv (-1)^{\frac{p-1}{2}}\pmod{p^2} has the following two nice q-analogues with [p]=1+q+...+q^{p-1}: \sum_{k=0}^{p-1}\frac{(q;q^2)_k^2}{(q^2;q^2)_k^2}q^{(1+\varepsilon)k} &\equiv (-1)^{\frac{p-1}{2}}q^{\frac{(p^2-1)\varepsilon}{4}}\pmod{[p]^2}, where (a;q)_0=1, (a;q)_n=(1-a)(1-aq)...(1-aq^{n-1}) for n=1,2,..., and \varepsilon=\pm1. Several related conjectures are also proposed.
On involutions in extremal self-dual codes and the dual distance of semi self-dual codes
Published
• View Publication
• BIB
A classical result of Conway and Pless is that a natural projection of the fixed code of an automorphism of odd prime order of a self-dual binary linear code is self-dual. In this paper we prove that the same holds for involutions under some (quite strong) conditions on the codes. In order to prove it, we introduce a new family of binary codes: the semi self-dual codes. A binary self-orthogonal code is called semi self-dual if it contains the all-ones vector and is of codimension 2 in its dual code. We prove upper bounds on the dual distance of semi self-dual codes. As an application we get the following: let C be an extremal self-dual binary linear code of length 24m and s in Aut(C) be a fixed point free automorphism of order 2. If m is odd or if m=2k with binom{5k-1}{k-1} odd then C is a free F_2<s>-module. This result has quite strong consequences on the structure of the automorphism group of such codes.