Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Sharp thresholds for spanning regular graphs
Let $d\geq 3$ be a constant and let $F$ be a $d$-regular graph on $[n]$ with not too many symmetries. By the union bound, the probability threshold for the existence of a spanning subgraph in $G(n,p)$ isomorphic to $F$ is at least $p^*(n)=(1+o(1))(e/n)^{2/d}$. We give a tight bound on the edge expansion of $F$ guaranteeing that the probability threshold for the appearance of a copy of $F$ has the same order of magnitude as $p^*$. We also prove that, within a slight strengthening of this bound, the probability threshold is asymptotically equal to $p^*$. In particular, it proves the conjecture of Kahn, Narayanan and Park on a sharp threshold for the containment of a square of a Hamilton cycle. It also implies that, for $d\geq 4$ and (asymptotically) almost all $d$-regular graphs $F$ on $[n]$, $p(n)=(e/n)^{2/d}$ is a sharp threshold for $F$-containment.
Neighbourhood complexity of graphs of bounded twin-width
Published in European Journal of Combinatorics 115:103772, 2024
• View Publication
• BIB
We give essentially tight bounds for, $ν(d,k)$, the maximum number of distinct neighbourhoods on a set $X$ of $k$ vertices in a graph with twin-width at most~$d$. Using the celebrated Marcus-Tardos theorem, two independent works [Bonnet et al., Algorithmica '22; Przybyszewski '22] have shown the upper bound $ν(d,k) \leqslant \exp(\exp(O(d)))k$, with a double-exponential dependence in the twin-width. The work of [Gajarsky et al., ICALP '22], using the framework of local types, implies the existence of a single-exponential bound (without explicitly stating such a bound).
We give such an explicit bound, and prove that it is essentially tight. Indeed, we give a short self-contained proof that for every $d$ and $k$ $$ν(d,k) \leqslant (d+2)2^{d+1}k = 2^{d+\log d+Θ(1)}k,$$ and build a bipartite graph implying $ν(d,k) \geqslant 2^{d+\log d+Θ(1)}k$, in the regime when $k$ is large enough compared to~$d$.
Extensions of a Family for Sunflowers
This paper explores the structure of the combinatorial domain $2^X$ in relation to sunflowers. The previous study found some intrinsic properties of the $l$-extension \[ Ext \left( \mathcal{F}, l \right) = \left\{ V ~:~ V \in {X \choose l},~ \exists U \in \mathcal{F}~ U \subset V \right\} \] of a family $\mathcal{F}$ of $m$-cardinality sets. Subsequently, it lead to the proof that such an $\mathcal{F}$ includes three mutually disjoint sets if it satisfies the $Γ(b)$-condition, that is, \[ \left| \mathcal{F}[S] \right| < b^{-|S|} |\mathcal{F}| \quad \textrm{for every nonempty set}~ S, \qquad \textrm{where} \quad \mathcal{F} [S] := \left\{ U : U \in \mathcal{F},~ S \subset U \right\}, \] for $b= m^{\frac{1}{2}+ ε}$ with an $m$ sufficiently larger than a given constant $1/ε$. It is stronger than the statement that $\mathcal{F}$ includes a 3-sunflower if $|\mathcal{F}| > b^m$, where $k$-sunflower refers to a family of $k$ different sets with a common pair-wise intersection. Further refining the theory, we show that an $\mathcal{F}$ includes $k$ mutually disjoint sets if it satisfies the $Γ\left( 8^{\sqrt{\log_2 m}} \sqrt m ~k \log_2 k \right)$-condition with an $m$ sufficiently larger than $k$.
"A Handbook of Integer Sequences" Fifty Years Later
Published
• View Publication
• BIB
Until 1973 there was no database of integer sequences. Someone coming across the sequence 1, 2, 4, 9, 21, 51, 127,... would have had no way of discovering that it had been studied since 1870 (today these are called the Motzkin numbers, and form entry A001006 in the database). Everything changed in 1973 with the publication of "A Handbook of Integer Sequences", which listed 2372 entries. This report describes the fifty-year evolution of the database from the "Handbook" to its present form as "The On-Line Encyclopedia of Integer Sequences" (or OEIS), which contains 360,000 entries, receives a million visits a day, and has been cited 10,000 times, often with a comment saying "discovered thanks to the OEIS".
Finite topologies for finite geometries
Without leaving finite mathematics and using finite topological spaces only, we give a definition of homeomorphisms of finite abstract simplicial complexes or finite graphs. Besides exploring the definition in various contexts, we add some remarks like that the general Lefschetz formula works for any continuous map on any finite topological space. We also noted that any higher order Wu characteristic as well as their cohomology are topological invariants which are not homotopy invariants. Energy theorems allow to express these topological invariants in terms of interaction energies of local open sets.
Hochschild cohomology of symmetric groups and generating functions,II
Published
• View Publication
• BIB
We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of degree one Hochschild cohomology as a sum of dimensions of centres of blocks of smaller symmetric groups. This in turn is a consequence of a general formula that makes more precise a theorem of our previous paper describing the generating functions for the dimensions of Hochschild cohomology of symmetric groups.
Representing Matroids over the Reals is $\exists \mathbb R$-complete
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Discrete Algorithms (August 20, 2024) dmtcs:10810
• View Publication
• BIB
A matroid $M$ is an ordered pair $(E,I)$, where $E$ is a finite set called the ground set and a collection $I\subset 2^{E}$ called the independent sets which satisfy the conditions: (i) $\emptyset \in I$, (ii) $I'\subset I \in I$ implies $I'\in I$, and (iii) $I_1,I_2 \in I$ and $|I_1| < |I_2|$ implies that there is an $e\in I_2$ such that $I_1\cup \{e\} \in I$. The rank $rank(M)$ of a matroid $M$ is the maximum size of an independent set. We say that a matroid $M=(E,I)$ is representable over the reals if there is a map $\varphi \colon E \rightarrow \mathbb{R}^{rank(M)}$ such that $I\in I$ if and only if $\varphi(I)$ forms a linearly independent set.
We study the problem of matroid realizability over the reals. Given a matroid $M$, we ask whether there is a set of points in the Euclidean space representing $M$. We show that matroid realizability is $\exists \mathbb R$-complete, already for matroids of rank 3. The complexity class $\exists \mathbb R$ can be defined as the family of algorithmic problems that is polynomial-time is equivalent to determining if a multivariate polynomial with integers coefficients has a real root.
Our methods are similar to previous methods from the literature. Yet, the result itself was never pointed out and there is no proof readily available in the language of computer science.
Combinatorial Properties for a Class of Simplicial Complexes Extended from Pseudo-fractal Scale-free Web
Published
• View Publication
• BIB
Simplicial complexes are a popular tool used to model higher-order interactions between elements of complex social and biological systems. In this paper, we study some combinatorial aspects of a class of simplicial complexes created by a graph product, which is an extension of the pseudo-fractal scale-free web. We determine explicitly the independence number, the domination number, and the chromatic number. Moreover, we derive closed-form expressions for the number of acyclic orientations, the number of root-connected acyclic orientations, the number of spanning trees, as well as the number of perfect matchings for some particular cases.
The simultaneous multiplication formulas for Apostol-Bernoulli polynomials and generalized Frobenius-Euler polynomials
We prove the simultaneous multiplication formulas for Apostol-Bernoulli polynomials and generalized Frobenius-Euler polynomials. These formulas contain Dedekind-Rademacher sums, Apostol-Dedekind sums and Fourier-Dedekind sums.
A generalization of cyclic shift classes
Published
• View Publication
• BIB
Motivated by Lusztig's $G$-stable pieces, we consider the combinatorial pieces: the pairs $(w, K)$ for elements $w$ in the Weyl group and subsets $K$ of simple reflections that are normalized by $w$. We generalize the notion of cyclic shift classes on the Weyl groups to the set of combinatorial pieces. We show that the partial cyclic shift classes of combinatorial pieces associated with minimal-length elements have nice representatives. As applications, we prove the left-right symmetry and the compatibility of the induction functors of the parabolic character sheaves.
Digraph redicolouring
Published
• View Publication
• BIB
Given two $k$-dicolourings of a digraph $D$, we prove that it is PSPACE-complete to decide whether we can transform one into the other by recolouring one vertex at each step while maintaining a dicolouring at any step even for $k=2$ and for digraphs with maximum degree $5$ or oriented planar graphs with maximum degree $6$. A digraph is said to be $k$-mixing if there exists a transformation between any pair of $k$-colourings. We show that every digraph $D$ is $k$-mixing for all $k\geq δ^*_{\min}(D)+2$, generalizing a result due to Dyer et al. We also prove that every oriented graph $\vec{G}$ is $k$-mixing for all $k\geq δ^*_{\max}(\vec{G}) +1$ and for all $k\geq δ^*_{\rm avg}(\vec{G})+1$. We conjecture that, for every digraph $D$, the dicolouring graph of $D$ on $k\geq δ_{\min}^*(D)+2$ colours has diameter at most $O(|V(D)|^2)$ and give some evidences. We first prove that the dicolouring graph of any digraph $D$ on $k\geq 2δ_{\min}^*(D) + 2$ colours has linear diameter, extending a result from Bousquet and Perarnau. We also prove that the conjecture is true when $k\geq \frac{3}{2}(δ_{\min}^*(D)+1)$. Restricted to the special case of oriented graphs, we prove that the dicolouring graph of any subcubic oriented graph on $k\geq 2$ colours is connected and has diameter at most $2n$. We conjecture that every non $2$-mixing oriented graph has maximum average degree at least $4$, and we provide some support for this conjecture by proving it on the special case of $2$-freezable oriented graphs. More generally, we show that every $k$-freezable oriented graph on $n$ vertices must contain at least $kn + k(k-2)$ arcs, and we give a family of $k$-freezable oriented graphs that reach this bound. In the general case, we prove as a partial result that every non $2$-mixing oriented graph has maximum average degree at least $\frac{7}{2}$.
Criticality in Sperner's Lemma
Published
• View Publication
• BIB
We answer a question posed by T. Gallai in 1969 concerning criticality in Sperner's lemma, listed as Problem 9.14 in the collection of Jensen and Toft [Graph coloring problems, John Wiley & Sons, Inc., New York, 1995].
Sperner's lemma states that if a labelling of the vertices of a triangulation of the $d$-simplex $Δ^d$ with labels $1, 2, \ldots, d+1$ has the property that (i) each vertex of $Δ^d$ receives a distinct label, and (ii) any vertex lying in a face of $Δ^d$ has the same label as one of the vertices of that face, then there exists a rainbow facet (a facet whose vertices have pairwise distinct labels). For $d\leq 2$, it is not difficult to show that for every facet $σ$, there exists a labelling with the above properties where $σ$ is the unique rainbow facet. For every $d\geq 3$, however, we construct an infinite family of examples where this is not the case, which implies the answer to Gallai's question as a corollary. The construction is based on the properties of a $4$-polytope which had been used earlier to disprove a claim of T. S. Motzkin on neighbourly polytopes.
Comet-shaped quiver varieties, Weyl group actions, and modified Kostka polynomials
We study an algebra spanned by modified Kostka polynomials. Particular structure coefficients of this algebra are interpreted as traces of some Weyl group actions on the intersection cohomology of comet-shaped quiver varieties.
The one-visibility Localization game
Published
• View Publication
• BIB
We introduce a variant of the Localization game in which the cops only have visibility one, along with the corresponding optimization parameter, the one-visibility localization number $ζ_1$. By developing lower bounds using isoperimetric inequalities, we give upper and lower bounds for $ζ_1$ on $k$-ary trees with $k\ge 2$ that differ by a multiplicative constant, showing that the parameter is unbounded on $k$-ary trees. We provide a $O(\sqrt{n})$ bound for $K_h$-minor free graphs of order $n$, and we show Cartesian grids meet this bound by determining their one-visibility localization number up to four values. We present upper bounds on $ζ_1$ using pathwidth and the domination number and give upper bounds on trees via their depth and order. We conclude with open problems.
On abelian-by-cyclic Moufang loops
We study abelian-by-cyclic Moufang loops. We construct all split $3$-divisible abelian-by-cyclic Moufang loops from so-called Moufang permutations on abelian groups $(X,+)$, which are permutations that deviate from an automorphism of $(X,+)$ by an alternating biadditive mapping (satisfying certain properties). More generally, we obtain additional abelian-by-cyclic Moufang loops from so-called construction pairs. As an aside, we show that in the Moufang loops $Q$ obtained from a construction pair on $(X,+)$ the abelian normal subgroup $(X,+)$ induces an abelian congruence of $Q$ if and only if $Q$ is a group.
Geometry of Set Functions in Game Theory: Combinatorial and Computational Aspects
Published
• View Publication
• BIB
The main ambition of this thesis is to contribute to the development of cooperative game theory towards combinatorics, algorithmics and discrete geometry. Therefore, the first chapter of this manuscript is devoted to highlighting the geometric nature of the coalition functions of transferable utility games and spotlights the existing connections with the theory of submodular set functions and polyhedral geometry.
To deepen the links with polyhedral geometry, we define a new family of polyhedra, called the basic polyhedra, on which we can apply a generalized version of the Bondareva-Shapley Theorem to check their nonemptiness. To allow a practical use of these computational tools, we present an algorithmic procedure generating the minimal balanced collections, based on Peleg's method. Subsequently, we apply the generalization of the Bondareva-Shapley Theorem to design a collection of algorithmic procedures able to check properties or generate specific sets of coalitions.
In the next chapter, the connections with combinatorics are investigated. First, we prove that the balanced collections form a combinatorial species, and we construct the one of k-uniform hypergraphs of size p, as an intermediary step to construct the species of balanced collections. Afterwards, a few results concerning resonance arrangements distorted by games are introduced, which gives new information about the space of preimputations and the facial configuration of the core.
Finally, we address the question of core stability using the results from the previous chapters. Firstly, we present an algorithm based on Grabisch and Sudhölter's nested balancedness characterization of games with a stable core, which extensively uses the generalization of the Bondareva-Shapley Theorem introduced in the second chapter. Secondly, a new necessary condition for core stability is described, based on the application ...
Saturation Numbers for Berge Cliques
Published
• View Publication
• BIB
Let $F$ be a graph and $\mathcal{H}$ be a hypergraph, both embedded on the same vertex set. We say $\mathcal{H}$ is a Berge-$F$ if there exists a bijection $φ:E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We say $\mathcal{H}$ is Berge-$F$-saturated if $\mathcal{H}$ does not contain any Berge-$F$, but adding any missing edge to $\mathcal{H}$ creates a copy of a Berge-$F$.
The saturation number $\mathrm{sat}_k(n,\text{Berge-}F)$ is the least number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices.
We show
\[
\mathrm{sat}_k(n,\text{Berge-}K_\ell)\sim \frac{\ell-2}{k-1}n,
\]
for all $k,\ell\geq 3$. Furthermore, we provide some sufficient conditions to imply that $\mathrm{sat}_k(n,\text{Berge-}F)=O(n)$ for general graphs $F$.
Toughness and normalized Laplacian eigenvalues of graphs
Published
• View Publication
• BIB
Given a connected graph $G$, the toughness $τ_G$ is defined as the minimum value of the ratio $|S|/ω_{G-S}$, where $S$ ranges over all vertex cut sets of $G$, and $ω_{G-S}$ is the number of connected components in the subgraph $G-S$ obtained by deleting all vertices of $S$ from $G$. In this paper, we provide a lower bound for the toughness $τ_G$ in terms of the maximum degree, minimum degree and normalized Laplacian eigenvalues of $G$. This can be viewed as a slight generalization of Brouwer's toughness conjecture, which was confirmed by Gu (2021). Furthermore, we give a characterization of those graphs attaining the two lower bounds regarding toughness and Laplacian eigenvalues provided by Gu and Haemers (2022).
Comparing Three Generations of D-Wave Quantum Annealers for Minor Embedded Combinatorial Optimization Problems
Published in Quantum Science and Technology, 2025
• View Publication
• BIB
Quantum annealing is a novel type of analog computation that aims to use quantum mechanical fluctuations to search for optimal solutions of Ising problems. Quantum annealing in the Transverse Ising model, implemented on D-Wave QPUs, are available as cloud computing resources. In this article we report concise benchmarks across three generations of D-Wave quantum annealers, consisting of four different devices, for the NP-Hard combinatorial optimization problems unweighted maximum clique and unweighted maximum cut on random graphs. The Ising, or equivalently QUBO, formulation of these problems do not require auxiliary variables for order reduction, and their overall structure and weights are not highly complex, which makes these problems simple test cases to understand the sampling capability of current D-Wave quantum annealers. All-to-all minor embeddings of size $52$, with relatively uniform chain lengths, are used for a direct comparison across the Chimera, Pegasus, and Zephyr device topologies. A grid search over annealing times and the minor embedding chain strengths is performed in order to determine the level of reasonable performance for each device and problem type. Experiment metrics that are reported are approximation ratios for non-broken chain samples and chain break proportions. How fairly the quantum annealers sample optimal maximum cliques, for instances which contain multiple maximum cliques, is also quantified using entropy of the measured ground state distributions. The newest generation of quantum annealing hardware, which has a Zephyr hardware connectivity, performed the best overall with respect to approximation ratios and chain break frequencies.
Eggs in finite projective spaces and unitals in translation planes
Published
• View Publication
• BIB
Inspired by the connection between ovoids and unitals arising from the Buekenhout construction in the André/Bruck-Bose representation of translation planes of dimension at most two over their kernel, and since eggs of PG(4m-1,q), m>=1, are a generalization of ovoids, we explore the relation between eggs and unitals in translation planes of higher dimension over their kernel. By investigating such a relationship, we construct a unital in the Dickson semifield plane of order 3^{10}, which is represented in PG(20,3) by a cone whose base is a set of points constructed from the dual of the Penttila-Williams egg in PG(19,3). This unital is not polar; so, up to the knowledge of the authors, it seems to be a new unital in such a plane.