Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Cohen-Macaulay Circulant Graphs
Published
• View Publication
• BIB
Let G be the circulant graph C_n(S) with S a subset of {1,2,...,\lfloor n/2 \rfloor}, and let I(G) denote its the edge ideal in the ring R = k[x_1,...,x_n]. We consider the problem of determining when G is Cohen-Macaulay, i.e, R/I(G) is a Cohen-Macaulay ring. Because a Cohen-Macaulay graph G must be well-covered, we focus on known families of well-covered circulant graphs of the form C_n(1,2,...,d). We also characterize which cubic circulant graphs are Cohen-Macaulay. We end with the observation that even though the well-covered property is preserved under lexicographical products of graphs, this is not true of the Cohen-Macaulay property.
Epimorphisms of pseudo-quadratic polar spaces
Published
• View Publication
• BIB
We classify the epimorphisms of the buildings ${BC}_l(K,K_0,σ,L, q_0)$, where l is at least two, of pseudo-quadratic form type. This completes the classification of epimorphisms of irreducible spherical Moufang buildings of rank at least two.
Root polytope and partitions
Given a crystallographic reduced root system and an element v of the lattice generated by the roots we study the minimum number |v|, called the length of v, of roots needed to express v as sum of roots. This number is related to the linear functionals presenting the convex hull of the roots; the map v --> |v| turns out to be piecewise quasi-linear with quasi-linearity domains the cones over the facets of this convex hull. In order to show this relation we investigate the integral closure of the monoid generated by the roots in a facet. We study also the positive lenght, i.e. the minimum number of positive roots needed to write an element, and we prove that the two notions of length coincide for type A and C.
Convex Hull of Face Vectors of Colored Complexes
Published
• View Publication
• BIB
In this paper we verify a conjecture by Kozlov (Discrete Comput Geom 18 (1997) 421--431), which describes the convex hull of the set of face vectors of $r$-colorable complexes on $n$ vertices. As part of the proof we derive a generalization of Turán's graph theorem.
Adiabatic Quantum Programming: Minor Embedding With Hard Faults
Published
• View Publication
• BIB
Adiabatic quantum programming defines the time-dependent mapping of a quantum algorithm into an underlying hardware or logical fabric. An essential step is embedding problem-specific information into the quantum logical fabric. We present algorithms for embedding arbitrary instances of the adiabatic quantum optimization algorithm into a square lattice of specialized unit cells. These methods extend with fabric growth while scaling linearly in time and quadratically in footprint. We also provide methods for handling hard faults in the logical fabric without invoking approximations to the original problem, and illustrate their versatility through numerical studies of embeddabilty versus fault rates in square lattices of complete bipartite unit cells. The studies show these algorithms are more resilient to faulty fabrics than naive embedding approaches, a feature which should prove useful in benchmarking the adiabatic quantum optimization algorithm on existing faulty hardware.
Counting paths in digraphs
Published in European Journal of Combinatorics 31, 2010, 961-975
• View Publication
• BIB
Say a digraph is k-free if it has no directed cycles of length at most k, for positive integers k. Thomasse conjectured that the number of induced 3-vertex directed paths in a simple 2-free digraph on n vertices is at most (n-1)n(n+1)/15. We present an unpublished result of Bondy proving that there are at most 2n^3/25 such paths, and prove that for the class of circular interval digraphs, an upper bound of n^3/16 holds. We also study the problem of bounding the number of (non-induced) 4-vertex paths in 3-free digraphs. We show an upper bound of 4n^4/75 using Bondy's result for Thomasse's conjecture.
On a Conjecture of Andrica and Tomescu
Let S(n) be the integer sequence which is the coefficient of x^{n(n+1)/4} in the expansion of (1+x)(1+x^2), ..., (1+x^n) for positive integers n congruent to 0 or 3 mod 4. We prove a conjecture of Andrica and Tomescu that S(n) is asymptotic to \sqrt{6/π} 2^n n^{-3/2} as n approaches infinity.
Presburger arithmetic, rational generating functions, and quasi-polynomials
Published in Journal of Symbolic Logic 80 (2015), 433-449
• View Publication
• BIB
Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose characteristic functions can be represented by rational generating functions; a geometric characterization of such sets is also given. In addition, if p=(p_1,...,p_n) are a subset of the free variables in a Presburger formula, we can define a counting function g(p) to be the number of solutions to the formula, for a given p. We show that every counting function obtained in this way may be represented as, equivalently, either a piecewise quasi-polynomial or a rational generating function. Finally, we translate known computational complexity results into this setting and discuss open directions.
A Semidefinite Approach to the $K_i$ Cover Problem
Published
• View Publication
• BIB
We apply theta body relaxations to the $K_i$-cover problem and show polynomial time solvability for certain classes of graphs. In particular, we give an effective relaxation where all $K_i$-$p$-hole facets are valid, and study its relation to an open question of Conforti et al. For the triangle free problem, we show for $K_n$ that the theta body relaxations do not converge by $(n-2)/4$ steps; we also prove for all $G$ an integrality gap of 2 for the second theta body.
Extremal graphs for blow-ups of cycles and trees
Published
• View Publication
• BIB
The \emph{blow-up} of a graph $H$ is the graph obtained from replacing each edge in $H$ by a clique of the same size where the new vertices of the cliques are all different. Erdős et al. and Chen et al. determined the extremal number of blow-ups of stars. Glebov determined the extremal number and found all extremal graphs for blow-ups of paths. We determined the extremal number and found the extremal graphs for the blow-ups of cycles and a large class of trees, when $n$ is sufficiently large. This generalizes their results. The additional aim of our note is to draw attention to a powerful tool, a classical decomposition theorem of Simonovits.
On the threshold-width of graphs
Published
• View Publication
• BIB
The GG-width of a class of graphs GG is defined as follows. A graph G has GG-width k if there are k independent sets N1,...,Nk in G such that G can be embedded into a graph H in GG such that for every edge e in H which is not an edge in G, there exists an i such that both endpoints of e are in Ni. For the class TH of threshold graphs we show that TH-width is NP-complete and we present fixed-parameter algorithms. We also show that for each k, graphs of TH-width at most k are characterized by a finite collection of forbidden induced subgraphs.
Polymatroids and polyquantoids
Published in \emph{Proceedings of WUPES 2012}, Sept.\ 12--15, Mariánské Láznì, Czech Republic, 126--136
• Search Publication
When studying entropy functions of multivariate probability distributions, polymatroids and matroids emerge. Entropy functions of pure multiparty quantum states give rise to analogous notions, called here polyquantoids and quantoids. Polymatroids and polyquantoids are related via linear mappings and duality. Quantum secret sharing schemes that are ideal are described by selfdual matroids. Expansions of integer polyquantoids to quantoids are studied and linked to that of polymatroids.
Algebraic properties of generalized Rijndael-like ciphers
Published
• View Publication
• BIB
We provide conditions under which the set of Rijndael functions considered as permutations of the state space and based on operations of the finite field $\GF (p^k)$ ($p\geq 2$ a prime number) is not closed under functional composition. These conditions justify using a sequential multiple encryption to strengthen the AES (Rijndael block cipher with specific block sizes) in case AES became practically insecure. In Sparr and Wernsdorf (2008), R. Sparr and R. Wernsdorf provided conditions under which the group generated by the Rijndael-like round functions based on operations of the finite field $\GF (2^k)$ is equal to the alternating group on the state space. In this paper we provide conditions under which the group generated by the Rijndael-like round functions based on operations of the finite field $\GF (p^k)$ ($p\geq 2$) is equal to the symmetric group or the alternating group on the state space.
Few Long Lists for Edge Choosability of Planar Cubic Graphs
It is known that every loopless cubic graph is 4-edge choosable. We prove the following strengthened result.
Let G be a planar cubic graph having b cut-edges. There exists a set F of at most 5b/2 edges of G with the following property. For any function L which assigns to each edge of F a set of 4 colours and which assigns to each edge in E(G)-F a set of 3 colours, the graph G has a proper edge colouring where the colour of each edge e belongs to L(e).
Threat, support and dead edges in the Shannon game
The notions of captured/lost vertices and dead edges in the Shannon game (Shannon switching game on nodes) are examined using graph theory. Simple methods are presented for identifying some dead edges and some captured sets of vertices, thus simplifying the (computationally hard) problem of analyzing the game.
On extremal graphs with at most two internally disjoint Steiner trees connecting any three vertices
The problem of determining the smallest number of edges, $h(n;\barκ\geq r)$, which guarantees that any graph with $n$ vertices and $h(n;\barκ\geq r)$ edges will contain a pair of vertices joined by $r$ internally disjoint paths was posed by Erdös and Gallai. Bollobás considered the problem of determining the largest number of edges $f(n;\barκ\leq \ell)$ for graphs with $n$ vertices and local connectivity at most $\ell$. One can see that $f(n;\barκ\leq \ell)= h(n;\barκ\geq \ell+1)-1$. These two problems had received a wide attention of many researchers in the last few decades. In the above problems, only pairs of vertices connected by internally disjoint paths are considered. In this paper, we study the number of internally disjoint Steiner trees connecting sets of vertices with cardinality at least 3.
Betti diagrams from graphs
Published in Algebra Number Theory 7 (2013) 1725-1742
• View Publication
• BIB
The emergence of Boij-Söderberg theory has given rise to new connections between combinatorics and commutative algebra. Herzog, Sharifan, and Varbaro recently showed that every Betti diagram of an ideal with a k-linear minimal resolution arises from that of the Stanley-Reisner ideal of a simplicial complex. In this paper, we extend their result for the special case of 2-linear resolutions using purely combinatorial methods. Specifically, we show bijective correspondences between Betti diagrams of ideals with 2-linear resolutions, threshold graphs, and anti-lecture hall compositions. Moreover, we prove that any Betti diagram of a module with a 2-linear resolution is realized by a direct sum of Stanley-Reisner rings associated to threshold graphs. Our key observation is that these objects are the lattice points in a normal reflexive lattice polytope.
Odd 2-factored snarks
Published in Eur. J. Combin. 36 (2014) 460--472
• View Publication
• BIB
A {\em snark} is a cubic cyclically 4-edge connected graph with edge chromatic number four and girth at least five. We say that a graph $G$ is {\em odd 2-factored} if for each 2-factor F of G each cycle of F is odd.
In this paper, we present a method for constructing odd 2--factored snarks. In particular, we construct two families of odd 2-factored snarks that disprove a conjecture by some of the authors. Moreover, we approach the problem of characterizing odd 2-factored snarks furnishing a partial characterization of cyclically 4-edge connected odd 2-factored snarks. Finally, we pose a new conjecture regarding odd 2-factored snarks.
Wilmes' Conjecture and Boundary Divisors
This paper is concerned with Wilmes' conjecture regarding abelian sandpile models. We introduce the concept of boundary divisors and use this to prove the conjecture for the first Betti number. Further results suggest that this method could be used to tackle the general case of the problem.
A note on planar partial 3-trees
It implicitly follows from the work of [Colbourn, El-Mallah: On two dual classes of planar graphs. Discrete Mathematics 80(1): 21-40 (1990)] that every planar partial 3-tree is a subgraph of a planar 3-tree. This fact has already enabled to prove a couple of results for planar partial 3-trees by induction on the structure of the underlying planar 3-tree completion. We provide an explicit proof of this observation and strengthen it by showing that one can keep the plane drawing of the input graph unchanged.