Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On rotarily transitive graphs
From the point of view of discrete geometry, the class of locally finite transitive graphs is a wide and important one. The subclass of Cayley graphs is of particular interest, as testifies the development of geometric group theory. Recall that Cayley graphs can be defined as non-empty locally finite connected graphs endowed with a transitive group action such that any non-identity element acts without fixed point.
We define a class of transitive graphs which are transitive in an "absolutely non-Cayley way": we consider graphs endowed with a transitive group action such that any element of the group acts with a fixed point. We call such graphs "rotarily transitive graphs", and we show that, even though there is no finite rotarily transitive graph with at least 2 vertices, there is an infinite locally finite connected rotarily transitive graph. The proof is based on groups built by Ivanov which are finitely generated, of finite exponent and have a small number of conjugacy classes.
We also build infinite transitive graphs (which are not locally finite) any automorphism of which has a fixed point. This is done by considering "unit distance graphs" associated with the projective plane over suitable subfields of the real numbers.
Computing the n-th coefficient of an algebraic power series modulo p in O(log n) operations
This is an exposition, for pedagogical purposes, of the formal power series proof of Bostan, Christol and Dumas [3] of the result stated in the title (a corollary of the Christol theorem).
The Asymptotic Number of Simple Singular Vector Tuples of a Cubical Tensor
Published
• View Publication
• BIB
S. Ekhad and D. Zeilberger recently proved that the multivariate generating function for the number of simple singular vector tuples of a generic $m_1 \times \cdots \times m_d$ tensor has an elegant rational form involving elementary symmetric functions, and provided a partial conjecture for the asymptotic behavior of the cubical case $m_1 = \cdots = m_d$. We prove this conjecture and further identify completely the dominant asymptotic term, including the multiplicative constant. Finally, we use the method of differential approximants to conjecture that the subdominant connective constant effect observed by Ekhad and Zeilberger for a particular case in fact occurs more generally.
Perfect Matchings in Inhomogeneous Random Bipartite Graphs in Random Environment
Published
• View Publication
• BIB
In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast.
Displaying tangles and non-sequential separations
We show that, for any graph or matroid, there is a tree that simultaneously distinguishes its maximal tangles, and, for each maximal tangle $\mathcal{T}$ that satisfies an additional robustness condition, displays all of the non-trivial separations relative to $\mathcal{T}$, up to a natural equivalence.
An Involution on Involutions and a Generalization of Layered Permutations
Taking transposes of Standard Young Tableaux defines a natural involution on the set $I(n)$ of involutions of length $n$ via the the Robinson-Schensted correspondence. In some cases, this involution can be defined without resorting to the Robinson-Schensted correspondence. As a byproduct, we get an interesting generalization of layered permutations.
Avoiding rainbow induced subgraphs in vertex-colorings
Published in Electron. J. Combin. 15(1) (2008), Research Paper 12, 23pp
• View Publication
• BIB
For a fixed graph $H$ on $k$ vertices, and a graph $G$ on at least $k$ vertices, we write $G\rightarrow H$ if in any vertex-coloring of $G$ with $k$ colors, there is an induced subgraph isomorphic to $H$ whose vertices have distinct colors. In other words, if $G\rightarrow H$ then a totally multicolored induced copy of $H$ is unavoidable in any vertex-coloring of $G$ with $k$ colors. In this paper, we show that, with a few notable exceptions, for any graph $H$ on $k$ vertices and for any graph $G$ which is not isomorphic to $H$, $G\not\!\rightarrow H$. We explicitly describe all exceptional cases. This determines the induced vertex-anti-Ramsey number for all graphs and shows that totally multicolored induced subgraphs are, in most cases, easily avoidable.
The ABC's of affine Grassmannians and Hall-Littlewood polynomials
Published in DMTCS proc. AR, 2012, 945-956
• View Publication
• BIB
We give a new description of the Pieri rule for k-Schur functions using the Bruhat order on the affine type-A Weyl group. In doing so, we prove a new combinatorial formula for representatives of the Schubert classes for the cohomology of affine Grassmannians. We show how new combinatorics involved in our formulas gives the Kostka-Foulkes polynomials and discuss how this can be applied to study the transition matrices between Hall-Littlewood and k-Schur functions.
On regular graphs with four distinct eigenvalues
Published in Linear Algebra and Its Applications 512 (2017) 219-233
• View Publication
• BIB
Let $\mathcal{G}(4,2)$ be the set of connected regular graphs with four distinct eigenvalues in which exactly two eigenvalues are simple, $\mathcal{G}(4,2,-1)$ (resp. $\mathcal{G}(4,2,0)$) the set of graphs belonging to $\mathcal{G}(4,2)$ with $-1$ (resp. $0$) as an eigenvalue, and $\mathcal{G}(4,\geq -1)$ the set of connected regular graphs with four distinct eigenvalues and second least eigenvalue not less than $-1$. In this paper, we prove the non-existence of connected graphs having four distinct eigenvalues in which at least three eigenvalues are simple, and determine all the graphs in $\mathcal{G}(4,2,-1)$. As a by-product of this work, we characterize all the graphs belonging to $\mathcal{G}(4,\geq-1)$ and $\mathcal{G}(4,2,0)$, respectively, and show that all these graphs are determined by their spectra.
On the complexity of Chooser-Picker positional games
Published
• View Publication
• BIB
Two new versions of the so-called Maker-Breaker Positional Games are defined by József Beck in [{\em Combinatorica} {\bf 22}(2) (2002) 169--216]. He defines two players, Picker and Chooser. In each round, Picker takes a pair of elements not already selected and Chooser keeps one and returns the other to Picker. In the Picker-Chooser version Picker plays as Maker and Chooser plays as Breaker, while the roles are swapped in the Chooser-Picker version. The outcome of these games is sometimes very similar to that of the traditional Maker-Breaker games. Here we show that both Picker-Chooser and Chooser-Picker games are NP-hard, which gives support to the paradigm that the games behave similarly while being quite different in definition. We also investigate the pairing strategies for Maker-Breaker games, and apply these results to the game called "Snaky."
Strong Ramsey Games: Drawing on an infinite board
Published
• View Publication
• BIB
We consider the strong Ramsey-type game $\mathcal{R}^{(k)}(\mathcal{H}, \aleph_0)$, played on the edge set of the infinite complete $k$-uniform hypergraph $K^k_{\mathbb{N}}$. Two players, called FP (the first player) and SP (the second player), take turns claiming edges of $K^k_{\mathbb{N}}$ with the goal of building a copy of some finite predetermined $k$-uniform hypergraph $\mathcal{H}$. The first player to build a copy of $\mathcal{H}$ wins. If no player has a strategy to ensure his win in finitely many moves, then the game is declared a draw.
In this paper, we construct a $5$-uniform hypergraph $\mathcal{H}$ such that $\mathcal{R}^{(5)}(\mathcal{H}, \aleph_0)$ is a draw. This is in stark contrast to the corresponding finite game $\mathcal{R}^{(5)}(\mathcal{H}, n)$, played on the edge set of $K^5_n$. Indeed, using a classical game-theoretic argument known as \emph{strategy stealing} and a Ramsey-type argument, one can show that for every $k$-uniform hypergraph $\mathcal{G}$, there exists an integer $n_0$ such that FP has a winning strategy for $\mathcal{R}^{(k)}(\mathcal{G}, n)$ for every $n \geq n_0$.
On pattern avoiding indecomposable permutations
Comtet introduced the notion of indecomposable permutations in 1972. A permutation is indecomposable if and only if it has no proper prefix which is itself a permutation. Indecomposable permutations were studied in the literature in various contexts. In particular, this notion has been proven to be useful in obtaining non-trivial enumeration and equidistribution results on permutations.
In this paper, we give a complete classification of indecomposable permutations avoiding a classical pattern of length 3 or 4, and of indecomposable permutations avoiding a non-consecutive vincular pattern of length 3. Further, we provide a recursive formula for enumerating $12\cdots k$-avoiding indecomposable permutations for $k\geq 3$. Several of our results involve the descent statistic. We also provide a bijective proof of a fact relevant to our studies.
Asymptotic upper bounds on progression-free sets in $\mathbb{Z}_p^n$
We show that any subset of $\mathbb{Z}_p^n$ ($p$ an odd prime) without $3$-term arithmetic progression has size $O(p^{cn})$, where $c:=1-\frac{1}{18\log p}<1$. In particular, we find an upper bound of $O(2.84^n)$ on the maximum size of an affine cap in $GF(3)^n$.
Singularities in Negami's splitting formula for the Tutte polynomial
Published
• View Publication
• BIB
The n-sum graph Negami's splitting formula for the Tutte polynomial is not valid in the region $(x-1)(y-1)=q$ for $q=1,2,\ldots n-1$ with the additional region $y=1$ if $n>3$. This region corresponds to (up to prefactors and change of variables) the Ising model, the $q$-state Potts model, the number of spanning forest generator and particularizations of these. We show splitting formulas for these specializations.
Extreme Points of the Local Differential Privacy Polytope
Published
• View Publication
• BIB
We study the convex polytope of n x n stochastic matrices that define locally differentially private mechanisms. We first present invariance properties of the polytope and results reducing the number of constraints needed to define it. Our main results concern the extreme points of the polytope. In particular, we completely characterise these for matrices with 1, 2 or n non-zero columns.
Explorations in the theory of partition zeta functions
Published
• View Publication
• BIB
We introduce and survey results on two families of zeta functions connected to the multiplicative and additive theories of integer partitions. In the case of the multiplicative theory, we provide specialization formulas and results on the analytic continuations of these "partition zeta functions", find unusual formulas for the Riemann zeta function, prove identities for multiple zeta values, and see that some of the formulas allow for $p$-adic interpolation. The second family we study was anticipated by Manin and makes use of modular forms, functions which are intimately related to integer partitions by universal polynomial recurrence relations. We survey recent work on these zeta polynomials, including the proof of their Riemann Hypothesis.
Permutation groups arising from pattern involvement
Published in J. Algebraic Combin. (2019)
• View Publication
• BIB
For an arbitrary finite permutation group $G$, subgroup of the symmetric group $S_\ell$, we determine the permutations involving only members of $G$ as $\ell$-patterns, i.e., avoiding all patterns in the set $S_\ell \setminus G$. The set of all $n$-permutations with this property constitutes again a permutation group. We consequently refine and strengthen the classification of sets of permutations closed under pattern involvement and composition that is due to Atkinson and Beals.
Packing graphs of bounded codegree
Published
• View Publication
• BIB
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to pack if there exist injective mappings of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ_1(G)+1) (Δ_2(G)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additional assumption that $G_1$ or $G_2$ has bounded codegree. In particular, we prove for all $t \ge 2$ that, if $G_1$ contains no copy of the complete bipartite graph $K_{2,t}$ and $Δ_1 > 17 t \cdot Δ_2$, then $(Δ_1(G)+1) (Δ_2(G)+1) \le n+1$ implies that $G_1$ and $G_2$ pack. We also provide a mild improvement if moreover $G_2$ contains no copy of the complete tripartite graph $K_{1,1,s}$, $s\ge 1$.
Rhombic tilings and Bott-Samelson varieties
Published in Proc. Amer. Math. Soc. 146 (2018), no. 5, 1921-1935
• View Publication
• BIB
S.~Elnitsky (1997) gave an elegant bijection between rhombic tilings of $2n$-gons and commutation classes of reduced words in the symmetric group on $n$ letters. P.~Magyar (1998) found an important construction of the Bott-Samelson varieties introduced by H.C.~Hansen (1973) and M.~Demazure (1974). We explain a natural connection between S.~Elnitsky's and P.~Magyar's results. This suggests using tilings to encapsulate Bott-Samelson data (in type $A$). It also indicates a geometric perspective on S.~Elnitsky's combinatorics. We also extend this construction by assigning desingularizations to the zonotopal tilings considered by B.~Tenner (2006).
Degree conditions for matchability in $3$-partite hypergraphs
Published
• View Publication
• BIB
We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko \cite{drisko} (as generalized by the first two authors \cite{ab}), that every family of $2n-1$ matchings of size $n$ in a bipartite graph has a partial rainbow matching of size $n$. We show that milder restrictions on the sizes of the matchings suffice. Another result that is strengthened is a theorem of Cameron and Wanless \cite{CamWan}, that every Latin square has a diagonal (permutation submatrix) in which no symbol appears more than twice. We show that the same is true under the weaker condition that the square is row-Latin.