Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Class expansion of some symmetric functions in Jucys-Murphy elements
Published in Journal of Algebra, 394 (2013), 397-443
• View Publication
• BIB
We present a method to compute the class expansion of a symmetric function in the Jucys-Murphy elements of the symmetric group. We apply this method to one-row Hall-Littlewood symmetric functions, which interpolate between power sums and complete symmetric functions.
Free Lamplighter Groups and a Question of Atiyah
Published in Amer. J. Math. 135 (2013), no. 3, 835-849
• View Publication
• BIB
We compute the von Neumann dimensions of the kernels of adjacency operators on free lamplighter groups and show that they are irrational, thus providing an elementary constructive answer to a question of Atiyah.
Undecidability of linear inequalities in graph homomorphism densities
Published
• View Publication
• BIB
The purpose of this article is to show that even the most elementary problems in asymptotic extremal graph theory can be highly non-trivial. We study linear inequalities between graph homomorphism densities. In the language of quantum graphs the validity of such an inequality is equivalent to the positivity of a corresponding quantum graph. Similar to the setting of polynomials, a quantum graph that can be represented as a sum of squares of labeled quantum graphs is necessarily positive. Lovász asks whether the opposite is also true. We answer this question and also a related question of Razborov in the negative by introducing explicit valid inequalities that do not satisfy the required conditions. Our solution to these problems is based on a reduction from real multivariate polynomials and uses the fact that there are positive polynomials that cannot be expressed as sums of squares of polynomials.
It is known that the problem of determining whether a multivariate polynomial is positive is decidable. Hence it is very natural to ask "Is the problem of determining the validity of a linear inequality between homomorphism densities decidable?" We give a negative answer to this question which shows that such inequalities are inherently difficult in their full generality. Furthermore we deduce from this fact that the analogue of Artin's solution to Hilbert's seventeenth problem does not hold in the setting of quantum graphs.
Conformal designs and D.H. Lehmer's conjecture
Published in J. Algebra 374 (2013), 59-65
• View Publication
• BIB
In 1947, Lehmer conjectured that the Ramanujan τ-function τ(m) is non-vanishing for all positive integers m, where τ(m) are the Fourier coefficients of the cusp form Δof weight 12. It is known that Lehmer's conjecture can be reformulated in terms of spherical t-design, by the result of Venkov. In this paper, we show that τ(m) = 0 is equivalent to the fact that the homogeneous space of the moonshine vertex operator algebra (V^\natural)_{m+1} is a conformal 12-design. Therefore, Lehmer's conjecture is now reformulated in terms of conformal t-designs.
CSD Homomorphisms Between Phylogenetic Networks
Published in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2012) 9: 1128-1138
• View Publication
• BIB
Since Darwin, species trees have been used as a simplified description of the relationships which summarize the complicated network $N$ of reality. Recent evidence of hybridization and lateral gene transfer, however, suggest that there are situations where trees are inadequate. Consequently it is important to determine properties that characterize networks closely related to $N$ and possibly more complicated than trees but lacking the full complexity of $N$.
A connected surjective digraph map (CSD) is a map $f$ from one network $N$ to another network $M$ such that every arc is either collapsed to a single vertex or is taken to an arc, such that $f$ is surjective, and such that the inverse image of a vertex is always connected. CSD maps are shown to behave well under composition. It is proved that if there is a CSD map from $N$ to $M$, then there is a way to lift an undirected version of $M$ into $N$, often with added resolution. A CSD map from $N$ to $M$ puts strong constraints on $N$.
In general, it may be useful to study classes of networks such that, for any $N$, there exists a CSD map from $N$ to some standard member of that class.
The number of 3-SAT functions
Published
• View Publication
• BIB
With $G_k(n)$ the number of functions of $n$ boolean variables definable by $k$-SAT formulae, we prove that $G_3(n)$ is asymptotic to $2^{n+\binom{n}{3}}$. This is a strong form of the case $k=3$ of a conjecture of Bollobás, Brightwell and Leader stating that for fixed $k$, $\log_2 G_k(n)\sim \binom{n}{k}$.
On the Number of 2-SAT Functions
Published in Combinatorics, Probability and Computing, Volume 18, Special Issue 05 (2009), 749-764.
• View Publication
• BIB
We give an alternative proof of a conjecture of Bollobás, Brightwell and Leader, first proved by Peter Allen, stating that the number of boolean functions definable by 2-SAT formulae is $(1+o(1))2^{\binom{n+1}{2}}$. One step in the proof determines the asymptotics of the number of "odd-blue-triangle-free" graphs on $n$ vertices.
Pattern avoidance in partial permutations
Published in The Electronic Journal of Combinatorics 18(1), #P25 (2011)
• View Publication
• BIB
Motivated by the concept of partial words, we introduce an analogous concept of partial permutations. A partial permutation of length n with k holes is a sequence of symbols $π= π_1π_2 ... π_n$ in which each of the symbols from the set {1,2,...,n-k} appears exactly once, while the remaining k symbols of $π$ are "holes".
We introduce pattern-avoidance in partial permutations and prove that most of the previous results on Wilf equivalence of permutation patterns can be extended to partial permutations with an arbitrary number of holes. We also show that Baxter permutations of a given length k correspond to a Wilf-type equivalence class with respect to partial permutations with (k-2) holes. Lastly, we enumerate the partial permutations of length n with k holes avoiding a given pattern of length at most four, for each n >= k >= 1.
3/2 Firefighters are not enough
Published in Discrete Applied Mathematics 161 (2013) 301-306
• View Publication
• BIB
The firefighter problem is a monotone dynamic process in graphs that can be viewed as modeling the use of a limited supply of vaccinations to stop the spread of an epidemic. In more detail, a fire spreads through a graph, from burning vertices to their unprotected neighbors. In every round, a small amount of unburnt vertices can be protected by firefighters. How many firefighters per turn, on average, are needed to stop the fire from advancing? We prove tight lower and upper bounds on the amount of firefighters needed to control a fire in the Cartesian planar grid and in the strong planar grid, resolving two conjectures of Ng and Raff.
Ramified rectilinear polygons: coordinatization by dendrons
Published in Discrete Comput. Geom. 54 (4): 771-797, 2015
• View Publication
• BIB
Simple rectilinear polygons (i.e. rectilinear polygons without holes or cutpoints) can be regarded as finite rectangular cell complexes coordinatized by two finite dendrons. The intrinsic $l_1$-metric is thus inherited from the product of the two finite dendrons via an isometric embedding. The rectangular cell complexes that share this same embedding property are called ramified rectilinear polygons. The links of vertices in these cell complexes may be arbitrary bipartite graphs, in contrast to simple rectilinear polygons where the links of points are either 4-cycles or paths of length at most 3. Ramified rectilinear polygons are particular instances of rectangular complexes obtained from cube-free median graphs, or equivalently simply connected rectangular complexes with triangle-free links. The underlying graphs of finite ramified rectilinear polygons can be recognized among graphs in linear time by a Lexicographic Breadth-First-Search. Whereas the symmetry of a simple rectilinear polygon is very restricted (with automorphism group being a subgroup of the dihedral group $D_4$), ramified rectilinear polygons are universal: every finite group is the automorphism group of some ramified rectilinear polygon.
Counting Connected Set Partitions of Graphs
Published in The Electronic Journal of Combinatorics 18 (2011) #P14
• View Publication
• BIB
Let $G=(V,E)$ be a simple undirected graph with $n$ vertices then a set partition $π=\{V_1, ..., V_k\}$ of the vertex set of $G$ is a connected set partition if each subgraph $G[V_j]$ induced by the blocks $V_j$ of $π$ is connected for $1\le j\le k$. Define $q_{i}(G)$ as the number of connected set partitions in $G$ with $i$ blocks. The partition polynomial is then $Q(G, x)=\sum_{i=0}^n q_{i}(G)x^i$. This paper presents a splitting approach to the partition polynomial on a separating vertex set $X$ in $G$ and summarizes some properties of the bond lattice. Furthermore the bivariate partition polynomial $Q(G,x,y)=\sum_{i=1}^n \sum_{j=1}^m q_{ij}(G)x^iy^j$ is briefly discussed, where $q_{ij}(G)$ counts the number of connected set partitions with $i$ blocks and $j$ intra block edges. Finally the complexity for the bivariate partition polynomial is proven to be $\sharp P$-hard.
The Cerny conjecture for one-cluster automata with prime length cycle
Published
• View Publication
• BIB
We prove the Cerny conjecture for one-cluster automata with prime length cycle. Consequences are given for the hybrid Road-coloring-Cerny conjecture for digraphs with a proper cycle of prime length.
Improved bounds on coloring of graphs
Published
• View Publication
• BIB
Given a graph $G$ with maximum degree $Δ\ge 3$, we prove that the acyclic edge chromatic number $a'(G)$ of $G$ is such that $a'(G)\le\lceil 9.62 (Δ-1)\rceil$. Moreover we prove that:
$a'(G)\le \lceil 6.42(Δ-1)\rceil$ if $G$ has girth $g\ge 5\,$; $a'(G)\le \lceil5.77 (Δ-1)\rc$ if
$G$ has girth $g\ge 7$; $a'(G)\le \lc4.52(\D-1)\rc$ if $g\ge 53$;
$a'(G)\le \D+2\,$ if $g\ge \lceil25.84\D\log\D(1+ 4.1/\log\D)\rceil$.
We further prove that the acyclic (vertex) chromatic number $a(G)$ of $G$ is such that
$a(G)\le \lc 6.59 Δ^{4/3}+3.3\D\rc$. We also prove that the star-chromatic number $χ_s(G)$ of $G$ is such that $χ_s(G)\le \lc4.34Δ^{3/2}+ 1.5\D\rc$. We finally prove that the $\b$-frugal chromatic number $χ^\b(G)$ of $G$ is such that $χ^\b(G)\le \lc\max\{k_1(\b)\D,\; k_2(\b){\D^{1+1/\b}/ (\b!)^{1/\b}}\}\rc$, where $k_1(\b)$ and $k_2(\b)$ are decreasing functions of $\b$ such that $k_1(\b)\in[4, 6]$ and $k_2(\b)\in[2,5]$.
To obtain these results we use an improved version of the Lovász Local Lemma due to Bissacot, Fernández, Procacci and Scoppola \cite{BFPS}.
A probabilistic approach to the asymptotics of the length of the longest alternating subsequence
Published in The Electronic Journal of Combinatorics 17 (2010), #R168
• Search Publication
Let $LA_{n}(τ)$ be the length of the longest alternating subsequence of a uniform random permutation $τ\in[n]$. Classical probabilistic arguments are used to rederive the asymptotic mean, variance and limiting law of $LA_{n}(τ)$. Our methodology is robust enough to tackle similar problems for finite alphabet random words or even Markovian sequences in which case our results are mainly original. A sketch of how some cases of pattern restricted permutations can also be tackled with probabilistic methods is finally presented.
Bandwidth theorem for random graphs
Published
• View Publication
• BIB
A graph $G$ is said to have \textit{bandwidth} at most $b$, if there exists a labeling of the vertices by $1,2,..., n$, so that $|i - j| \leq b$ whenever $\{i,j\}$ is an edge of $G$. Recently, Böttcher, Schacht, and Taraz verified a conjecture of Bollobás and Komlós which says that for every positive $r,Δ,γ$, there exists $β$ such that if $H$ is an $n$-vertex $r$-chromatic graph with maximum degree at most $Δ$ which has bandwidth at most $βn$, then any graph $G$ on $n$ vertices with minimum degree at least $(1 - 1/r + γ)n$ contains a copy of $H$ for large enough $n$. In this paper, we extend this theorem to dense random graphs. For bipartite $H$, this answers an open question of Böttcher, Kohayakawa, and Taraz. It appears that for non-bipartite $H$ the direct extension is not possible, and one needs in addition that some vertices of $H$ have independent neighborhoods. We also obtain an asymptotically tight bound for the maximum number of vertex disjoint copies of a fixed $r$-chromatic graph $H_0$ which one can find in a spanning subgraph of $G(n,p)$ with minimum degree $(1-1/r + γ)np$.
Hyperplane Arrangements and Diagonal Harmonics
Published
• View Publication
• BIB
In 2003, Haglund's {\sf bounce} statistic gave the first combinatorial interpretation of the $q,t$-Catalan numbers and the Hilbert series of diagonal harmonics. In this paper we propose a new combinatorial interpretation in terms of the affine Weyl group of type $A$. In particular, we define two statistics on affine permutations; one in terms of the Shi hyperplane arrangement, and one in terms of a new arrangement - which we call the Ish arrangement. We prove that our statistics are equivalent to the {\sf area'} and {\sf bounce} statistics of Haglund and Loehr. In this setting, we observe that {\sf bounce} is naturally expressed as a statistic on the root lattice. We extend our statistics in two directions: to "extended" Shi arrangements and to the bounded chambers of these arrangements. This leads to a (conjectural) combinatorial interpretation for all integral powers of the Bergeron-Garsia nabla operator applied to the elementary symmetric functions.
How frequently is a system of 2-linear Boolean equations solvable?
Published
• View Publication
• BIB
We consider a random system of equations $x_i+x_j=b_{(i,j)} (\text{mod }2)$, $(x_u\in \{0,1\},\, b_{(u,v)}=b_{(v,u)}\in\{0,1\})$, with the pairs $(i,j)$ from $E$, a symmetric subset of $[n]\times [n]$. $E$ is chosen uniformly at random among all such subsets of a given cardinality $m$; alternatively $(i,j)\in E$ with a given probability $p$, independently of all other pairs. Also, given $E$, $\pr\{b_{e}=0\}=\pr\{b_e=1\}$ for each $e\in E$, independently of all other $b_{e^\prime}$. It is well known that, as $m$ passes through $n/2$ ($p$ passes through $1/n$, resp.), the underlying random graph $G(n,\#\text{edges}=m)$, ($G(n,\pr(\text{edge})=p)$, resp.) undergoes a rapid transition, from essentially a forest of many small trees to a graph with one large, multicyclic, component in a sea of small tree components. We should expect then that the solvability probability decreases precipitously in the vicinity of $m\sim n/2$ ($p\sim 1/n$), and indeed this probability is of order $(1-2m/n)^{1/4}$, for $m<n/2$ ($(1-pn)^{1/4}$, for $p<1/n$, resp.). We show that in a near-critical phase $m=(n/2)(1+\la n^{-1/3})$ ($p=(1+\la n^{-1/3})/n$, resp.), $\la=o(n^{1/12})$, the system is solvable with probability asymptotic to $c(\la)n^{-1/12}$, for some explicit function $c(\la)>0$. Mike Molloy noticed that the Boolean system with $b_e\equiv 1$ is solvable iff the underlying graph is $2$-colorable, and asked whether this connection might be used to determine an order of probability of $2$-colorability in the near-critical case. We answer Mike's question affirmatively and show that probability of $2$-colorability is $\lesssim 2^{-1/4}e^{1/8}c(λ)n^{-1/12}$, and asymptotic to $2^{-1/4}e^{1/8}c(\la)n^{-1/12}$ at a critical phase $\la=O(1)$, and for $\la\to -\infty$. (Submitted to Electronic Journal of Combinatorics on September 7, 2009.)
Tight Markov chains and random compositions
Published
• View Publication
• BIB
For an ergodic Markov chain $\{X(t)\}$ on $\Bbb N$, with a stationary distribution $π$, let $T_n>0$ denote a hitting time for $[n]^c$, and let $X_n=X(T_n)$. Around 2005 Guy Louchard popularized a conjecture that, for $n\to \infty$, $T_n$ is almost Geometric($p$), $p=π([n]^c)$, $X_n$ is almost stationarily distributed on $[n]^c$, and that $X_n$ and $T_n$ are almost independent, if $p(n):=\sup_ip(i,[n]^c)\to 0$ exponentially fast. For the chains with $p(n) \to 0$ however slowly, and with $\sup_{i,j}\,\|p(i,\cdot)-p(j,\cdot)\|_{TV}<1$, we show that Louchard's conjecture is indeed true even for the hits of an arbitrary $S_n\subset\Bbb N$ with $π(S_n)\to 0$. More precisely, a sequence of $k$ consecutive hit locations paired with the time elapsed since a previous hit (for the first hit, since the starting moment) is approximated, within a total variation distance of order $k\,\sup_ip(i,S_n)$, by a $k$-long sequence of independent copies of $(\ell_n,t_n)$, where $\ell_n= \text{Geometric}\,(π(S_n))$, $t_n$ is distributed stationarily on $S_n$, and $\ell_n$ is independent of $t_n$. The two conditions are easily met by the Markov chains that arose in Louchard's studies as likely sharp approximations of two random compositions of a large integer $ν$, a column-convex animal (cca) composition and a Carlitz (C) composition. We show that this approximation is indeed very sharp for most of the parts of the random compositions. Combining the two approximations in a tandem, we are able to determine the limiting distributions of $μ=o(\lnν)$ and $μ=o(ν^{1/2})$ largest parts of the random cca composition and the random C-composition, respectively. (Submitted to Annals of Probability in August, 2009.)
Bi-banded Paths, a Bijection and the Narayana Numbers
We find a bijection between bi-banded paths and peak-counting paths, applying to two classes of lattice paths including Dyck paths. Thus we find a new interpretation of Narayana numbers as coefficients of weight polynomials enumerating bi-banded Dyck paths, which class of paths has arisen naturally in previous literature in a solution of the stationary state of the `TASEP' stochastic process.
On the number of mth roots of permutations
Published in Australas J. Combin. 52 (2012) 41-54
• Search Publication
Let m be a fixed positive integer. It is well-known that a permutation $σ$ may have one, many, or no mth roots. In this note we provide an explicit expression and a generating function for the number of mth roots of σ. Let p_m(n) be the probability that a random n-permutation has an mth root. We also include a proof that p_m(jq)=p_m(jq+1)=... =p_m(jq+(q-1)) where j=0,1,... and m is a power of prime q.