Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On the number of solutions in random graph $k$-colouring
Let $k \ge 3$ be a fixed integer. We exactly determine the asymptotic distribution of $\ln Z_k(G(n,m))$, where $Z_k(G(n,m))$ is the number of $k$-colourings of the random graph $G(n,m)$. A crucial observation to this aim is that the fluctuations in the number of colourings can be attributed to the fluctuations in the number of small cycles in $G(n,m)$. Our result holds for a wide range of average degrees, and for $k$ exceeding a certain constant $k_0$ it covers all average degrees up to the so-called "condensation phase transition".
Mixed Determinants and the Kadison-Singer problem
Published
• View Publication
• BIB
We adapt the arguments of Marcus, Spielman and Srivastava in their proof of the Kadison-Singer problem to prove improved paving estimates. Working with Anderson's paving formulation of Kadison-Singer instead of Weaver's vector balancing version, we show that the machinery of interlacing polyomials due to Marcus, Spielman and Srivastava works in this setting as well. The relevant expected characteristic polynomials turn out to be related to the so called "mixed determinants" that have been carefully studied by Borcea and Branden. This technique allows us to show that any projection with diagonal entries strictly less than $\frac{1}{4}$ can be two paved, matching recent results of Bownik, Casazza, Marcus and Speegle, though our estimates are asymptotically weaker. We also show that any projection with diagonal entries at most $\frac{1}{2}$ can be four paved, yielding improvements over currently known estimates. We also relate the problem of finding optimal paving estimates to bounding the root intervals of a natural one parameter deformation of the characteristic polynomial of a matrix that turns out to have some remarkable combinatorial properties.
The $μ$-permanent, a new graph labeling, and a known integer sequence
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.
Efficient Removal Lemmas for Matrices
Published
• View Publication
• BIB
The authors and Fischer recently proved that any hereditary property of two-dimensional matrices (where the row and column order is not ignored) over a finite alphabet is testable with a constant number of queries, by establishing the following (ordered) matrix removal lemma: For any finite alphabet $Σ$, any hereditary property $\mathcal{P}$ of matrices over $Σ$, and any $ε> 0$, there exists $f_{\mathcal{P}}(ε)$ such that for any matrix $M$ over $Σ$ that is $ε$-far from satisfying $\mathcal{P}$, most of the $f_{\mathcal{P}}(ε) \times f_{\mathcal{P}}(ε)$ submatrices of $M$ do not satisfy $\mathcal{P}$. Here being $ε$-far from $\mathcal{P}$ means that one needs to modify at least an $ε$-fraction of the entries of $M$ to make it satisfy $\mathcal{P}$.
However, in the above general removal lemma, $f_{\mathcal{P}}(ε)$ grows very fast as a function of $ε^{-1}$, even when $\mathcal{P}$ is characterized by a single forbidden submatrix. In this work we establish much more efficient removal lemmas for several special cases of the above problem. In particular, we show the following: For any fixed $s \times t$ binary matrix $A$ and any $ε> 0$ there exists $δ> 0$ polynomial in $ε$, such that for any binary matrix $M$ in which less than a $δ$-fraction of the $s \times t$ submatrices are equal to $A$, there exists a set of less than an $ε$-fraction of the entries of $M$ that intersects every $A$-copy in $M$.
We generalize the work of Alon, Fischer and Newman [SICOMP'07] and make progress towards proving one of their conjectures. The proofs combine their efficient conditional regularity lemma for matrices with additional combinatorial and probabilistic ideas.
An isoperimetric inequality for antipodal subsets of the discrete cube
Published
• View Publication
• BIB
A family of subsets of $\{1,2,\ldots,n\}$ is said to be {\em antipodal} if it is closed under taking complements. We prove a best-possible isoperimetric inequality for antipodal families of subsets of $\{1,2,\ldots,n\}$. Our inequality implies that for any $k \in \mathbb{N}$, among all such families of size $2^k$, a family consisting of the union of a $(k-1)$-dimensional subcube and its antipode has the smallest possible edge boundary.
Totally Antimagic Total labeling of Ladders, Prisms and Generalised Pertersen graphs
Published
• View Publication
• BIB
Given a graph $G$, a total labeling on $G$ is called edge-antimagic total (respectively, vertex-antimagic total) if all edge-weights (respectively, vertex-weights) are pairwise distinct. If a labeling on $G$ is simultaneously edge-antimagic total and vertex-antimagic total, it is called a totally antimagic total labeling. A graph that admits totally antimagic total labeling is called a totally antimagic total graph. In this paper, we prove that ladders, prisms and generalised Pertersen graphs are totally antimagic total graphs. We also show that the chain graph of totally antimagic total graphs is a totally antimagic total graph.
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.