Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Links, bridge number, and width trees
Published
• View Publication
• BIB
To each link $L$ in $S^3$ we associate a collection of certain labelled directed trees, called width trees. We interpret some classical and new topological link invariants in terms of these width trees and show how the geometric structure of the width trees can bound the values of these invariants from below. We also show that each width tree is associated with a knot in $S^3$ and that if it also meets a high enough "distance threshold" it is, up to a certain equivalence, the unique width tree realizing the invariants.
$Δ$-critical graphs with a vertex of degree 2
Let $G$ be a simple graph with maximum degree $Δ$. A classic result of Vizing shows that $χ'(G)$, the chromatic index of $G$, is either $Δ$ or $Δ+1$. We say $G$ is of \emph{Class 1} if $χ'(G)=Δ$, and is of \emph{Class 2} otherwise. A graph $G$ is \emph{$Δ$-critical} if $χ'(G)=Δ+1$ and $χ'(H)<Δ+1$ for every proper subgraph $H$ of $G$, and is \emph{overfull} if $|E(G)|>Δ\lfloor (|V(G)|-1)/2 \rfloor$. Clearly, overfull graphs are Class 2. Hilton and Zhao in 1997 conjectured that if $G$ is obtained from an $n$-vertex $Δ$-regular Class 1 graph with maximum degree greater than $n/3$ by splitting a vertex, then being overfull is the only reason for $G$ to be Class 2. This conjecture was only confirmed when $Δ\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n$. In this paper, we improve the bound on $Δ$ from $\frac{n}{2}(\sqrt{7}-1)$ to $0.75n$. Considering the structure of $Δ$-critical graphs with a vertex of degree 2, we also show that for an $n$-vertex $Δ$-critical graph with $Δ\ge \frac{3n}{4}$, if it contains a vertex of degree 2, then it is overfull. We actually obtain a more general form of this result, which partially supports the overfull conjecture of Chetwynd and Hilton from 1986, which states that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ>n/3$, then $G$ contains an overfull subgraph $H$ with $Δ(H)=Δ$. Our proof techniques are new and might shed some light on attacking both of the conjectures when $Δ$ is large.
Pertfect matching and zero-sum 3-magic labeling
A mapping $l : E(G) \rightarrow A$, where $A$ is an abelian group which written additively, is called a labeling of the graph $G$. For every positive integer $h \geqslant 2$, a graph $G$ is said to be zero-sum $h$-magic if there is an edge labeling $l$ from $E(G)$ into $\mathbb{Z}_{h} \backslash \{0\}$ such that $s(v) = \sum_{uv\in E(G)}l(uv) = 0$ for every vertex $v \in V(G)$. In 2014, Saieed Akbari, Farhad Rahmati and Sanaz Zare conjectured that every 5-regular graph admits a zero-sum $3$-magic labeling. In this paper, we obtained that every 5-regular graph with every edge contains in a triangle must have a perfect matching, and admits a zero-sum 3-magic labeling, which partially confirms this conjecture.
On the number of quadratic orthomorphisms that produce maximally nonassociative quasigroups
Published in J. Aust. Math. Soc. 115, (2023) 311-336
• View Publication
• BIB
Let $q$ be an odd prime power and suppose that $a,b\in\mathbb{F}_q$ are such that $ab$ and $(1{-}a)(1{-}b)$ are nonzero squares. Let $Q_{a,b} = (\mathbb{F}_q,*)$ be the quasigroup in which the operation is defined by $u*v=u+a(v{-}u)$ if $v-u$ is a square, and $u*v=u+b(v{-}u)$ is $v-u$ is a nonsquare. This quasigroup is called maximally nonassociative if it satisfies $x*(y*z) = (x*y)*z$ $\Leftrightarrow$ $x=y=z$. Denote by $σ(q)$ the number of $(a,b)$ for which $Q_{a,b}$ is maximally nonassociative. We show that there exist constants $α\approx 0.02908$ and $β\approx 0.01259$ such that if $q\equiv 1 \bmod 4$, then $\lim σ(q)/q^2 = α$, and if $q \equiv 3 \bmod 4$, then $\lim σ(q)/q^2 = β$.
Generating Functions of Some Families of Directed Uniform Hypergraphs
In this paper, we count acyclic and strongly connected uniform directed labeled hypergraphs. For these combinatorial structures, we introduce a specific generating function allowing us to recover and generalize some results on the number of directed acyclic graphs and the number of strongly connected directed graphs.
Exact-$2$-Relation Graphs
Published
• View Publication
• BIB
Pairwise compatibility graphs (PCGs) with non-negative integer edge weights recently have been used to describe rare evolutionary events and scenarios with horizontal gene transfer. Here we consider the case that vertices are separated by exactly two discrete events: Given a tree $T$ with leaf set $L$ and edge-weights $λ: E(T)\to\mathbb{N}_0$, the non-negative integer pairwise compatibility graph $\textrm{nniPCG}(T,λ,2,2)$ has vertex set $L$ and $xy$ is an edge whenever the sum of the non-negative integer weights along the unique path from $x$ to $y$ in $T$ equals $2$. A graph $G$ has a representation as $\textrm{nniPCG}(T,λ,2,2)$ if and only if its point-determining quotient $G/\!\rthin$ is a block graph, where two vertices are in relation $\rthin$ if they have the same neighborhood in $G$. If $G$ is of this type, a labeled tree $(T,λ)$ explaining $G$ can be constructed efficiently. In addition, we consider an oriented version of this class of graphs.
A character approach to directed genus distribution of graphs: the bipartite single-black-vertex case
Published in Discrete Math. 345(6), 2022, article 112833
• View Publication
• BIB
Given an Eulerian digraph, we consider the genus distribution of its face-oriented embeddings. We prove that such distribution is log-concave for two families of Eulerian digraphs, thus giving a positive answer for these families to a question asked in Bonnington, Conder, Morton and McKenna (2002). Our proof uses real-rooted polynomials and the representation theory of the symmetric group $\mathbb{S}_n$. The result is also extended to some factorizations of the identity in $\mathbb{S}_n$ that are rotation systems of some families of one-face constellations.
A construction for weak Schur partitions
In 1952, J.H.Braun claimed to have established a formula giving a lower bound for certain partitions of sets of integers into weakly sum-free classes. However, no proof or supporting construction was published at that time. In today's terminology, that claim was equivalent to giving a formulaic lower bound for the weak Schur number $WS(s)$. $WS(s)$ is the maximum number such that there exists a weak Schur partition of the integers from 1 to $WS(s)$, into $s$ subsets. In a weak Schur partition of a set of integers, there can be no three distinct members $a$, $b$ and $c$ in any subset, such that $a+b=c$. An iterative construction described in this paper results in a similar formulaic lower bound. Although different from that given by Braun, it reproduces the result $WS(6) \ge 554$ implied by his formula, and exceeds it for all larger values of $s$. Various starting points can be used as a basis for the iterations. This result itself is no longer remarkable: it has been proven elsewhere that $WS(6) \ge 642$. Even so, it is hoped that the formula and its underlying construction may nevertheless be of interest to those interested in weak Schur partitions and/or the closely-related linear Ramsey graphs.
An inequality for the number of periods in a word
Published
• View Publication
• BIB
We prove an inequality for the number of periods in a word x in terms of the length of x and its initial critical exponent. Next, we characterize all periods of the length-n prefix of a characteristic Sturmian word in terms of the lazy Ostrowski representation of n, and use this result to show that our inequality is tight for infinitely many words x. We propose two related measures of periodicity for infinite words. Finally, we also consider special cases where x is overlap-free or squarefree.
The Weisfeiler-Leman dimension of distance-hereditary graphs
Published
• View Publication
• BIB
A graph is said to be distance-hereditary if the distance function in every connected induced subgraph is the same as in the graph itself. We prove that the ordinary Weisfeiler-Leman algorithm correctly tests the isomorphism of any two graphs if one of them is distance-hereditary; more precisely, the Weisfeiler-Leman dimension of the class of finite distance-hereditary graphs is equal to $2$. The previously best known upper bound for the dimension was $7$.
Two new families of non-CCA groups
Published
• View Publication
• BIB
We determine two new infinite families of Cayley graphs that admit colour-preserving automorphisms that do not come from the group action. By definition, this means that these Cayley graphs fail to have the CCA (Cayley Colour Automorphism) property, and the corresponding infinite families of groups also fail to have the CCA property. The families of groups consist of the direct product of any dihedral group of order $2n$ where $n \ge 3$ is odd, with either itself, or the cyclic group of order $n$. In particular, this family of examples includes the smallest non-CCA group that had not fit into any previous family of known non-CCA groups.
Gelfand-Kirillov dimensions and associated varieties of highest weight modules
Published
• View Publication
• BIB
In this paper, we present a uniform formula of Lusztig's $ \mathbf{a}$-functions on classical Weyl groups. Then we obtain an efficient algorithm for the Gelfand-Kirillov dimensions of simple highest weight modules of classical Lie algebras, whose highest weight is not necessarily regular or integral. To deal with type $ D $, we prove an interesting property about domino tableaux by introducing an invariant, called the hollow tableau. As an application, the associated varieties of all the simple highest weight Harish-Chandra modules are explicitly determined, including the exceptional cases.
The Uniformity Conjecture in Additive Combinatorics
Published
• View Publication
• BIB
In this paper we show examples for applications of the Bombieri-Lang conjecture in additive combinatorics, giving bounds on the cardinality of sumsets of squares and higher powers of integers. Using similar methods we give bounds on the sum-product problem for matchings.
Independence of permutation limits at infinitely many scales
Published
• View Publication
• BIB
We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite number of scales.
Two families of graphs that are Cayley on nonisomorphic groups
Published
• View Publication
• BIB
A number of authors have studied the question of when a graph can be represented as a Cayley graph on more than one nonisomorphic group. The work to date has focussed on a few special situations: when the groups are $p$-groups; when the groups have order $pq$; when the Cayley graphs are normal; or when the groups are both abelian. In this paper, we construct two infinite families of graphs, each of which is Cayley on an abelian group and a nonabelian group. These families include the smallest examples of such graphs that had not appeared in other results.
On algebraic and combinatorial properties of weighted simplicial complexes
Weighted simplicial complexes (WSCs) are powerful tools for describing weighted cloud data or networks with weighted nodes. In this paper, we propose a novel approach to study WSCs via the concept of polarization. Polarization of a WSC allows one to construct a new (unweighted) simplicial complex which coincides with an object called the mixed wreath product. This new construction preserves several properties and invariants of the underlying simplicial complex of a WSC. Our main focus is to analyze WSCs through their underlying simplicial complexes and mixed wreath products. Combinatorially, we investigate properties such as vertex-decomposability, shellability, constructibility; algebraically, we study Betti numbers, associated primes and primary decompositions of ideals associated to WSCs.
Standard pairs for monomial ideals in semigroup rings
Published
• View Publication
• BIB
We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to computing intersections, decompositions, and multiplicities. We give algorithms to compute standard pairs from generating sets and vice versa and make all of our results effective. We assume that the underlying semigroup ring is positively graded, but not necessarily normal. The lack of normality is at the root of most challenges, subtleties, and innovations in this work.
Polynomial traces and elementary symmetric functions in the latent roots of a non-central Wishart matrix
Published in Journal Multivariate Analysis, vol. 179, September (2020)
• View Publication
• BIB
Hypergeometric functions and zonal polynomials are the tools usually addressed in the literature to deal with the expected value of the elementary symmetric functions in non-central Wishart latent roots. The method here proposed recovers the expected value of these symmetric functions by using the umbral operator applied to the trace of suitable polynomial matrices and their cumulants. The employment of a suitable linear operator in place of hypergeometric functions and zonal polynomials was conjectured by de Waal in 1972. Here we show how the umbral operator accomplishes this task and consequently represents an alternative tool to deal with these symmetric functions. When special formal variables are plugged in the variables, the evaluation through the umbral operator deletes all the monomials in the latent roots except those contributing in the elementary symmetric functions. Cumulants further simplify the computations taking advantage of the convolution structure of the polynomial trace. Open problems are addressed at the end of the paper.
An improved bound for the rigidity of linearly constrained frameworks
Published
• View Publication
• BIB
We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$, and $d\geq t(t-1)$ was solved by Cruickshank, Guler and the first two authors in 2019. We extend the latter result by showing that the given characterisation holds whenever $d\geq 2t$.
Infinite co-minimal pairs in the integers and integral lattices
Published in Combinatorial and Additive Number Theory IV. CANT 2020. Springer Proceedings in Mathematics & Statistics, vol 347
• View Publication
• BIB
Given two nonempty subsets $A, B$ of a group $G$, they are said to form a co-minimal pair if $A \cdot B = G$, and $A' \cdot B \subsetneq G$ for any $\emptyset \neq A' \subsetneq A$ and $A\cdot B' \subsetneq G$ for any $\emptyset \neq B' \subsetneq B$. In this article, we show several new results on co-minimal pairs in the integers and the integral lattices. We prove that for any $d\geq 1$, the group $\mathbb{Z}^{2d}$ admits infinitely many automorphisms such that for each such automorphism $σ$, there exists a subset $A$ of $\mathbb{Z}^{2d}$ such that $A$ and $σ(A)$ form a co-minimal pair. The existence and construction of co-minimal pairs in the integers with both the subsets $A$ and $B$ ($A\neq B$) of infinite cardinality was unknown. We show that such pairs exist and explicitly construct these pairs satisfying a number of algebraic properties.