Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Spanning k-trees and distance spectral radius in graphs
Published in Journal of Supercomputing, 2024
• View Publication
• BIB
Let $k\geq2$ be an integer. A tree $T$ is called a $k$-tree if $d_T(v)\leq k$ for each $v\in V(T)$, that is, the maximum degree of a $k$-tree is at most $k$. Let $λ_1(D(G))$ denote the distance spectral radius in $G$, where $D(G)$ denotes the distance matrix of $G$. In this paper, we verify a upper bound for $λ_1(D(G))$ in a connected graph $G$ to guarantee the existence of a spanning $k$-tree in $G$.
Flag-transitive automorphism groups of $2$-designs with $λ\geq (r,λ)^2$ are not product type
Published
• View Publication
• BIB
In this paper we show that a flag-transitive automorphism group $G$ of a non-trivial $2$-$(v,k,λ)$ design with $λ\geq (r, λ)^2$ is not of product action type. In conclusion, $G$ is a primitive group of affine or almost simple type.
Uniquely hamiltonian graphs for many sets of degrees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (December 1, 2024) dmtcs:13129
• View Publication
• BIB
We give constructive proofs for the existence of uniquely hamiltonian graphs for various sets of degrees. We give constructions for all sets with minimum 2 (a trivial case added for completeness), all sets with minimum 3 that contain an even number (for sets without an even number it is known that no uniquely hamiltonian graphs exist), and all sets with minimum 4, except {4}, {4,5}, and {4,6}. For minimum degree 3 and 4, the constructions also give 3-connected graphs. We also introduce the concept of seeds, which makes the above results possible and might be useful in the study of Sheehan's conjecture. Furthermore, we prove that 3-connected uniquely hamiltonian 4-regular graphs exist if and only if 2-connected uniquely hamiltonian 4-regular graphs exist.
The Frobenius Formula for $A=(a,ha+d,ha+b_2d,...,ha+b_kd)$
Published
• View Publication
• BIB
Given relative prime positive integers $A=(a_1, a_2, ..., a_n)$, the Frobenius number $g(A)$ is the largest integer not representable as a linear combination of the $a_i$'s with nonnegative integer coefficients. We find the ``Stable" property introduced for the square sequence $A=(a,a+1,a+2^2,\dots, a+k^2)$ naturally extends for $A(a)=(a,ha+dB)=(a,ha+d,ha+b_2d,...,ha+b_kd)$. This gives a parallel characterization of $g(A(a))$ as a ``congruence class function" modulo $b_k$ when $a$ is large enough. For orderly sequence $B=(1,b_2,\dots,b_k)$, we find good bound for $a$. In particular we calculate $g(a,ha+dB)$ for $B=(1,2,b,b+1)$, $B=(1,2,b,b+1,2b)$, $B=(1,b,2b-1)$ and $B=(1,2,...,k,K)$. Our idea also applies to the case $B=(b_1,b_2,...,b_k)$, $b_1> 1$.
Crepant resolutions, mutations, and the space of potentials
Published
• View Publication
• BIB
The McKay correspondence has had much success in studying resolutions of 3-fold quotient singularities through a wide range of tools coming from geometry, combinatorics, and representation theory. We develop a computational perspective in this setting primarily realised through a web application to explore mutations of quivers with potential and crepant triangulations. We use this to study flops between different crepant resolutions of Gorenstein toric quotient singularities and find many situations in which the mutations of a quiver with potential classifies them. The application also implements key constructions of the McKay correspondence, including the Craw--Reid procedure and the process of associating a quiver to a toric resolution.
On the relationship between shortlex order and $A_α$-spectral radii of graphs with starlike branch tree
Published
• View Publication
• BIB
Let $P(n)$ denote the set of all partitions of $n$, whose elements are nondecreasing sequences of positive integers whose sum is $n$. For ${\bf a}=( n_{1}, n_{2},\ldots, n_{d}) \in P(n)$, let $G({\bf a},v)$ denote the graph obtained from connected graph $G$ appending $d$ paths with lengths $n_{1},n_{2},\ldots,n_{d}$ on vertex $v$ of $G$. We show that the ordering of graphs in $G_{n}(v)=\{ G({\bf a},v) \mid {\bf a} \in P(n) \}$ by $A_α$-spectral radii coincides with the shortlex ordering of $P(n)$.
Buildings, valuated matroids, and tropical linear spaces
Published
• View Publication
• BIB
Affine Bruhat--Tits buildings are geometric spaces extracting the combinatorics of algebraic groups. The building of $\mathrm{PGL}$ parametrizes flags of subspaces/lattices in or, equivalently, norms on a fixed finite-dimensional vector space, up to homothety. It has first been studied by Goldman and Iwahori as a piecewise-linear analogue of symmetric spaces. The space of seminorms compactifies the space of norms and admits a natural surjective restriction map from the Berkovich analytification of projective space that factors the natural tropicalization map. Inspired by Payne's result that the analytification is the limit of all tropicalizations, we show that the space of seminorms is the limit of all tropicalized linear embeddings $ι\colon\mathbb{P}^r\hookrightarrow\mathbb{P}^n$ and prove a faithful tropicalization result for compactified linear spaces. The space of seminorms is in fact the tropical linear space associated to the universal realizable valuated matroid.
Rainbow Hamiltonicity in uniformly coloured perturbed digraphs
Published in Combinator. Probab. Comp. 33 (2024) 624-642
• View Publication
• BIB
We investigate the existence of a rainbow Hamilton cycle in a uniformly edge-coloured randomly perturbed digraph. We show that for every $δ\in (0,1)$ there exists $C = C(δ) > 0$ such that the following holds. Let $D_0$ be an $n$-vertex digraph with minimum semidegree at least $δn$ and suppose that each edge of the union of $D_0$ with the random digraph $D(n, p)$ on the same vertex set gets a colour in $[n]$ independently and uniformly at random. Then, with high probability, $D_0 \cup D(n, p)$ has a rainbow directed Hamilton cycle.
This improves a result of Aigner-Horev and Hefetz (2021) who proved the same in the undirected setting when the edges are coloured uniformly in a set of $(1 + \varepsilon)n$ colours.
Categories of hypermagmas, hypergroups, and related hyperstructures
Published in Journal of Algebra 676 (2025), 408-474
• View Publication
• BIB
In order to diagnose the cause of some defects in the category of canonical hypergroups, we investigate several categories of hyperstructures that generalize hypergroups. By allowing hyperoperations with possibly empty products, one obtains categories with desirable features such as completeness and cocompleteness, free functors, regularity, and closed monoidal structures. We show by counterexamples that such constructions cannot be carried out within the category of canonical hypergroups. This suggests that (commutative) unital, reversible hypermagmas -- which we call mosaics -- form a worthwhile generalization of (canonical) hypergroups from the categorical perspective. Notably, mosaics contain pointed simple matroids as a subcategory, and projective geometries as a full subcategory.
Oriented Colouring Graphs of Bounded Degree and Degeneracy
Published
• View Publication
• BIB
This paper considers upper bounds on the oriented chromatic number $χ_o(G)$, of an oriented graph $G$ in terms of its $2$-dipath chromatic number $χ_2(G)$, degeneracy $d(G)$, and maximum degree $Δ(G)$. In particular, we show that for all graphs $G$ with $χ_2(G) \leq k$ where $k \geq 2$ and $d(G) \leq t$ where $t \geq \log_2(k)$, $χ_o(G) = 33/10(k t^2 2^t)$. This improves an upper bound of MacGillivray, Raspaud, and Swartz of the form $χ_o(G) \leq 2^{χ_2(G)} -1$ to a polynomial upper bound for many classes of graphs, in particular, those with bounded degeneracy. Additionally, we asymptotically improve bounds for the oriented chromatic number in terms of maximum degree and degeneracy. For instance, we show that $χ_o(G) \leq (2\ln2 +o(1))Δ^2 2^Δ$ for all graphs, and $χ_o(G) \leq (2+o(1))Δd 2^d$ for graphs where degeneracy grows sublinearly in maximum degree. Here the asypmtotics are in $Δ$. The former improves the asymptotics of a results by Kostochka, Sopena, and Zhu \cite{kostochka1997acyclic}, while the latter improves the asymptotics of a result by Aravind and Subramanian \cite{aravind2009forbidden}. Both improvements are by a constant factor.
Characterizing and generalizing cycle completable graphs
Published
• View Publication
• BIB
The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a concise proof, partially by introducing a new characterization. Then we generalize this family to ``$k$-quasichordal'' graphs, with three natural characterizations.
Adjoints of Matroids
Published
• View Publication
• BIB
We show that an adjoint of a loopless matroid is connected if and only if it itself is connected. Our first goal is to study the adjoint of modular matroids. We prove that a modular matroid has only one adjoint (up to isomorphism) which can be given by its opposite lattice, and proceed to present some alternative characterizations of modular matroids associated to adjoints and opposite lattices. The other purpose is to investigate the adjoint sequence $ad^0M,adM,ad^2M,\ldots$ of a connected matroid $M$. We classify such adjoint sequences into three types: finite, cyclic and convergent. For the first two types, the adjoint sequences eventually stabilize at the finite projective geometries except for free matroids. For the last type, the infinite non-repeating adjoint sequences are convergent to the infinite projective geometries.
Monochromatic cycles in 2-edge-colored bipartite graphs with large minimum degree
Published
• View Publication
• BIB
For graphs $G_0$, $G_1$ and $G_2$, write $G_0\longmapsto(G_1, G_2)$ if each red-blue-edge-coloring of $G_0$ yields a red $G_1$ or a blue $G_2$. The Ramsey number $r(G_1, G_2)$ is the minimum number $n$ such that the complete graph $K_n\longmapsto(G_1, G_2)$. In [Discrete Math. 312(2012)], Schelp formulated the following question: for which graphs $H$ there is a constant $0<c<1$ such that for any graph $G$ of order at least $r(H, H)$ with $δ(G)>c|V(G)|$, $G\longmapsto(H, H)$. In this paper, we prove that for any $m>n$, if $G$ is a balanced bipartite graph of order $2(m+n-1)$ with $δ(G)>\frac{3}{4}(m+n-1)$, then $G\longmapsto(CM_m, CM_n)$, where $CM_i$ is a matching with $i$ edges contained in a connected component. By Szeméredi's Regularity Lemma, using a similar idea as introduced by [J. Combin. Theory Ser. B 75(1999)], we show that for every $η>0$, there is an integer $N_0>0$ such that for any $N>N_0$ the following holds: Let $α_1>α_2>0$ such that $α_1+α_2=1$. Let $G[X, Y]$ be a balanced bipartite graph on $2(N-1)$ vertices with $δ(G)\geq(\frac{3}{4}+3η)(N-1)$. Then for each red-blue-edge-coloring of $G$, either there exist red even cycles of each length in $\{4, 6, 8, \ldots, (2-3η^2)α_1N\}$, or there exist blue even cycles of each length in $\{4, 6, 8, \ldots, (2-3η^2)α_2N\}$. Furthermore, the bound $δ(G)\geq(\frac{3}{4}+3η)(N-1)$ is asymptotically tight. Previous studies on Schelp's question on cycles are on diagonal case, we obtain an asymptotic result of Schelp's question for all non-diagonal cases.
Intersection patterns and connections to distance problems
Let $A$ and $B$ be sets in a finite vector space. In this paper, we study the magnitude of the set $A\cap f(B)$, where $f$ runs through a set of transformations. More precisely, we will focus on the cases that the set of transformations is given by orthogonal matrices or orthogonal projections. We prove that if $A, B\subset \mathbb{F}_q^d$ satisfy some natural conditions, then, for almost every $g\in O(d)$, there are at least $\gg q^d$ elements $z\in \mathbb{F}_q^d$ such that \[|A\cap (g(B)+z)| \sim \frac{|A||B|}{q^d}.\] This implies that $|A-gB|\gg q^d$ for almost every $g\in O(d)$. In the flavor of expanding functions, with $|A|\le |B|$, we also show that the image $A-gB$ grows exponentially. In two dimensions, the result simply says that if $|A|=q^x$ and $|B|=q^y$, as long as $0<x\le y<2$, then for almost every $g\in O(2)$, we can always find $ε=ε(x, y)>0$ such that $|A-gB|\gg |B|^{1+ε}$. To prove these results, we need to develop new and robust incidence bounds between points and rigid motions by using a number of techniques including algebraic methods and discrete Fourier analysis. Our results are essentially sharp in odd dimensions. In the prime field plane, we further employ recent $L^2$ distance bounds and point-line/plane incidence machinery to derive improvements. Notable applications include a strong prime field analogue of a question of Mattila related to the Falconer distance problem, the Rotational Erdős-Falconer distance problem, and a quadratic expansion law. Taken together, the results in this paper present a robust two-way link between intersection phenomena and distance problems over finite fields, with dimension-uniform consequences and sharpness in several ranges.
Van Kampen-Flores theorem and Stiefel-Whitney classes
Published
• View Publication
• BIB
The van Kampen-Flores theorem states that the $d$-skeleton of a $(2d+2)$-simplex does not embed into $\mathbb{R}^{2d}$. We prove the van Kampen-Flores theorem for triangulations of manifolds satisfying a certain condition on their Stiefel-Whitney classes. In particular, we show that the $d$-skeleton of a triangulation of a $(2d+1)$-manifold with non-trivial total Stiefel-Whitney class does not embed into $\mathbb{R}^{2d}$.
Forcing the Wheel
Published
• View Publication
• BIB
Over the past 10 years, there has been considerable interest in exploring questions connecting dimension for posets with graph theoretic properties of their cover graphs and order diagrams, especially with the concepts of planarity and treewidth. Joret and Micek conjectured that if $P$ is a poset with a planar cover graph, then the dimension of $P$ is bounded in terms of the number of minimal elements of $P$ and the treewidth of the cover graph of $P$. We settle this conjecture in the affirmative by strengthening a recent breakthrough result [14] by Blake, Micek, and Trotter, who proved that for each poset $P$ admitting a planar cover graph and a unique minimal element we have $\mathrm{dim}(P) \leq 2 \mathrm{se}(P) + 2$, namely, we prove that $\mathrm{dim}(P) \leq 2 \mathrm{wheel}(P) + 2$.
Inductive and divisional posets
Published in J. London Math. Soc., 109 (2024)
• View Publication
• BIB
We call a poset factorable if its characteristic polynomial has all positive integer roots. Inspired by inductive and divisional freeness of a central hyperplane arrangement, we introduce and study the notion of inductive posets and their superclass of divisional posets. It then motivates us to define the so-called inductive and divisional abelian (Lie group) arrangements, whose posets of layers serve as the main examples of our posets. Our first main result is that every divisional poset is factorable. Our second main result shows that the class of inductive posets contains strictly supersolvable posets, the notion recently introduced due to Bibby and Delucchi (2022). This result can be regarded as an extension of a classical result due to Jambu and Terao (1984), which asserts that every supersolvable hyperplane arrangement is inductively free. Our third main result is an application to toric arrangements, which states that the toric arrangement defined by an arbitrary ideal of a root system of type $A$, $B$ or $C$ with respect to the root lattice is inductive.
Factorization number and subgroup commutativity degree via spectral invariants
Published
• View Publication
• BIB
The factorization number $F_2(G)$ of a finite group $G$ is the number of all possible factorizations of $G=HK$ as product of its subgroups $H$ and $K$, while the subgroup commutativity degree $\mathrm{sd}(G)$ of $G$ is the probability of finding two commuting subgroups in $G$ at random. It is known that $\mathrm{sd}(G)$ can be expressed in terms of $F_2(G)$. Denoting by $\mathrm{L}(G)$ the subgroups lattice of $G$, the non--permutability graph of subgroups $Γ_{\mathrm{L}(G)}$ of $G$ is the graph with vertices in $\mathrm{L}(G) \setminus \mathfrak{C}_{\mathrm{L}(G)}(\mathrm{L}(G))$, where $\mathfrak{C}_{\mathrm{L}(G)}(\mathrm{L}(G))$ is the smallest sublattice of $\mathrm{L}(G)$ containing all permutable subgroups of $G$, and edges obtained by joining two vertices $X,Y$ such that $XY\neq YX$. The spectral properties of $Γ_{\mathrm{L}(G)}$ have been recently investigated in connection with $F_2(G)$ and $\mathrm{sd}(G)$. Here we show a new combinatorial formula, which allows us to express $F_2(G)$, and so $\mathrm{sd}(G)$, in terms of adjacency and Laplacian matrices of $Γ_{\mathrm{L}(G)}$.
Grassmannians of codes
Published in Finite Fields and Their Applications 94 (2024) 102342
• View Publication
• BIB
Consider the point line-geometry ${\mathcal P}_t(n,k)$ having as points all the $[n,k]$-linear codes having minimum dual distance at least $t+1$ and where two points $X$ and $Y$ are collinear whenever $X\cap Y$ is a $[n,k-1]$-linear code having minimum dual distance at least $t+1$. We are interested in the collinearity graph $Λ_t(n,k)$ of ${\mathcal P}_t(n,k).$ The graph $Λ_t(n,k)$ is a subgraph of the Grassmann graph and also a subgraph of the graph $Δ_t(n,k)$ of the linear codes having minimum dual distance at least $t+1$ introduced in~[M. Kwiatkowski, M. Pankov, On the distance between linear codes, Finite Fields Appl. 39 (2016), 251--263, doi:10.1016/j.ffa.2016.02.004, arXiv:1506.00215]. We shall study the structure of $Λ_t(n,k)$ in relation to that of $Δ_t(n,k)$ and we will characterize the set of its isolated vertices. We will then focus on $Λ_1(n,k)$ and $Λ_2(n,k)$ providing necessary and sufficient conditions for them to be connected.
Dually Lorentzian Polynomials
Published
• View Publication
• BIB
We introduce and study a notion of dually Lorentzian polynomials, and show that if $s$ is non-zero and dually Lorentzian then the operator \[s(\partial_{x_1},\ldots,\partial_{x_n}):\mathbb R[x_1,\ldots,x_n] \to \mathbb R[x_1,\ldots,x_n]\] preserves (strictly) Lorentzian polynomials. From this we conclude that any theory that admits a mixed Alexandrov-Fenchel inequality also admits a generalized Alexandrov-Fenchel inequality involving dually Lorentzian polynomials. As such we deduce generalized Alexandrov-Fenchel inequalities for mixed discriminants, for integrals of Kähler classes, for mixed volumes, and in the theory of valuations.