Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Tremain equiangular tight frames
Published
• View Publication
• BIB
Equiangular tight frames provide optimal packings of lines through the origin. We combine Steiner triple systems with Hadamard matrices to produce a new infinite family of equiangular tight frames. This in turn leads to new constructions of strongly regular graphs and distance-regular antipodal covers of the complete graph.
On maximal tail probability of sums of nonnegative, independent and identically distributed random variables
We consider the problem of finding the optimal upper bound for the tail probability of a sum of $k$ nonnegative, independent and identically distributed random variables with given mean $x$. For $k=1$ the answer is given by Markov's inequality and for $k=2$ the solution was found by Hoeffding and Shrikhande in 1955. We solve the problem for $k=3$ as well as for general $k$ and $x\leq1/(2k-1)$ by showing that it follows from the fractional version of an extremal graph theory problem of Erdős on matchings in hypergraphs.
Enumeration of colored Dyck paths via partial Bell polynomials
Published in Lattice Path Combinatorics and Applications, G. E. Andrews, C. Krattenthaler, A. Krinik (Eds.), Springer, 2019, 155-165
• View Publication
• BIB
We consider a class of lattice paths with certain restrictions on their ascents and down steps and use them as building blocks to construct various families of Dyck paths. We let every building block $P_j$ take on $c_j$ colors and count all of the resulting colored Dyck paths of a given semilength. Our approach is to prove a recurrence relation of convolution type, which yields a representation in terms of partial Bell polynomials that simplifies the handling of different colorings. This allows us to recover multiple known formulas for Dyck paths and related lattice paths in an unified manner.
The independence number of non-uniform uncrowded hypergraphs and an anti-Ramsey type result
Published
• View Publication
• BIB
We prove the following: Fix an integer $k\geq 2$, and let $T$ be a real number with $T\geq 1.5$. Let $\cH=(V,\cE_2\cup \cE_3\cup\dots\cup\cE_k)$ be a non-uniform hypergraph with the vertex set $V$ and the set $\cE_i$ of edges of size $i=2,\ldots , k$. Suppose that $\cH$ has no $2$-cycles (regardless of sizes of edges), and neither contains $3$-cycles nor $4$-cycles consisting of $2$-element edges. If the average degrees $t_i^{i-1} := i |\cE_i|/ |V|$ satisfy that $t_i^{i-1} \leq T^{i-1} (\ln T)^{\frac{k-i}{k-1}}$ for $i= 2, \dots , k$, then there exists a constant $C_k > 0$, depending only on $k$, such that $α(\cH)\geq C_k \frac{|V|}{T} (\ln T)^{\frac{1}{k-1}}$, where $α(\cH)$ denotes the independence number of $\cH$. This extends results of Ajtai, Komlós, Pintz, Spencer and Szemerédi and Duke, Rödl and the second author for uniform hypergraphs.
As an application, we consider an anti-Ramsey type problem on non-uniform hypergraphs. Let $\cH=\cH(n;2,\ldots,\ell)$ be the hypergraph on the $n$-vertex set $V$ in which, for $s=2,\ldots,\ell$, each $s$-subset of $V$ is a hyperedge of $\cH$. Let $Δ$ be an edge-coloring of $\cH$ satisfying the following: (a) two hyperedges sharing a vertex have different colors; (b) two hyperedges with distinct size have different colors; (c) a color used for a hyperedge of size $s$ appears at most $u_s$ times. For such a coloring $Δ$, let $f_Δ(n;u_2,\ldots,u_{\ell})$ be the maximum size of a subset $U$ of $V$ such that each hyperedge of $\cH[U]$ has a distinct color, and let $f(n;u_2,\ldots,u_{\ell}):=\min_Δ f_Δ(n;u_2,\ldots,u_{\ell}).$ We determine $f(n;u_2,\ldots,u_{\ell})$ up to a multiplicative logarithm factor.
Combinatorial Scoring of Phylogenetic Networks
Published in Lecture Notes in Computer Science 9797 (2016), 560-572
• View Publication
• BIB
Construction of phylogenetic trees and networks for extant species from their characters represents one of the key problems in phylogenomics. While solution to this problem is not always uniquely defined and there exist multiple methods for tree/network construction, it becomes important to measure how well the constructed networks capture the given character relationship across the species.
In the current study, we propose a novel method for measuring the specificity of a given phylogenetic network in terms of the total number of distributions of character states at the leaves that the network may impose. While for binary phylogenetic trees, this number has an exact formula and depends only on the number of leaves and character states but not on the tree topology, the situation is much more complicated for non-binary trees or networks. Nevertheless, we develop an algorithm for combinatorial enumeration of such distributions, which is applicable for arbitrary trees and networks under some reasonable assumptions.
Supplementary difference sets related to a certain class of complex spherical 2-codes
Published in Australasian J. Combin. 65 (2016), 71-83
• Search Publication
In this paper, we study skew-symmetric $2$-$\{v;r,k;λ\}$ supplementary difference sets related to a certain class of complex spherical 2-codes. A classification of such supplementary difference sets is complete for $v \le 51$.
Stable sets in {ISK4,wheel}-free graphs
Published in Algorithmica 80, 415-447 (2018)
• View Publication
• BIB
An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of K4 (the complete graph on four vertices). A wheel is a graph that consists of a chordless cycle, together with a vertex that has at least three neighbors in the cycle. A graph is {ISK4,wheel}-free if it has no ISK4 and does not contain a wheel as an induced subgraph. We give an O(|V(G)|^7)-time algorithm to compute the maximum weight of a stable set in an input weighted {ISK4,wheel}-free graph G with non-negative integer weights.
Mixing Times of Markov Chains on Degree Constrained Orientations of Planar Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (February 3, 2017) dmtcs:1376
• View Publication
• BIB
We study Markov chains for $α$-orientations of plane graphs, these are orientations where the outdegree of each vertex is prescribed by the value of a given function $α$. The set of $α$-orientations of a plane graph has a natural distributive lattice structure. The moves of the up-down Markov chain on this distributive lattice corresponds to reversals of directed facial cycles in the $α$-orientation. We have a positive and several negative results regarding the mixing time of such Markov chains.
A 2-orientation of a plane quadrangulation is an orientation where every inner vertex has outdegree 2. We show that there is a class of plane quadrangulations such that the up-down Markov chain on the 2-orientations of these quadrangulations is slowly mixing. On the other hand the chain is rapidly mixing on 2-orientations of quadrangulations with maximum degree at most 4.
Regarding examples for slow mixing we also revisit the case of 3-orientations of triangulations which has been studied before by Miracle et al.. Our examples for slow mixing are simpler and have a smaller maximum degree, Finally we present the first example of a function $α$ and a class of plane triangulations of constant maximum degree such that the up-down Markov chain on the $α$-orientations of these graphs is slowly mixing.
Weak oddness as an approximation of oddness and resistance in cubic graphs
We introduce weak oddness $ω_{\textrm w}$, a new measure of uncolourability of cubic graphs, defined as the least number of odd components in an even factor. For every bridgeless cubic graph $G$, $ρ(G)\leω_{\textrm w}(G)\leω(G)$, where $ρ(G)$ denotes the resistance of $G$ and $ω(G)$ denotes the oddness of $G$, so this new measure is an approximation of both oddness and resistance. We demonstrate that there are graphs $G$ satisfying $ρ(G) < ω_{\textrm w}(G) < ω(G)$, and that the difference between any two of those three measures can be arbitrarily large. The construction implies that if we replace a vertex of a cubic graph with a triangle, then its oddness can decrease by an arbitrarily large amount.
Any Finite Group is the Group of Some Binary, Convex Polytope
Published
• View Publication
• BIB
For any given finite group, Schulte and Williams (2015) establish the existence of a convex polytope whose combinatorial automorphisms form a group isomorphic to the given group. We provide here a shorter proof for a stronger result: the convex polytope we build for the given finite group is binary, and even combinatorial in the sense of Naddef and Pulleyblank (1981); the diameter of its skeleton is at most 2; any combinatorial automorphism of the polytope is induced by some isometry of the space; any automorphism of the skeleton is a combinatorial automorphism.
Point Sets with Small Integer Coordinates and with Small Convex Polygons
Published
• View Publication
• BIB
In 1935, Erdős and Szekeres proved that every set of $n$ points in general position in the plane contains the vertices of a convex polygon of $\frac{1}{2}\log_2(n)$ vertices. In 1961, they constructed, for every positive integer $t$, a set of $n:=2^{t-2}$ points in general position in the plane, such that every convex polygon with vertices in this set has at most $\log_2(n)+1$ vertices. In this paper we show how to realize their construction in an integer grid of size $O(n^2 \log_2(n)^3)$.
On the Minimum Number of Edges in Triangle-Free 5-Critical Graphs
Published
• View Publication
• BIB
Kostochka and Yancey proved that every 5-critical graph G satisfies: |E(G)|>= (9/4)|V(G)| - 5/4. A construction of Ore gives an infinite family of graphs meeting this bound.
We prove that there exists e,d > 0 such that if G is a 5-critical graph, then |E(G)| >= (9/4 + e)|V(G)|- 5/4 - dT(G), where T(G) is the maximum number of vertex-disjoint cliques of size three or four where cliques of size four have twice the weight of a clique of size three. As a corollary, a triangle-free 5-critical graph G satisfies: |E(G)|>=(9/4 + e)|V(G)| - 5/4.
Number of fixed points and disjoint cycles in monotone Boolean networks
Published in SIAM Journal on Discrete Mathematics, 31(3):1702-1725, 2017
• View Publication
• BIB
Given a digraph $G$, a lot of attention has been deserved on the maximum number $φ(G)$ of fixed points in a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ with $G$ as interaction graph. In particular, a central problem in network coding consists in studying the optimality of the classical upper bound $φ(G)\leq 2^τ$, where $τ$ is the minimum size of a feedback vertex set of $G$. In this paper, we study the maximum number $φ_m(G)$ of fixed points in a {\em monotone} Boolean network with interaction graph $G$. We establish new upper and lower bounds on $φ_m(G)$ that depends on the cycle structure of $G$. In addition to $τ$, the involved parameters are the maximum number $ν$ of vertex-disjoint cycles, and the maximum number $ν^{*}$ of vertex-disjoint cycles verifying some additional technical conditions. We improve the classical upper bound $2^τ$ by proving that $φ_m(G)$ is at most the largest sub-lattice of $\{0,1\}^τ$ without chain of size $ν+1$, and without another forbidden-pattern of size $2ν^{*}$. Then, we prove two optimal lower bounds: $φ_m(G)\geq ν+1$ and $φ_m(G)\geq 2^{ν^{*}}$. As a consequence, we get the following characterization: $φ_m(G)=2^τ$ if and only if $ν^{*}=τ$. As another consequence, we get that if $c$ is the maximum length of a chordless cycle of $G$ then $2^{ν/3^c}\leqφ_m(G)\leq 2^{cν}$. Finally, with the technics introduced, we establish an upper bound on the number of fixed points of any Boolean network according to its signed interaction graph.
Davenport constant for commutative rings
Published
• View Publication
• BIB
The Davenport constant is one measure for how "large" a finite abelian group is. In particular, the Davenport constant of an abelian group is the smallest $k$ such that any sequence of length $k$ is reducible. This definition extends naturally to commutative semigroups, and has been studied in certain finite commutative rings. In this paper, we give an exact formula for the Davenport constant of a general commutative ring in terms of its unit group.
The facial weak order and its lattice quotients
Published in Trans. Amer. Math. Soc., 370:1469-1507, 2018
• View Publication
• BIB
We investigate a poset structure that extends the weak order on a finite Coxeter group $W$ to the set of all faces of the permutahedron of $W$. We call this order the facial weak order. We first provide two alternative characterizations of this poset: a first one, geometric, that generalizes the notion of inversion sets of roots, and a second one, combinatorial, that uses comparisons of the minimal and maximal length representatives of the cosets. These characterizations are then used to show that the facial weak order is in fact a lattice, generalizing a well-known result of A. Björner for the classical weak order. Finally, we show that any lattice congruence of the classical weak order induces a lattice congruence of the facial weak order, and we give a geometric interpretation of their classes. As application, we describe the facial boolean lattice on the faces of the cube and the facial Cambrian lattice on the faces of the corresponding generalized associahedron.
Independent sets and cuts in large-girth regular graphs
We present a local algorithm producing an independent set of expected size $0.44533n$ on large-girth 3-regular graphs and $0.40407n$ on large-girth 4-regular graphs. We also construct a cut (or bisection or bipartite subgraph) with $1.34105n$ edges on large-girth 3-regular graphs. These decrease the gaps between the best known upper and lower bounds from $0.0178$ to $0.01$, from $0.0242$ to $0.0123$ and from $0.0724$ to $0.0616$, respectively. We are using local algorithms, therefore, the method also provides upper bounds for the fractional coloring numbers of $1 / 0.44533 \approx 2.24554$ and $1 / 0.40407 \approx 2.4748$ and fractional edge coloring number $1.5 / 1.34105 \approx 1.1185$. Our algorithms are applications of the technique introduced by Hoppen and Wormald.
Strengthening theorems of Dirac and Erdős on disjoint cycles
Published
• View Publication
• BIB
Let $k \ge 3$ be an integer, $H_{k}(G)$ be the set of vertices of degree at least $2k$ in a graph $G$, and $L_{k}(G)$ be the set of vertices of degree at most $2k-2$ in $G$. In 1963, Dirac and Erdős proved that $G$ contains $k$ (vertex-)disjoint cycles whenever $|H_{k}(G)| - |L_{k}(G)| \ge k^{2} + 2k - 4$. The main result of this paper is that for $k \ge 2$, every graph $G$ with $|V(G)| \ge 3k$ containing at most $t$ disjoint triangles and with $|H_{k}(G)| - |L_{k}(G)| \ge 2k + t$ contains $k$ disjoint cycles. This yields that if $k \ge 2$ and $|H_{k}(G)| - |L_{k}(G)| \ge 3k$, then $G$ contains $k$ disjoint cycles. This generalizes the Corrádi-Hajnal Theorem, which states that every graph $G$ with $H_{k}(G) = V(G)$ and $|H_{k}(G)| \ge 3k$ contains $k$ disjoint cycles.
How fast can Maker win in fair biased games?
Published
• View Publication
• BIB
We study (a:a) Maker-Breaker games played on the edge set of the complete graph on n vertices. In the following four games - perfect matching game, Hamilton cycle game, star factor game and path factor game, our goal is to determine the least number of moves which Maker needs in order to win these games. Moreover, for all games except for the star factor game, we show how Red can win in the strong version of these games.
Sharp thresholds for Ramsey properties of strictly balanced nearly bipartite graphs
Published in Random Structures Algorithms 52 (2018), no. 1, 3-40
• View Publication
• BIB
For a given graph $F$ we consider the family of (finite) graphs $G$ with the Ramsey property for $F$, that is the set of such graphs $G$ with the property that every two-colouring of the edges of $G$ yields a monochromatic copy of $F$. For $F$ being a triangle Friedgut, Rödl, Ruciński, and Tetali (2004) established the sharp threshold for the Ramsey property in random graphs. We obtained a simpler proof of this result which extends to a more general class of graphs $F$ including all cycles.
The proof is based on Friedgut's criteria (1999) for sharp thresholds, and on the recently developed container method for independent sets in hypergraphs by Saxton and Thomason, and Balogh, Morris and Samotij. The proof builds on some recent work of Friedgut et al. who established a similar result for van der Waerden's theorem.
Semidefinite bounds for nonbinary codes based on quadruples
Published in Designs, Codes and Cryptography, 84 (1) (2017), 87-100
• View Publication
• BIB
For nonnegative integers $q,n,d$, let $A_q(n,d)$ denote the maximum cardinality of a code of length $n$ over an alphabet $[q]$ with $q$ letters and with minimum distance at least $d$. We consider the following upper bound on $A_q(n,d)$. For any $k$, let $\CC_k$ be the collection of codes of cardinality at most $k$. Then $A_q(n,d)$ is at most the maximum value of $\sum_{v\in[q]^n}x(\{v\})$, where $x$ is a function $\CC_4\to R_+$ such that $x(\emptyset)=1$ and $x(C)=0$ if $C$ has minimum distance less than $d$, and such that the $\CC_2\times\CC_2$ matrix $(x(C\cup C'))_{C,C'\in\CC_2}$ is positive semidefinite. By the symmetry of the problem, we can apply representation theory to reduce the problem to a semidefinite programming problem with order bounded by a polynomial in $n$. It yields the new upper bounds $A_4(6,3)\leq 176$, $A_4(7,4)\leq 155$, $A_5(7,4)\leq 489$, and $A_5(7,5)\leq 87$.