Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Vizing's 2-factor Conjecture Involving Large Maximum Degree
Published
• View Publication
• BIB
Let $G$ be a connected simple graph of order $n$ and let $Δ(G)$ and $χ'(G)$ denote the maximum degree and chromatic index of $G$, respectively. Vizing proved that $χ'(G)=Δ(G)$ or $Δ(G)+1$. Following this result, $G$ is called $Δ$-critical if $χ'(G)=Δ(G)+1$ and $χ'(G-e)=Δ(G)$ for every $e\in E(G)$. In 1968, Vizing conjectured that if $G$ is an $n$-vertex $Δ$-critical graph, then the independence number $α(G)\le n/2$. Furthermore, he conjectured that, in fact, $G$ has a 2-factor. Luo and Zhao showed that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge n/2$, then $α(G)\le n/2$. More recently, they showed that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge 6n/7$, then $G$ has a hamiltonian cycle, and so $G$ has a 2-factor. In this paper, we show that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge n/2$, then $G$ has a 2-factor.
Three-coloring triangle-free graphs on surfaces IV. Bounding face sizes of 4-critical graphs
Let G be a 4-critical graph with t triangles, embedded in a surface of genus g. Let c be the number of 4-cycles in G that do not bound a 2-cell face. We prove that the sum of lengths of (>=5)-faces of G is at most linear in g+t+c-1.
Families of nested completely regular codes and distance-regular graphs
Published
• View Publication
• BIB
In this paper infinite families of linear binary nested completely regular codes are constructed. They have covering radius $ρ$ equal to $3$ or $4$, and are $1/2^i$-th parts, for $i\in\{1,\ldots,u\}$ of binary (respectively, extended binary) Hamming codes of length $n=2^m-1$ (respectively, $2^m$), where $m=2u$. In the usual way, i.e., as coset graphs, infinite families of embedded distance-regular coset graphs of diameter $D$ equal to $3$ or $4$ are constructed. In some cases, the constructed codes are also completely transitive codes and the corresponding coset graphs are distance-transitive.
On some numerical characteristics of a bipartite graph
Published in Mathematics and Education in Mathematics, Proceedings of the Forty Third Spring Conference of the Union of Bulgarian Mathematicians, Borovetz, April 2-6, 2014
• Search Publication
The paper consider an equivalence relation in the set of vertices of a bipartite graph. Some numerical characteristics showing the cardinality of equivalence classes are introduced. A combinatorial identity that is in relationship to these characteristics of the set of all bipartite graphs of the type $g=\langle R_g \cup C_g, E_g \rangle$ is formulated and proved, where $V=R_g \cup C_g$ is the set of vertices, $E_g$ is the set of edges of the graph $g$, $ |R_g |=m\ge 1$, $|C_g |= n\ge 1$, $|E_g |=k\ge 0$, $m,n$ and $k$ are integers.
Bounds on the Number of Edges in Hypertrees
Published in Discrete Mathematics 339: (7) pp. 1884-1991. (2016)
• View Publication
• BIB
Let $\mathcal{H}$ be a $k$-uniform hypergraph. A chain in $\mathcal{H}$ is a sequence of its vertices such that every $k$ consecutive vertices form an edge. In 1999 Katona and Kierstead suggested to use chains in hypergraphs as the generalisation of paths. Although a number of results have been published on hamiltonian chains in recent years, the generalization of trees with chains has still remained an open area. We generalize the concept of trees for uniform hypergraphs. We say that a $k$-uniform hypergraph $\mathcal{F}$ is a hypertree if every two vertices of $\mathcal{F}$ are connected by a chain, and an appropriate kind of cycle-free property holds. An edge-minimal hypertree is a hypertree whose edge set is minimal with respect to inclusion. After considering these definitions, we show that a $k$-uniform hypertree on $n$ vertices has at least $n-(k-1)$ edges up to a finite number of exceptions, and it has at most $\binom{n}{k-1}$ edges. The latter bound is asymptotically sharp in 3-uniform case.
A note on the minimum distance of quantum LDPC codes
Published in Mathematical Foundations of Computer Science 2014, Vol. 8635 LNCS pp 239-250
• View Publication
• BIB
We provide a new lower bound on the minimum distance of a family of quantum LDPC codes based on Cayley graphs proposed by MacKay, Mitchison and Shokrollahi. Our bound is exponential, improving on the quadratic bound of Couvreur, Delfosse and Zémor. This result is obtained by examining a family of subsets of the hypercube which locally satisfy some parity conditions.
On an Algorithm for Isomorphism-Free Generations of Combinatorial Objects
Published in International Journal of Emerging Trends & Technology in Computer Science (IJETTCS), Vol. 2, No. 6 (2013) 215-220
• Search Publication
In the work are defined the concepts semi-canonical and canonical binary matrix. What is described is an algorithm solving the combinatorial problem for finding the semi-canonical matrices in the set Λ_n^k consisting of all n\times n binary matrices having exactly k 1's in every row and every column without perambulating all elements. In the described algorithm bitwise operations are substantially used. In this way it becomes easier to find the solution to the problem for receiving one representative from every equivalence class regarding the introduced in the article equivalence relation in the set Λ_n^k . The last problem is equivalent to the problem for finding all canonical matrices in Λ_n^k .
Flip invariance for domino tilings of three-dimensional regions with two floors
Published
• View Publication
• BIB
We investigate tilings of cubiculated regions with two simply connected floors by 2 x 1 x 1 bricks. More precisely, we study the flip connected component for such tilings, and provide an algebraic invariant that "almost" characterizes the flip connected components of such regions, in a sense that we discuss in the paper. We also introduce a new local move, the trit, which, together with the flip, connects the space of domino tilings when the two floors are identical.
On the phase transition curve in a directed exponential random graph model
Published in Adv. Appl. Prob. 50, 272--301, (2018)
• View Publication
• BIB
We consider a family of directed exponential random graph models parametrized by edges and outward stars. Much of the important statistical content of such models is given by the normalization constant of the models, and in particular, an appropriately scaled limit of the normalization, which is called the free energy. We derive precise asymptotics for the normalization constant for finite graphs. We use this to derive a formula for the free energy. The limit is analytic everywhere except along a curve corresponding to a first order phase transition. We examine unusual behavior of the model along the phase transition curve.
Quadratization of Symmetric Pseudo-Boolean Functions
Published
• View Publication
• BIB
A pseudo-Boolean function is a real-valued function $f(x)=f(x_1,x_2,\ldots,x_n)$ of $n$ binary variables; that is, a mapping from $\{0,1\}^n$ to $\mathbb{R}$. For a pseudo-Boolean function $f(x)$ on $\{0,1\}^n$, we say that $g(x,y)$ is a quadratization of $f$ if $g(x,y)$ is a quadratic polynomial depending on $x$ and on $m$ auxiliary binary variables $y_1,y_2,\ldots,y_m$ such that $f(x)= \min \{g(x,y) : y \in \{0,1\}^m \}$ for all $x \in \{0,1\}^n$. By means of quadratizations, minimization of $f$ is reduced to minimization (over its extended set of variables) of the quadratic function $g(x,y)$. This is of some practical interest because minimization of quadratic functions has been thoroughly studied for the last few decades, and much progress has been made in solving such problems exactly or heuristically. A related paper \cite{ABCG} initiated a systematic study of the minimum number of auxiliary $y$-variables required in a quadratization of an arbitrary function $f$ (a natural question, since the complexity of minimizing the quadratic function $g(x,y)$ depends, among other factors, on the number of binary variables). In this paper, we determine more precisely the number of auxiliary variables required by quadratizations of symmetric pseudo-Boolean functions $f(x)$, those functions whose value depends only on the Hamming weight of the input $x$ (the number of variables equal to $1$).
On Quadratization of Pseudo-Boolean Functions
We survey current term-wise techniques for quadratizing high-degree pseudo-Boolean functions and introduce a new one, which allows multiple splits of terms. We also introduce the first aggregative approach, which splits a collection of terms based on their common parts.
A rigged configuration model for $B(\infty)$
Published in J. Combin. Theory Ser. A 133 (2015), pp. 29-57
• View Publication
• BIB
We describe a combinatorial realization of the crystals $B(\infty)$ and $B(λ)$ using rigged configurations in all symmetrizable Kac-Moody types up to certain conditions. This includes all simply-laced types and all non-simply-laced finite and affine types.
A note on coloring vertex-transitive graphs
Published in Electronic Journal of Combinatorics. Vol. 22(2), 2015, #P2.1
• View Publication
• BIB
We prove bounds on the chromatic number $χ$ of a vertex-transitive graph in terms of its clique number $ω$ and maximum degree $Δ$. We conjecture that every vertex-transitive graph satisfies $χ\le \max \left\{ω, \left\lceil\frac{5Δ+ 3}{6}\right\rceil\right\}$ and we prove results supporting this conjecture. Finally, for vertex-transitive graphs with $Δ\ge 13$ we prove the Borodin-Kostochka conjecture, i.e., $χ\le\max\{ω,Δ-1\}$.
On the intersection conjecture for infinite trees of matroids
Published
• View Publication
• BIB
Using a new technique, we prove a rich family of special cases of the matroid intersection conjecture. Roughly, we prove the conjecture for pairs of tame matroids which have a common decomposition by 2-separations into finite parts.
On the structure of oriented graphs and digraphs with forbidden tournaments or cycles
Published
• View Publication
• BIB
Motivated by his work on the classification of countable homogeneous oriented graphs, Cherlin asked about the typical structure of oriented graphs (i) without a transitive triangle, or (ii) without an oriented triangle. We give an answer to these questions (which is not quite the predicted one). Our approach is based on the recent `hypergraph containers' method, developed independently by Saxton and Thomason as well as by Balogh, Morris and Samotij. Moreover, our results generalise to forbidden transitive tournaments and forbidden oriented cycles of any order, and also apply to digraphs. Along the way we prove several stability results for extremal digraph problems, which we believe are of independent interest.
On sets of integers with restrictions on their products
Published
• View Publication
• BIB
A {\em product-injective labeling} of a graph $G$ is an injection $χ: V(G) \to \mathbb{Z}$ such that $χ(u)χ(v) \not= χ(x)χ(y)$ for any distinct edges $uv, xy\in E(G)$. Let $P(G)$ be the smallest $N \geq 1$ such that there exists a product-injective labeling $χ: V(G) \rightarrow [N]$. Let $P(n,d)$ be the maximum possible value of $P(G)$ over $n$-vertex graphs $G$ of maximum degree at most $d$. In this paper, we determine the asymptotic value of $P(n,d)$ for all but a small range of values of $d$ relative to $n$. Specifically, we show that there exist constants $a,b > 0$ such that $P(n,d) \sim n$ if $d \leq \sqrt{n}(\log n)^{-a}$ and $P(n,d) \sim n\log n$ if $d \geq \sqrt{n}(\log n)^{b}$.
On Coupon Colorings of Graphs
Published
• View Publication
• BIB
Let $G$ be a graph with no isolated vertices. A {\em $k$-coupon coloring} of $G$ is an assignment of colors from $[k] := \{1,2,\dots,k\}$ to the vertices of $G$ such that the neighborhood of every vertex of $G$ contains vertices of all colors from $[k]$. The maximum $k$ for which a $k$-coupon coloring exists is called the {\em coupon coloring number} of $G$, and is denoted $χ_{c}(G)$. In this paper, we prove that every $d$-regular graph $G$ has $χ_{c}(G) \geq (1 - o(1))d/\log d$ as $d \rightarrow \infty$, and the proportion of $d$-regular graphs $G$ for which $χ_c(G) \leq (1 + o(1))d/\log d$ tends to $1$ as $|V(G)| \rightarrow \infty$.
Conformally Covariant Operators and Conformal Invariants on Weighted Graphs
Published
• View Publication
• BIB
Let G be a finite connected simple graph. We define the moduli space of conformal structures on G. We propose a definition of conformally covariant operators on graphs, motivated by [25]. We provide examples of conformally covariant operators, which include the edge Laplacian and the adjacency matrix on graphs. In the case where such an operator has a nontrivial kernel, we construct conformal invariants, providing discrete counterparts of several results in [11,12] established for Riemannian manifolds. In particular, we show that the nodal sets and nodal domains of null eigenvectors are conformal invariants.
Möbius function of semigroup posets through Hilbert series
Published in Journal of Combinatorial Theory, Series A, Elsevier, 2015, 136, pp.238-251
• View Publication
• BIB
In this paper, we investigate the M{ö}bius function $μ\_{\mathcal{S}}$ associated to a (locally finite) poset arising from a semigroup $\mathcal{S}$ of $\mathbb{Z}^m$. We introduce and develop a new approach to study $μ\_{\mathcal{S}}$ by using the Hilbert series of $\mathcal{S}$. The latter enables us to provide formulas for $μ\_{\mathcal{S}}$ when $\mathcal{S}$ belongs to certain families of semigroups. Finally, a characterization for a locally finite poset to be isomorphic to a semigroup poset is given.
The phase transition in site percolation on pseudo-random graphs
Published
• View Publication
• BIB
We establish the existence of the phase transition in site percolation on pseudo-random $d$-regular graphs. Let $G=(V,E)$ be an $(n,d,λ)$-graph, that is, a $d$-regular graph on $n$ vertices in which all eigenvalues of the adjacency matrix, but the first one, are at most $λ$ in their absolute values. Form a random subset $R$ of $V$ by putting every vertex $v\in V$ into $R$ independently with probability $p$. Then for any small enough constant $ε>0$, if $p=\frac{1-ε}{d}$, then with high probability all connected components of the subgraph of $G$ induced by $R$ are of size at most logarithmic in $n$, while for $p=\frac{1+ε}{d}$, if the eigenvalue ratio $λ/d$ is small enough as a function of $ε$, then typically $R$ spans a connected component of size at least $\frac{εn}{d}$ and a path of length proportional to $\frac{ε^2n}{d}$.