Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Simple Alcohols with the Lowest Normal Boiling Point Using Topological Indices
Published in MATCH Commun. Math. Comput. Chem., Volume 75 (2016) number 1, pp. 29-56
• Search Publication
We find simple saturated alcohols with the given number of carbon atoms and the minimal normal boiling point. The boiling point is predicted with a weighted sum of the generalized first Zagreb index, the second Zagreb index, the Wiener index for vertex-weighted graphs, and a simple index caring for the degree of a carbon atom being incident to the hydroxyl group. To find extremal alcohol molecules we characterize chemical trees of order $n$, which minimize the sum of the second Zagreb index and the generalized first Zagreb index, and also build chemical trees, which minimize the Wiener index over all chemical trees with given vertex weights.
Graph Isomorphism, Color Refinement, and Compactness
Published
• View Publication
• BIB
Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in distinguishing G from any non-isomorphic graph H. Tinhofer (1991) explored a linear programming approach to Graph Isomorphism and defined compact graphs: A graph is compact if its fractional automorphisms polytope is integral. Tinhofer noted that isomorphism testing for compact graphs can be done quite efficiently by linear programming. However, the problem of characterizing and recognizing compact graphs in polynomial time remains an open question.
Our results are summarized below:
- We show that amenable graphs are recognizable in time O((n + m)logn), where n and m denote the number of vertices and the number of edges in the input graph.
- We show that all amenable graphs are compact.
- We study related combinatorial and algebraic graph properties introduced by Tinhofer and Godsil. The corresponding classes of graphs form a hierarchy and we prove that recognizing each of these graph classes is P-hard. In particular, this gives a first complexity lower bound for recognizing compact graphs.
Two bounds on the noncommuting graph
Published in Central European Journal of Mathematics 13 (2015), 273--282
• View Publication
• BIB
Erdős introduced the noncommuting graph, in order to study the number of commuting elements in a finite group. Despite the use of combinatorial ideas, his methods involved several techniques of classical analysis. The interest for this graph is becoming relevant in the last years for various reasons. Here we deal with a numerical aspect, showing for the first time an isoperimetric inequality and an analytic condition in terms of Sobolev inequalities. This last result holds in the more general context of weighted locally finite graphs.
The set chromatic number of random graphs
Published
• View Publication
• BIB
In this paper we study the set chromatic number of a random graph $G(n,p)$ for a wide range of $p=p(n)$. We show that the set chromatic number, as a function of $p$, forms an intriguing zigzag shape.
Enhancing non-melonic triangulations: A tensor model mixing melonic and planar maps
Published in Nuclear Physics B Volume 895, June 2015, Pages 161-191
• View Publication
• BIB
Ordinary tensor models of rank $D\geq 3$ are dominated at large $N$ by tree-like graphs, known as melonic triangulations. We here show that non-melonic contributions can be enhanced consistently, leading to different types of large $N$ limits. We first study the most generic quartic model at $D=4$, with maximally enhanced non-melonic interactions. The existence of the $1/N$ expansion is proved and we further characterize the dominant triangulations. This combinatorial analysis is then used to define a non-quartic, non-melonic class of models for which the large $N$ free energy and the relevant expectations can be calculated explicitly. They are matched with random matrix models which contain multi-trace invariants in their potentials: they possess a branched polymer phase and a 2D quantum gravity phase, and a transition between them whose entropy exponent is positive. Finally, a non-perturbative analysis of the generic quartic model is performed, which proves analyticity in the coupling constants in cardioid domains.
On random subgraphs of Kneser and Schrijver graphs
Published
• View Publication
• BIB
A Kneser graph $KG_{n,k}$ is a graph whose vertices are in one-to-one correspondence with $k$-element subsets of $[n],$ with two vertices connected if and only if the corresponding sets do not intersect. A famous result due to Lovász states that the chromatic number of a Kneser graph $KG_{n,k}$ is equal to $n-2k+2$. In this paper we study the chromatic number of a random subgraph of a Kneser graph $KG_{n,k}$ as $n$ grows. A random subgraph $KG_{n,k}(p)$ is obtained by including each edge of $KG_{n,k}$ with probability $p$. For a wide range of parameters $k = k(n), p = p(n)$ we show that $χ(KG_{n,k}(p))$ is very close to $χ(KG_{n,k}),$ a.a.s. differing by at most 4 in many cases. Moreover, we obtain the same bounds on the chromatic numbers for the so-called Schrijver graphs, which are known to be vertex-critical induced subgraphs of Kneser graphs.
Vizing's Conjecture for Almost All Pairs of Graphs
For any graph $G=(V,E)$, a subset $S\subseteq V$ $dominates$ $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we prove that if $\left|G\right|\geq γ(G)γ(H)$ and $\left|H\right|\geq γ(G)γ(H)$, then the conjecture holds. This result quickly implies Vizing's conjecture for almost all pairs of graphs $G,H$ with $\left|G\right|\geq \left|H\right|$, satisfying $\left|G\right|\leq q^{\frac{\left|H\right|}{\log_q\left|H\right|}}$ for $q=\frac{1}{1-p}$ and $p$ the edge probability of the Erdős-Rényi random graph.
Asymptotic properties of biorthogonal polynomials systems related to Hermite and Laguerre polynomials
In this paper, the structures to a family of biorthogonal polynomials that approximate to the Hermite and Generalized Laguerre polynomials are discussed respectively. Therefore, the asymptotic relation between several orthogonal polynomials and combinatorial polynomials are derived from the systems, which in turn verify the Askey scheme of hypergeometric orthogonal polynomials. As the applications of these properties, the asymptotic representations of the generalized Buchholz, Laguerre, Ultraspherical(Gegenbauer), Bernoulli, Euler, Meixner and Meixner-Pllaczekare polynomials are derived from the theorems directly. The relationship between Bernoulli and Euler polynomials are shown as a special case of the characterization theorem of the Appell sequence generated by $α$ scaling functions.
Addendum: the case of closed surfaces. (Boundary Value Problems on Planar Graphs and Flat Surfaces with integer cone singularities, I: The Dirichlet Problem)
Published
• View Publication
• BIB
We extend our discrete uniformization theorems for planar, $m$-connected, Jordan domains [Journal für die reine und angewandte Mathematik 670 (2012), 65--92] to closed surfaces of non-positive genus.
Homomorphisms of binary Cayley graphs
Published
• View Publication
• BIB
A binary Cayley graph is a Cayley graph based on a binary group. In 1982, Payan proved that any non-bipartite binary Cayley graph must contain a generalized Mycielski graph of an odd-cycle, implying that such a graph cannot have chromatic number 3. We strengthen this result first by proving that any non-bipartite binary Cayley graph must contain a projective cube as a subgraph. We further conjecture that any homo- morphism of a non-bipartite binary Cayley graph to a projective cube must be surjective and we prove some special case of this conjecture.
Pluriassociative and polydendriform algebras
We introduce, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter $γ$ of diassociative algebras of Loday, called $γ$-pluriassociative algebras. By Koszul duality of operads, we obtain a generalization of dendriform algebras, called $γ$-polydendriform algebras. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, $γ$-polydendriform algebras seem adapted structures to split associative operations into $2 γ$ operations so that some partial sums of these operations are associative. We provide a complete study of the operads governing our generalizations of the diassociative and dendriform operads. Among other, we exhibit several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.
An on-line competitive algorithm for coloring bipartite graphs without long induced paths
Published
• View Publication
• BIB
The existence of an on-line competitive algorithm for coloring bipartite graphs remains a tantalizing open problem. So far there are only partial positive results for bipartite graphs with certain small forbidden graphs as induced subgraphs. We propose a new on-line competitive coloring algorithm for $P_9$-free bipartite graphs.
On the lower tail variational problem for random graphs
Published in Combin. Probab. Comput. 26 (2017), 301--320
• View Publication
• BIB
We study the lower tail large deviation problem for subgraph counts in a random graph. Let $X_H$ denote the number of copies of $H$ in an Erdős-Rényi random graph $\mathcal{G}(n,p)$. We are interested in estimating the lower tail probability $\mathbb{P}(X_H \le (1-δ) \mathbb{E} X_H)$ for fixed $0 < δ< 1$.
Thanks to the results of Chatterjee, Dembo, and Varadhan, this large deviation problem has been reduced to a natural variational problem over graphons, at least for $p \ge n^{-α_H}$ (and conjecturally for a larger range of $p$). We study this variational problem and provide a partial characterization of the so-called "replica symmetric" phase. Informally, our main result says that for every $H$, and $0 < δ< δ_H$ for some $δ_H > 0$, as $p \to 0$ slowly, the main contribution to the lower tail probability comes from Erdős-Rényi random graphs with a uniformly tilted edge density. On the other hand, this is false for non-bipartite $H$ and $δ$ close to 1.
On products of elementarily indivisible structures
Published in The Journal of Symbolic Logic, Volume 81, Issue 3 September 2016, pp. 951-971
• View Publication
• BIB
We say a structure $M$ in a first-order language is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure $M'$ of $M$ such that $M'$ is isomorphic to $M$. Additionally, we say that $M$ is symmetrically indivisible if $M'$ can be chosen to be symmetrically embedded in $M$ (that is, every automorphism of $M'$ can be extended to an automorphism of $M$). Similarly, we say that $M$ is elementarily indivisible if $M'$ can be chosen to be an elementary substructure. We define new products of structures in a relational language. We use these products to give recipes for construction of elementarily indivisible structures which are not transitive and elementarily indivisible structures which are not symmetrically indivisible, answering two questions presented by A. Hasson, M. Kojman and A. Onshuus.
The Smith Normal Form of a Matrix Associated with Young's Lattice
Published
• View Publication
• BIB
We prove a conjecture of Miller and Reiner on the Smith normal form of the operator $DU$ associated with a differential poset for the special case of Young's lattice. Equivalently, this operator can be described as $\frac{\partial}{\partial p_1}p_1$ acting on homogeneous symmetric functions of degree $n$.
Central Limit Theorems for some Set Partition Statistics
Published
• View Publication
• BIB
We prove the conjectured limiting normality for the number of crossings of a uniformly chosen set partition of [n] = {1,2,...,n}. The arguments use a novel stochastic representation and are also used to prove central limit theorems for the dimension index and the number of levels.
Multi-Catalan Tableaux and the Two-Species TASEP
Published
• View Publication
• BIB
The goal of this paper is to provide a combinatorial expression for the steady state probabilities of the two-species PASEP. In this model, there are two species of particles, one "heavy" and one "light", on a one-dimensional finite lattice with open boundaries. Both particles can swap places with adjacent holes to the right and left at rates 1 and $q$. Moreover, when the heavy and light particles are adjacent to each other, they can swap places as if the light particle were a hole. Additionally, the heavy particle can hop in and out at the boundary of the lattice. Our main result is a combinatorial interpretation for the stationary distribution at $q=0$ in terms of certain multi-Catalan tableaux. We provide an explicit determinantal formula for the steady state probabilities, as well as some general enumerative results for this case. We also describe a Markov process on these tableaux that projects to the two-species PASEP, and thus directly explains the connection between the two. Finally, we give a conjecture that extends our formula for the stationary distribution to the $q=1$ case, using certain two-species alternative tableau.
Hardness of Computing Clique Number and Chromatic Number For Cayley Graphs
Published
• View Publication
• BIB
Computing the clique number and chromatic number of a general graph are well-known NP-Hard problems. Codenotti et al. (Bruno Codenotti, Ivan Gerace, and Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems on circulant graphs. \emph{Linear Algebra Appl.}, 285(1-3): 123--142, 1998) showed that computing clique number and chromatic number are still NP-Hard problems for the class of circulant graphs. We show that computing clique number is NP-Hard for the class of Cayley graphs for the groups $G^n$, where $G$ is any fixed finite group (e.g., cubelike graphs). We also show that computing chromatic number cannot be done in polynomial time (under the assumption $\text{P}\neq \text{NP}$) for the same class of graphs. Our presentation uses free Cayley graphs. The proof combines free Cayley graphs with quotient graphs and Goppa codes.
On the Orlik--Terao ideal and the relation space of a hyperplane arrangement
Published in Advances in Applied Mathematics 71 (2015) pp. 34-51
• View Publication
• BIB
The relation space of a hyperplane arrangement is the vector space of all linear dependencies among the defining forms of the hyperplanes in the arrangement. In this paper, we study the relationship between the relation space and the Orlik--Terao ideal of an arrangement. In particular, we characterize spanning sets of the relation space in terms of the Orlik--Terao ideal. This result generalizes a characterization of 2-formal arrangements due to Schenck and Tohǎneanu \cite[Theorem 2.3]{ST}. We also study the minimal prime ideals of subideals of the Orlik--Terao ideal associated to subsets of the relation space. Finally, we give examples to show that for a 2-formal arrangement, the codimension of the Orlik--Terao ideal is not necessarily equal to that of its subideal generated by the quadratic elements.
Extrema of graph eigenvalues
Published
• View Publication
• BIB
In 1993 Hong asked what are the best bounds on the $k$'th largest eigenvalue $λ_{k}(G)$ of a graph $G$ of order $n$. This challenging question has never been tackled for any $2<k<n$. In the present paper tight bounds are obtained for all $k>2,$ and even tighter bounds are obtained for the $k$'th largest singular value $λ_{k}^{\ast}(G).$
Some of these bounds are based on Taylor's strongly regular graphs, and other on a method of Kharaghani for constructing Hadamard matrices. The same kind of constructions are applied to other open problems, like Nordhaus-Gaddum problems of the kind: How large can $λ_{k}(G)+λ_{k}(\bar{G})$ be$?$
These constructions are successful also in another open question: How large can the Ky Fan norm $λ_{1}^{\ast}(G)+...+λ_{k}^{\ast }(G)$ be $?$ Ky Fan norms of graphs generalize the concept of graph energy, so this question generalizes the problem for maximum energy graphs.
In the final section, several results and problems are restated for $(-1,1)$-matrices, which seem to provide a more natural ground for such research than graphs.
Many of the results in the paper are paired with open questions and problems for further study.