Showing 20 papers (Total: 82736 papers, 47815 authors in database)
On path decompositions of 2k-regular graphs
Published
• View Publication
• BIB
Tibor Gallai conjectured that the edge set of every connected graph $G$ on $n$ vertices can be partitioned into $\lceil n/2\rceil$ paths. Let $\mathcal{G}_{k}$ be the class of all $2k$-regular graphs of girth at least $2k-2$ that admit a pair of disjoint perfect matchings. In this work, we show that Gallai's conjecture holds in $\mathcal{G}_{k}$, for every $k \geq 3$. Further, we prove that for every graph $G$ in $\mathcal{G}_{k}$ on $n$ vertices, there exists a partition of its edge set into $n/2$ paths of lengths in $\{2k-1,2k,2k+1\}$.
The normalized Laplacian spectrum of subdivisions of a graph
Published in Applied Mathematics and Computation, 2016, 286: 250-256
• View Publication
• BIB
Determining and analyzing the spectra of graphs is an important and exciting research topic in theoretical computer science. The eigenvalues of the normalized Laplacian of a graph provide information on its structural properties and also on some relevant dynamical aspects, in particular those related to random walks. In this paper, we give the spectra of the normalized Laplacian of iterated subdivisions of simple connected graphs. As an example of application of these results we find the exact values of their multiplicative degree-Kirchhoff index, Kemeny's constant and number of spanning trees.
Graph Operations and Upper Bounds on Graph Homomorphism Counts
Published
• View Publication
• BIB
We construct a family of countexamples to a conjecture of Galvin [5], which stated that for any $n$-vertex, $d$-regular graph $G$ and any graph $H$ (possibly with loops), \[\hom(G,H) \leq \max\left\lbrace\hom(K_{d,d}, H)^{\frac{n}{2d}}, \hom(K_{d+1},H)^{\frac{n}{d+1}}\right\rbrace,\] where $\hom(G,H)$ is the number of homomorphisms from $G$ to $H$.
By exploiting properties of the graph tensor product and graph exponentiation, we also find new infinite families of $H$ for which the bound stated above on $\hom(G,H)$ holds for all $n$-vertex, $d$-regular $G$.
In particular we show that if $H_{\rm WR}$ is the complete looped path on three vertices, also known as the Widom-Rowlinson graph, then $$ {\hom}(G,H_{\rm WR}) \leq {\hom}(K_{d+1},H_{\rm WR})^\frac{n}{d+1} $$ for all $n$-vertex, $d$-regular $G$. This verifies a conjecture of Galvin.
The Bruhat order on clans
Published
• View Publication
• BIB
We give an explicit description of the closure containment order (or "Bruhat order") on the set of orbits of GL_p \times GL_q on the flag variety GL_{p+q}/B, relative to the parametrization of the orbits by combinatorial objects called "clans". This leads to a corresponding description of the closures of such orbits as sets of flags satisfying certain incidence conditions encoded by the parametrizing clans.
Extremal Graph Theory for Degree Sequences
This paper surveys some recent results and progress on the extremal prob- lems in a given set consisting of all simple connected graphs with the same graphic degree sequence. In particular, we study and characterize the extremal graphs having the maximum (or minimum) values of graph invariants such as (Laplacian, p-Laplacian, signless Laplacian) spectral radius, the first Dirichlet eigenvalue, the Wiener index, the Harary index, the number of subtrees and the chromatic number etc, in given sets with the same tree, unicyclic, graphic degree sequences. Moreover, some conjectures are included.
Equivalence classes of ballot paths modulo strings of length 2 and 3
Published
• View Publication
• BIB
Two paths are equivalent modulo a given string $τ$, whenever they have the same length and the positions of the occurrences of $τ$ are the same in both paths. This equivalence relation was introduced for Dyck paths in \cite{BP}, where the number of equivalence classes was evaluated for any string of length 2.
In this paper, we evaluate the number of equivalence classes in the set of ballot paths for any string of length 2 and 3, as well as in the set of Dyck paths for any string of length 3.
Minimal free resolutions of monomial ideals and of toric rings are supported on posets
Published
• View Publication
• BIB
We introduce the notion of a \emph{resolution supported on a poset}. When the poset is a CW-poset, i.e. the face poset of a regular CW-complex, we recover the notion of cellular resolution as introduced by Bayer and Sturmfels. Work of Reiner and Welker, and of Velasco, has shown that there are monomial ideals whose minimal free resolutions are not cellular, hence cannot be supported on any CW-poset. We show that for any monomial ideal there is a \emph{homology CW-poset} that supports a minimal free resolution of the ideal. This allows one to extend to every minimal resolution, essentially verbatim, techniques initially developed to study cellular resolutions. As two demonstrations of this process, we show that minimal resolutions of toric rings are supported on what we call toric hcw-posets, and we give a new combinatorial proof of a fundamental result of Miller on the relationship between Artininizations and Alexander duality of monomial ideals.
Gr{ö}bner basis. a "pseudo-polynomial" algorithm for computing the Frobenius number
Let consider $n$ natural numbers $a\_1 ,\ldots , a\_{n} $. Let $S$ be the numerical semigroup generated by $a\_1 ,\ldots , a\_{n} $. Set $A=K[t^{a\_1}, \ldots , t^{a\_n}]=K[{x\_1}, \ldots , {x\_n}]/I$. The aim of this paper is: \begin{enumerate}\item Give an effective pseudo-polynomial algorithm on $a\_1$, which computes The Ap{é}ry set and the Frobenius number of $S$. As a consequence it also solves in pseudo-polynomial time the integer knapsack problem : given a natural integer b, b belongs to $S$?\item The \gbb of $I$ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$, without using Buchberger's algorithm. \item $\ini{I} $ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$.\item $A$ as a $K[t^{ a\_1 }]$-module. \end{enumerate} We dont know the complexity of our algorithm. We need to solve the "multiplicative" integer knapsack problem: Find all positive integer solutions $({k\_1}, \ldots , {k\_n})$ of the inequality $\prod\_{i=2}^n (k\_i+1)\leq a\_1+1$. This algorithm is easily implemented. The implementation of this algorithm "frobenius-number-mm", for $n=17 $, can be downloaded in \hfill\breakhttps://www-fourier.ujf-grenoble.fr/~morales/frobenius-number-mm
A proof of the Cycle Double Cover Conjecture
Given a bridgeless graph $G$, the Cycle Double Cover Conjecture posits that there is a list of cycles of $G$, such that every edge appears in exactly two cycles on the list. This conjecture was originally posed independently in 1973 by Szekeres and 1979 by Seymour. In 1985, Jaeger demonstrated that it is sufficient to prove in the case that $G$ is a cubic graph. We here present a proof that every bridgeless cubic graph has a cycle double cover by analyzing certain kinds of cycles in the line graph of $G$. Further, in the case that $G$ is cubic, we prove the stronger conjecture that given a bridgeless graph $G$ and a cycle $C$ in $G$, then there exists a cycle double cover of $G$ containing $C$.
Combinatorics of symmetric plabic graphs
Published
• View Publication
• BIB
A plabic graph is a planar bicolored graph embedded in a disk, which satisfies some combinatorial conditions. Postnikov's boundary measurement map takes the space of positive edge weights of a plabic graph $G$ to a positroid cell in some totally nonnegative Grassmannian. In this note, we investigate plabic graphs which are symmetric about a line of reflection, up to reversing the colors of vertices. These symmetric plabic graphs arise naturally in the study of total positivity for the Lagrangian Grassmannian. We characterize various combinatorial objects associated with symmetric plabic graphs, and describe the subset of a Grassmannian which can be realized by symmetric weightings of symmetric plabic graphs.
Discrete Envy-free Division of Necklaces and Maps
We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free division and consider situations where we can obtain an envy-free division for relatively small. We also prove a 2-dimensional result with a grid of indivisible objects. This may be viewed as a way to divide a state with indivisible districts among a set of constituents, producing somewhat gerrymandered regions that form an envy-free division of the state.
On the characteristic polynomial of a supertropical adjoint matrix
Published
• View Publication
• BIB
Let $χ(A)$ denote the characteristic polynomial of a matrix $A$ over a field; a standard result of linear algebra states that $χ(A^{-1})$ is the reciprocal polynomial of $χ(A)$. More formally, the condition $χ^n(X) χ^k(X^{-1})=χ^{n-k}(X)$ holds for any invertible $n\times n$ matrix $X$ over a field, where $χ^i(X)$ denotes the coefficient of $λ^{n-i}$ in the characteristic polynomial $\det(λI-X)$. We confirm a recent conjecture of Niv by proving the tropical analogue of this result.
Symmetric Graphs with respect to Graph Entropy
Published
• View Publication
• BIB
Let $F_G(P)$ be a functional defined on the set of all the probability distributions on the vertex set of a graph $G$. We say that $G$ is \emph{symmetric with respect to $F_G(P)$} if the uniform distribution on $V(G)$ maximizes $F_G(P)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number, we characterize all graphs which are symmetric with respect to graph entropy. We show that a graph is symmetric with respect to graph entropy if and only if its vertex set can be uniformly covered by its maximum size independent sets. Furthermore, given any strictly positive probability distribution $P$ on the vertex set of a graph $G$, we show that $P$ is a maximizer of the entropy of graph $G$ if and only if its vertex set can be uniformly covered by its maximum weighted independent sets. We also show that the problem of deciding if a graph is symmetric with respect to graph entropy, where the weight of the vertices is given by probability distribution $P$, is co-NP-hard.
Distance-2 MDS codes and latin colorings in the Doob graphs
Published in Graphs Comb. 34(5) 2018, 1001-1017
• View Publication
• BIB
The maximum independent sets in the Doob graphs D(m,n) are analogs of the distance-2 MDS codes in Hamming graphs and of the latin hypercubes. We prove the characterization of these sets stating that every such set is semilinear or reducible. As related objects, we study vertex sets with maximum cut (edge boundary) in D(m,n) and prove some facts on their structure. We show that the considered two classes (the maximum independent sets and the maximum-cut sets) can be defined as classes of completely regular sets with specified 2-by-2 quotient matrices. It is notable that for a set from the considered classes, the eigenvalues of the quotient matrix are the maximum and the minimum eigenvalues of the graph. For D(m,0), we show the existence of a third, intermediate, class of completely regular sets with the same property.
Strong spatial mixing in homomorphism spaces
Given a countable graph $\mathcal{G}$ and a finite graph $\mathrm{H}$, we consider $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ the set of graph homomorphisms from $\mathcal{G}$ to $\mathrm{H}$ and we study Gibbs measures supported on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ . We develop some sufficient and other necessary conditions on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ for the existence of Gibbs specifications satisfying strong spatial mixing (with exponential decay rate). We relate this with previous work of Brightwell and Winkler, who showed that a graph $\mathrm{H}$ has a combinatorial property called dismantlability if and only if for every $\mathcal{G}$ of bounded degree, there exists a Gibbs specification with unique Gibbs measure. We strengthen their result by showing that this unique Gibbs measure can be chosen to have weak spatial mixing, but we also show that there exist dismantlable graphs for which no Gibbs measure has strong spatial mixing.
Equivariant maps related to the topological Tverberg conjecture
Published
• View Publication
• BIB
Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta constructs equivariant maps between spaces which are related to the topological Tverberg conjecture. This answers negatively a question of Özaydin posed in relation to weaker versions of the same conjecture. Further, it also has consequences for Borsuk-Ulam properties of representations of cyclic and dihedral groups.
$Z_4$-codes and their Gray map images as orthogonal arrays
Published in Designs, Codes, Crypt. 84 (2017), 109-114
• View Publication
• BIB
A classic result of Delsarte connects the strength (as orthogonal array) of a linear code with the minimum weight of its dual: the former is one less than the latter. We show that Delsarte's observation extends to codes over arbitrary finite rings.
Since the paper of Hammons \emph{et al.}, there is a lot of interest in codes over rings, especially in codes over $Z_4$ and their (usually non-linear) binary Gray map images.
We show that Delsarte's observation extends to codes over arbitrary finite commutative rings with identity. Also, we show that the strength of the Gray map image of a $Z_4$ code is one less than the minimum Lee weight of its Gray map image.
Automata, reduced words, and Garside shadows in Coxeter groups
Published in Journal of algebra (computational section), vol. 457 (2016), 331-456
• View Publication
• BIB
In this article, we introduce and investigate a class of finite deterministic automata that all recognize the language of reduced words of a finitely generated Coxeter system (W,S). The definition of these automata is straightforward as it only requires the notion of weak order on (W,S) and the related notion of Garside shadows in (W,S), an analog of the notion of a Garside family. Then we discuss the relations between this class of automata and the canonical automaton built from Brink and Howlett's small roots. We end this article by providing partial positive answers to two conjectures: (1) the automata associated to the smallest Garside shadow is minimal; (2) the canonical automaton is minimal if and only if the support of all small roots is spherical, i.e., the corresponding root system is finite.
A new generalization of Hermite's reciprocity law
Published
• View Publication
• BIB
Given a partition $λ$ of $n$, the {\it Schur functor} $\mathbb{S}_λ$ associates to any complex vector space $V$, a subspace $\mathbb{S}_λ(V)$ of $V^{\otimes n}$. Hermite's reciprocity law, in terms of the Schur functor, states that $
\mathbb{S}_{(p)}\left(\mathbb{S}_{(q)}(\mathbb{C}^2)\right)\simeq \mathbb{S}_{(q)}\left(\mathbb{S}_{(p)}(\mathbb{C}^2)\right). $
We extend this identity to many other identities of the type $\mathbb{S}_λ\left(\mathbb{S}_δ(\mathbb{C}^2)\right)\simeq \mathbb{S}_μ\left(\mathbb{S}_ε(\mathbb{C}^2)\right)$.
Large $\{0, 1, \ldots, t\}$-Cliques in Dual Polar Graphs
Published
• View Publication
• BIB
We investigate $\{0, 1, \ldots, t \}$-cliques of generators on dual polar graphs of finite classical polar spaces of rank $d$. These cliques are also known as Erdős-Ko-Rado sets in polar spaces of generators with pairwise intersections in at most codimension $t$. Our main result is that we classify all such cliques of maximum size for $t \leq \sqrt{8d/5}-2$ if $q \geq 3$, and $t \leq \sqrt{8d/9}-2$ if $q = 2$. We have the following byproducts. (a) For $q \geq 3$ we provide estimates of Hoffman's bound on these $\{0, 1, \ldots, t \}$-cliques for all $t$. (b) For $q \geq 3$ we determine the largest, second largest, and smallest eigenvalue of the graphs which have the generators of a polar space as vertices and where two generators are adjacent if and only if they meet in codimension at least $t+1$. Furthermore, we provide nice explicit formulas for all eigenvalues of these graphs. (c) We provide upper bounds on the size of the second largest maximal $\{0, 1, \ldots, t \}$-cliques for some $t$.