Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Markov Chains from Descent Operators on Combinatorial Hopf Algebras
We develop a general theory for Markov chains whose transition probabilities are the coefficients of descent operators on combinatorial Hopf algebras. These model the breaking-then-recombining of combinational objects. Examples include the various card-shuffles of Diaconis, Fill and Pitman, Fulman's restriction-then-induction chains on the representations of the symmetric group, and a plethora of new chains on trees, partitions and permutations. The eigenvalues of these chains can be calculated in a uniform manner using Hopf algebra structure theory, and there is a simple expression for their stationary distributions. For an important subclass of chains analogous to the top-to-random shuffle, we derive a full right eigenbasis, from which follow exact expressions for expectations of certain statistics of interest. This greatly generalises the coproduct-then-product chains previously studied in joint work with Persi Diaconis and Arun Ram.
Subalgebras of Solomon's descent algebra based on alternating runs
Published in Journal of Combinatorial Theory, Series A, 158(2018), 36-65
• View Publication
• BIB
The number of alternating runs is a natural permutation statistic. We show it can be used to define some commutative subalgebras of the symmetric group algebra, and more precisely of the descent algebra. The Eulerian peak algebras naturally appear as subalgebras of our run algebras. We also calculate the orthogonal idempotents for run algebras in terms of noncommutative symmetric functions.
$L^p$ Expander Graphs
Published in Israel Journal of Mathematics (2019)
• View Publication
• BIB
We discuss how graph expansion is related to the behavior of $L^{p}$-functions on the covering tree. We show that the non-trivial eigenvalues of the adjacency operator on aa $(q+1)$-regular graph are bounded by $q^{1/p}+q^{(p-1)/p}$ - the $L^{p}$-norm of the operator on the covering tree - if and only if properly averaged lifts of functions from the graph to the tree lie in $L^{p+ε}$ for every $ε>0$. We generalize the result to operators on edges and to bipartite graphs.
The work is based on a combinatorial interpretation of representation-theoretic ideas.
Minimal completely asymmetric (4; n)-regular matchstick graphs
A matchstick graph is a graph drawn with straight edges in the plane such that the edges have unit length, and non-adjacent edges do not intersect. We call a matchstick graph $(m;n)$-regular if every vertex has only degree $m$ or $n$. In this article we present the latest known $(4;n)$-regular matchstick graphs for $4\leq n\leq11$ with a minimum number of vertices and a completely asymmetric structure. We call a matchstick graph completely asymmetric, if the following conditions are complied. 1) The graph is rigid. 2) The graph has no point, rotational or mirror symmetry. 3) The graph has an asymmetric outer shape. 4) The graph can not be decomposed into rigid subgraphs and rearrange to a similar graph which contradicts to any of the other conditions.
Permutation Polynomials of the form ${\tt X}^r(a+{\tt X}^{2(q-1)})$ --- A Nonexistence Result
Let $f={\tt X}^r(a+{\tt X}^{2(q-1)})\in{\Bbb F}_{q^2}[{\tt X}]$, where $a\in{\Bbb F}_{q^2}^*$ and $r\ge 1$. The parameters $(q,r,a)$ for which $f$ is a permutation polynomial (PP) of ${\Bbb F}_{q^2}$ have been determined in the following cases: (i) $a^{q+1}=1$; (ii) $r=1$; (iii) $r=3$. These parameters together form three infinite families. For $r>3$ (there is a good reason not to consider $r=2$) and $a^{q+1}\ne 1$, computer search suggested that $f$ is not a PP of ${\Bbb F}_{q^2}$ when $q$ is not too small relative to $r$. In the present paper, we prove that this claim is true. In particular, for each $r>3$, there are only finitely many $(q,a)$, where $a^{q+1}\ne 1$, for which $f$ is a PP of ${\Bbb F}_{q^2}$.
Pursuit on a Graph under Partial Information from Sensors
Published
• View Publication
• BIB
We consider a class of pursuit-evasion problems where an evader enters a directed acyclic graph and attempts to reach one of the terminal nodes. A pursuer enters the graph at a later time and attempts to capture the evader before it reaches a terminal node. The pursuer can only obtain information about the evader's path via sensors located at each node in the graph; the sensor measurements are either green or red (indicating whether or not the evader has passed through that node). We first show that it is NP-hard to determine whether the pursuer can enter with some nonzero delay and still be guaranteed to capture the evader, even for the simplest case when the underlying graph is a tree. This also implies that it is NP-hard to determine the largest delay at which the pursuer can enter and still have a guaranteed capture policy. We further show that it is NP-hard to approximate (within any constant factor) the largest delay at which the pursuer can enter. Finally, we provide an algorithm to compute the maximum pursuer delay for a class of node-sweeping policies on tree networks and show that this algorithm runs in linear-time for bounded-degree trees.
Ramsey Numbers of Odd Cycles Versus Larger Even Wheels
Published
• View Publication
• BIB
The generalized Ramsey number $R(G_1, G_2)$ is the smallest positive integer $N$ such that any red-blue coloring of the edges of the complete graph $K_N$ either contains a red copy of $G_1$ or a blue copy of $G_2$. Let $C_m$ denote a cycle of length $m$ and $W_n$ denote a wheel with $n+1$ vertices. In 2014, Zhang, Zhang and Chen determined many of the Ramsey numbers $R(C_{2k+1}, W_{n})$ of odd cycles versus larger wheels, leaving open the particular case where $n = 2j$ is even and $k<j<3k/2$. They conjectured that for these values of $j$ and $k$, $R(C_{2k+1}, W_{2j})=4j+1$. In 2015, Sanhueza-Matamala confirmed this conjecture asymptotically, showing that $R(C_{2k+1}, W_{2j}) \le 4j+334$. In this paper, we prove the conjecture of Zhang, Zhang and Chen for almost all of the remaining cases. In particular, we prove that $R(C_{2k+1},W_{2j})=4j+1$ if $j-k \ge 251$, $k<j<3k/2$, and $j \ge 212299$.
Stability of intersections of graphs in the plane and the van Kampen obstruction
Published in Topology and its Applications, 240 (2018) 259-269
• View Publication
• BIB
A map $\varphi:K\to R^2$ of a graph $K$ is approximable by embeddings, if for each $\varepsilon>0$ there is an $\varepsilon$-close to $\varphi$ embedding $f:K\to R^2$. Analogous notions were studied in computer science under the names of cluster planarity and weak simplicity. This short survey is intended not only for specialists in the area, but also for mathematicians from other areas. We present criteria for approximability by embeddings (P. Minc, 1997, M. Skopenkov, 2003) and their algorithmic corollaries. We introduce the van Kampen (or Hanani-Tutte) obstruction for approximability by embeddings and discuss its completeness. We discuss analogous problems of moving graphs in the plane apart (cf. S. Spiez and H. Torunczyk, 1991) and finding closest embeddings (H. Edelsbrunner). We present higher dimensional van Kampen obstruction, its completeness result and algorithmic corollary (D. Repovs and A. Skopenkov, 1998).
Perfect codes in Cayley graphs
Published
• View Publication
• BIB
Given a graph $Γ$, a subset $C$ of $V(Γ)$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than one to exactly one vertex in $C$, and a subset $C$ of $V(Γ)$ is called a total perfect code in $Γ$ if every vertex of $Γ$ is adjacent to exactly one vertex in $C$. In this paper we study perfect codes and total perfect codes in Cayley graphs, with a focus on the following themes: when a subgroup of a given group is a (total) perfect code in a Cayley graph of the group; and how to construct new (total) perfect codes in a Cayley graph from known ones using automorphisms of the underlying group. We prove several results around these questions.
Derivation of Cameron-Liebler line classes
Published in Gavrilyuk, A.L., Matkin, I. & Penttila, T. Des. Codes Cryptogr. (2018) 86: 231
• View Publication
• BIB
We construct a new infinite family of Cameron-Liebler line classes in $PG(3,q)$ with parameter $x=\frac{q^2+1}{2}$ for all odd $q$.
Mode and Edgeworth expansion for the Ewens distribution and the Stirling numbers
We provide asymptotic expansions for the Stirling numbers of the first kind and, more generally, the Ewens (or Karamata-Stirling) distribution. Based on these expansions, we obtain some new results on the asymptotic properties of the mode and the maximum of the Stirling numbers and the Ewens distribution. For arbitrary $θ>0$ and for all sufficiently large $n\in\mathbb N$, the unique maximum of the Ewens probability mass function $$ \mathbb L_n(k) = \frac{θ^k}{θ(θ+1)\ldots(θ+n-1)} \genfrac{[}{]}{0pt}{}{n}{k}, \quad k=1,\ldots,n, $$ is attained at $k= \left\lfloor θ\log n + \frac{θΓ'(θ)}{Γ(θ)} - \frac 12\right\rfloor$ or $k=\left\lceil θ\log n + \frac{θΓ'(θ)}{Γ(θ)} + \frac 12\right\rceil$. We prove that the mode is $$ k=\left\lfloor θ\log n - \frac{θΓ'(θ)}{Γ(θ)}\right\rfloor $$ for a set of $n$'s of asymptotic density $1$, yet this formula is not true for infinitely many $n$'s.
Chains in shard lattices and BHZ posets
Published
• View Publication
• BIB
For every finite Coxeter group W , we prove that the number of chains in the shard intersection lattice introduced by Reading on the one hand and in the BHZ poset introduced by Bergeron, Zabrocki and the third author on the other hand, are the same. We also show that these two partial orders are related by an equality between generating series for their M{ö}bius numbers, and provide a dimension-preserving bijection between the order complex on the BHZ poset and the pulling triangulation of the permutahedron arising from the right weak order, analogous to the bijection defined by Reading between the order complex of the shard poset and the same triangulation of the permutahedron.
Tropical Ideals
Published in Compositio Math. 154 (2018) 640-670
• View Publication
• BIB
We introduce and study a special class of ideals, called tropical ideals, in the semiring of tropical polynomials, with the goal of developing a useful and solid algebraic foundation for tropical geometry. The class of tropical ideals strictly includes the tropicalizations of classical ideals, and allows us to define subschemes of tropical toric varieties, generalizing [Giansiracusa-Giansiracusa]. We investigate some of the basic structure of tropical ideals, and show that they satisfy many desirable properties that mimic the classical setup. In particular, every tropical ideal has an associated variety, which we prove is always a finite polyhedral complex. In addition we show that tropical ideals satisfy the ascending chain condition, even though they are typically not finitely generated, and also the weak Nullstellensatz.
The Szeged Index and the Wiener Index of Partial Cubes with Applications to Chemical Graphs
Published in Appl. Math. Comput. 309 (2017) 324-333
• View Publication
• BIB
In this paper we study the Szeged index of partial cubes and hence generalize the result proved by V. Chepoi and S. Klavžar, who calculated this index for benzenoid systems. It is proved that the problem of calculating the Szeged index of a partial cube can be reduced to the problem of calculating the Szeged indices of weighted quotient graphs with respect to a partition coarser than $Θ$-partition. Similar result for the Wiener index was recently proved by S. Klavžar and M. J. Nadjafi-Arani. Furthermore, we show that such quotient graphs of partial cubes are again partial cubes. Since the results can be used to efficiently calculate the Wiener index and the Szeged index for specific families of chemical graphs, we consider $C_4C_8$ systems and show that the two indices of these graphs can be computed in linear time.
Effective resistances and Kirchhoff Index in subdivision networks
Published
• View Publication
• BIB
We define a subdivision network $Γ^S$ of a given network $Γ,$ by inserting a new vertex in every edge, so that each edge is replaced by two new edges with conductances that fulfill electrical conditions on the new network. In this work, we firstly obtain an expression for the Green kernel of the subdivision network in terms of the Green kernel of the base network. Moreover, we also obtain the effective resistance and the Kirchhoff index of the subdivision network in terms of the corresponding parameters on the base network. Finally, as an example, we carry out the computations in the case of a wheel.
Geometry of Permutation Limits
Published in Combinatorica 39 (2019), 933--960
• View Publication
• BIB
This paper initiates a limit theory of permutation valued processes, building on the recent theory of permutons. We apply this to study the asymptotic behaviour of random sorting networks. We prove that the Archimedean path, the conjectured limit of random sorting networks, is the unique path from the identity to the reverse permuton having minimal energy in an appropriate metric. Together with a recent large deviations result (Kotowski, 2016), it implies the Archimedean limit for the model of relaxed random sorting networks.
$3$-uniform hypergraphs and linear cycles
Published
• View Publication
• BIB
Gyárfás, Győri and Simonovits proved that if a $3$-uniform hypergraph with $n$ vertices has no linear cycles, then its independence number $α\ge \frac{2n} {5}$. The hypergraph consisting of vertex disjoint copies of a complete hypergraph $K_5^3$ on five vertices, shows that equality can hold. They asked whether this bound can be improved if we exclude $K_5^3$ as a subhypergraph and whether such a hypergraph is $2$-colorable.
In this paper we answer these questions affirmatively. Namely, we prove that if a $3$-uniform linear-cycle-free hypergraph doesn't contain $K_5^3$ as a subhypergraph, then it is $2$-colorable. This result clearly implies that its independence number $α\ge \lceil \frac{n}{2} \rceil$. We show that this bound is sharp.
Gyárfás, Győri and Simonovits also proved that a linear-cycle-free $3$-uniform hypergraph contains a vertex of strong degree at most 2. In this context, we show that a linear-cycle-free $3$-uniform hypergraph has a vertex of degree at most $n-2$ when $n \ge 10$.
Tiling n X m rectangles with 1 X 1 and s X s squares
We consider tilings of a rectangle which is n units wide and m units long by non-overlapping 1 X 1 squares and s X s squares. Bivariate generating functions are computed with the Transfer Matrix Method for moderately large but fixed widths n as a function of the parameter m and of the number of s X s squares in the rectangle.
Local convergence and stability of tight bridge-addable graph classes
Published in Canadian Journal of Mathematics, 72(3), 563-601 (2020)
• View Publication
• BIB
A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. The authors recently proved a conjecture of McDiarmid, Steger, and Welsh stating that if $\mathcal{G}$ is bridge-addable and $G_n$ is a uniform $n$-vertex graph from $\mathcal{G}$, then $G_n$ is connected with probability at least $(1+o_n(1))e^{-1/2}$. The constant $e^{-1/2}$ is best possible since it is reached for the class of all forests.
In this paper we prove a form of uniqueness in this statement: if $\mathcal{G}$ is a bridge-addable class and the random graph $G_n$ is connected with probability close to $e^{-1/2}$, then $G_n$ is asymptotically close to a uniform $n$-vertex random forest in some local sense. For example, if the probability converges to $e^{-1/2}$, then $G_n$ converges in the sense of Benjamini-Schramm to the uniform infinite random forest $F_\infty$. This result is reminiscent of so-called "stability results" in extremal graph theory, with the difference that here the stable extremum is not a graph but a graph class.
Faà di Bruno for operads and internal algebras
Published in J. London Math. Soc. 99 (2019), 919-944
• View Publication
• BIB
For any coloured operad R, we prove a Faà di Bruno formula for the `connected Green function' in the incidence bialgebra of R. This generalises on one hand the classical Faà di Bruno formula (dual to composition of power series), corresponding to the case where R is the terminal reduced operad, and on the other hand the Faa di Bruno formula for P-trees of Gálvez--Kock--Tonks (P a finitary polynomial endofunctor), which corresponds to the case where R is the free operad on P. Following Gálvez--Kock--Tonks, we work at the objective level of groupoid slices, hence all proofs are `bijective': the formula is established as the homotopy cardinality of an explicit equivalence of groupoids. In fact we establish the formula more generally in a relative situation, for algebras for one polynomial monad internal to another. This covers in particular nonsymmetric operads (for which the terminal reduced case yields the noncommutative Faà di Bruno formula of Brouder--Frabetti--Krattenthaler).