Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Cluster Variables and Perfect Matchings of Subgraphs of the $dP_3$ Lattice
We give a combinatorial intepretation of cluster variables of a specific cluster algebra under a mutation sequence of period 6, in terms of perfect matchings of subgraphs of the brane tiling dual to the quiver associated with the cluster algebra.
Hardness result for the total rainbow $k$-connection of graphs
Published
• View Publication
• BIB
A path in a total-colored graph is called \emph{total rainbow} if its edges and internal vertices have distinct colors. For an $\ell$-connected graph $G$ and an integer $k$ with $1\leq k \leq\ell$, the \emph{total rainbow $k$-connection number} of $G$, denoted by $trc_k(G)$, is the minimum number of colors used in a total coloring of $G$ to make $G$ \emph{total rainbow $k$-connected}, that is, any two vertices of $G$ are connected by $k$ internally vertex-disjoint total rainbow paths. In this paper, we study the computational complexity of total rainbow $k$-connection number of graphs. We show that it is NP-complete to decide whether $trc_k(G)=3$.
Bounds of distance Estrada index of graphs
Published in Ars Combinatoria, 2016, vol. 128, pp. 287-294
• View Publication
• BIB
Let $λ_1,λ_2,\cdots,λ_n$ be the eigenvalues of the distance matrix of a connected graph $G$. The distance Estrada index of $G$ is defined as $DEE(G)=\sum_{i=1}^ne^{λ_i}$. In this note, we present new lower and upper bounds for $DEE(G)$. In addition, a Nordhaus-Gaddum type inequality for $DEE(G)$ is given.
Counting sub-multisets of fixed cardinality
This report presents an expression for the number of a multiset's sub-multisets of a given cardinality as a function of the multiplicity of its elements. This is also the number of distinct samples of a given size that may be produced by sampling without replacement from a finite population partitioned into subsets, in the case where items belonging to the same subset are considered indistinguishable. Despite the generality of this problem, we have been unable to find this result published elsewhere.
A Hopf algebraic approach to Schur function identities
Published
• View Publication
• BIB
Using cocommutativity of the Hopf algebra of symmetric functions, certain skew Schur functions are proved to be equal. Some of these skew Schur function identities are new.
Characterizing graphs of maximum principal ratio
Published
• View Publication
• BIB
The principal ratio of a connected graph, denoted $γ(G)$, is the ratio of the maximum and minimum entries of its first eigenvector. Cioabă and Gregory conjectured that the graph on $n$ vertices maximizing $γ(G)$ is a kite graph: a complete graph with a pendant path. In this paper we prove their conjecture.
Preimages under the Stack-Sorting Algorithm
Published in Graphs Combin., 33 (2017), 103-122
• View Publication
• BIB
We use a method for determining the number of preimages of any permutation under the stack-sorting map in order to obtain recursive upper bounds for the numbers $W_t(n)$ and $W_t(n,k)$ of $t$-stack sortable permutations of length $n$ and $t$-stack sortable permutations of length $n$ with exactly $k$ descents. From these bounds, we are able to significantly improve the best known upper bounds for $\displaystyle{\lim_{n\to\infty}\sqrt[n]{W_t(n)}}$ when $t=3$ and $t=4$.
Continued Classification of 3D Lattice Walks in the Positive Octant
Published
• View Publication
• BIB
We continue the investigations of lattice walks in the three dimensional lattice restricted to the positive octant. We separate models which clearly have a D-finite generating function from models for which there is no reason to expect that their generating function is D-finite, and we isolate a small set of models whose nature remains unclear and requires further investigation. For these, we give some experimental results about their asymptotic behaviour, based on the inspection of a large number of initial terms. At least for some of them, the guessed asymptotic form seems to tip the balance towards non-D-finiteness.
Uniqueness of the extreme cases in theorems of Drisko and Erdős-Ginzburg-Ziv
Published
• View Publication
• BIB
Drisko \cite{drisko} proved (essentially) that every family of $2n-1$ matchings of size $n$ in a bipartite graph possesses a partial rainbow matching of size $n$. In \cite{bgs} this was generalized as follows: Any $\lfloor \frac{k+2}{k+1} n \rfloor -(k+1)$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n-k$. We extend this latter result to matchings of not necessarily equal cardinalities.
Settling a conjecture of Drisko, we characterize those families of $2n-2$ matchings of size $n$ in a bipartite graph that do not possess a rainbow matching of size $n$. Combining this with an idea of Alon \cite{alon}, we re-prove a characterization of the extreme case in a well-known theorem of Erdős-Ginzburg-Ziv in additive number theory.
The Hopf Algebra of graph invariants
We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences of subgraphs. We establish a criterion for the isomorphism test of two simple graphs by means of occurrence counting of subgraphs. This criterion is deduced from algebraic relations between elements of our algebra.
Trees with small b-chromatic index
In a recent article [5], the authors claim that the distance between the b-chromatic index of a tree and a known upper bound is at most 1. At the same time, in [7] the authors claim to be able to construct a tree where this difference is bigger than 1. However, the given example was disconnected, i.e., actually consisted of a forest. Here, we slightly modify their construction in order to produce trees, thus getting that indeed the difference between the b-chromatic index of trees and the known upper bound can be arbitrarily large. We also point out the mistake made in [5].
Matrix-Ball Construction of affine Robinson-Schensted correspondence
Published
• View Publication
• BIB
In his study of Kazhdan-Lusztig cells in affine type $A$, Shi has introduced an affine analog of Robinson-Schensted correspondence. We generalize the Matrix-Ball Construction of Viennot and Fulton to give a more combinatorial realization of Shi's algorithm. As a biproduct, we also give a way to realize the affine correspondence via the usual Robinson-Schensted bumping algorithm. Next, inspired by Lusztig and Xi, we extend the algorithm to a bijection between extended affine symmetric group and triples $(P, Q, ρ)$ where $P$ and $Q$ are tabloids and $ρ$ is a dominant weight. The weights $ρ$ get a natural interpretation in terms of the Affine Matrix-Ball Construction. Finally, we prove that fibers of the inverse map possess a Weyl group symmetry, explaining the dominance condition on weights.
Avoiding two consecutive blocks of same size and same sum over $\mathbb{Z}^2$
Published
• View Publication
• BIB
A long standing question asks whether $\mathbb{Z}$ is uniformly 2-repetitive [Justin 1972, Pirillo and Varricchio, 1994], that is, whether there is an infinite sequence over a finite subset of $\mathbb{Z}$ avoiding two consecutive blocks of same size and same sum or not. Cassaigne \emph{et al.} [2014] showed that $\mathbb{Z}$ is not uniformly 3-repetitive. We show that $\mathbb{Z}^2$ is not uniformly 2-repetitive. Moreover, this problem is related to a question from Mäkelä in combinatorics on words and we answer to a weak version of it.
Infinite excursions of rotor walks on regular trees
Published in The Electronic Journal of Combinatorics, Volume 24, Issue 2 (2017), Paper #P2.18
• Search Publication
A rotor configuration on a graph contains in every vertex an infinite ordered sequence of rotors, each is pointing to a neighbor of the vertex. After sampling a configuration according to some probability measure, a rotor walk is a deterministic process: at each step it chooses the next unused rotor in its current location, and uses it to jump to the neighboring vertex to which it points.
Rotor walks capture many aspects of the expected behavior of simple random walks. However, this similarity breaks down for the property of having an infinite excursion. In this paper we study that question for natural random configuration models on regular trees. Our results suggest that in this context the rotor model behaves like the simple random walk unless it is not "close to" the standard rotor-router model.
The enumeration of generalized Tamari intervals
Published in European J. Combin. 61C (2017) 69-84
• View Publication
• BIB
Let $v$ be a grid path made of north and east steps. The lattice $\rm{T{\scriptsize AM}}(v)$, based on all grid paths weakly above $v$ and sharing the same endpoints as $v$, was introduced by Préville-Ratelle and Viennot (2014) and corresponds to the usual Tamari lattice in the case $v=(NE)^n$. Our main contribution is that the enumeration of intervals in $\rm{T{\scriptsize AM}}(v)$, over all $v$ of length $n$, is given by $\frac{2 (3n+3)!}{(n+2)! (2n+3)!}$. This formula was first obtained by Tutte(1963) for the enumeration of non-separable planar maps. Moreover, we give an explicit bijection from these intervals in $\rm{T{\scriptsize AM}}(v)$ to non-separable planar maps.
Weighted multiple ergodic averages and correlation sequences
Published
• View Publication
• BIB
We study mean convergence results for weighted multiple ergodic averages defined by commuting transformations with iterates given by integer polynomials in several variables. Roughly speaking, we prove that a bounded sequence is a good universal weight for mean convergence of such averages if and only if the averages of this sequence times any nilsequence converge. Key role in the proof play two decomposition results of independent interest. The first states that every bounded sequence in several variables satisfying some regularity conditions is a sum of a nilsequence and a sequence that has small uniformity norm (this generalizes a result of the second author and B. Kra); and the second states that every multiple correlation sequence in several variables is a sum of a nilsequence and a sequence that is small in uniform density (this generalizes a result of the first author). Furthermore, we use the previous results in order to establish mean convergence and recurrence results for a variety of sequences of dynamical and arithmetic origin and give some combinatorial implications.
Infinite irredundant equational axiomatisability for a finite monoid
It is shown that a finite monoid can have an infinite irredundant basis of equations.
A Roth type theorem for dense subsets of $\mathbb{R}^d$
Published
• View Publication
• BIB
Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such that $\{x,x+y,x+2y\}\subs A$ and $|y|_p=\la$, where $||y||_p=(\sum_i |y_i|^p)^{1/p}$ is the $l^p(\mathbb R^d)$-norm of a point $y=(y_1,\ldots,y_d)\in\R^d$. This means that dense subsets of $\R^d$ contain 3-term progressions of all sufficiently large gaps when the gap size is measured in the $l^p$-metric. This statement is known to be false in the Euclidean $l^2$-metric as well as in the $l^1$ and $\ell^{\infty}$-metrics. One of the goals of this note is to understand this phenomenon. A distinctive feature of the proof is the use of multilinear singular integral operators, widely studied in classical time-frequency analysis, in the estimation of forms counting configurations.
Bounds on the Burning Number
Published
• View Publication
• BIB
Motivated by a graph theoretic process intended to measure the speed of the spread of contagion in a graph, Bonato, Janssen, and Roshanbin [Burning a Graph as a Model of Social Contagion, Lecture Notes in Computer Science 8882 (2014) 13-22] define the burning number $b(G)$ of a graph $G$ as the smallest integer $k$ for which there are vertices $x_1,\ldots,x_k$ such that for every vertex $u$ of $G$, there is some $i\in \{ 1,\ldots,k\}$ with ${\rm dist}_G(u,x_i)\leq k-i$, and ${\rm dist}_G(x_i,x_j)\geq j-i$ for every $i,j\in \{ 1,\ldots,k\}$.
For a connected graph $G$ of order $n$, they prove that $b(G)\leq 2\left\lceil\sqrt{n}\right\rceil-1$, and conjecture $b(G)\leq \left\lceil\sqrt{n}\right\rceil$. We show that $b(G)\leq \sqrt{\frac{32}{19}\cdot \frac{n}{1-ε}}+\sqrt{\frac{27}{19ε}}$ and $b(G)\leq \sqrt{\frac{12n}{7}}+3\approx 1.309 \sqrt{n}+3$ for every connected graph $G$ of order $n$ and every $0<ε<1$. For a tree $T$ of order $n$ with $n_2$ vertices of degree $2$, and $n_{\geq 3}$ vertices of degree at least $3$, we show $b(T)\leq \left\lceil\sqrt{(n+n_2)+\frac{1}{4}}+\frac{1}{2}\right\rceil$ and $b(T)\leq \left\lceil\sqrt{n}\right\rceil+n_{\geq 3}$. Furthermore, we characterize the binary trees of depth $r$ that have burning number $r+1$.
Light tails and the Hermitian dual polar graphs
Published
• View Publication
• BIB
Juriśič et al. conjectured that if a distance-regular graph $Γ$ with diameter $D$ at least three has a light tail, then one of the following holds:
1.$a_1 =0$;
2.$Γ$ is an antipodal cover of diameter three;
3.$Γ$ is tight;
4.$Γ$ is the halved $2D+1$-cube;
5.$Γ$ is a Hermitian dual polar graph $^2A_{2D-1}(r)$ where $r$ is a prime power.
In this note, we will consider the case when the light tail corresponds to the eigenvalue $-\frac{k}{a_1 +1}$. Our main result is:
Theorem Let $Γ$ be a non-bipartite distance-regular graph with valency $k \geq 3$ , diameter $D \geq 3$ and distinct eigenvalues $θ_0 > θ_1 > \cdots > θ_D$. Suppose that $Γ$ is $2$-bounded with smallest eigenvalue $θ_D = -\frac{k}{a_1 +1}$. If the minimal idempotent $E_D$, corresponding to eigenvalue $θ_D$, is a light tail, then $Γ$ is the dual polar graph $^2A_{2D-1}(r)$, where $r$ is a prime power.
As a consequence of this result we will also show:
Theorem Let $Γ$ be a distance-regular graph with valency $k \geq 3$, diameter $D \geq 2$, $a_1 =1$ and $θ_0 > θ_1 > \cdots > θ_D$. If $c_2 \geq5$ and $θ_D = -k/2$, then $c_2 =5$ and $Γ$ is the dual polar graph $^2A_{2D-1}(2)$.