Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A Local Lemma for Focused Stochastic Algorithms
Published
• View Publication
• BIB
We develop a framework for the rigorous analysis of focused stochastic local search algorithms. These are algorithms that search a state space by repeatedly selecting some constraint that is violated in the current state and moving to a random nearby state that addresses the violation, while hopefully not introducing many new ones. An important class of focused local search algorithms with provable performance guarantees has recently arisen from algorithmizations of the Lovász Local Lemma (LLL), a non-constructive tool for proving the existence of satisfying states by introducing a background measure on the state space. While powerful, the state transitions of algorithms in this class must be, in a precise sense, perfectly compatible with the background measure. In many applications this is a very restrictive requirement and one needs to step outside the class. Here we introduce the notion of \emph{measure distortion} and develop a framework for analyzing arbitrary focused stochastic local search algorithms, recovering LLL algorithmizations as the special case of no distortion. Our framework takes as input an arbitrary such algorithm and an arbitrary probability measure and shows how to use the measure as a yardstick of algorithmic progress, even for algorithms designed independently of the measure.
An Optimal $χ$-Bound for ($P_6$, diamond)-Free Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices and $K_t$ be the complete graph on $t$ vertices. The diamond is the graph obtained from $K_4$ by removing an edge. In this paper we show that every ($P_6$, diamond)-free graph $G$ satisfies $χ(G)\le ω(G)+3$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the famous 27-vertex Schläfli graph. Our result unifies previously known results on the existence of linear $χ$-binding functions for several graph classes. Our proof is based on a reduction via the Strong Perfect Graph Theorem to imperfect ($P_6$, diamond)-free graphs, a careful analysis of the structure of those graphs, and a computer search that relies on a well-known characterization of 3-colourable $(P_6,K_3)$-free graphs.
Exhaustive generation for permutations avoiding a (colored) regular sets of patterns
Published
• View Publication
• BIB
Despite the fact that the field of pattern avoiding permutations has been skyrocketing over the last two decades, there are very few exhaustive generating algorithms for such classes of permutations. In this paper we introduce the notions of regular and colored regular set of forbidden patterns, which are particular cases of right-justified sets of forbidden patterns. We show the (colored) regularity of several sets of forbidden patterns (some of them involving variable length patterns) and we derive a general framework for the efficient generation of permutations avoiding them. The obtained generating algorithms are based on succession functions, a notion which is a byproduct of the ECO method introduced in the context of enumeration and random generation of combinatorial objects by Barcucci et al. in 1999, and developed later by Bacchelli et al. in 2004, for instance. For some classes of permutations falling under our general framework, the corresponding counting sequences are classical in combinatorics, such as Pell, Fibonacci, Catalan, Schröder and binomial transform of Padovan sequence.
Factorization of Frieze Patterns
Published
• View Publication
• BIB
In 2017, Michael Cuntz gave a definition of reducibility of quiddity cycles of frieze patterns: It is reducible if it can be written as a sum of two other quiddity cycles. We discuss the commutativity and associativity of this sum operator for quiddity cycles and its equivalence classes, respectively. We show that the sum is neither commutative nor associative, but we may circumvent this issue by passing to equivalence classes. We also address the question whether a decomposition of quiddity cycles into irreducible factors is unique and we answer it in the negative by giving counterexamples. We conclude that even under stronger assumptions, there is no canonical decomposition.
Finiteness theorems for matroid complexes with prescribed topology
Published
• View Publication
• BIB
It is known that there are finitely many simplicial complexes (up to isomorphism) with a given number of vertices. Translating to the language of $h$-vectors, there are finitely many simplicial complexes of bounded dimension with $h_1=k$ for any natural number $k$. In this paper we study the question at the other end of the $h$-vector: Are there only finitely many $(d-1)$-dimensional simplicial complexes with $h_d=k$ for any given $k$? The answer is no if we consider general complexes, but when focus on three cases coming from matroids: (i) independence complexes, (ii) broken circuit complexes, and (iii) order complexes of geometric lattices. We prove the answer is yes in cases (i) and (iii) and conjecture it is also true in case (ii).
On a generalization of the Pentagonal Number Theorem
We study a generalization of the classical Pentagonal Number Theorem and its applications. We derive new identities for certain infinite series, recurrence relations and convolution sums for certain restricted partitions and divisor sums. We also derive new identities for Bell polynomials.
Semi-invariants of binary forms and symmetrized graph-monomials
Published in Enumerative Combinatorics and Applications, ecajournal.haifa.ac.il , ECA1:3(2021) Article #S2R18
• View Publication
• BIB
This article provides a method for constructing invariants and semi-invariants of a binary $N$-ic form over a field $k$ characteristics $0$ or $p > N$. A practical and broadly applicable sufficient condition for ensuring nontriviality of the symmetrization of a graph-monomial is established. This allows construction of infinite families of invariants (especially, skew-invariants) and families of $k$-linearly independent semi-invariants. These constructions are very useful in the quantum physics of Fermions. Additionally, they permit us to establish a new polynomial-type lower bound on the coefficient of $q^{w}$ in $(q - 1) {N + d \choose d}_{q}$ for all sufficiently large integers $d$ and $w \leq N d / 2$.
Asymptotically Pseudo-Independent Matrices
We show that the family of pseudo-random matrices recently discovered by Soloveychik, Xiang, and Tarokh in their work `Symmetric Pseudo-Random Matrices' exhibits asymptotic independence. More specifically, any two sequences of matrices of matching sizes from that construction generated using sequences of different non-reciprocal primitive polynomials are asymptotically independent.
The asymptotic normality of $(s,s+1)$-cores with distinct parts
Simultaneous core partitions are important objects in algebraic combinatorics. Recently there has been interest in studying the distribution of sizes among all $(s,t)$-cores for coprime $s$ and $t$. Zaleski (2017) gave strong evidence that when we restrict our attention to $(s,s+1)$-cores with distinct parts, the resulting distribution is approximately normal. We prove his conjecture by applying the Combinatorial Central Limit Theorem and mixing the resulting normal distributions.
The Star Dichromatic Number
We introduce a new notion of circular colourings for digraphs. The idea of this quantity, called star dichromatic number $\vecχ^\ast(D)$ of a digraph $D$, is to allow a finer subdivision of digraphs with the same dichromatic number into such which are "easier" or "harder" to colour by allowing fractional values. This is related to a coherent notion for the vertex arboricity of graphs introduced by Wang et al. and resembles the concept of the star chromatic number of graphs introduced by Vince in the framework of digraph colouring. After presenting basic properties of the new quantity, including range, simple classes of digraphs, general inequalities and its relation to integer counterparts as well as other concepts of fractional colouring, we compare our notion with the notion of circular colourings for digraphs introduced by Bokal et al. and point out similarities as well as differences in certain situations. As it turns out, the star dichromatic number is a lower bound for the circular dichromatic number of Bokal et al., but the gap between the numbers may be arbitrarily close to $1$. We conclude with a discussion of the case of planar digraphs and point out some open problems.
On Adjacency and e-Adjacency in General Hypergraphs: Towards a New e-Adjacency Tensor
Published
• View Publication
• BIB
In graphs, the concept of adjacency is clearly defined: it is a pairwise relationship between vertices. Adjacency in hypergraphs has to integrate hyperedge multi-adicity: the concept of adjacency needs to be defined properly by introducing two new concepts: $k$-adjacency - $k$ vertices are in the same hyperedge - and e-adjacency - vertices of a given hyperedge are e-adjacent. In order to build a new e-adjacency tensor that is interpretable in terms of hypergraph uniformisation, we designed two processes: the first is a hypergraph uniformisation process (HUP) and the second is a polynomial homogeneisation process (PHP). The PHP allows the construction of the e-adjacency tensor while the HUP ensures that the PHP keeps interpretability. This tensor is symmetric and can be fully described by the number of hyperedges; its order is the range of the hypergraph, while extra dimensions allow to capture additional hypergraph structural information including the maximum level of $k$-adjacency of each hyperedge. Some results on spectral analysis are discussed.
Hypergraph Modeling and Visualisation of Complex Co-occurence Networks
Published
• View Publication
• BIB
Finding inherent or processed links within a dataset allows to discover potential knowledge. The main contribution of this article is to define a global framework that enables optimal knowledge discovery by visually rendering co-occurences (i.e. groups of linked data instances attached to a metadata reference) - either inherently present or processed - from a dataset as facets. Hypergraphs are well suited for modeling co-occurences since they support multi-adicity whereas graphs only support pairwise relationships. This article introduces an efficient navigation between different facets of an information space based on hypergraph modelisation and visualisation.
Gallai-Ramsey number of odd cycles with chords
Published
• View Publication
• BIB
A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses at most $k$ colors. For an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of a given graph $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_m$ denote the cycle on $m\ge4$ vertices and let $Θ_m$ denote the family of graphs obtained from $C_m$ by adding an additional edge joining two non-consecutive vertices. We prove that $GR_k(Θ_{2n+1})=n\cdot 2^k+1$ for all $k\geq 1$ and $n\geq 3$. This implies that $GR_k(C_{2n+1})=n\cdot 2^k+1$ all $k\geq 1$ and $n\geq 3$. Our result yields a unified proof for the Gallai-Ramsey number of all odd cycles on at least five vertices.
The integer homology threshold in $Y_d(n, p)$
Published
• View Publication
• BIB
We prove that in the $d$-dimensional Linial--Meshulam stochastic process the $(d - 1)$st homology group with integer coefficients vanishes exactly when the final isolated $(d - 1)$-dimensional face is covered by a top-dimensional face. This generalizes the $d = 2$ case proved recently by Łuczak and Peled and establishes that $p = \frac{d \log n}{n}$ is the sharp threshold for homology with integer coefficients to vanish in $Y_d(n, p),$ answering a 2003 question of Linial and Meshulam.
Empilements compacts avec trois tailles de disque
Discs form a compact packing of the plane if they are interior disjoint and the graph which connects the center of mutually tangent discs is triangulated. There is only one compact packing by discs all of the same size, called hexagonal compact packing. It has been previously proven that there are exactly $9$ values of $r$ such that there exists a compact packing with discs of radius $1$ and $r$. This paper shows that there are exactly $164$ pairs $(r,s)$ such that there exists a compact packing with discs of radius $1$, $r$ and $s$. In all these $164$ cases, there exists a periodic packing.
An improved upper bound on the integrality ratio for the $s$-$t$-path TSP
Published in Operations Research Letters 47 (2019), 225--228
• View Publication
• BIB
We give an improved analysis of the best-of-many Christofides algorithm with lonely edge deletion, which was proposed by Sebő and van Zuylen [2016]. This implies an improved upper bound on the integrality ratio of the standard LP relaxation for the $s$-$t$-path TSP.
Pole Dancing: 3D Morphs for Tree Drawings
Published
• View Publication
• BIB
We study the question whether a crossing-free 3D morph between two straight-line drawings of an $n$-vertex tree can be constructed consisting of a small number of linear morphing steps. We look both at the case in which the two given drawings are two-dimensional and at the one in which they are three-dimensional. In the former setting we prove that a crossing-free 3D morph always exists with $O(\log n)$ steps, while for the latter $Θ(n)$ steps are always sufficient and sometimes necessary.
A Cayley-type identity for trees
We prove a weighted generalization of the formula for the number of plane vertex-labeled trees.
The Namer-Claimer game
Published
• View Publication
• BIB
In each round of the Namer-Claimer game, Namer names a distance d, then Claimer claims a subset of [n] that does not contain two points that differ by d. Claimer wins once they have claimed sets covering [n]. I show that the length of this game is of order log log n with optimal play from each side.
An inertial upper bound for the quantum independence number of a graph
A well known upper bound for the independence number $α(G)$ of a graph $G$, is that \[ α(G) \le n^0 + \min\{n^+ , n^-\}, \] where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$ and demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. This result complements results by the authors that many spectral lower bounds for the chromatic number are also lower bounds for the quantum chromatic number.