Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Boolean dimension and local dimension
Published
• View Publication
• BIB
Dimension is a standard and well-studied measure of complexity of posets. Recent research has provided many new upper bounds on the dimension for various structurally restricted classes of posets. Bounded dimension gives a succinct representation of the poset, admitting constant response time for queries of the form "is $x<y$?". This application motivates looking for stronger notions of dimension, possibly leading to succinct representations for more general classes of posets. We focus on two: boolean dimension, introduced in the 1980s and revisited in recent research, and local dimension, a very new one. We determine precisely which values of dimension/boolean dimension/local dimension imply that the two other parameters are bounded.
Hypergeometric and basic hypergeometric series and integrals associated with root systems
Published
• View Publication
• BIB
We give an overview of some of the main results from the theories of hypergeometric and basic hypergeometric series and integrals associated with root systems. In particular, we list a number of summations, transformations and explicit evaluations for such multiple series and integrals. We concentrate on such results which do not directly extend to the elliptic level. This text is a provisional version of a chapter on hypergeometric and basic hypergeometric series and integrals associated with root systems for volume 2 of the new Askey--Bateman project which deals with "Multivariable special functions".
Distributed Dominating Set Approximations beyond Planar Graphs
Published
• View Publication
• BIB
The Minimum Dominating Set (MDS) problem is one of the most fundamental and challenging problems in distributed computing. While it is well-known that minimum dominating sets cannot be approximated locally on general graphs, over the last years, there has been much progress on computing local approximations on sparse graphs, and in particular planar graphs.
In this paper we study distributed and deterministic MDS approximation algorithms for graph classes beyond planar graphs. In particular, we show that existing approximation bounds for planar graphs can be lifted to bounded genus graphs, and present (1) a local constant-time, constant-factor MDS approximation algorithm and (2) a local $\mathcal{O}(\log^*{n})$-time approximation scheme. Our main technical contribution is a new analysis of a slightly modified variant of an existing algorithm by Lenzen et al. Interestingly, unlike existing proofs for planar graphs, our analysis does not rely on direct topological arguments.
Arrangements of homothets of a convex body II
Published in Contributions to Discrete Mathematics 13 (2018), 116--123
• View Publication
• BIB
A family of homothets of an o-symmetric convex body K in d-dimensional Euclidean space is called a Minkowski arrangement if no homothet contains the center of any other homothet in its interior. We show that any pairwise intersecting Minkowski arrangement of a d-dimensional convex body has at most $2\cdot 3^d$ members. This improves a result of Polyanskii (arXiv:1610.04400). Using similar ideas, we also give a proof the following result of Polyanskii: Let $K_1,\dots,K_n$ be a sequence of homothets of the o-symmetric convex body $K$, such that for any $i<j$, the center of $K_j$ lies on the boundary of $K_i$. Then $n\leq O(3^d d)$.
Entanglement properties of quantum grid states
Published in Phys. Rev. A 97, 062340 (2018)
• View Publication
• BIB
Grid states form a discrete set of mixed quantum states that can be described by graphs. We characterize the entanglement properties of these states and provide methods to evaluate entanglement criteria for grid states in a graphical way. With these ideas we find bound entangled grid states for two-particle systems of any dimension and multiparticle grid states that provide examples for the different aspects of genuine multiparticle entanglement. Our findings suggest that entanglement theory for grid states, although being a discrete set, has already a complexity similar to the one for general states.
On the number of types in sparse graphs
Published
• View Publication
• BIB
We prove that for every class of graphs $\mathcal{C}$ which is nowhere dense, as defined by Nesetril and Ossona de Mendez, and for every first order formula $φ(\bar x,\bar y)$, whenever one draws a graph $G\in \mathcal{C}$ and a subset of its nodes $A$, the number of subsets of $A^{|\bar y|}$ which are of the form $\{\bar v\in A^{|\bar y|}\, \colon\, G\modelsφ(\bar u,\bar v)\}$ for some valuation $\bar u$ of $\bar x$ in $G$ is bounded by $\mathcal{O}(|A|^{|\bar x|+ε})$, for every $ε>0$. This provides optimal bounds on the VC-density of first-order definable set systems in nowhere dense graph classes.
We also give two new proofs of upper bounds on quantities in nowhere dense classes which are relevant for their logical treatment. Firstly, we provide a new proof of the fact that nowhere dense classes are uniformly quasi-wide, implying explicit, polynomial upper bounds on the functions relating the two notions. Secondly, we give a new combinatorial proof of the result of Adler and Adler stating that every nowhere dense class of graphs is stable. In contrast to the previous proofs of the above results, our proofs are completely finitistic and constructive, and yield explicit and computable upper bounds on quantities related to uniform quasi-wideness (margins) and stability (ladder indices).
On Star Coloring of Splitting Graphs
In this paper, we consider the problem of a star coloring. In general case the problems in NP-complete. We establish the star chromatic number for splitting graph of complete and complete bipartite graphs, as well of paths and cycles. Our proofs are constructive, so they lead to appropriate star colorings of graphs under consideration.
Covering complete graphs by monochromatically bounded sets
Published
• View Publication
• BIB
Given a $k$-colouring of the edges of the complete graph $K_n$, are there $k-1$ monochromatic components that cover its vertices? This important special case of the well-known Lovász-Ryser conjecture is still open. In this paper we consider a strengthening of this question, where we insist that the covering sets are not merely connected but have bounded diameter. In particular, we prove that for any colouring of $E(K_n)$ with 4 colours, there is a choice of sets $A_1, A_2, A_3$ that cover all vertices, and colours $c_1, c_2, c_3$, such that for each $i = 1,2,3$ the monochromatic subgraph induced by the set $A_i$ and the colour $c_i$ has diameter at most 160.
Reconfiguration graphs of shortest paths
Published
• View Publication
• BIB
For a graph $G$ and $a,b\in V(G)$, the shortest path reconfiguration graph of $G$ with respect to $a$ and $b$ is denoted by $S(G,a,b)$. The vertex set of $S(G,a,b)$ is the set of all shortest paths between $a$ and $b$ in $G$. Two vertices in $V(S(G,a,b))$ are adjacent, if their corresponding paths in $G$ differ by exactly one vertex. This paper examines the properties of shortest path graphs. Results include establishing classes of graphs that appear as shortest path graphs, decompositions and sums involving shortest path graphs, and the complete classification of shortest path graphs with girth $5$ or greater. We also show that the shortest path graph of a grid graph is an induced subgraph of a lattice.
Sufficient conditions for the existence of a path-factor which are related to odd components
Published
• View Publication
• BIB
In this paper, we are concerned with sufficient conditions for the existence of a $\{P_{2},P_{2k+1}\}$-factor. We prove that for $k\geq 3$, there exists $\varepsilon_{k}>0$ such that if a graph $G$ satisfies $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \varepsilon_{k}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{2k+1}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$. On the other hand, we construct infinitely many graphs $G$ having no $\{P_{2},P_{2k+1}\}$-factor such that $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \frac{32k+141}{72k-78}|X|$ for all $X\subseteq V(G)$.
Substitution invariant Sturmian words and binary trees
We take a global view at substitution invariant Sturmian sequences. We show that homogeneous substitution invariant Sturmian sequences $s_{α,α}$ can be indexed by two binary trees, associated directly to Johannes Kepler's tree of harmonic fractions from 1619. We obtain similar results for the inhomogeneous sequences $s_{α,1-α}$ and $s_{α,0}$.
Restriction of Odd Degree Characters of $\mathfrak{S}_n$
Published in SIGMA 13 (2017), 070, 10 pages
• View Publication
• BIB
Let $n$ and $k$ be natural numbers such that $2^k < n$. We study the restriction to $\mathfrak{S}_{n-2^k}$ of odd-degree irreducible characters of the symmetric group $\mathfrak{S}_n$. This analysis completes the study begun in [Ayyer A., Prasad A., Spallone S., Sem. Lothar. Combin. 75 (2015), Art. B75g, 13 pages] and recently developed in [Isaacs I.M., Navarro G., Olsson J.B., Tiep P.H., J. Algebra 478 (2017), 271-282].
Packing parameters in graphs: New bounds and a solution to an open problem
Published in Journal of Combinatorial Optimization, 2019
• View Publication
• BIB
In this paper, we investigate the packing parameters in graphs. By applying the Mantel's theorem, We give upper bounds on packing and open packing numbers of triangle-free graphs along with characterizing the graphs for which the equalities hold and exhibit sharp Nordhaus-Gaddum type inequalities for packing numbers. We also solve the open problem of characterizing all connected graphs with $ρ_{o}(G)=n-ω(G)$ posed in [S. Hamid and S. Saravanakumar, {\em Packing parameters in graphs}, Discuss Math. Graph Theory, 35 (2015), 5--16].
Daisy cubes and distance cube polynomial
Let X $\subseteq$ {0, 1} n. Then the daisy cube Q n (X) is introduced as the sub-graph of Q n induced by the intersection of the intervals I(x, 0 n) over all x $\in$ X. Daisy cubes are partial cubes that include Fibonacci cubes, Lucas cubes, and bipartite wheels. If u is a vertex of a graph G, then the distance cube polynomial D G,u (x, y) is introduced as the bivariate polynomial that counts the number of induced subgraphs isomorphic to Q k at a given distance from the vertex u. It is proved that if G is a daisy cube, then D G,0 n (x, y) = C G (x + y -- 1), where C G (x) is the previously investigated cube polynomial of G. It is also proved that if G is a daisy cube, then D G,u (x, --x) = 1 holds for every vertex u in G.
On the Möbius Function and Topology of General Pattern Posets
Published
• View Publication
• BIB
We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the Möbius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the Möbius function of these posets is intrinsically linked to the number of embeddings, and in particular to so called normal embeddings. We present results on when topological properties such as Cohen-Macaulayness and shellability are preserved by this fibration. Furthermore, we apply these results to some pattern posets and derive alternative proofs of existing results, such as Björner's results on subword order.
On The Fixatic Number of Graphs
The fixing number of a graph $G$ is the smallest cardinality of a set of vertices $F\subseteq V(G)$ such that only the trivial automorphism of $G$ fixes every vertex in $F$. Let $Π$ $=$ $\{F_1,F_2,\ldots,F_k\}$ be an ordered $k$-partition of $V(G)$. Then $Π$ is called a {\it fixatic partition} if for all $i$; $1\leq i\leq k$, $F_i$ is a fixing set for $G$. The cardinality of a largest fixatic partition is called the {\it fixatic number} of $G$. In this paper, we study the fixatic numbers of graphs. Sharp bounds for the fixatic number of graphs in general and exact values with specified conditions are given. Some realizable results are also given in this paper.
The de Bruijn-Erdös-Hanani theorem
The paper is devoted to a somewhat idiosyncratic account of the theorem of de Bruijn-Erdös and Hanani from the combinatorics of finite geometries and its various proofs. Among the proofs discussed are the original proofs by de Bruijn--Erdös and Hanani and few others. It is explained how one of the proofs was discovered, and how another one could have been discovered.
Hajós' cycle conjecture for small graphs
Hajós' conjecture states that an Eulerian graph of order n can be decomposed into at most (n-1)/2 edge-disjoint cycles. We describe preprocessing steps, heuristics and integer programming techniques that enable us to verify Hajós' conjecture for all Eulerian graphs with up to twelve nodes.
Approximating sums by integrals only: multiple sums and sums over lattice polytopes
Published
• View Publication
• BIB
The Euler--Maclaurin (EM) summation formula is used in many theoretical studies and numerical calculations. It approximates the sum $\sum_{k=0}^{n-1} f(k)$ of values of a function $f$ by a linear combination of a corresponding integral of $f$ and values of its higher-order derivatives $f^{(j)}$. An alternative (Alt) summation formula was recently presented by the author, which approximates the sum by a linear combination of integrals only, without using high-order derivatives of $f$. It was shown that the Alt formula will in most cases outperform, or greatly outperform, the EM formula in terms of the execution time and memory use. In the present paper, a multiple-sum/multi-index-sum extension of the Alt formula is given, with applications to summing possibly divergent multi-index series and to sums over the integral points of integral lattice polytopes.
A counterexample to Comon's conjecture
Published
• View Publication
• BIB
We present an example of a symmetric tensor of size $800\times 800\times 800$ which can be written a sum of $903$ simple tensors with complex entries but not as a sum of $903$ symmetric simple tensors.