Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Induced forests in some distance-regular graphs
Published
• View Publication
• BIB
In this article, we study the order and structure of the largest induced forests in some families of graphs. First we prove a variation of the ratio bound that gives an upper bound on the order of the largest induced forest in a graph. Next we define a \textsl{canonical induced forest} to be a forest that is formed by adding a vertex to a coclique and give several examples of graphs where the maximal forest is a canonical induced forest. These examples are all distance-regular graphs with the property that the Delsarte-Hoffman ratio bound for cocliques holds with equality. We conclude with some examples of related graphs where there are induced forests that are larger than a canonical forest.
A Lucas analogue of Eulerian numbers
The generalized Lucas numbers are polynomials in two variables with nonnegative integer coefficients. Lucas versions of some combinatorial numbers with known formulas in terms of quotient and products of nonnegative integers have been recently given by replacing the integers in those formulas with their corresponding Lucas analogues. We instead use a recursive approach. In this sense, we give a recursive formula for Lucas-Narayana numbers derived from a recent formula in terms of Lucasnomials (the explicit Lucas version of binomial numbers). We propose a recursive definition for a Lucas analogue of the classical Eulerian numbers, which shows immediately that they are polynomials in two variables with nonnegative integer coefficients. We prove that they are palindromic like their standard counterparts. The recursive approach allows us to give Lucas analogues of many relevant combinatorial constants. In particular, Lucas versions for both Stirling numbers of the second kind and Motzkin numbers are presented.
Mixed volumes of normal complexes
Published
• View Publication
• BIB
Normal complexes are orthogonal truncations of polyhedral fans. In this paper, we develop the study of mixed volumes for normal complexes. Our main result is a sufficiency condition that ensures when the mixed volumes of normal complexes associated to a given fan satisfy the Alexandrov-Fenchel inequalities. By specializing to Bergman fans of matroids, we give a new proof of the Heron-Rota-Welsh Conjecture as a consequence of the Alexandrov-Fenchel inequalities for normal complexes.
An MCMC sampling of densest $k$-sub-graphs of regular graphs with connected complement graph
We present an exclusion process based approach for sampling densest $k$-sub-graphs from regular graphs $L$ with connected complement. By interpreting an exclusion process as a Markov chain on a corresponding Token Graph $\mathfrak{L}_k$, we make use of classical Markov chain theory to obtain quantitative bounds on the convergence speed depending on the geometry of $L$, which are sharp in the sens that variations in the valency lead to an equality, which is $1$, for the geometric bounds in the case of a complete graph. We propose an algorithm which makes use of this particle view to avoid excessive memory use due to the state space size and discuss the regularity and connectivity condition on $L$ and $L^c$ in the Outlook.
Counting Frameworks of Bipyramids
We give a linear upper bound on the number of distinct volume-equivalent frameworks of bipyramids, up to rigid motions. As a corollary, we show that global volume rigidity is not a generic property of simplicial complexes.
On The Determination of Sets By Their Subset Sums
Published
• View Publication
• BIB
Let $A$ be a multiset with elements in an abelian group. Let $FS(A)$ be the multiset containing the $2^{|A|}$ sums of all subsets of $A$.
We study the reconstruction problem ``Given $FS(A)$, is it possible to identify $A$?'', and we give a satisfactory answer for all abelian groups. We prove that, up to identifying multisets through a natural equivalence relation, the function $A \mapsto FS(A)$ is injective (and thus the reconstruction problem is solvable) if and only if every order $n$ of a torsion element of the abelian group satisfies a certain number-theoretical property linked to the multiplicative group $(\mathbb{Z} / n\mathbb{Z})^*$.
The core of the proof relies on a delicate study of the structure of cyclotomic units. Moreover, as a tool, we develop an inversion formula for a novel discrete Radon transform on finite abelian groups that might be of independent interest.
Unavoidable structures in infinite tournaments
Published
• View Publication
• BIB
We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii) every countably-infinite tournament contains a \emph{spanning} copy of $G$. Furthermore, we are able to give a concise characterization of such oriented graphs. Our characterization becomes even simpler in the case of transitive acyclic oriented graphs (i.e. strict partial orders).
For uncountable oriented graphs, we are able to extend the dichotomy result mentioned above to all regular cardinals $κ$; however, we are only able to provide a concise characterization in the case when $κ=\aleph_1$.
Representation Stability for Disks in a Strip
Published
• View Publication
• BIB
We consider the ordered configuration space of $n$ open unit-diameter disks in the infinite strip of width $w$. In the spirit of Arnol'd and Cohen, we provide a finite presentation for the rational homology groups of this ordered configuration space as a twisted algebra. We use this presentation to prove that the ordered configuration space of open unit-diameter disks in the infinite strip of width $w$ exhibits a notion of first-order representation stability similar to Church--Ellenberg--Farb and Miller--Wilson's first-order representation stability for the ordered configuration space of points in a manifold. In addition, we prove that for large $w$ this disk configuration space exhibits notions of second- (and higher) order representation stability.
On Helly numbers of exponential lattices
Published
• View Publication
• BIB
Given a set $S \subseteq \mathbb{R}^2$, define the \emph{Helly number of $S$}, denoted by $H(S)$, as the smallest positive integer $N$, if it exists, for which the following statement is true: for any finite family $\mathcal{F}$ of convex sets in~$\mathbb{R}^2$ such that the intersection of any $N$ or fewer members of~$\mathcal{F}$ contains at least one point of $S$, there is a point of $S$ common to all members of $\mathcal{F}$.
We prove that the Helly numbers of \emph{exponential lattices} $\{α^n \colon n \in \mathbb{N}_0\}^2$ are finite for every $α>1$ and we determine their exact values in some instances. In particular, we obtain $H(\{2^n \colon n \in \mathbb{N}_0\}^2)=5$, solving a problem posed by Dillon (2021).
For real numbers $α, β> 1$, we also fully characterize exponential lattices $L(α,β) = \{α^n \colon n \in \mathbb{N}_0\} \times \{β^n \colon n \in \mathbb{N}_0\}$ with finite Helly numbers by showing that $H(L(α,β))$ is finite if and only if $\log_α(β)$ is rational.
Behaviors of pairs of dimensions and depths of edge ideals
Published
• View Publication
• BIB
Edge ideals of finite simple graphs $G$ on $n$ vertices are the ideals $I(G)$ of the polynomial ring $S$ in $n$ variables generated by the quadratic monomials associated with the edges of $G$. In this paper, we consider the possible pairs of dimensions and depths of $S/I(G)$ for connected graphs with a fixed number of vertices. We discuss such pairs in the case where dimension is relatively large. As a corollary, we completely determine the pairs for connected graphs with small number of vertices. We also study the possible pairs for connected chordal graphs.
Dowker Complexes and filtrations on self-relations
Given a relation on $ X \times Y $, we can construct two abstract simplicial complexes called Dowker complexes. The geometric realizations of these simplicial complexes are homotopically equivalent. We show that if two relations are conjugate, then they have homotopically equivalent Dowker complexes. From a self-relation on $ X $, this is a directed graph, and we use the Dowker complexes to study their properties. We show that if two relations are shift equivalent, then, at some power of the relation, their Dowker complexes are homotopically equivalent. Finally, we define a new filtration based on Dowker complexes with different powers of a relation.
Supersolvable saturated matroids and chordal graphs
Published
• View Publication
• BIB
A matroid is supersolvable if it has a maximal chain of flats each of which is modular. A matroid is saturated if every round flat is modular. In this article we present supersolvable saturated matroids as analogues to chordal graphs, and we show that several results for chordal graphs hold in this matroid context. In particular, we consider matroid analogues of the reduced clique graph and clique trees for chordal graphs. The latter is a maximum-weight spanning tree of the former. We also show that the matroid analogue of a clique tree is an optimal decomposition for the matroid parameter of tree-width.
Reduced clique graphs: a correction to "Chordal graphs and their clique graphs"
Published
• View Publication
• BIB
Galinier, Habib, and Paul introduced the reduced clique graph of a chordal graph $G$. The nodes of the reduced clique graph are the maximal cliques of $G$, and two nodes are joined by an edge if and only if they form a non-disjoint separating pair of cliques in $G$. In this case the weight of the edge is the size of the intersection of the two cliques. A clique tree of $G$ is a tree with the maximal cliques of $G$ as its nodes, where for any $v\in V(G)$, the subgraph induced by the nodes containing $v$ is connected. Galinier et al.\ prove that a spanning tree of the reduced clique graph is a clique tree if and only if it has maximum weight, but their proof contains an error. We explain and correct this error.
In addition, we initiate a study of the structure of reduced clique graphs by proving that they cannot contain any induced cycle of length five (although they may contain induced cycles of length three or any even integer greater than two). We show that no cycle of length four or more is isomorphic to a reduced clique graph. We prove that the class of clique graphs of chordal graphs is not comparable to the class of reduced clique graphs of chordal graphs by providing examples that are in each of these classes without being in the other.
Discrete Morse Functions and Watersheds
Published
• View Publication
• BIB
Any watershed, when defined on a stack on a normal pseudomanifold of dimension d, is a pure (d -- 1)-subcomplex that satisfies a drop-of-water principle. In this paper, we introduce Morse stacks, a class of functions that are equivalent to discrete Morse functions. We show that the watershed of a Morse stack on a normal pseudomanifold is uniquely defined, and can be obtained with a linear-time algorithm relying on a sequence of collapses. Last, we prove that such a watershed is the cut of the unique minimum spanning forest, rooted in the minima of the Morse stack, of the facet graph of the pseudomanifold.
Contact graphs of boxes with unidirectional contacts
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:3 special issue ICGT'22, Special issues (May 17, 2024) dmtcs:10805
• View Publication
• BIB
This paper is devoted to the study of particular geometrically defined intersection classes of graphs. Those were previously studied by Magnant and Martin, who proved that these graphs have arbitrary large chromatic number, while being triangle-free. We give several structural properties of these graphs, and we raise several questions.
A note on the limit law of one-sided tree destruction
This short note serves an addendum to the article "Destruction of very simple trees" by Fill, Kapur and Panholzer (2004). Therein, the limit law of one-sided tree destruction with a toll function was determined by its moment sequence. We add an identification of the limit law, using recent results of Bertoin (2022), in terms of the local time of a noise reinforced Bessel process.
On the set of stable matchings of a bipartite graph
Published
• View Publication
• BIB
The topic of stable matchings (marriages) in a bipartite graph has become widely popular, starting with the appearance of the classical work by Gale and Shapley. We give a detailed survey on selected known results in this field that demonstrate structural, polyhedral and algorithmic properties of such matchings and their sets, providing our description with relatively short proofs.
A Formal Disproof of the Hirsch Conjecture
Published
• View Publication
• BIB
The purpose of this paper is the formal verification of a counterexample of Santos et al. to the so-called Hirsch Conjecture on the diameter of polytopes (bounded convex polyhedra). In contrast with the pen-and-paper proof, our approach is entirely computational: we implement in Coq and prove correct an algorithm that explicitly computes, within the proof assistant, vertex-edge graphs of polytopes as well as their diameter. The originality of this certificate-based algorithm is to achieve a tradeoff between simplicity and efficiency.
Simplicity is crucial in obtaining the proof of correctness of the algorithm. This proof splits into the correctness of an abstract algorithm stated over proof-oriented data types and the correspondence with a low-level implementation over computation-oriented data types. A special effort has been made to reduce the algorithm to a small sequence of elementary operations (e.g., matrix multiplications, basic routines on sets and graphs), in order to make the derivation of the correctness of the low-level implementation more transparent.
Efficiency allows us to scale up to polytopes with a challenging combinatorics. For instance, we formally check the two counterexamples of Matschke, Santos and Weibel to the Hirsch conjecture, respectively 20- and 23-dimensional polytopes with 36 425 and 73 224 vertices involving rational coefficients with up to 40 digits in their numerator and denominator. We also illustrate the performance of the method by computing the list of vertices or the diameter of well-known classes of polytopes, such as (polars of) cyclic polytopes involved in McMullen's Upper Bound Theorem.
On Knuth's conjecture for back and forward arcs in Depth First Search in a random digraph with geometric outdegree distribution
Donald Knuth, in a draft of a coming volume of The Art of Computer Programming, has recently conjectured that in Depth-First Search of a random digraph with geometric outdegree distribution, the numbers of back and forward arcs have the same distribution.
We show that this conjecture is equivalent to an equality between two generating functions defined by different recursions.
Unfortunately, we have not been able so use this to prove the conjecture, which still is open, but we hope that this note will inspire others to succeed with the conjecture.
Spectral Radii of Arithmetical Structures on Cycle Graphs
Published
• View Publication
• BIB
Let $G$ be a finite, connected graph. An arithmetical structure on $G$ is a pair of positive integer-valued vectors $(\mathbf{d},\mathbf{r})$ such that $(\text{diag}(\mathbf{d})-A_G)\cdot \mathbf{r}=\textbf{0},$ where the entries of $\mathbf{r}$ have $\gcd$ 1 and $A_G$ is the adjacency matrix of $G$. In this article we find the arithmetical structures that maximize and minimize the spectral radius of $(\text{diag}(\mathbf{d})-A_G)$ among all arithmetical structures on the cycle graph $\mathcal{C}_n.$