Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Injective envelopes of transition systems and Ferrers languages
Published
• View Publication
• BIB
We consider reflexive and involutive transition systems over an ordered alphabet $A$ equipped with an involution. We give a description of the injective envelope of any two-element set in terms of Galois lattice, from which we derive a test of its finiteness. Our description leads to the notion of Ferrers language.
MatchTheNet -- An Educational Game on 3-Dimensional Polytopes
Published in 33rd International Symposium on Computational Geometry (SoCG 2017), Volume 77, 66:1--66:5
• View Publication
• BIB
We present an interactive game which challenges a single player to match 3-dimensional polytopes to their planar nets. It is open source, and it runs in standard web browsers
Lattice paths and branched continued fractions. II. Multivariate Lah polynomials and Lah symmetric functions
Published in European Journal of Combinatorics 92, 103235 (February 2021)
• View Publication
• BIB
We introduce the generic Lah polynomials $L_{n,k}(φ)$, which enumerate unordered forests of increasing ordered trees with a weight $φ_i$ for each vertex with $i$ children. We show that, if the weight sequence $φ$ is Toeplitz-totally positive, then the triangular array of generic Lah polynomials is totally positive and the sequence of row-generating polynomials $L_n(φ,y)$ is coefficientwise Hankel-totally positive. Upon specialization we obtain results for the Lah symmetric functions and multivariate Lah polynomials of positive and negative type. The multivariate Lah polynomials of positive type are also given by a branched continued fraction. Our proofs use mainly the method of production matrices; the production matrix is obtained by a bijection from ordered forests of increasing ordered trees to labeled partial Lukasiewicz paths. We also give a second proof of the continued fraction using the Euler--Gauss recurrence method.
Algorithms for Generalized Numerical Semigroups
Published
• View Publication
• BIB
We provide algorithms for performing computations in generalized numerical semigroups, that is, submonoids of $\mathbb{N}^{d}$ with finite complement in $\mathbb{N}^{d}$. These semigroups are affine semigroups, which in particular implies that they are finitely generated. For a given finite set of elements in $\mathbb{N}^d$ we show how to deduce if the monoid spanned by this set is a generalized numerical semigroup and, if so, we calculate its set of gaps. Also, given a finite set of elements in $\mathbb{N}^d$ we can determine if it is the set of gaps of a generalized numerical semigroup and, if so, compute the minimal generators of this monoid. We provide a new algorithm to compute the set of all generalized numerical semigroups with a prescribed genus (the cardinality of their sets of gaps). It was used to compute the number of such semigroups, and its implementation allowed us to compute (for various dimensions) the number of numerical semigroups for genus that had not been attained before.
Packing Directed Cycles Quarter- and Half-Integrally
Published in Combinatorica 42(2), 1409-1438, 2022; Proceedings: ESA 2019, 72:1-72:13
• View Publication
• BIB
The celebrated Erdős-Pósa theorem states that every undirected graph that does not admit a family of $k$ vertex-disjoint cycles contains a feedback vertex set (a set of vertices hitting all cycles in the graph) of size $O(k \log k)$. After being known for long as Younger's conjecture, a similar statement for directed graphs has been proven in 1996 by Reed, Robertson, Seymour, and Thomas. However, in their proof, the dependency of the size of the feedback vertex set on the size of vertex-disjoint cycle packing is not elementary.
We show that if we compare the size of a minimum feedback vertex set in a directed graph with the quarter-integral cycle packing number, we obtain a polynomial bound. More precisely, we show that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most four of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^4)$. Furthermore, a variant of our proof shows that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most two of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^6)$.
On the way there we prove a more general result about quarter-integral packing of subgraphs of high directed treewidth: for every pair of positive integers $a$ and $b$, if a directed graph $G$ has directed treewidth $Ω(a^6 b^8 \log^2(ab))$, then one can find in $G$ a family of $a$ subgraphs, each of directed treewidth at least $b$, such that every vertex of $G$ is in at most four subgraphs.
Vector Colorings of Random, Ramanujan, and Large-Girth Irregular Graphs
We prove that in sparse Erdős-Rényi graphs of average degree $d$, the vector chromatic number (the relaxation of chromatic number coming from the Lovàsz theta function) is typically $\tfrac{1}{2}\sqrt{d} + o_d(1)$. This fits with a long-standing conjecture that various refutation and hypothesis-testing problems concerning $k$-colorings of sparse Erdős-Rényi graphs become computationally intractable below the `Kesten-Stigum threshold' $d_{KS,k} = (k-1)^2$. Along the way, we use the celebrated Ihara-Bass identity and a carefully constructed non-backtracking random walk to prove two deterministic results of independent interest: a lower bound on the vector chromatic number (and thus the chromatic number) using the spectrum of the non-backtracking walk matrix, and an upper bound dependent only on the girth and universal cover. Our upper bound may be equivalently viewed as a generalization of the Alon-Boppana theorem to irregular graphs
The Newton integral and the Stirling formula
We present details of logically simplest integral sufficient for deducing the Stirling asymptotic formula for n!. It is the Newton integral, defined as the difference of values of any primitive at the endpoints of the integration interval. We review in its framework in detail two derivations of the Stirling formula. The first approximates log(1)+log(2)+...+log(n) with an integral and the second uses the classical gamma function and a Fubini-type result. We mention two more integral representations of n!.
Functorial Approach to Graph and Hypergraph Theory
We provide a new approach to categorical graph and hypergraph theory by using categorical syntax and semantics. For each monoid $M$ and action on a set $X$, there is an associated presheaf topos of $(X,M)$-graphs where each object can be interpreted as a generalized uniform hypergraph where each edge has cardinality $\#X$ incident vertices (including multiplicity) and where the monoid informs what type of cohesivity the edges possess. One distinguishing feature of $(X,M)$-graphs is the presence of unfixed edges. We prove that unfixed edges are a necessary feature of a category of graphs or uniform hypergraphs if one wants exponentials and effective equivalence relations to exist in the category. The main advantage of separating syntax (the $(X,M)$-graph theories) from semantics (the categories of $(X,M)$-graphs) is the ability to interpret the theory in any cocomplete category. This interpetation functor then yields a nerve-realization adjunction and allows us to transfer structure between the category of $(X,M)$-graphs and the receptive cocomplete category.
Some new results in random matrices over finite fields
Published
• View Publication
• BIB
In this note we give various characterizations of random walks with possibly different steps that have relatively large discrepancy from the uniform distribution modulo a prime p, and use these results to study the distribution of the rank of random matrices over F_p and the equi-distribution behavior of normal vectors of random hyperplanes. We also study the probability that a random square matrix is eigenvalue-free, or when its characteristic polynomial is divisible by a given irreducible polynomial in the limit n to infinity in F_p. We show that these statistics are universal, extending results of Stong and Neumann-Praeger beyond the uniform model.
A new family of Hadamard matrices of order $4(2q^2+1)$
Published
• View Publication
• BIB
Let $q$ be a prime power of the form $q=12c^2+4c+3$ with $c$ an arbitrary integer. In this paper we construct a difference family with parameters $(2q^2;q^2,q^2,q^2,q^2-1;2q^2-2)$ in ${\mathbb Z}_2\times ({\mathbb F}_{q^2},+)$. As a consequence, by applying the Wallis-Whiteman array, we obtain Hadamard matrices of order $4(2q^2+1)$ for the aforementioned $q$'s.
Voting Rules that are Unbiased but not Transitive-Symmetric
Published in Electronic Journal of Combinatorics 27 (2020) P1.4
• View Publication
• BIB
We explore the relation between two natural symmetry properties of voting rules. The first is transitive-symmetry -- the property of invariance to a transitive permutation group -- while the second is the "unbiased" property of every voter having the same influence for all i.i.d. probability measures. We show that these properties are distinct by two constructions -- one probabilistic, one explicit -- of rules that are unbiased but not transitive-symmetric.
Clique immersions and independence number
Published
• View Publication
• BIB
The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $α$ contains $K_{\lceil \frac nα\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ contains an immersion of a clique on $\bigl\lceil \frac{χ(G)-4}{3.54}\bigr\rceil$ vertices. Their result implies that every $n$-vertex graph with independence number $α$ contains an immersion of a clique on $\bigl\lceil \frac{n}{3.54α}-1.13\bigr\rceil$ vertices. We improve on this result for all $α\ge 3$, by showing that every $n$-vertex graph with independence number $α\ge 3$ contains an immersion of a clique on $\bigl\lfloor \frac {n}{2.25 α- f(α)} \bigr\rfloor - 1$ vertices, where $f$ is a nonnegative function.
An adiabatic quantum algorithm for the Frobenius problem
The (Diophantine) Frobenius problem is a well-known NP-hard problem (also called the stamp problem or the chicken nugget problem) whose origins lie in the realm of combinatorial number theory. In this paper we present an adiabatic quantum algorithm which solves it, using the so-called Apéry set of a numerical semigroup, via a translation into a QUBO problem. The algorithm has been specifically designed to run in a D-Wave 2X machine.
Spectral zeta functions
Published
• View Publication
• BIB
This paper discusses the simplest examples of spectral zeta functions, especially those associated with graphs, a subject which has not been much studied. The analogy and the similar structure of these functions, such as their parallel definition in terms of the heat kernel and their functional equations, are emphasized. Another theme is to point out various contexts in which these non-classical zeta functions appear. This includes Eisenstein series, the Langlands program, Verlinde formulas, Riemann hypotheses, Catalan numbers, Dedekind sums, and hypergeometric functions. Several open-ended problems are suggested with the hope of stimulating further research.
Linear transformations between colorings in chordal graphs
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colorings of a $d$-degenerate graph $G$. Can we transform one into the other by recoloring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length.
If $k=d+2$, we know that there exists graphs for which a quadratic number of recolorings is needed. And when $k=2d+2$, there always exists a linear transformation. In this paper, we prove that, as long as $k \ge d+4$, there exists a transformation of length at most $f(Δ) \cdot n$ between any pair of $k$-colorings of chordal graphs (where $Δ$ denotes the maximum degree of the graph). The proof is constructive and provides a linear time algorithm that, given two $k$-colorings $c_1,c_2$ computes a linear transformation between $c_1$ and $c_2$.
Weighted distances in scale-free preferential attachment models
Published in Volume 57, Issue 3, October 2020, Pages 823-859
• View Publication
• BIB
We study three preferential attachment models where the parameters are such that the asymptotic degree distribution has infinite variance. Every edge is equipped with a non-negative i.i.d. weight. We study the weighted distance between two vertices chosen uniformly at random, the typical weighted distance, and the number of edges on this path, the typical hopcount. We prove that there are precisely two universality classes of weight distributions, called the explosive and conservative class. In the explosive class, we show that the typical weighted distance converges in distribution to the sum of two i.i.d. finite random variables. In the conservative class, we prove that the typical weighted distance tends to infinity, and we give an explicit expression for the main growth term, as well as for the hopcount. Under a mild assumption on the weight distribution the fluctuations around the main term are tight.
Smallest percolating sets in bootstrap percolation on grids
Published
• View Publication
• BIB
In this paper we fill in a fundamental gap in the extremal bootstrap percolation literature, by providing the first proof of the fact that for all $d \geq 1$, the size of the smallest percolating sets in $d$-neighbour bootstrap percolation on $[n]^d$, the $d$-dimensional grid of size $n$, is $n^{d-1}$. Additionally, we prove that such sets percolate in time at most $c_d n^2$, for some constant $c_d >0 $ depending on $d$ only.
On Hamiltonian cycles in balanced $k$-partite graphs
Published
• View Publication
• BIB
For all integers $k$ with $k\geq 2$, if $G$ is a balanced $k$-partite graph on $n\geq 3$ vertices with minimum degree at least \[ \left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}=\begin{cases} \lceil\frac{n}{2}\rceil+\lfloor\frac{n+2}{k+1}\rfloor-\frac{n}{k} & : k \text{ odd }\\ \frac{n}{2}+\lfloor\frac{n+2}{k+2}\rfloor-\frac{n}{k} & : k \text{ even } \end{cases}, \] then $G$ has a Hamiltonian cycle unless $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$. In the case where $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$, we can characterize the graphs which do not have a Hamiltonian cycle and see that $\left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}+1$ suffices. This result is tight for all $k\geq 2$ and $n\geq 3$ divisible by $k$.
Hyperbolic Optimization over the Integer Efficient Set of MOILFP
The aim of this study is to find the optimum of a linear fractional function over the efficient set of a multi-objective linear fractional integer program without generating all efficient solutions. By its nature, it is a global optimization problem since the efficient set is discrete, hence not convex. For this purpose, a branch and bound based method is described with a double mission to search for an optimal solution for a given linear fractional function which is moreover, efficient for a multi-objective linear fractional integer programming problem. Tests performed on instances randomly generated up to 120 variables, 100 constraints and 6 criteria are successful.
Testing Gap k-planarity is NP-complete
Published
• View Publication
• BIB
For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is NP-complete. In particular, given a graph with local crossing number either at most $k\ge 1$ or at least $2k$, we show that it is NP-complete to decide whether the local crossing number is at most $k$ or at least $2k$. This algorithmic lower bound proves the non-existence of a $(2-ε)$-approximation algorithm for any fixed $k \ge 1$. In addition, we analyze the sometimes competing relationship between the local crossing number (maximum number of crossings per edge) and crossing number (total number of crossings) of a drawing. We present results regarding the non-existence of drawings that simultaneously approximately minimize both the local crossing number and crossing number of a graph.