Showing 20 papers (Total: 82064 papers, 47505 authors in database)
(Almost) Complete Intersection Lovász-Saks-Schrijver ideals and regularity of their powers
Published
• View Publication
• BIB
We discuss the property of (almost) complete intersection of LSS-ideals of graphs of some special forms, like trees, unicyclic, and bicyclic graphs. Further, we give a sufficient condition for the complete intersection property of twisted LSS-ideals in terms of a new graph theoretical invariant called twisted positive matching decomposition number denoted by tpmd.
Decomposition of (infinite) digraphs along directed 1-separations
We introduce torsoids, a canonical structure in matching covered graphs, corresponding to the bricks and braces of the graph.
This allows a more fine-grained understanding of the structure of finite and infinite directed graphs with respect to their 1-separations.
On the concave one-dimensional random assignment problem and Young integration theory
Published
• View Publication
• BIB
We investigate the one-dimensional random assignment problem in the concave case, i.e., the assignment cost is a concave power function, with exponent $0<p<1$, of the distance between $n$ source and $n$ target points, that are i.i.d. random variables with a common law on an interval. We prove that the limit of a suitable renormalization of the costs exists if the exponent $p$ is different than $1/2$. Our proof in the case $1/2<p<1$ makes use of a novel version of the Kantorovich optimal transport problem based on Young integration theory, where the difference between two measures is replaced by the weak derivative of a function with finite $q$-variation, which may be of independent interest. We also prove a similar result for the random bipartite Traveling Salesperson Problem.
Stack number and queue number of graphs
In this paper we give an overview of the graph invariants queue number and stack number (the latter also called the page number or book thickness). Due to their similarity, it has been studied for a long time, whether one of them is bounded in terms of the other. It is now known that the stack number is not bounded by the queue number. We present a simplified proof of this result. We also survey the known results about possible stack number bound on the queue number. This preprint is a rework of the bachelor thesis [29].
Major index on involutions
We find the range of the major index on the various conjugacy classes of involutions in the symmetric group $S_n$. In addition to indicating the minimum and the maximum values, we show that except for the case of involutions without fixed points, all the values in the range are attained. For the conjugacy classes of involutions without fixed points, we show that the only missing values are one more than the minimum and one less than the maximum.
Unconditionally Secure Non-malleable Secret Sharing and Circular External Difference Families
Published
• View Publication
• BIB
Various notions of non-malleable secret sharing schemes have been considered. In this paper, we review the existing work on non-malleable secret sharing and suggest a novel game-based definition. We provide a new construction of an unconditionally secure non-malleable threshold scheme with respect to a specified relation. To do so, we introduce a new type of algebraic manipulation detection (AMD) code and construct examples of new variations of external difference families, which are of independent combinatorial interest.
The spectrum of symmetric decorated paths
Published
• View Publication
• BIB
The main result of this paper states that in a rooted product of a path with rooted graphs which are disposed in a somewhat mirror-symmetric fashion, there are distinct eigenvalues supported in the end vertices of the path which are too close to each other: their difference is smaller than the square root of two in the even distance case, and smaller than one in the odd distance case. As a first application, we show that these end vertices cannot be involved in a quantum walk phenomenon known as perfect state transfer, significantly strengthening a recent result by two of the authors along with Godsil and van Bommel. For a second application, we show that there is no balanced integral tree of odd diameter bigger than three, answering a question raised by Híc and Nedela in 1998. Our main technique involves manipulating ratios of characteristic polynomials of graphs and subgraphs into continued fractions, and exploring in detail their analytic properties. We will also make use of a result due to Pólya and Szegö about functions that preserve the Lebesgue measure, which as far as we know is a novel application to combinatorics. In the end, we connect our machinery to a recently introduced algorithm to locate eigenvalues of trees, and with our approach we show that any graph which contains two vertices separated by a unique path that is the subdivision of a bridge with at least six inner vertices cannot be integral. As a minor corollary this implies that most trees are not integral, but we believe no one thought otherwise.
The distribution of the maximum protection number in simply generated trees
Published in Combinator. Probab. Comp. 33 (2024) 518-553
• View Publication
• BIB
The protection number of a vertex $v$ in a tree is the length of the shortest path from $v$ to any leaf contained in the maximal subtree where $v$ is the root. In this paper, we determine the distribution of the maximum protection number of a vertex in simply generated trees, thereby refining a recent result of Devroye, Goh and Zhao. Two different cases can be observed: if the given family of trees allows vertices of outdegree $1$, then the maximum protection number is on average logarithmic in the tree size, with a discrete double-exponential limiting distribution. If no such vertices are allowed, the maximum protection number is doubly logarithmic in the tree size and concentrated on at most two values. These results are obtained by studying the singular behaviour of the generating functions of trees with bounded protection number. While a general distributional result by Prodinger and Wagner can be used in the first case, we prove a variant of that result in the second case.
Using SAT to study plane Hamiltonian substructures in simple drawings
In 1988 Rafla conjectured that every simple drawing of a complete graph $K_n$ contains a plane, i.e., non-crossing, Hamiltonian cycle. The conjecture is far from being resolved. The lower bounds for plane paths and plane matchings have recently been raised to $(\log n)^{1-o(1)}$ and $Ω(\sqrt{n})$, respectively. We develop a SAT framework which allows the study of simple drawings of $K_n$. Based on the computational data we conjecture that every simple drawing of $K_n$ contains a plane Hamiltonian subgraph with $2n-3$ edges. We prove this strengthening of Rafla's conjecture for convex drawings, a rich subclass of simple drawings. Our computer experiments also led to other new challenging conjectures regarding plane substructures in simple drawings of complete graphs.
Permutations with few inversions
Published
• View Publication
• BIB
A curious generating function $S_0(x)$ for permutations of $[n]$ with exactly $n$ inversions is presented. Moreover, $(xC(x))^iS_0(x)$ is shown to be the generating function for permutations of $[n]$ with exactly $n-i$ inversions, where $C(x)$ is the generating function for the Catalan numbers.
Infinite families of vertex-transitive graphs with prescribed Hamilton compression
Published
• View Publication
• BIB
Given a graph $X$ with a Hamilton cycle $C$, the {\em compression factor $κ(X,C)$ of $C$} is the order of the largest cyclic subgroup of $\operatorname{Aut}(C)\cap\operatorname{Aut}(X)$, and the {\em Hamilton compression $κ(X)$ of $X$ } is the maximum of $κ(X,C)$ where $C$ runs over all Hamilton cycles in $X$. Generalizing the well-known open problem regarding the existence of vertex-transitive graphs without Hamilton paths/cycles, it was asked by Gregor, Merino and Mütze in [``The Hamilton compression of highly symmetric graphs'', {\em arXiv preprint} arXiv: 2205.08126v1 (2022)] whether for every positive integer $k$ there exists infinitely many vertex-transitive graphs (Cayley graphs) with Hamilton compression equal to $k$. Since an infinite family of Cayley graphs with Hamilton compression equal to $1$ was given there, the question is completely resolved in this paper in the case of Cayley graphs with a construction of Cayley graphs of semidirect products $\mathbb{Z}_p\rtimes\mathbb{Z}_k$ where $p$ is a prime and $k \geq 2$ a divisor of $p-1$. Further, infinite families of non-Cayley vertex-transitive graphs with Hamilton compression equal to $1$ are given. All of these graphs being metacirculants, some additional results on Hamilton compression of metacirculants of specific orders are also given.
From Young's Lattice to Coinvariants
Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.
On the Halin Turán number of short cycles
Published
• View Publication
• BIB
A Halin graph is a graph constructed by embedding a tree with no vertex of degree two in the plane and then adding a cycle to join the tree's leaves. The Halin Turán number of a graph $F$, denoted as $\ex_{\hh}(n,F)$, is the maximum number of edges in an $n$-vertex Halin graph. In this paper, we give the exact value of $\ex_{\mathcal{H}}(n,C_4)$, where $C_4$ is a cycle of length 4. We also pose a conjecture for the Halin Turán number of longer cycles.
An infinitary generalization of the Brauer-Schur theorem
We prove an infinitary version of the Brauer-Schur theorem.
Rigid graphs in cylindrical normed spaces
Published
• View Publication
• BIB
We characterise rigid graphs for cylindrical normed spaces $Z=X\oplus_\infty \mathbb{R}$ where $X$ is a finite dimensional real normed linear space and $Z$ is endowed with the product norm. In particular, we obtain purely combinatorial characterisations of minimal rigidity for a large class of 3-dimensional cylindrical normed spaces; for example, when $X$ is an $\ell_p$-plane with $p\in (1,\infty)$. We combine these results with recent work of Cros et al. to characterise rigid graphs in the 4-dimensional cylindrical space $(\mathbb{R}^2\oplus_1\mathbb{R})\oplus_\infty\mathbb{R}$. These are among the first combinatorial characterisations of rigid graphs in normed spaces of dimension greater than 2. Examples of rigid graphs are presented and algorithmic aspects are discussed.
Crowns in pseudo-random graphs and Hamilton cycles in their squares
A crown with $k$ spikes is an edge-disjoint union of a cycle $C$ and a matching $M$ of size $k$ such that each edge of $M$ has exactly one vertex in common with $C$. We prove that if $G$ is an $(n,d,λ)$-graph with $λ/d\le 0.001$ and $d$ is large enough, then $G$ contains a crown on $n$ vertices with $\lfloor n/2\rfloor$ spikes. As a consequence, such $G$ contains a Hamilton cycle in its square $G^2$.
Celebrating Loday's Associahedron
Published in Archiv der Mathematik 121, 559-601, 2023
• View Publication
• BIB
We survey Jean-Louis Loday's vertex description of the associahedron, and its far reaching influence in combinatorics, discrete geometry and algebra. We present in particular four topics were it plays a central role: lattice congruences of the weak order and their quotientopes, cluster algebras and their generalized associahedra, nested complexes and their nestohedra, and operads and the associahedron diagonal.
A coarse-geometry characterization of cacti
We give a quasi-isometric characterization of cacti, which is similar to Manning's characterization of quasi-trees by the bottleneck property. We also give another quasi-isometric characterization of cacti using fat theta curves.
Point-line geometries related to binary equidistant codes
Published
• View Publication
• BIB
We investigate point-line geometries whose singular subspaces correspond to binary equidistant codes. The main result is a description of automorphisms of these geometries. In some important cases, automorphisms induced by non-monomial linear automorphisms surprisingly arise.
Characterization of Plotkin-optimal two-weight codes over finite chain rings and related applications
Published
• View Publication
• BIB
Few-weight codes over finite chain rings are associated with combinatorial objects such as strongly regular graphs (SRGs), strongly walk-regular graphs (SWRGs) and finite geometries, and are also widely used in data storage systems and secret sharing schemes. The first objective of this paper is to characterize all possible parameters of Plotkin-optimal two-homogeneous weight regular projective codes over finite chain rings, as well as their weight distributions. We show the existence of codes with these parameters by constructing an infinite family of two-homogeneous weight codes. The parameters of their Gray images have the same weight distribution as that of the two-weight codes of type SU1 in the sense of Calderbank and Kantor (Bull Lond Math Soc 18: 97-122, 1986). Further, we also construct three-homogeneous weight regular projective codes over finite chain rings combined with some known results. Finally, we study applications of our constructed codes in secret sharing schemes and graph theory. In particular, infinite families of SRGs and SWRGs with non-trivial parameters are obtained.