Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Subdivisions of digraphs in tournaments
We show that for every positive integer $k$, any tournament with minimum out-degree at least $(2+o(1))k^2$ contains a subdivision of the complete directed graph on $k$ vertices, which is best possible up to a factor of $8$. This may be viewed as a directed analogue of a theorem proved by Bollobás and Thomason, and independently by Komlós and Szemerédi, concerning subdivisions of cliques in graphs with sufficiently high average degree. We also consider the following problem: given $k$, what is the smallest positive integer $f(k)$ such that any $f(k)$-vertex tournament contains a $1$-subdivision of the transitive tournament on $k$ vertices? We show that $f(k)= O\left (k^2\log^3 k\right)$ which is best possible up to the logarithmic factors.
Permutation Matrices, Their Discrete Derivatives and Extremal Properties
Published
• View Publication
• BIB
For a permutation $π$, and the corresponding permutation matrix, we introduce the notion of {\em discrete derivative}, obtained by taking differences of successive entries in $π$. We characterize the possible derivatives of permutations, and consider questions for permutations with certain properties satisfied by the derivative. For instance, we consider permutations with distinct derivatives, and the relationship to so-called Costas arrays.
Congruences in character tables of symmetric groups
If $λ$ and $μ$ are two non-empty Young diagrams with the same number of squares, and $\boldsymbolλ$ and $\boldsymbolμ$ are obtained by dividing each square into $d^2$ congruent squares, then the corresponding character value $χ_{\boldsymbolλ}(\boldsymbolμ)$ is divisible by $d!$.
Factoring Catalan numbers
The paper describes a prime factorization of the Catalan numbers. Odd prime factors are distributed in layers in accordance with Legendre's formula. The content of each layer is a network of the intervals, Chebyshev's Segments. The primes of Segment are not calculated and are selected on the basis of its bounds. Layers contain non-repeated primes. Repeated factors are formed when primes are duplicated among different layers. The paper slightly modifies Kummer's theorem for the selection of individual prime factors, also starting from the boundaries of Segments. In conclusion, the reader is offered a software service for factorization of the Catalan number with index up to $10^8$
Avoidable paths in graphs
Published
• View Publication
• BIB
We prove a recent conjecture of Beisegel et al. that for every positive integer k, every graph containing an induced P_k also contains an avoidable P_k. Avoidability generalises the notion of simpliciality best known in the context of chordal graphs. The conjecture was only established for k in {1,2} (Ohtsuki et al. 1976, and Beisegel et al. 2019, respectively). Our result also implies a result of Chvátal et al. 2002, which assumed cycle restrictions. We provide a constructive and elementary proof, relying on a single trick regarding the induction hypothesis. In the line of previous works, we discuss conditions for multiple avoidable paths to exist.
A New Definition of the Dimension of Graphs
Enlighted by the recent work of Hao Huang on sensitivity conjecture [arXiv:1907.00847], we propose a new definition of the dimension of graphs and establish a relationship between the chromatic number and the dimension.
Characterization and classification of optimal LCD codes
Published
• View Publication
• BIB
Linear complementary dual (LCD) codes are linear codes that intersect with their dual trivially. We give a characterization of LCD codes over $\mathbb{F}_q$ having large minimum weights for $q \in \{2,3\}$. Using the characterization, we determine the largest minimum weights among LCD $[n,k]$ codes over $\mathbb{F}_q$ for $(q,k) \in \{(2,4), (3,2),(3,3)\}$. Moreover, we give a complete classification of optimal LCD $[n,k]$ codes over $\mathbb{F}_q$ for $(q,k) \in \{(2,3), (2,4), (3,2),(3,3)\}$.
Invariant systems of representatives, or The cost of symmetry
Published in Discrete Mathematics, 344:6 (2021), 112361
• View Publication
• BIB
Suppose that one can destroy all 100-gons in a graph by removing 2019 edges. How many edges must be removed to destroy all 100-gons in such a way that the set of removed edges is invariant with respect to all automorphisms the initial graph? This paper contains solutions to such kind of problems. Several open questions are raised.
A localized version of the basic triangle theorem
In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to rings of scalars and avoids the recourse to fraction fields as that of meromorphic functions for instance.
Perfect matroids over hyperfields
Published
• View Publication
• BIB
We investigate valuated matroids with an additional algebraic structure on their residue matroids. We encode the structure in terms of representability over stringent hyperfields.
A hyperfield $H$ is {\em stringent} if $a\boxplus b$ is a singleton unless $a=-b$, for all $a,b\in H$. By a construction of Marc Krasner, each valued field gives rise to a stringent hyperfield.
We show that if $H$ is a stringent skew hyperfield, then the vectors of any weak matroid over $H$ are orthogonal to its covectors, and we deduce that weak matroids over $H$ are strong matroids over $H$. Also, we present vector axioms for matroids over stringent skew hyperfields which generalize the vector axioms for oriented matroids and valuated matroids.
On the exponential growth rates of lattice animals and interfaces
Published
• View Publication
• BIB
We introduce a formula for translating any upper bound on the percolation threshold of a lattice \g into a lower bound on the exponential growth rate of lattice animals $a(G)$ and vice-versa. We exploit this to improve on the best known asymptotic bounds on $a(\mathbb{Z}^d)$ as $d\to \infty$. Our formula remains valid if instead of lattice animals we enumerate certain sub-species called interfaces. Enumerating interfaces leads to functional duality formulas that are tightly connected to percolation and are not valid for lattice animals, as well as to strict inequalities for the percolation threshold.
Incidentally, we prove that the rate of the exponential decay of the cluster size distribution of Bernoulli percolation is a continuous function of $p\in (0,1)$.
Isodual and Self-dual Codes from Graphs
Published
• View Publication
• BIB
Binary linear codes are constructed from graphs, in particular, by the generator matrix $[I_n|A]$ where $A$ is the adjacency matrix of a graph on $n$ vertices. A combinatorial interpretation of the minimum distance of such codes is given. We also present graph theoretic conditions for such linear codes to be Type I and Type II self-dual. Several examples of binary linear codes produced by well-known graph classes are given.
On $2$-parent-identifying set systems of block size $4$
Published
• View Publication
• BIB
Parent-identifying set system is a kind of combinatorial structures with applications to broadcast encryption. In this paper we investigate the maximum number of blocks $I_2(n,4)$ in a $2$-parent-identifying set system with ground set size $n$ and block size $4$. The previous best known lower bound states that $I_2(n,4)=Ω(n^{4/3+o(1)})$. We improve this lower bound by showing that $I_2(n,4)= Ω(n^{3/2-o(1)})$ using techniques in additive number theory.
Strong external difference families in abelian and non-abelian groups
Published
• View Publication
• BIB
Strong external difference families (SEDFs) have applications to cryptography and are rich combinatorial structures in their own right; until now, all SEDFs have been in abelian groups. In this paper, we consider SEDFs in both abelian and non-abelian groups. We characterize the order of groups possessing admissible parameters for non-trivial SEDFs, develop non-existence and existence results, several of which extend known results, and present the first family of non-abelian SEDFs. We introduce the concept of equivalence for EDFs and SEDFs, and begin the task of enumerating SEDFs. Complete results are presented for all groups up to order $24$, underpinned by a computational approach.
On the Planar Edge-Length Ratio of Planar Graphs
Published
• View Publication
• BIB
The edge-length ratio of a straight-line drawing of a graph is the ratio between the lengths of the longest and of the shortest edge in the drawing. The planar edge-length ratio of a planar graph is the minimum edge-length ratio of any planar straight-line drawing of the graph.
In this paper, we study the planar edge-length ratio of planar graphs. We prove that there exist $n$-vertex planar graphs whose planar edge-length ratio is in $Ω(n)$; this bound is tight. We also prove upper bounds on the planar edge-length ratio of several families of planar graphs, including series-parallel graphs and bipartite planar graphs.
An Extremal Problem for the Neighborhood Lights Out Game
Published
• View Publication
• BIB
Neighborhood Lights Out is a game played on graphs. Begin with a graph and a vertex labeling of the graph from the set $\{0,1,2,\dots, \ell-1\}$ for $\ell \in \mathbb{N}$. The game is played by toggling vertices: when a vertex is toggled, that vertex and each of its neighbors has its label increased by $1$ (modulo $\ell$). The game is won when every vertex has label 0. For any $n\in\mathbb{N}$ it is clear that one cannot win the game on $K_n$ unless the initial labeling assigns all vertices the same label. Given that the $K_n$ has the maximum number of edges of any simple graph on $n$ vertices it is natural to ask how many edges can be in a graph so that the Neighborhood Lights Out game is winnable regardless of the initial labeling. We find all such extremal graphs on $n$ vertices that have $\binom{n}{2} - c$ edges for $c\leq \lceil\frac{n}{2}\rceil +3$ and all those that have minimum degree $n-3$. The proofs of our results require us to introduce a new version of the Lights Out game that can be played given any square matrix.
A Note on Colourings of Connected Oriented Cubic Graphs
Published in Discrete Mathematics 343(10) (2020)
• View Publication
• BIB
In this note we show every orientation of a connected cubic graph admits an oriented 8-colouring. This lowers the best-known upper bound for the chromatic number of the family of orientations of connected cubic graphs. We further show that every such oriented graph admits a 2-dipath 7-colouring. These results imply that either the chromatic number for the family of oriented connected cubic graphs equals the 2-dipath chromatic number or the long-standing conjecture of Sopena [Journal of Graph Theory 25:191-205 1997] regarding the chromatic number of orientations of connected cubic graphs is false.
Cutoff for random lifts of weighted graphs
Published
• View Publication
• BIB
We prove a cutoff for the random walk on random $n$-lifts of finite weighted graphs, even when the random walk on the base graph $\mathcal{G}$ of the lift is not reversible. The mixing time is w.h.p. $t_{mix}=h^{-1}\log n$, where $h$ is a constant associated to $\mathcal{G}$, namely the entropy of its universal cover. Moreover, this mixing time is the smallest possible among all $n$-lifts of $\mathcal{G}$. In the particular case where the base graph is a vertex with $d/2$ loops, $d$ even, we obtain a cutoff for a $d$-regular random graph (as did Lubetzky and Sly in \cite{cutoffregular} with a slightly different distribution on $d$-regular graphs, but the mixing time is the same).
Proof of the Caccetta-Haggkvist conjecture for digraphs with small independence number
Published in Discrete Mathematics, Volume 343, Issue 12, 2020, 112125
• View Publication
• BIB
For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge n/k$ for all $v \in V(G)$, then G contains a directed cycle of length at most $k$. In [2], N. Lichiardopol proved that this conjecture is true for digraphs with independence number equal to two. In this paper, we generalize that result, proving that the conjecture is true for digraphs with independence number at most $(k+1)/2$.
Centrality measures in simplicial complexes: applications of Topological Data Analysis to Network Science
Published
• View Publication
• BIB
Many real networks in social sciences, biological and biomedical sciences or computer science have an inherent structure of simplicial complexes reflecting many-body interactions. Therefore, to analyse topological and dynamical properties of simplicial complex networks centrality measures for simplices need to be proposed. Many of the classical complex networks centralities are based on the degree of a node, so in order to define degree centrality measures for simplices (which would characterise the relevance of a simplicial community in a simplicial network), a different definition of adjacency between simplices is required. The aim of these notes is threefold: first we will use the recently introduced notions of higher order simplicial degrees to propose new degree based centrality measures in simplicial complexes. These theoretical centrality measures, such as the simplicial degree centrality or the eigenvector centrality would allow not only to study the relevance of a simplicial community and the quality of its higher-order connections in a simplicial network, but also they might help to elucidate topological and dynamical properties of simplicial networks; sencond, we define notions of walks and distances in simplicial complexes in order to study connectivity of simplicial networks and to generalise, to the simplicial case, the well known closeness and betweenness centralities (needed for instance to study the relevance of a simplicial community in terms of its ability of transmitting information); third, we propose a new clustering coefficient for simplices in a simplicial network, different from the one knows so far and which generalises the standard graph clustering of a vertex. This measure should be essential to know the density of a simplicial network in terms of its simplicial communities.