Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Square lattice walks avoiding a quadrant
Published in J. Combin. Theory Ser. A, 144 (2016) 37-79
• View Publication
• BIB
In the past decade, a lot of attention has been devoted to the enumera-tion of walks with prescribed steps confined to a convex cone. In two dimensions, this means counting walks in the first quadrant of the plane (possibly after a linear transformation). But what about walks in non-convex cones? We investigate the two most natural cases: first, square lattice walks avoiding the negative quadrant Q 1 = {(i, j) : i \textless{} 0 and j \textless{} 0}, and then, square lattice walks avoiding the West quadrant Q 2 = {(i, j) : i \textless{} j and i \textless{} --j}. In both cases, the generating function that counts walks starting from the origin is found to differ from a simple D-finite series by an algebraic one. We also obtain closed form expressions for the number of n-step walks ending at certain prescribed endpoints, as a sum of three hypergeometric terms. One of these terms already appears in the enumeration of square lattice walks confined to the cone {(i, j) : i +j $\ge$ 0 and j $\ge$ 0}, known as Gessel's walks. In fact, the enumeration of Gessel's walks follows, by the reflection principle, from the enumeration of walks starting from (--1, 0) and avoiding Q 1. Their generating function turns out to be purely algebraic (as the generating function of Gessel's walks). Another approach to Gessel's walks consists in counting walks that start from (--1, 1) and avoid the West quadrant Q 2. The associated generating function is D-finite but transcendental.
Modified vertex Folkman numbers
Published in Mathematics and Education. Proceedings of the 45th Spring Conference of the Union of Bulgarian Mathematicians, 45:113-123, 2016
• Search Publication
Let $a_1, ..., a_s$ be positive integers. For a graph $G$ the expression $$ G \overset{v}{\rightarrow} (a_1, ..., a_s) $$ means that for every coloring of the vertices of $G$ in $s$ colors ($s$-coloring) there exists $i \in \{1, ..., s\}$, such that there is a monochromatic $a_i$-clique of color $i$. If $m$ and $p$ are positive integers, then $$ G \overset{v}{\rightarrow} {m}\big\vert_{p} $$ means that for arbitrary positive integers $a_1, ..., a_s$ ($s$ is not fixed), such that $\sum_{i = 1}^{s}(a_i - 1) + 1 = m$ an $\max{\{a_1, ..., a_s\}} \leq p$ we have $G \overset{v}{\rightarrow} (a_1, ..., a_s)$. Let $$ \widetilde{\mathcal{H}}({m}\big\vert_{p}; q) = \{G : G \overset{v}{\rightarrow} {m}\big\vert_{p} \mbox{ and } ω(G) < q\}. $$
The modified vertex Folkman numbers are defined by the equality $$ \widetilde{F}({m}\big\vert_{p}; q) = \min{\{|V(G)| : G \in \widetilde{\mathcal{H}}({m}\big\vert_{p}; q)\}}. $$ If $q \geq m$ these numbers are known and they are easy to compute. In the case $q = m - 1$ we know all of the numbers when $p \leq 5$. In this work we consider the next unknown case $p = 6$ and we prove with the help of a computer that $$ \widetilde{F}({m}\big\vert_{6}; m - 1) = m + 10. $$
Horton Law in Self-Similar Trees
Published
• View Publication
• BIB
Self-similarity of random trees is related to the operation of pruning. Pruning $R$ cuts the leaves and their parental edges and removes the resulting chains of degree-two nodes from a finite tree. A Horton-Strahler order of a vertex $v$ and its parental edge is defined as the minimal number of prunings necessary to eliminate the subtree rooted at $v$. A branch is a group of neighboring vertices and edges of the same order. The Horton numbers $N_k[K]$ and $N_{ij}[K]$ are defined as the expected number of branches of order $k$, and the expected number of order-$i$ branches that merged order-$j$ branches, $j>i$, respectively, in a finite tree of order $K$. The Tokunaga coefficients are defined as $T_{ij}[K]=N_{ij}[K]/N_j[K]$. The pruning decreases the orders of tree vertices by unity. A rooted full binary tree is said to be mean-self-similar if its Tokunaga coefficients are invariant with respect to pruning: $T_k:=T_{i,i+k}[K]$. We show that for self-similar trees, the condition $\limsup(T_k)^{1/k}<\infty$ is necessary and sufficient for the existence of the strong Horton law: $N_k[K]/N_1[K] \rightarrow R^{1-k}$, as $K \rightarrow \infty$ for some $R>0$ and every $k\geq 1$. This work is a step toward providing rigorous foundations for the Horton law that, being omnipresent in natural branching systems, has escaped so far a formal explanation.
Total dominator chromatic number of specific graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph. A total dominator coloring of $G$ is a proper coloring of the vertices of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number $χ_d^t(G)$ of $G$ is the minimum number of colors among all total dominator coloring of $G$. In this paper, we study the total dominator chromatic number of some specific graphs.
The monoid algebra of all relations on a finite set
Published
• View Publication
• BIB
We classify all the simple modules for the algebra of relations on a finite set, give their dimension, and find the dimension of the Jacobson radical of the algebra.
Pattern matching in $(213,231)$-avoiding permutations
Published
• View Publication
• BIB
Given permutations $σ\in S_k$ and $π\in S_n$ with $k<n$, the \emph{pattern matching} problem is to decide whether $π$ matches $σ$ as an order-isomorphic subsequence. We give a linear-time algorithm in case both $π$ and $σ$ avoid the two size-$3$ permutations $213$ and $231$. For the special case where only $σ$ avoids $213$ and $231$, we present a $O(max(kn^2,n^2\log(\log(n)))$ time algorithm. We extend our research to bivincular patterns that avoid $213$ and $231$ and present a $O(kn^4)$ time algorithm. Finally we look at the related problem of the longest subsequence which avoids $213$ and $231$.
The distance-dependent two-point function of triangulations: a new derivation from old results
Published in Inst. Henri Poincaré Comb. Phys. Interact. 4 (2017), 177-211
• View Publication
• BIB
We present a new derivation of the distance-dependent two-point function of random planar triangulations. As it is well-known, this function is intimately related to the generating functions of so-called slices, which are pieces of triangulation having boundaries made of shortest paths of prescribed length. We show that the slice generating functions are fully determined by a direct recursive relation on their boundary length. Remarkably, the kernel of this recursion is some quantity introduced and computed by Tutte a long time ago in the context of a global enumeration of planar triangulations. We may thus rely on these old results to solve our new recursion relation explicitly in a constructive way.
Maximizing Kirchhoff index of unicyclic graphs with fixed maximum degree
The Kirchhoff index of a connected graph is the sum of resistance distances between all unordered pairs of vertices in the graph. Its considerable applications are found in a variety of fields. In this paper, we determine the maximum value of Kirchhoff index among the unicyclic graphs with fixed number of vertices and maximum degree, and characterize the corresponding extremal graph.
Graphs that are simultaneously efficient open domination and efficient closed domination graphs
A graph is an efficient open (resp.\ closed) domination graph if there exists a subset of vertices whose open (resp.\ closed) neighborhoods partition its vertex set. Graphs that are efficient open as well as efficient closed (shortly EOCD graphs) are investigated. The structure of EOCD graphs with respect to their efficient open and efficient closed dominating sets is explained. It is shown that the decision problem regarding whether a graph is an EOCD graph is an NP-complete problem. A recursive description that constructs all EOCD trees is given and EOCD graphs are characterized among the Sierpiński graphs.
Uniform generation of random regular graphs
Published
• View Publication
• BIB
We develop a new approach for uniform generation of combinatorial objects, and apply it to derive a uniform sampler REG for d-regular graphs. REG can be implemented such that each graph is generated in expected time O(nd^3), provided that d=o(n^{1/2}). Our result significantly improves the previously best uniform sampler, which works efficiently only when d=O(n^{1/3}), with essentially the same running time for the same d. We also give a linear-time approximate sampler REG*, which generates a random d-regular graph whose distribution differs from the uniform by o(1) in total variation distance, when d=o(n^{1/2}).
Complete Kneser Transversals
Published in Advances in Applied Mathematics, Elsevier, 2016
• View Publication
• BIB
Let $k,d,λ\geqslant1$ be integers with $d\geqslantλ$. Let $m(k,d,λ)$ be the maximum positive integer $n$ such that every set of $n$ points (not necessarily in general position) in $\mathbb{R}^{d}$ has the property that the convex hulls of all $k$-sets have a common transversal $(d-λ)$-plane. It turns out that $m(k, d,λ)$ is strongly connected with other interesting problems, for instance, the chromatic number of Kneser hypergraphs and a discrete version of Rado's centerpoint theorem. In the same spirit, we introduce a natural discrete version $m^*$ of $m$ by considering the existence of complete Kneser transversals. We study the relation between them and give a number of lower and upper bounds of $m^*$ as well as the exact value in some cases. The main ingredient for the proofs are Radon's partition theorem as well as oriented matroids tools. By studying the alternating oriented matroid we obtain the asymptotic behavior of the function $m^*$ for the family of cyclic polytopes.
A counterexample to a result on the tree graph of a graph
Published in Australasian Journal of Combinatorics 63(3) (2015), 368 - 373
• Search Publication
Given a set of cycles C of a graph G, the tree graph of G defined by C is the graph T(G,C) whose vertices are the spanning trees of G and in which two trees R and S are adjacent if the union of R and S contains exactly one cycle and this cycle lies in C. Li et al [Discrete Math 271 (2003), 303--310] proved that if the graph T(G,C) is connected, then C cyclically spans the cycle space of G. Later, Yumei Hu [Proceedings of the 6th International Conference on Wireless Communications Networking and Mobile Computing (2010), 1--3] proved that if C is an arboreal family of cycles of G which cyclically spans the cycle space of a $2$-connected graph G, then T(G, C) is connected. In this note we present an infinite family of counterexamples to Hu's result.
Exponential Domination in Subcubic Graphs
Published
• View Publication
• BIB
As a natural variant of domination in graphs, Dankelmann et al. [Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883] introduce exponential domination, where vertices are considered to have some dominating power that decreases exponentially with the distance, and the dominated vertices have to accumulate a sufficient amount of this power emanating from the dominating vertices. More precisely, if $S$ is a set of vertices of a graph $G$, then $S$ is an exponential dominating set of $G$ if $\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u\in V(G)\setminus S$ and $v\in S$ in the graph $G-(S\setminus \{ v\})$. The exponential domination number $γ_e(G)$ of $G$ is the minimum order of an exponential dominating set of $G$.
In the present paper we study exponential domination in subcubic graphs. Our results are as follows: If $G$ is a connected subcubic graph of order $n(G)$, then $$\frac{n(G)}{6\log_2(n(G)+2)+4}\leq γ_e(G)\leq \frac{1}{3}(n(G)+2).$$ For every $ε>0$, there is some $g$ such that $γ_e(G)\leq εn(G)$ for every cubic graph $G$ of girth at least $g$. For every $0<α<\frac{2}{3\ln(2)}$, there are infinitely many cubic graphs $G$ with $γ_e(G)\leq \frac{3n(G)}{\ln(n(G))^α}$. If $T$ is a subcubic tree, then $γ_e(T)\geq \frac{1}{6}(n(T)+2).$ For a given subcubic tree, $γ_e(T)$ can be determined in polynomial time. The minimum exponential dominating set problem is APX-hard for subcubic graphs.
Improved bounds on the peak sidelobe level of binary sequences
Published
• View Publication
• BIB
Schmidt proved in 2014 that if $\varepsilon>0$, almost all binary sequences of length $n$ have peak sidelobe level between $(\sqrt{2}-\varepsilon)\sqrt{n\log n}$ and $(\sqrt{2}+\varepsilon)\sqrt{n\log n}$. Because of the small gap between his upper and lower bounds, it is difficult to find improved upper bounds that hold for almost all binary sequences. In this note, we prove that if $\varepsilon>0$, then almost all binary sequences of length $n$ have peak sidelobe level at most $\sqrt{2n(\log n-(1-\varepsilon)\log\log n)}$, and we provide a slightly better upper bound that holds for a positive proportion of binary sequences of length $n$.
Unit Interval Orders and the Dot Action on the Cohomology of Regular Semisimple Hessenberg Varieties
Published
• View Publication
• BIB
Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to $ωX_G(t)$, where $X_G(t)$ is the chromatic quasisymmetric function of the incomparability graph $G$ of the corresponding natural unit interval order, and $ω$ is the usual involution on symmetric functions. We prove the Shareshian--Wachs conjecture. Our proof uses the local invariant cycle theorem of Beilinson-Bernstein-Deligne to obtain a surjection from the cohomology of a regular Hessenberg variety of Jordan type $λ$ to a space of local invariant cycles; as $λ$ ranges over all partitions, these spaces collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. Using a palindromicity argument, we show that in our case the surjections are actually isomorphisms, thus reducing the Shareshian-Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko; we give a bijective proof (using a generalization of a combinatorial reciprocity theorem of Chow) that Tymoczko's combinatorial description coincides with the combinatorics of the chromatic quasisymmetric function.
On the Stabilizer of Weight Enumerators of Linear Codes
This paper investigates the relation between linear codes and the stabilizer in ${\rm GL}_2(\mathbb{C})$ of their weight enumerators. We prove a result on the finiteness of stabilizers and give a complete classification of linear codes with infinite stabilizer in the non-binary case. We present an efficient algorithm to compute explicitly the stabilizer of weight enumerators and we apply it to the family of Reed-Muller codes to show that some of their weight enumerators have trivial stabilizer.
A homology valued invariant for trivalent fatgraph spines
Published in Algebr. Geom. Topol. 17 (2017) 1785-1811
• View Publication
• BIB
We introduce an invariant for trivalent fatgraph spines of a once bordered surface, which takes values in the first homology of the surface. This invariant is the secondary object coming from two 1-cocycles on the dual fatgraph complex, one introduced by Morita and Penner in 2008, and the other by Penner, Turaev, and the author in 2013. We present an explicit formula for this invariant and investigate its properties. We also show that the mod 2 reduction of the invariant is the difference of naturally defined two spin structures on the surface.
Effective Invariant Theory of Permutation Groups using Representation Theory
Published in Volume 9270 of the series Lecture Notes in Computer Science pp 58-69, 2015
• View Publication
• BIB
Using the theory of representations of the symmetric group, we propose an algorithm to compute the invariant ring of a permutation group. Our approach have the goal to reduce the amount of linear algebra computations and exploit a thinner combinatorial description of the invariant ring.
Oriented Threshold Graphs
Published in Australasian Journal of Combinatorics, Volume 71 part 1, 2018, pg 43-53
• Search Publication
Threshold graphs are a prevalent and widely studied class of simple graphs. They have several equivalent definitions which makes them a go-to class for finding examples and counter examples when testing and learning. This versatility has led to many results about threshold graphs and similar structures. We look to generalize this class of graphs to oriented graphs (directed simple graphs.) We give generalizations to four of the most versatile definitions and show their equivalence in the oriented case. We finish with a proof enumerating the number of these oriented threshold graphs which relates to the Fibonacci numbers.
Color-line and Proper Color-line Graphs
Published
• View Publication
• BIB
Motivated by investigations of rainbow matchings in edge colored graphs, we introduce the notion of color-line graphs that generalizes the classical concept of line graphs in a natural way. Let $H$ be a (properly) edge-colored graph. The (proper) color-line graph $C\!L(H)$ of $H$ has edges of $H$ as vertices, and two edges of $H$ are adjacent in $C\!L(H)$ if they are incident in $H$ or have the same color. We give Krausz-type characterizations for (proper) color-line graphs, and point out that, for any fixed $k\ge 2$, recognizing if a graph is the color-line graph of some graph $H$ in which the edges are colored with at most $k$ colors is NP-complete. In contrast, we show that, for any fixed $k$, recognizing color-line graphs of properly edge colored graphs $H$ with at most $k$ colors is polynomially. Moreover, we give a good characterization for proper $2$-color line graphs that yields a linear time recognition algorithm in this case.