Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Recurrent Rotor-Router Configurations
Published
• View Publication
• BIB
We prove the existence of recurrent initial configurations for the rotor walk on many graphs, including Z^d, and planar graphs with locally finite embeddings. We also prove that recurrence and transience of rotor walks are invariant under changes in the starting vertex and finite changes in the initial configuration.
Plünnecke's Inequality
Published in Combin. Probab. Comput. 20 (6), 2011, 921-938
• View Publication
• BIB
Plunnecke's inequality is the standard tool to obtain estimates on the cardinality of sumsets and has many applications in additive combinatorics. We present a new proof. The main novelty is that the proof is completed with no reference to Menger's theorem or Cartesian products of graphs. We also investigate the sharpness of the inequality and show that it can be sharp for arbitrarily long, but not for infinite commutative graphs. A key step in our investigation is the construction of arbitrarily long regular commutative graphs. Lastly we prove a necessary condition for the inequality to be attained.
Minimal weight in union-closed families
Published in Electronic Journal of Combinatorics, 18 (2011), P95
• View Publication
• BIB
Let Omega be a finite set and let S be a set system on Omega. For x in Omega, we denote by d_{S}(x) the number of members of S containing x. A long-standing conjecture of Frankl states that if S is union-closed then d(x) \geq |S|/2 for some x in Omega. We consider a related question. Define the weight of S to be w(S)= \sum_{A in S} |A|. Suppose S is union-closed. How small can w(S) be? Reimer showed that w(S) \geq |S| \log_{2} |S| /2, and that this inequality is sharp. In this paper we show how his bound may be improved if we have some additional information about the domain Omega of S: if S separates the points of Omega, then w(S) \geq \binom{|Ω|}{2}. This is stronger than Reimer's Theorem when Omega > \sqrt{|S|\log_2 |S|}. In addition we construct a family of examples showing the combined bound on w(S) is tight except in the region |Ω|=Θ(\sqrt{|S|\log_2 |S|}), where it may be off by a multiplicative factor of 2. Our proof also gives a lower bound on the average degree: if S is a point-separating union-closed family, then the average degree over its domain is at least 1/2 \sqrt{|S| \log_2 |S|}+ O(1), and this is best possible except for a multiplicative factor of 2.
Riordan arrays and the LDU decomposition of symmetric Toeplitz plus Hankel matrices
Published
• View Publication
• BIB
We examine a result of Basor and Ehrhardt concerning Hankel and Toeplitz plus Hankel matrices, within the context of the Riordan group of lower-triangular matrices. This allows us to determine the LDU decomposition of certain symmetric Toeplitz plus Hankel matrices. We also determine the generating functions and Hankel transforms of associated sequences.
Small components in k-nearest neighbour graphs
Published
• View Publication
• BIB
Let $G=G_{n,k}$ denote the graph formed by placing points in a square of area $n$ according to a Poisson process of density 1 and joining each point to its $k$ nearest neighbours. Balister, Bollobás, Sarkar and Walters proved that if $k<0.3043\log n$ then the probability that $G$ is connected tends to 0, whereas if $k>0.5139\log n$ then the probability that $G$ is connected tends to 1.
We prove that, around the threshold for connectivity, all vertices near the boundary of the square are part of the (unique) giant component. This shows that arguments about the connectivity of $G$ do not need to consider `boundary' effects.
We also improve the upper bound for the threshold for connectivity of $G$ to $k=0.4125\log n$.
Minimum degree condition forcing complete graph immersion
Published
• View Publication
• BIB
An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant.
For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.
Quantum tunneling on graphs
Published
• View Publication
• BIB
We explore the tunneling behavior of a quantum particle on a finite graph, in the presence of an asymptotically large potential. Surprisingly the behavior is governed by the local symmetry of the graph around the wells.
Nontrivial independent sets of bipartite graphs and cross-intersecting families
Published
• View Publication
• BIB
Let $G(X,Y)$ be a connected, non-complete bipartite graph with $|X|\leq |Y|$. An independent set $A$ of $G(X,Y)$ is said to be trivial if $A\subseteq X$ or $A\subseteq Y$. Otherwise, $A$ is nontrivial. By $α(X,Y)$ we denote the size of maximal-sized nontrivial independent sets of $G(X,Y)$. We prove that if the automorphism group of $G(X,Y)$ is transitive on $X$ and $Y$, then $α(X,Y)=|Y|-d(X)+1$, where $d(X)$ is the common degree of vertices in $X$. We also give the structures of maximal-sized nontrivial independent sets of $G(X,Y)$. As applications of this result, we give the upper bound of sizes of two cross-$t$-intersecting families of finite sets, finite vector spaces and permutations.
The classification of finite and locally finite connected-homogeneous digraphs
Published
• View Publication
• BIB
We classify the finite connected-homogeneous digraphs, as well as the infinite such digraphs with precisely one end. This completes the classification of all the locally finite connected-homogeneous digraphs.
Minimal Connectivity
A k-connected graph such that deleting any edge / deleting any vertex / contracting any edge results in a graph which is not k-connected is called minimally / critically / contraction-critically k-connected. These three classes play a prominent role in graph connectivity theory, and we give a brief introduction with a light emphasis on reduction- and construction theorems for classes of k-connected graphs.
Tight Hamilton Cycles in Random Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper we show that $e/n$ is the sharp threshold for the existence of tight Hamilton cycles in random $k$-uniform hypergraphs, for all $k\ge 4$. When $k=3$ we show that $1/n$ is an asymptotic threshold. We also determine thresholds for the existence of other types of Hamilton cycles.
Geodesics in CAT(0) Cubical Complexes
Published
• View Publication
• BIB
We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature and posets with inconsistent pairs. This correspondence also gives an explicit realization of such a complex as the state complex of a reconfigurable system, and a way to embed any interval in the integer lattice cubing of its dimension.
Cohomology of Coxeter arrangements and Solomon's descent algebra
Published
• View Publication
• BIB
We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of element centralizers, one for each conjugacy class of elements of $W$. We give a uniform proof of the claim for symmetric groups. In addition, we prove that a relative version of the conjecture holds for every pair $(W, W_L)$, where $W$ is arbitrary and $W_L$ is a parabolic subgroup of $W$ all of whose irreducible factors are of type $A$.
The Length of a Minimal Tree With a Given Topology: generalization of Maxwell Formula
Published in Moscow University Mathematics Bulletin, 2010, Volume 65, Number 3, 100-106
• View Publication
• BIB
The classic Maxwell formula calculates the length of a planar locally minimal binary tree in terms of coordinates of its boundary vertices and directions of incoming edges. However, if an extreme tree with a given topology and a boundary has degenerate edges, then the classic Maxwell formula cannot be applied directly, to calculate the length of the extreme tree in this case it is necessary to know which edges are degenerate. In this paper we generalize the Maxwell formula to arbitrary extreme trees in a Euclidean space of arbitrary dimension. Now to calculate the length of such a tree, there is no need to know either what edges are degenerate, or the directions of nondegenerate boundary edges. The answer is the maximum of some special linear function on the corresponding compact convex subset of the Euclidean space coinciding with the intersection of some cylinders.
Combinatorics of $B$-orbits and Bruhat--Chevalley order on involutions
Published in Transformation Groups 17 (2012), no.3, 747-780
• View Publication
• BIB
Let $B$ be the group of invertible upper-triangular complex $n\times n$ matrices, $\mathfrak{u}$ the space of upper-triangular complex matrices with zeroes on the diagonal and $\mathfrak{u}^*$ its dual space. The group $B$ acts on $\mathfrak{u}^*$ by $(g.f)(x)=f(gxg^{-1})$, $g\in B$, $f\in\mathfrak{u}^*$, $x\in\mathfrak{u}$.
To each involution $σ$ in $S_n$, the symmetric group on $n$ letters, one can assign the $B$-orbit $Ω_σ\in\mathfrak{u}^*$. We present a combinatorial description of the partial order on the set of involutions induced by the orbit closures. The answer is given in terms of rook placements and is dual to A. Melnikov's results on $B$-orbits on $\mathfrak{u}$.
Using results of F. Incitti, we also prove that this partial order coincides with the restriction of the Bruhat--Chevalley order to the set of involutions.
F-ideals of degree 2
Published in Algebra Colloquium, 19 (Spec 1) (2012) 921-926
• View Publication
• BIB
In this paper, we introduce the concept of f-ideals and discuss its algebraic properties. In particular, we give the characterization of all the f-ideals of degree 2.
Inclusion Ideals Associated to Uniformly Increasing Hypergraphs
Published in Studia Scientiarum Mathematicarum Hungarica 50 (2), 199-206 (2013)
• View Publication
• BIB
In this paper,we introduce the monomial ideals I(H) associated to a special class of non uniform hypergraphs H(X; E; d) namely uniformly increasing hypergraphs. These ideals are named as inclusion ideals. In this paper, we discuss some algebraic properties of these inclusion ideals. In particular, we give an upper bound of the Castlenouvo-Mumford regularity of the special dual ideal I^[*](H) of the inclusion ideal.
Connectedness of fractals associated with Arnoux-Rauzy substitutions
Published in RAIRO-Theor. Inf. Appl. 48 (2014) 249-266
• View Publication
• BIB
Rauzy fractals are compact sets with fractal boundary that can be associated with any unimodular Pisot irreducible substitution. These fractals can be defined as the Hausdorff limit of a sequence of compact sets, where each set is a renormalized projection of a finite union of faces of unit cubes. We exploit this combinatorial definition to prove the connectedness of the Rauzy fractal associated with any finite product of three-letter Arnoux-Rauzy substitutions.
Degenerate flag varieties and the median Genocchi numbers
Published
• View Publication
• BIB
We study the $\bG_a^M$ degenerations $\Fl^a_\la$ of the type $A$ flag varieties $\Fl_\la$. We describe these degenerations explicitly as subvarieties in the products of Grassmanians. We construct cell decompositions of $\Fl^a_\la$ and show that for complete flags the number of cells is equal to the normalized median Genocchi numbers $h_n$. This leads to a new combinatorial definition of the numbers $h_n$. We also compute the Poincar\' e polynomials of the complete degenerate flag varieties via a natural statistics on the set of Dellac's configurations, similar to the length statistics on the set of permutations. We thus obtain a natural $q$-version of the normalized median Genocchi numbers.
On sums of Apéry polynomials and related congruences
Published in J. Number Theory 132(2012), 2673-2699
• View Publication
• BIB
The Apéry polynomials are given by $$A_n(x)=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2x^k\ \ (n=0,1,2,\ldots).$$ (Those $A_n=A_n(1)$ are Apéry numbers.) Let $p$ be an odd prime. We show that $$\sum_{k=0}^{p-1}(-1)^kA_k(x)\equiv\sum_{k=0}^{p-1}\frac{\binom{2k}k^3}{16^k}x^k\pmod{p^2},$$ and that $$\sum_{k=0}^{p-1}A_k(x)\equiv\left(\frac xp\right)\sum_{k=0}^{p-1}\frac{\binom{4k}{k,k,k,k}}{(256x)^k}\pmod{p}$$ for any $p$-adic integer $x\not\equiv 0\pmod p$. This enables us to determine explicitly $\sum_{k=0}^{p-1}(\pm1)^kA_k$ mod $p$, and $\sum_{k=0}^{p-1}(-1)^kA_k$ mod $p^2$ in the case $p\equiv 2\pmod3$. Another consequence states that $$\sum_{k=0}^{p-1}(-1)^kA_k(-2)\equiv\begin{cases}4x^2-2p\pmod{p^2}&\mbox{if}\ p=x^2+4y^2\ (x,y\in\mathbb Z),\\0\pmod{p^2}&\mbox{if}\ p\equiv3\pmod4.\end{cases}$$ We also prove that for any prime $p>3$ we have $$\sum_{k=0}^{p-1}(2k+1)A_k\equiv p+\frac 76p^4B_{p-3}\pmod{p^5}$$ where $B_0,B_1,B_2,\ldots$ are Bernoulli numbers.