Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A generalisation of uniform matroids
Published
• View Publication
• BIB
A matroid is uniform if and only if it has no minor isomorphic to $U_{1,1}\oplus U_{0,1}$ and is paving if and only if it has no minor isomorphic to $U_{2,2}\oplus U_{0,1}$. This paper considers, more generally, when a matroid $M$ has no $U_{k,k}\oplus U_{0,\ell}$-minor for a fixed pair of positive integers $(k,\ell)$. Calling such a matroid $(k,\ell)$-uniform, it is shown that this is equivalent to the condition that every rank-$(r(M)-k)$ flat of $M$ has nullity less than $\ell$. Generalising a result of Rajpal, we prove that for any pair $(k,\ell)$ of positive integers and prime power $q$, only finitely many simple cosimple $GF(q)$-representable matroids are \kl-uniform. Consequently, if Rota's Conjecture holds, then for every prime power $q$, there exists a pair $(k_q,\ell_q)$ of positive integers such that every excluded minor of $GF(q)$-representability is $(k_q,\ell_q)$-uniform. We also determine all binary $(2,2)$-uniform matroids and show the maximally $3$-connected members to be $Z_5\backslash t, AG(4,2), AG(4,2)^*$ and a particular self-dual matroid $P_{10}$. Combined with results of Acketa and Rajpal, this completes the list of binary $(k,\ell)$-uniform matroids for which $k+\ell\leq 4$.
Partition and Analytic Rank are Equivalent over Large Fields
Published in Duke Mathematical Journal 172 (2023), 2433-2470
• View Publication
• BIB
We prove that the partition rank and the analytic rank of tensors are equal up to a constant, over finite fields of any characteristic and any large enough cardinality depending on the analytic rank. Moreover, we show that a plausible improvement of our field cardinality requirement would imply that the ranks are equal up to 1+o(1) in the exponent over every finite field. At the core of the proof is a technique for lifting decompositions of multilinear polynomials in an open subset of an algebraic variety, and a technique for finding a large subvariety that retains all rational points such that at least one of these points satisfies a finite-field analogue of genericity with respect to it. Proving the equivalence between these two ranks, ideally over fixed finite fields, is a central question in additive combinatorics, and was reiterated by multiple authors. As a corollary we prove, allowing the field to depend on the value of the norm, the Polynomial Gowers Inverse Conjecture in the d vs. d-1 case.
Discrete Morse Theory on Digraphs
Published
• View Publication
• BIB
In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using quasi-isomorphism between path complex and discrete Morse complex, we also prove a general sufficient condition for digraphs that the Morse functions satisfying this necessary and sufficient condition.
The Turan problems of directed paths and cycles in digraphs
Published
• View Publication
• BIB
Let $\overrightarrow{P_k}$ and $\overrightarrow{C_k}$ denote the directed path and the directed cycle of order $k$, respectively. In this paper, we determine the precise maximum size of $\overrightarrow{P_k}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size for large $n$. For all $n$, we also determine the precise maximum size of $\overrightarrow{C_k}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size. In addition, Huang and Lyu [\textit{Discrete Math. 343(5) 2020}] characterized the extremal digraphs avoiding an orientation of $C_4$. For all other orientations of $C_4$, we also study the maximum size and the extremal digraphs avoiding them.
TS-Reconfiguration of Dominating Sets in circle and circular-arc graphs
Published
• View Publication
• BIB
We study the dominating set reconfiguration problem with the token sliding rule. It consists, given a graph G=(V,E) and two dominating sets D_s and D_t of G, in determining if there exists a sequence S=<D_1:=D_s,...,D_l:=D_t> of dominating sets of G such that for any two consecutive dominating sets D_r and D_{r+1} with r<t, D_{r+1}=(D_r\ u) U v, where uv is an edge of G.
In a recent paper, Bonamy et al studied this problem and raised the following questions: what is the complexity of this problem on circular arc graphs? On circle graphs? In this paper, we answer both questions by proving that the problem is polynomial on circular-arc graphs and PSPACE-complete on circle graphs.
A note on double domination in graphs
Recently, Haynes, Hedetniemi and Henning published the book Topics in Domination in Graphs, which comprises 16 contributions that present advanced topics in graph domination, featuring open problems, modern techniques, and recent results. One of these contributions is the chapter Multiple Domination, by Hansberg and Volkmann, where they put into context all relevant research results on multiple domination that have been found up to 2020. In this note, we show how to improve some results on double domination that are included in the book.
Enumeration of strictly Deza graphs with at most 21 vertices
Published
• View Publication
• BIB
A Deza graph $Γ$ with parameters $(v,k,b,a)$ is a $k$-regular graph with $v$ vertices such that any two distinct vertices have $b$ or $a$ common neighbours, where $b \ge a$. A Deza graph of diameter 2 which is not a strongly regular graph is called a strictly Deza graph. We find all 139 strictly Deza graphs up to 21 vertices.
Concentration estimates for functions of finite high-dimensional random arrays
Published in Random Structures & Algorithms 63 (2023), 997-1053
• View Publication
• BIB
Let $\boldsymbol{X}$ be a $d$-dimensional random array on $[n]$ whose entries take values in a finite set $\mathcal{X}$, that is, $\boldsymbol{X}=\langle X_s:s\in \binom{[n]}{d}\rangle$ is an $\mathcal{X}$-valued stochastic process indexed by the set $\binom{[n]}{d}$ of all $d$-element subsets of $[n]:=\{1,\dots,n\}$. We give easily checked conditions on $\boldsymbol{X}$ that ensure, for instance, that for every function $f\colon \mathcal{X}^{\binom{[n]}{d}}\to\mathbb{R}$ that satisfies $\mathbb{E}[f(\boldsymbol{X})]=0$ and $\|f(\boldsymbol{X})\|_{L_p}=1$ for some $p>1$, the random variable $f(\boldsymbol{X})$ becomes concentrated after conditioning it on a large subarray of $\boldsymbol{X}$. These conditions cover several classes of random arrays with not necessarily independent entries. Applications are given in combinatorics, and examples are also presented that show the optimality of various aspects of the results.
On well-connected sets of strings
Published
• View Publication
• BIB
Given $n$ pairwise disjoint sets $X_1,\ldots, X_n$, we call the elements of $S=X_1\times\ldots\times X_n$ strings. A nonempty set of strings $W\subseteq S$ is said to be well-connected if for every $v\in W$ and for every $i\, (1\le i\le n)$, there is another element $v'\in W$ which differs from $v$ only in its $i$th coordinate. We prove a conjecture of Yaokun Wu and Yanzhen Xiong by showing that every set of more than $\prod_{i=1}^n|X_i|-\prod_{i=1}^n(|X_i|-1)$ strings has a well-connected subset. This bound is tight.
Making an $H$-Free Graph $k$-Colorable
Published
• View Publication
• BIB
We study the following question: how few edges can we delete from any $H$-free graph on $n$ vertices in order to make the resulting graph $k$-colorable? It turns out that various classical problems in extremal graph theory are special cases of this question. For $H$ any fixed odd cycle, we determine the answer up to a constant factor when $n$ is sufficiently large. We also prove an upper bound when $H$ is a fixed clique that we conjecture is tight up to a constant factor, and prove upper bounds for more general families of graphs. We apply our results to get a new bound on the maximum cut of graphs with a forbidden odd cycle in terms of the number of edges.
The Distance Energy of Clique Trees
Published in Linear Algebra and its Applications; 2021
• View Publication
• BIB
The distance energy of a simple connected graph $G$ is defined as the sum of absolute values of its distance eigenvalues. In this paper, we mainly give a positive answer to a conjecture of distance energy of clique trees proposed by Lin, Liu and Lu [H.~Q.~ Lin, R.~F.~Liu, X.~W.~Lu, The inertia and energy of the distance matrix of a connected graph, {\it Linear Algebra Appl.,} 467 (2015), 29-39.]
On the spectral radius of graphs without a star forest
Published in Discrete Mathematics;2021
• View Publication
• BIB
In this paper, we present two sharp upper bounds for the spectral radius of (bipartite) graphs with forbidden a star forest and characterize all extremal graphs. Moreover, the minimum least eigenvalue of the adjacency matrix of graph with forbidden a star forest and all extremal graphs for graphs are obtained.
Uniform cross-$t$-intersecting families: proving Hirschorn's conjecture up to polynomial factor
We consider a problem of maximizing the product of the sizes of two uniform cross-$t$-intersecting families of sets. We show that the value of this maximum is at most polynomially larger (in the size of a ground set) than a quantity conjectured by Hirschorn in 2008. At the same time, we observe that it can be strictly bigger.
Design of Ciphers based on the Geometric Structure of the Möbius Plane
Till now geometric structures don't play a major role in cryptography. Gilbert, MacWilliams and Sloane introduced in 1974 an authentication scheme in the projective plane and showed its perfectness in the sense of the definition of Shannon. In this paper we will show that this authentication scheme also fulfills the requirement of completeness according to Kam and Davida and we will extend the application of geometric structures in cryptography by introducing an encryption scheme in the Möbius plane. We will further examine its properties, showing that it also fulfills the requirement of completeness and Shannon's requirement of perfectness in first approximation. The results of this paper can be used to define similar encryption schemes in the circle geometries of Laguerre and Minkowski.
Partitioning permutations into monotone subsequences
Published in Electron. J. Comb. 28(3) (2021)
• View Publication
• BIB
A permutation is $k$-coverable if it can be partitioned into $k$ monotone subsequences. Barber conjectured that, for any given permutation, if every subsequence of length $k+2 \choose 2$ is $k$-coverable then the permutation itself is $k$-coverable. This conjecture, if true, would be best possible.
Our aim in this paper is to disprove this conjecture for all $k \ge 3$. In fact, we show that for any $k$ there are permutations such that every subsequence of length at most $(k/6)^{2.46}$ is $k$-coverable while the permutation itself is not.
A branching process approach to level-$k$ phylogenetic networks
Published
• View Publication
• BIB
The mathematical analysis of random phylogenetic networks via analytic and algorithmic methods has received increasing attention in the past years. In the present work we introduce branching process methods to their study. This approach appears to be new in this context. Our main results focus on random level-$k$ networks with $n$ labelled leaves. Although the number of reticulation vertices in such networks is typically linear in $n$, we prove that their asymptotic global and local shape is tree-like in a well-defined sense. We show that the depth process of vertices in a large network converges towards a Brownian excursion after rescaling by $n^{-1/2}$. We also establish Benjamini--Schramm convergence of large random level-$k$ networks towards a novel random infinite network.
Localization Game for Random Geometric Graphs
Published
• View Publication
• BIB
The localization game is a two player combinatorial game played on a graph $G=(V,E)$. The cops choose a set of vertices $S_1 \subseteq V$ with $|S_1|=k$. The robber then chooses a vertex $v \in V$ whose location is hidden from the cops, but the cops learn the graph distance between the current position of the robber and the vertices in $S_1$. If this information is sufficient to locate the robber, the cops win immediately; otherwise the cops choose another set of vertices $S_2 \subseteq V$ with $|S_2|=k$, and the robber may move to a neighbouring vertex. The new distances are presented to the robber, and if the cops can deduce the new location of the robber based on all information they accumulated thus far, then they win; otherwise, a new round begins. If the robber has a strategy to avoid being captured, then she wins. The localization number is defined to be the smallest integer $k$ so that the cops win the game. In this paper we determine the localization number (up to poly-logarithmic factors) of the random geometric graph $G \in \mathcal G(n,r)$ slightly above the connectivity threshold.
New binary self-dual codes of lengths 56, 58, 64, 80 and 92 from a modification of the four circulant construction
Published
• View Publication
• BIB
In this work, we give a new technique for constructing self-dual codes over commutative Frobenius rings using $λ$-circulant matrices. The new construction was derived as a modification of the well-known four circulant construction of self-dual codes. Applying this technique together with the building-up construction, we construct singly-even binary self-dual codes of lengths 56, 58, 64, 80 and 92 that were not known in the literature before. Singly-even self-dual codes of length 80 with $β\in\{2,4,5,6,8\}$ in their weight enumerators are constructed for the first time in the literature.
A Combinatorial Approach to Root Multiplicities of a Special Type Rank 3 Kac-Moody Algebras
In this paper, we calculate the dimension of root spaces $\mathfrak{g}_λ$ of a special type rank $3$ Kac-Moody algebras $\mathfrak{g}$. We first introduce a special type of elements in $\mathfrak{g}$, which we call elements in standard form. Then, we prove that any root space is spanned by these elements. By calculating the number of linearly independent elements in standard form, we obtain a formula for the dimension of root spaces $\mathfrak{g}_λ$, which depends on the root $λ$.
Diameter of generalized Petersen graphs
Due to their broad application to different fields of theory and practice, generalized Petersen graphs $GPG(n,s)$ have been extensively investigated. Despite the regularity of generalized Petersen graphs, determining an exact formula for the diameter is still a difficult problem. In their paper, Beenker and Van Lint have proved that if the circulant graph $C_n(1,s)$ has diameter $d$, then $GPG(n,s)$ has diameter at least $d+1$ and at most $d+2$. In this paper, we provide necessary and sufficient conditions so that the diameter of $GPG(n,s)$ is equal to $d+1,$ and sufficient conditions so that the diameter of $GPG(n,s)$ is equal to $d+2.$ Afterwards, we give exact values for the diameter of $GPG(n,s)$ for almost all cases of $n$ and $s.$ Furthermore, we show that there exists an algorithm computing the diameter of generalized Petersen graphs with running time $O$(log$n$).