Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The Turán Number of Surfaces
Published
• View Publication
• BIB
We show that there is a constant $c$ such that any 3-uniform hypergraph $\mathcal H$ with $n$ vertices and at least $cn^{5/2}$ edges contains a triangulation of the real projective plane as a subgraph. This resolves a conjecture of Kupavskii, Polyanskii, Tomon, and Zakharov. Furthermore, our work, combined with prior results, asymptotically determines the Turán number of all surfaces.
On word-representability of simplified de Bruijn graphs
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. In this paper, we study word-representability of simplified de Bruijn graphs. The simplified de Bruijn graph $S(n,k)$ is a simple graph obtained from the de Bruijn graph $B(n,k)$ by removing orientations and loops and replacing multiple edges between a pair of vertices by a single edge. De Bruijn graphs are a key object in combinatorics on words that found numerous applications, in particular, in genome assembly. We show that binary simplified de Bruijn graphs (i.e.\ $S(n,2)$) are word-representable for any $n\geq 1$, while $S(2,k)$ and $S(3,k)$ are non-word-representable for $k\geq 3$. We conjecture that all simplified de Bruijn graphs $S(n,k)$ are non-word-rerpesentable for $n\geq 4$ and $k\geq 3$.
Computing maximum likelihood thresholds using graph rigidity
Published in Alg. Stat. 14 (2023) 287-305
• View Publication
• BIB
The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. Recently a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ was proved \cite{Betal}. This characterization was then used to give new combinatorial lower bounds on the MLT of any graph. We continue this line of research by exploiting combinatorial rigidity results to compute the MLT precisely for several families of graphs. These include graphs with at most $9$ vertices, graphs with at most 24 edges, every graph sufficiently close to a complete graph and graphs with bounded degrees.
A new approach for computing the distance and the diameter in circulant graphs
Published
• View Publication
• BIB
The diameter of a graph is the maximum distance among all pairs of vertices. Thus a graph $G$ has diameter $d$ if any two vertices are at distance at most $d$ and there are two vertices at distance $d$. We are interested in studying the diameter of circulant graphs $C_n(1,s)$, i.e., graphs with the set $\{0,1,\ldots, n-1\}$ of integers as vertex set and in which two distinct vertices $i,j \in \{0,1,\ldots, n-1\}$ are adjacent if and only if $|i-j|_n\in \{1,s\}$, where $2\leq s\leq \lfloor \frac{n-1}{2} \rfloor$ and $|x|_n=\min(|x|, n-|x|)$. Despite the regularity of circulant graphs, it is difficult to evaluate several parameters, in particular the distance and the diameter. To the best of our knowledge, there is no formulas providing exact values for the distance and the diameter of $C_n(1,s)$ for all $n$ and $s$. In this context, we present in this paper a new approach, based on a simple algorithm, that gives exact values for the distance and the diameter of circulant graphs.
Associated Permutations of Complete Non-Ambiguous Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (April 3, 2024) dmtcs:11169
• View Publication
• BIB
We explore new connections between complete non-ambiguous trees (CNATs) and permutations. We give a bijection between tree-like tableaux and a specific subset of CNATs. This map is used to establish and solve a recurrence relation for the number of tree-like tableaux of a fixed size without occupied corners, proving a conjecture by Laborde-Zubieta. We end by establishing a row/column swapping operation on CNATs and identify new areas for future research.
Strong domination number of some operations on a graph
Let $G=(V(G),E(G))$ be a simple graph. A set $D\subseteq V(G)$ is a strong dominating set of $G$, if for every vertex $x\in V(G)\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we examine the effects on $γ_{st}(G)$ when $G$ is modified by operations on edge (or edges) of $G$.
Improved bounds concerning the maximum degree of intersecting hypergraphs
Published
• View Publication
• BIB
For positive integers $n>k>t$ let $\binom{[n]}{k}$ denote the collection of all $k$-subsets of the standard $n$-element set $[n]=\{1,\ldots,n\}$. Subsets of $\binom{[n]}{k}$ are called $k$-graphs. A $k$-graph $\mathcal{F}$ is called $t$-intersecting if $|F\cap F'|\geq t$ for all $F,F'\in \mathcal{F}$. One of the central results of extremal set theory is the Erdős-Ko-Rado Theorem which states that for $n\geq (k-t+1)(t+1)$ no $t$-intersecting $k$-graph has more than $\binom{n-t}{k-t}$ edges. For $n$ greater than this threshold the $t$-star (all $k$-sets containing a fixed $t$-set) is the only family attaining this bound. Define $\mathcal{F}(i)=\{F\setminus \{i\}\colon i\in F\in \mathcal{F}\}$. The quantity $\varrho(\mathcal{F})=\max\limits_{1\leq i\leq n}|\mathcal{F}(i)|/|\mathcal{F}|$ measures how close a $k$-graph is to a star. The main result (Theorem 1.5) shows that $\varrho(\mathcal{F})>1/d$ holds if $\mathcal{F}$ is 1-intersecting, $|\mathcal{F}|>2^dd^{2d+1}\binom{n-d-1}{k-d-1}$ and $n\geq 4(d-1)dk$. Such a statement can be deduced from the results of \cite{F78-2} and \cite{DF}, however only for much larger values of $n/k$ and/or $n$. The proof is purely combinatorial, it is based on a new method: shifting ad extremis. The same method is applied to obtain some nearly optimal bounds in the case of $t\geq 2$ (Theorem 1.11) along with a number of related results.
On completely regular codes with minimum eigenvalue in geometric graphs
Published
• View Publication
• BIB
We prove that any completely regular code with minimum eigenvalue in any geometric graph G corresponds to a completely regular code in the clique graph of G. Studying the interrelation of these codes, a complete characterization of the completely regular codes in the Johnson graphs J(n,w) with covering radius w-1 and strength 1 is obtained. In particular this result finishes a characterization of the completely regular codes in the Johnson graphs J(n,3). We also classify the completely regular codes of strength 1 in the Johnson graphs J(n,4) with only one case for the eigenvalues left open.
Free decomposition spaces
Published
• View Publication
• BIB
We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by their inert maps. We show that left Kan extension along the inclusion $j \colon Δ_{\operatorname{inert}} \to Δ$ takes general objects to Möbius decomposition spaces and general maps to CULF maps. We establish an equivalence of $\infty$-categories $\mathbf{PrSh}(Δ_{\operatorname{inert}}) \simeq \mathbf{Decomp}_{/B\mathbb{N}}$. Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. We give an extensive list of examples, including quasi-symmetric functions.
Bijective proofs of some coinversion identities related to Macdonald polynomials
Published
• View Publication
• BIB
This paper gives bijective proofs of some novel coinversion identities first discovered by Ayyer, Mandelshtam, and Martin (arxiv:2011.06117) as part of their proof of a new combinatorial formula for the modified Macdonald polynomials $\tilde{H}_μ$. Those authors used intricate algebraic manipulations of $q$-binomial coefficients to prove these identities, which imply the existence of certain bijections needed in their proof that their formula satisfies the axioms characterizing $\tilde{H}_μ$. They posed the open problem of constructing such bijections explicitly. We resolve that problem here.
Random complexes with free involution
We introduce a new model for random simplicial complexes which with high probability generates a complex that has a simply-connected double cover. Hence we develop a model for random simplicial complexes with fundamental group $\mathbb{Z}/2\mathbb{Z}$. We establish results about the typical asymptotic topology of these complexes. As a consequence we give bounds for the dimension $d$ such that $\mathbb{Z}/2\mathbb{Z}$-equivariant maps from the double cover to $\mathbb{R}^d$ have zeros with high probability, thus establishing a random Borsuk--Ulam theorem. We apply this to derive a structural result for pairs of non-adjacent cliques in Erdős--Rényi random graphs.
A Study of Scalarisation Techniques for Multi-Objective QUBO Solving
Published
• View Publication
• BIB
In recent years, there has been significant research interest in solving Quadratic Unconstrained Binary Optimisation (QUBO) problems. Physics-inspired optimisation algorithms have been proposed for deriving optimal or sub-optimal solutions to QUBOs. These methods are particularly attractive within the context of using specialised hardware, such as quantum computers, application specific CMOS and other high performance computing resources for solving optimisation problems. These solvers are then applied to QUBO formulations of combinatorial optimisation problems. Quantum and quantum-inspired optimisation algorithms have shown promising performance when applied to academic benchmarks as well as real-world problems. However, QUBO solvers are single objective solvers. To make them more efficient at solving problems with multiple objectives, a decision on how to convert such multi-objective problems to single-objective problems need to be made. In this study, we compare methods of deriving scalarisation weights when combining two objectives of the cardinality constrained mean-variance portfolio optimisation problem into one. We show significant performance improvement (measured in terms of hypervolume) when using a method that iteratively fills the largest space in the Pareto front compared to a näive approach using uniformly generated weights.
A note on estimating global subgraph counts by sampling
Published
• View Publication
• BIB
We give a simple proof of a generalization of an inequality for homomorphism counts by Sidorenko (1994). A special case of our inequality says that if $d_v$ denotes the degree of a vertex $v$ in a graph $G$ and $\textrm{Hom}_Δ(H, G)$ denotes the number of homomorphisms from a connected graph $H$ on $h$ vertices to $G$ which map a particular vertex of $H$ to a vertex $v$ in $G$ with $d_v \ge Δ$, then $ \textrm{Hom}_Δ(H,G) \le \sum_{v\in G} d_v^{h-1}\mathbf{1}_{d_v\ge Δ} $
We use this inequality to study the minimum sample size needed to estimate the number of copies of $H$ in $G$ by sampling vertices of $G$ at random.
Degenerate Turán densities of sparse hypergraphs II: a solution to the Brown-Erdős-Sós problem for every uniformity
Published
• View Publication
• BIB
For fixed integers $r\ge 3, e\ge 3$, and $v\ge r+1$, let $f_r(n,v,e)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph in which the union of arbitrary $e$ distinct edges contains at least $v+1$ vertices. In 1973, Brown, Erdős and Sós proved that $f_r(n,er-(e-1)k,e)=Θ(n^k)$ and conjectured that the limit $\lim_{n\rightarrow\infty}\frac{f_3(n,e+2,e)}{n^2}$ always exists for all fixed integers $e\ge 3$. In 2020 Shangguan and Tamo conjectured that the limit $\lim_{n\rightarrow\infty}\frac{f_r(n,er-(e-1)k,e)}{n^k}$ always exists for all fixed integers $r>k\ge 2$ and $e\ge 3$, which contains the BES conjecture as a special case for $r=3, k=2$. Recently, based on a result of Glock, Joos, Kim, Kühn, Lichev, and Pikhurko, Delcourt and Postle proved the BES conjecture. Extending their result, we show that the limit $\lim_{n\rightarrow\infty}\frac{f_r(n,er-2(e-1),e)}{n^2}$ always exists, thereby proving the BES conjecture for every uniformity.
Moments of random quantum marginals via Weingarten calculus
Published
• View Publication
• BIB
The randomized quantum marginal problem asks about the joint distribution of the partial traces ("marginals") of a uniform random Hermitian operator with fixed spectrum acting on a space of tensors. We introduce a new approach to this problem based on studying the mixed moments of the entries of the marginals. For randomized quantum marginal problems that describe systems of distinguishable particles, bosons, or fermions, we prove formulae for these mixed moments, which determine the joint distribution of the marginals completely. Our main tool is Weingarten calculus, which provides a method for computing integrals of polynomial functions with respect to Haar measure on the unitary group. As an application, in the case of two distinguishable particles, we prove some results on the asymptotic behavior of the marginals as the dimension of one or both Hilbert spaces goes to infinity.
Stirling permutation codes
Published
• View Publication
• BIB
The development of the theories of the second-order Eulerian polynomials began with the works of Buckholtz and Carlitz in their studies of an asymptotic expansion. Gessel-Stanley introduced Stirling permutations and presented combinatorial interpretations of the second-order Eulerian polynomials. Recently, there is a growing interest in the properties of Stirling permutations. The motivation of this paper is to develop a general method for finding equidistributed statistics on Stirling permutations. Firstly, we show that the up-down-pair statistic is equidistributed with ascent-plateau statistic, and that the exterior up-down-pair statistic is equidistributed with left ascent-plateau statistic. Secondly, we introduce the Stirling permutation codes. Several equidistribution results follow from simple applications. In particular, we find that six bivariable set-valued statistics are equidistributed on the set of Stirling permutations. As an application, we extend a classical result independently established by Dumont and Bona. Thirdly, we explore bijections among Stirling permutation codes, perfect matchings and trapezoidal words. We then show the e-positivity of the enumerators of Stirling permutations by left ascent-plateaux, exterior up-down-pairs and right plateau-descents. In the final part, the e-positivity of the multivariate k-th order Eulerian polynomials is established, which improves a result of Janson-Kuba-Panholzer and generalizes a recent result of Chen-Fu.
The maximum intersection number of regular simplicial partitions
In this note, we first bound the intersection number of the regular simplicial partitions.
Decomposing cubic graphs into isomorphic linear forests
A common problem in graph colouring seeks to decompose the edge set of a given graph into few similar and simple subgraphs, under certain divisibility conditions. In 1987 Wormald conjectured that the edges of every cubic graph on $4n$ vertices can be partitioned into two isomorphic linear forests. We prove this conjecture for large connected cubic graphs. Our proof uses a wide range of probabilistic tools in conjunction with intricate structural analysis, and introduces a variety of local recolouring techniques.
Decomposable context-specific models
Published
• View Publication
• BIB
We introduce a family of discrete context-specific models, which we call decomposable. We construct this family from the subclass of staged tree models known as CStree models. We give an algebraic and combinatorial characterization of all context-specific independence relations that hold in a decomposable context-specific model, which yields a Markov basis. We prove that the moralization operation applied to the graphical representation of a context-specific model does not affect the implied independence relations, thus affirming that these models are algebraically described by a finite collection of decomposable graphical models. More generally, we establish that several algebraic, combinatorial, and geometric properties of decomposable context-specific models generalize those of decomposable graphical models to the context-specific setting.
A spanning union of cycles in thin cylinder, torus and Klein bottle grid graphs
We propose an algorithm for obtaining the common transfer digraph $ D^*_m$ for enumeration of 2-factors in graphs from the title all of which with $m n$ vertices ($m, n \in N, m >1 $).
The numerical data gathered for $m <19$ reveal some matchings of the numbers of 2-factors for different types of torus or Klein bottle. In latter case we conjecture that these numbers are invariant under twisting.