Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Cayley graphs and automatic sequences
Published
• View Publication
• BIB
We study those automatic sequences which are produced by an automaton whose underlying graph is the Cayley graph of a finite group. For $2$-automatic sequences, we find a characterization in terms of what we call homogeneity, and among homogeneous sequences, we single out those enjoying what we call self-similarity. It turns out that self-similar $2$-automatic sequences (viewed up to a permutation of their alphabet) are in bijection with many interesting objects, for example dessins d'enfants (covers of the Riemann sphere with three points removed).
For any $p$ we show that, in the case of an automatic sequence produced "by a Cayley graph", the group and indeed the automaton can be recovered canonically from the sequence.
Further, we show that a rational fraction may be associated to any automatic sequence. To compute this fraction explicitly, knowledge of a certain graph is required. We prove that for the sequences studied in the first part, the graph is simply the Cayley graph that we start from, and so calculations are possible.
We give applications to the study of the frequencies of letters.
A position in infinite chess with game value $ω^4$
We present a position in infinite chess exhibiting an ordinal game value of $ω^4$, thereby improving on the previously largest-known values of $ω^3$ and $ω^3\cdot 4$.
On two $q$-ary $n$-cube coloring problems
Let $χ'_d(n,q)$ (resp. $χ_d(n,q)$) denote the minimum number of colors necessary to color a $q$-ary $n$-cube so that no two vertices that are at a distance at most $d$ (resp. exactly $d$) get the same color. These two problems were proposed in the study of scalability of optical networks. In this paper, we provide upper and lower bounds on $χ'_d(n,q)$ and $χ_d(n,q)$ when $q$ is a prime power.
Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (May 20, 2016) dmtcs:1315
• View Publication
• BIB
A permutation $τ$ in the symmetric group $S_j$ is minimally overlapping if any two consecutive occurrences of $τ$ in a permutation $σ$ can share at most one element. Bóna \cite{B} showed that the proportion of minimal overlapping patterns in $S_j$ is at least $3 -e$. Given a permutation $σ$, we let $\text{Des}(σ)$ denote the set of descents of $σ$. We study the class of permutations $σ\in S_{kn}$ whose descent set is contained in the set $\{k,2k, \ldots (n-1)k\}$. For example, up-down permutations in $S_{2n}$ are the set of permutations whose descent equal $σ$ such that $\text{Des}(σ) = \{2,4, \ldots, 2n-2\}$. There are natural analogues of the minimal overlapping permutations for such classes of permutations and we study the proportion of minimal overlapping patterns for each such class. We show that the proportion of minimal overlapping permutations in such classes approaches $1$ as $k$ goes to infinity. We also study the proportion of minimal overlapping patterns in standard Young tableaux of shape $(n^k)$.
On vanishing patterns in $j$-strands of edge ideals
Published
• View Publication
• BIB
We consider two problems regarding vanishing patterns in the Betti table of edge ideals $I$ in polynomial algebra $S$. First, we show that the $j$-strand is connected if $j=3$ (for $j=2$ this is easy and known), and give examples where the $j$-strand is not connected for any $j>3$. Next, we apply our result on strand connectivity to establish the subadditivity conjecture for edge ideals, $t_{a+b}\leq t_a+t_b$, in case $b=2,3$ (the case $b=1$ is known). Here $t_i$ stands for the maximal shifts in the minimal free $S$-resolution of $S/I$
Almost simplicial polytopes I. The lower and upper bound theorems
Published
• View Publication
• BIB
We study $n$-vertex $d$-dimensional polytopes with at most one nonsimplex facet with, say, $d+s$ vertices, called {\it almost simplicial polytopes}. We provide tight lower and upper bound theorems for these polytopes as functions of $d,n$ and $s$, thus generalizing the classical Lower Bound Theorem by Barnette and Upper Bound Theorem by McMullen, which treat the case of $s=0$. We characterize the minimizers and provide examples of maximizers, for any $d$. Our construction of maximizers is a generalization of cyclic polytopes, based on a suitable variation of the moment curve, and is of independent interest.
Graph properties in node-query setting: effect of breaking symmetry
The query complexity of graph properties is well-studied when queries are on edges. We investigate the same when queries are on nodes. In this setting a graph $G = (V, E)$ on $n$ vertices and a property $\mathcal{P}$ are given. A black-box access to an unknown subset $S \subseteq V$ is provided via queries of the form `Does $i \in S$?'. We are interested in the minimum number of queries needed in worst case in order to determine whether $G[S]$, the subgraph of $G$ induced on $S$, satisfies $\mathcal{P}$.
Apart from being combinatorially rich, this setting allows us to initiate a systematic study of breaking symmetry in the context of query complexity of graph properties. In particular, we focus on hereditary graph properties. The monotone functions in the node-query setting translate precisely to the hereditary graph properties. The famous Evasiveness Conjecture asserts that even with a minimal symmetry assumption on $G$, namely that of vertex-transitivity, the query complexity for any hereditary graph property in our setting is the worst possible, i.e., $n$.
We show that in the absence of any symmetry on $G$ it can fall as low as $O(n^{1/(d + 1) })$ where $d$ denotes the minimum possible degree of a minimal forbidden sub-graph for $\mathcal{P}$. In particular, every hereditary property benefits at least quadratically. The main question left open is: can it go exponentially low for some hereditary property?
We show that the answer is no for any hereditary property with {finitely many} forbidden subgraphs by exhibiting a bound of $Ω(n^{1/k})$ for some constant $k$ depending only on the property. For general ones we rule out the possibility of the query complexity falling down to constant by showing $Ω(\log n/ \log \log n)$ bound. Interestingly, our lower bound proofs rely on the famous Sunflower Lemma due to Erdös and Rado.
Trees on hyperbolic honeycombs
Published in Miskolc Math. Notes, Vol.16/1 (2015) 353-360
• Search Publication
In the hyperbolic plane there are infinite regular lattices. From a fix vertex of a lattice tree graphs can be constructed recursively to the next layers with edges of the lattice. In this article we examine the properties of the growing of trees and the probabilities of length of trees considering the vertices on level i.
Canonical Representatives of Morphic Permutations
Published in WORDS 2015, 9304, pp.59-72, 2015, Lecture Notes in Computer Science
• View Publication
• BIB
An infinite permutation can be defined as a linear ordering of the set of natural numbers. In particular, an infinite permutation can be constructed with an aperiodic infinite word over $\{0,\ldots,q-1\}$ as the lexicographic order of the shifts of the word. In this paper, we discuss the question if an infinite permutation defined this way admits a canonical representative, that is, can be defined by a sequence of numbers from [0, 1], such that the frequency of its elements in any interval is equal to the length of that interval. We show that a canonical representative exists if and only if the word is uniquely ergodic, and that is why we use the term ergodic permutations. We also discuss ways to construct the canonical representative of a permutation defined by a morphic word and generalize the construction of Makarov, 2009, for the Thue-Morse permutation to a wider class of infinite words.
Extremal graph for intersecting odd cycles
Published
• View Publication
• BIB
An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Turán graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Turán Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erdös et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we determine the extremal graphs for intersecting odd cycles.
Completeness of cubic curves in PG(2, q), q <= 81
Theoretical results are known about the completeness of a planar algebraic cubic curve as a (n,3)-arc in PG(2,q). They hold for q big enough and sometimes have restriction on the characteristic and on the value of the j-invariant. We determine the completeness of all cubic curves for q <= 81.
Betti-linear Ideals
Published
• View Publication
• BIB
We introduce the notion of a Betti-linear monomial ideal, which generalizes the notion of lattice-linear monomial ideal introduced by Clark. We provide a characterization of Betti-linearity in terms of Tchernev's poset construction. As an application we obtain an explicit canonical construction for the minimal free resolutions of monomial ideals having pure resolutions.
Toroidal boards and code covering
Published in The Australasian Journal of Combinatorics 76 (2020) 41-54
• Search Publication
We denote by $\mathbb{F}_q$ the field with $q$ elements. A radius-$r$ extended ball with center in a $1$-dimensional vector subspace $V$ of $\mathbb{F}_q^3$ is the set of elements of $\mathbb{F}_q^3$ with Hamming distance to $V$ at most $r$. We define $c(q)$ as the size of a minimum covering of $\fqt$ by radius-$1$ extended balls. We define a semiqueen as a piece of a toroidal chessboard that extends the covering range of a rook by the southwest-northeast diagonal containing it. Let $ξ_D(n)$ be the minimum number of semiqueens of the $n\times n$ toroidal board necessary to cover the entire board except possibly for the southwest-northeast diagonal. We prove that, for $q\ge 7$, $c(q)=ξ_D(q-1)+2$. Moreover, our proof exhibits a method to build such covers of $\mathbb{F}_q^3$ from the semiqueen coverings of the board. With this new method, we determine $c(q)$ for the odd values of $q$ and improve both existing bounds for the even case.
Intersections of Amoebas
Published
• View Publication
• BIB
Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been intensively studied in recent years, the non-hypersurface case is barely understood so far.
We investigate intersections of amoebas of $n$ hypersurfaces in $(\mathbb{C}^*)^n$, which are canonical supersets of amoebas given by non-hypersurface varieties. Our main results are amoeba analogs of Bernstein's Theorem and Bézout's Theorem providing an upper bound for the number of connected components of such intersections. Moreover, we show that the \emph{order map} for hypersurface amoebas can be generalized in a natural way to intersections of amoebas. In particular, analogous to the case of amoebas of hypersurfaces, the restriction of this generalized order map to a single connected component is still $1$-to-$1$.
Hilbert series and degree bounds for matrix (semi-)invariants
Published
• View Publication
• BIB
We study the ring R(n,m) of invariants for the left-right action of SL_n \times SL_n on m-tuples of n by n complex matrices. We show that R(3,m) is generated by invariants of degree less equal 309 for all m. Then, we use a combinatorial description of the invariants to show that R(n,m) cannot be generated by invariants of degree < n^2 for large m. We also compute the Hilbert series for several cases.
A note on the Ramsey number of even wheels versus stars
Published
• View Publication
• BIB
For two graphs $G_1$ and $G_2$ the Ramsey number $R(G_1,G_2)$ is the smallest integer $N$, such that for any graph on $N$ vertices either $G$ contains $G_1$ or $\overline{G}$ contains $G_2$. Let $S_n$ be a star of order $n$ and $W_m$ be a wheel of order $m+1$. In this paper, it is shown that $R(W_n,S_n)\leq{5n/2-1}$, where $n\geq{6}$ is even. It was proven a theorem which implies that $R(W_n,S_n)\geq{5n/2-2}$, where $n\geq{6}$ is even. Therefore we conclude that $R(W_n,S_n)=5n/2-2$ or $5n/2-1$, for $n\geq{6}$ and even.
Classification of edge-transitive propeller graphs
In this paper, we introduce a family of tetravalent graphs called propeller graphs, denoted by $Pr_{n}(b,c,d)$. We then produce three infinite subfamilies and one finite subfamily of arc-transitive propeller graphs, and show that all such graphs are necessarily members of one of these four subfamilies, up to isomorphism. We close the paper with questions for further investigation, as well as a few conjectures.
Cyclic sieving and rational Catalan theory
Published
• View Publication
• BIB
Let $a < b$ be coprime positive integers. Armstrong, Rhoades, and Williams defined a set $\mathsf{NC}(a,b)$ of `rational noncrossing partitions', which form a subset of the ordinary noncrossing partitions of $\{1, 2, \dots, b-1\}$. Confirming a conjecture of Armstrong et. al., we prove that $\mathsf{NC}(a,b)$ is closed under rotation and prove an instance of the cyclic sieving phenomenon for this rotational action. We also define a rational generalization of the $\mathfrak{S}_a$-noncrossing parking functions of Armstrong, Reiner, and Rhoades.
Lower bound of the asymptotic complexity of self-similar fractal graphs
We study the asymptotic complexity constant of the sequence of approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal $K$. We show how full symmetry implies existence of the asymptotic complexity constant and obtain a sharp lower bound thereby answering two conjectures by Anema.
Colourings, Homomorphisms, and Partitions of Transitive Digraphs
Published
• View Publication
• BIB
We investigate the complexity of generalizations of colourings (acyclic colourings, $(k,\ell)$-colourings, homomorphisms, and matrix partitions), for the class of transitive digraphs. Even though transitive digraphs are nicely structured, many problems are intractable, and their complexity turns out to be difficult to classify. We present some motivational results and several open problems.