Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Contiguity and non-reconstruction results for planted partition models: the dense case
Published in Electronic Journal of Probability, Vol 23 ,18, 1-28,2018
• View Publication
• BIB
We consider the two block stochastic block model on $n$ nodes with asymptotically equal cluster sizes. The connection probabilities within and between cluster are denoted by $p_n:=\frac{a_n}{n}$ and $q_n:=\frac{b_n}{n}$ respectively. Mossel et al.(2012) considered the case when $a_n=a$ and $b_n=b$ are fixed. They proved the probability models of the stochastic block model and that of Erd{ö}s-R{é}nyi graph with same average degree are mutually contiguous whenever $(a-b)^2<2(a+b)$ and are asymptotically singular whenever $(a-b)^2>2(a+b)$. Mossel et al.(2012) also proved that when $(a-b)^2<2(a+b)$ no algorithm is able to find an estimate of the labeling of the nodes which is positively correlated with the true labeling. It is natural to ask what happens when $a_n$ and $b_n$ both grow to infinity. We prove that their results extend to the case when $a_n=o(n)$ and $b_n=o(n)$. We also consider the case when $\frac{a_n}{n} \to p \in (0,1)$ and $(a_n-b_n)^2= Θ(a_n+b_n)$. Observe that in this case $\frac{b_n}{n} \to p$ also. We show that here the models are mutually contiguous if $(a_n-b_n)^2< 2(1-p)(a_n+b_n)$ and they are asymptotically singular if $(a_n-b_n)^2 > 2(1-p)(a_n+b_n)$. Further we also prove it is impossible find an estimate of the labeling of the nodes which is positively correlated with the true labeling whenever $(a_n-b_n)^2< 2(1-p)(a_n+b_n)$. The results of this paper justify the negative part of a conjecture made in Decelle et al.(2011) for dense graphs.
On hamiltonian colorings of block graphs
Published
• View Publication
• BIB
A hamiltonian coloring c of a graph G of order p is an assignment of colors to the vertices of G such that $D(u,v)+|c(u)-c(v)|\geq p-1$ for every two distinct vertices u and v of G, where D(u,v) denoted the detour distance between u and v. The value hc(c) of a hamiltonian coloring c is the maximum color assigned to a vertex of G. The hamiltonian chromatic number, denoted by hc(G), is the min{hc(c)} taken over all hamiltonian coloring c of G. In this paper, we present a lower bound for the hamiltonian chromatic number of block graphs and give a sufficient condition to achieve the lower bound. We characterize symmetric block graphs achieving this lower bound. We present two algorithms for optimal hamiltonian coloring of symmetric block graphs.
Fullerenes, Polytopes and Toric Topology
Published
• View Publication
• BIB
The lectures are devoted to a remarkable class of $3$-dimensional polytopes, which are mathematical models of the important object of quantum physics, quantum chemistry and nanotechnology -- fullerenes. The main goal is to show how results of toric topology help to build combinatorial invariants of fullerenes. Main notions are introduced during the lectures. The lecture notes are addressed to a wide audience.
Kleitman's conjecture about families of given size minimizing the number of $k$-chains
Published
• View Publication
• BIB
A central theorem in combinatorics is Sperner's Theorem, which determines the maximum size of a family $\mathcal{F}\subseteq \mathcal{P}(n)$ that does not contain a $2$-chain $F_1\subsetneq F_2$. Erdős later extended this result and determined the largest family not containing a $k$-chain $F_1\subsetneq \ldots \subsetneq F_k$. Erdős and Katona and later Kleitman asked how many such chains must appear in families whose size is larger than the corresponding extremal result.
This question was resolved for $2$-chains by Kleitman in $1966$, who showed that amongst families of size $M$ in $\mathcal{P}(n)$, the number of $2$-chains is minimized by a family whose sets are taken as close to the middle layer as possible. He also conjectured that the same conclusion should hold for all $k$, not just $2$. The best result on this question is due to Das, Gan and Sudakov who showed that Kleitman's conjecture holds for families whose size is at most the size of the $k+1$ middle layers of $\mathcal{P}(n)$, provided $k\leq n-6$. Our main result is that for every fixed $k$ and $ε>0$, if $n$ is sufficiently large then Kleitman's conjecture holds for families of size at most $(1-ε)2^n$, thereby establishing Kleitman's conjecture asymptotically. Our proof is based on ideas of Kleitman and Das, Gan and Sudakov. Several open problems are also given.
Rainbow connection of bridgeless outerplanar graphs with small diameters
In this paper, we investigate rainbow connection number $rc(G)$ of bridgeless outerplanar graphs $G$ with diameter 2 or 3. We proved the following results: If $G$ has diameter $2,$ then $rc(G)=3$ for fan graphs $F_{n}$ with $n\geq 7$ or $C_5,$ otherwise $rc(G)=2;$ if $G$ has diameter $3,$ then $rc(G)\leq 4$ and the bound is sharp.
Canonical syzygies of smooth curves on toric surfaces
Published
• View Publication
• BIB
In a first part of this paper, we prove constancy of the canonical graded Betti table among the smooth curves in linear systems on Gorenstein weak Fano toric surfaces. In a second part, we show that Green's canonical syzygy conjecture holds for all smooth curves of genus at most 32 or Clifford index at most 6 on arbitrary toric surfaces. Conversely we use known results on Green's conjecture (due to Lelli-Chiesa) to obtain new facts about graded Betti tables of projectively embedded toric surfaces.
Strong connectivity and its applications
Directed graphs are widely used in modelling of nonsymmetric relations in various sciences and engineering disciplines. We discuss invariants of strongly connected directed graphs - minimal number of vertices or edges necessary to remove to make remaining graphs not strongly connected. By analogy with undirected graphs these invariants are called strong vertex/edge connectivities. We review some properties of these invariants. Computational results for some publicly available connectome graphs used in neuroscience are described.
An Explicit Formula for the Eigenvectors of Acyclic Matrices and Weighted Trees
Let $A$ be an acyclic symmetric matrix of order $n$. There is a weighted forest $F$ whose adjacency matrix is $A$. In this paper, using some results on matching polynomials, we provide an explicit formula for eigenvectors of $A$.
Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016)
Published
• View Publication
• BIB
This is the arXiv index for the electronic proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016), which was held in Athens, Greece, September 19-21 2016. It contains the peer-reviewed and revised accepted papers with an optional appendix.
On the Enumeration of Interval Graphs
Published
• View Publication
• BIB
We present upper and lower bounds for the number $i_n$ of interval graphs on $n$ vertices. Answering a question posed by Hanlon, we show that the ordinary generating function $I(x) = \sum_{n\ge 0} i_n\,x^n$ for the number $i_n$ of $n$-vertex interval graphs has radius of convergence zero. We also show that the exponential generating function $J(x) = \sum_{n\ge 0} i_n\,x^n/n!$ has radius of convergence at least $1/2$.
Partitioning the Boolean lattice into copies of a poset
Published
• View Publication
• BIB
Let $P$ be a poset of size $2^k$ that has a greatest and a least element. We prove that, for sufficiently large $n$, the Boolean lattice $2^{[n]}$ can be partitioned into copies of $P$. This resolves a conjecture of Lonc.
The Number of Fixed Points of AND-OR Networks with Chain Topology
Published
• View Publication
• BIB
AND-OR networks are Boolean networks where each coordinate function is either the AND or OR logical operator. We study the number of fixed points of these Boolean networks in the case that they have a wiring diagram with chain topology. We find closed formulas for subclasses of these networks and recursive formulas in the general case. Our results allow for an effective computation of the number of fixed points in the case that the topology of the Boolean network is an open chain (finite or infinite) or a closed chain.
On the complexity of finite subgraphs of the curve graph
Published in Osaka Journal of Mathematics 55 (2018), 795-808
• Search Publication
We say a graph has property $\mathcal{P}_{g,p}$ when it is an induced subgraph of the curve graph of a surface of genus $g$ with $p$ punctures. Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to $\mathcal{P}_{g,p}$. We introduce a new invariant of a graph, the 'nested complexity length', which provides a novel obstruction to $\mathcal{P}_{g,p}$. For the curve graph this invariant captures the topological complexity of the surface in graph-theoretic terms; indeed we show that its value is $6g-6+2p$, i.e. twice the size of a maximal multicurve on the surface. As a consequence we show that large half-graphs do not have $\mathcal{P}_{g,p}$, and we deduce quantitatively that almost all finite graphs which pass the chromatic and clique tests do not have $\mathcal{P}_{g,p}$. We also reinterpret our obstruction in terms of the first-order theory of the curve graph, and in terms of RAAG subgroups of the mapping class group (following Kim and Koberda). Finally, we show that large multipartite subgraphs cannot have $\mathcal{P}_{g,p}$. This allows us to compute the upper density of the curve graph, and to conclude that clique size, chromatic number, and nested complexity length are not sufficient to determine $\mathcal{P}_{g,p}$.
Performance of ternary double circulant, double twistulant, and self-dual codes
Published
• View Publication
• BIB
We study the performance of ternary isodual codes which are not self-dual and ternary self-dual codes, as measured by the decoding error probability in bounded distance decoding. We compare the performance of ternary double circulant and double twistulant codes which are not self-dual with ternary extremal self-dual codes. We also investigate the performance of ternary self-dual codes having large minimum weights.
A note on the size of N-free families
Published
• View Publication
• BIB
The $\mathcal{N}$ poset consists of four distinct sets $W,X,Y,Z$ such that $W\subset X$, $Y\subset X$, and $Y\subset Z$ where $W$ is not necessarily a subset of $Z$. A family $\mathcal{F}$ as a subposet of the $n$-dimensional Boolean lattice, $\mathcal{B}_n$, is $\mathcal{N}$-free if it does not contain $\mathcal{N}$ as a subposet. Let $\text{La}(n, \mathcal{N})$ be the size of a largest $\mathcal{N}$-free family in $\mathcal{B}_n$. Katona and Tarján proved that $\text{La}(n,\mathcal{N})\geq {n \choose k}+A(n,4,k+1)$, where $k=\lfloor n/2\rfloor$ and $A(n, 4, k+1)$ is the size of a single-error-correcting code with constant weight $k+1$. In this note, we prove for $n$ even and $k=n/2$, $\text{La}(n, \mathcal{N}) \geq {n\choose k}+A(n, 4, k)$, which improves the bound on $\text{La}(n, \mathcal{N})$ in the second order term for some values of $n$ and should be an improvement for an infinite family of values of $n$, depending on the behavior of the function $A(n,4,\cdot)$.
Wigner law for matrices with dependent entries - a perturbative approach
Published in J. Phys. A: Math. Theor. 50 (2017) 16LT02
• View Publication
• BIB
We show that Wigner semi-circle law holds for Hermitian matrices with dependent entries, provided the deviation of the cumulants from the normalised Gaussian case obeys a simple power law bound in the size of the matrix. To establish this result, we use replicas interpreted as a zero-dimensional quantum field theoretical model whose effective potential obey a renormalisation group equation.
Algebras sharing the same support $τ$-tilting poset with tree quiver algebras
Published
• View Publication
• BIB
Happel and Unger reconstructed hereditary algebras from their posets of tilting modules. Inspired by this result, we try removing the assumption to be hereditary. However, it would be unfortunately fail in general: e.g. every selfinjective algebra has the poset consisting of only one point. Therefore, we should consider a generalization of the Happel-Unger's result for posets of support $τ$-tilting modules, which contains those of tilting modules. In this paper, we spotlight finite dimensional algebras whose support $τ$-tilting posets coincide with those of tree quiver algebras and give a full characterization of such algebras.
A Note on Large H-Intersecting Families
Published
• View Publication
• BIB
A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$.
In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and Sós stating that the maximal size of a triangle-intersecting family is $(1/8)2^{n(n-1)/2}$. Furthermore, they proved a $p$-biased generalization, stating that for any $p \leq 1/2$, we have $μ_{p}(F)\le p^{3}$, where $μ_{p}(F)$ is the probability that the random graph $G(n,p)$ belongs to $F$.
In the same paper, Ellis et al. conjectured that the assertion of their biased theorem holds also for $1/2 < p \le 3/4$, and more generally, that for any non-$t$-colorable graph $H$ and any $H$-intersecting family $F$, we have $μ_{p}(F)\le p^{t(t+1)/2}$ for all $p \leq (2t-1)/(2t)$.
In this note we construct, for any fixed $H$ and any $p>1/2$, an $H$-intersecting family $F$ of graphs such that $μ_{p}(F)\ge 1-e^{-n^{2}/C}$, where $C$ depends only on $H$ and $p$, thus disproving both conjectures.
Alphabet-Almost-Simple 2-Neighbour Transitive Codes
Published
• View Publication
• BIB
Let $X$ be a subgroup of the full automorphism group of the Hamming graph $H(m,q)$, and $C$ a subset of the vertices of the Hamming graph. We say that $C$ is an \emph{$(X,2)$-neighbour transitive code} if $X$ is transitive on $C$, as well as $C_1$ and $C_2$, the sets of vertices which are distance $1$ and $2$ from the code. This paper begins the classification of $(X,2)$-neighbour transitive codes where the action of $X$ on the entries of the Hamming graph has a non-trivial kernel. There exists a subgroup of $X$ with a $2$-transitive action on the alphabet; this action is thus almost-simple or affine. If this $2$-transitive action is almost simple we say $C$ is \emph{alphabet-almost-simple}. The main result in this paper states that the only alphabet-almost-simple $(X,2)$-neighbour transitive code with minimum distance $δ\geq 3$ is the repetition code in $H(3,q)$, where $q\geq 5$.
Representing derivatives of Chebyshev polynomials by Chebyshev polynomials
Published
• View Publication
• BIB
A recursion formula for derivatives of Chebyshev polynomials is replaced by an explicit formula.