Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The feet of orthogonal Buekenhout-Metz unitals
Published
• View Publication
• BIB
In this article we look at the geometric structure of the feet of an orthogonal Buekenhout-Metz unital U in PG(2,q^2). We show that the feet of each point form a set of type (0,1,2,4). Further, we discuss the structure of any 4-secants, and determine exactly when the feet form an arc.
Extremal tensor products of Demazure crystals
Published
• View Publication
• BIB
Demazure crystals are subcrystals of highest weight irreducible $\mathfrak{g}$-crystals. In this article, we study tensor products of a larger class of subcrystals, called extremal, and give a local characterization for exactly when the tensor product of Demazure crystals is extremal. We then show that tensor products of Demazure crystals decompose into direct sums of Demazure crystals if and only if the tensor product is extremal, thus providing a sufficient and necessary local criterion for when the tensor product of Demazure crystals is itself Demazure. As an application, we show that the primary component in the tensor square of any Demazure crystal is always Demazure.
Hamilton Powers of Eulerian Digraphs
In this note, we prove that the $\lceil \tfrac{1}{2} \sqrt{n} \log_2^2 n \rceil^{th}$ power of a connected $n$-vertex Eulerian digraph is Hamiltonian, and provide an infinite family of digraphs for which the $\lfloor \sqrt{n}/2 \rfloor^{th}$ power is not.
Extremal polygonal chains with respect to the Kirchhoff index
Published
• View Publication
• BIB
The Kirchhoff index is defined as the sum of resistance distances between all pairs of vertices in a graph. This index is a critical parameter for measuring graph structures. In this paper, we characterize polygonal chains with the minimum Kirchhoff index, and characterize even (odd) polygonal chains with the maximum Kirchhoff index, which extends the results of \cite{45}, \cite{14} and \cite{2,13,44} to a more general case.
Some conditions for hamiltonian cycles in 1-tough $(K_2 \cup kK_1)$-free graphs
Published
• View Publication
• BIB
Let $k \geq 2$ be an integer. We say that a graph $G$ is $(K_2 \cup kK_1)$-free if it does not contain $K_2 \cup kK_1$ as an induced subgraph. Recently, Shi and Shan conjectured that every $1$-tough and $2k$-connected $(K_2 \cup kK_1)$-free graph is hamiltonian. In this paper, we solve this conjecture by proving the statement; every $1$-tough and $k$-connected $(K_2 \cup kK_1)$-free graph with minimum degree at least $\frac{3(k-1)}{2}$ is hamiltonian or the Petersen graph.
The significance of the contributions of congruences to the theory of connectednesses and disconnectednesses for topological spaces and graphs
Published
• View Publication
• BIB
This is a survey of some of the consequences of the recently introduced congruences on the theory of connectednesses (radical classes) and disconnectednesses (semisimple classes) of graphs and topological spaces. In particular, it is shown that the connectednesses and disconnectednesses can be obtained as Hoehnke radicals and a connectedness has a characterization in terms of congruences resembling the classical characterization of its algebraic counterpart using ideals for a radical class. But this approach has also shown that there are some unexpected differences and surprises: an ideal-hereditary Hoehnke radical of topological spaces or graphs need not be a Kurosh-Amitsur radical and in the category of graphs with no loops, non-trivial connectednesses and disconnectednesses exist, but all Hoehnke radicals degenerate.
How many contacts can exist between oriented squares of various sizes?
Published
• View Publication
• BIB
A homothetic packing of squares is any set of various-size squares with the same orientation where no two squares have overlapping interiors. If all $n$ squares have the same size then we can have up to roughly $4n$ contacts by arranging the squares in a grid formation. The maximum possible number of contacts for a set of $n$ squares will drop drastically, however, if the size of each square is chosen more-or-less randomly. In the following paper we describe a necessary and sufficient condition for determining if a set of $n$ squares with fixed sizes can be arranged into a homothetic square packing with more than $2n-2$ contacts. Using this, we then prove that any (possibly not homothetic) packing of $n$ squares will have at most $2n-2$ face-to-face contacts if the various widths of the squares do not satisfy a finite set of linear equations.
Reducing Graph Parameters by Contractions and Deletions
Published
• View Publication
• BIB
We consider the following problem: for a given graph $G$ and two integers $k$ and $d$, can we apply a fixed graph operation at most $k$ times in order to reduce a given graph parameter $π$ by at least $d$? We show that this problem is NP-hard when the parameter is the independence number and the graph operation is vertex deletion or edge contraction, even for fixed $d=1$ and when restricted to chordal graphs. We give a polynomial time algorithm for bipartite graphs when the operation is edge contraction, the parameter is the independence number and $d$ is fixed. Further, we complete the complexity dichotomy on $H$-free graphs when the parameter is the clique number and the operation is edge contraction by showing that this problem is NP-hard in $(C_3+P_1)$-free graphs even for fixed $d=1$. When the operation is edge deletion and the parameter is the chromatic number, we determine the computational complexity of the associated problem on cographs and complete multipartite graphs. Our results answer several open questions stated in [Diner et al., Theoretical Computer Science, 746, p. 49-72 (2012)].
On distance Laplacian spread and Wiener index of a graph
Published
• View Publication
• BIB
Let $G$ be a simple connected simple graph of order $n$. The distance Laplacian matrix $D^{L}(G)$ is defined as $D^L(G)=Diag(Tr)-D(G)$, where $Diag(Tr)$ is the diagonal matrix of vertex transmissions and $D(G)$ is the distance matrix of $G$. The eigenvalues of $D^{L}(G)$ are the distance Laplacian eigenvalues of $G$ and are denoted by $\partial_{1}^{L}(G), \partial_{2}^{L}(G),\dots,\partial_{n}^{L}(G)$. The \textit{ distance Laplacian spread} $DLS(G)$ of a connected graph $G$ is the difference between largest and second smallest distance Laplacian eigenvalues, that is, $\partial_{1}^{L}(G)-\partial_{n-1}^{L}(G)$. We obtain bounds for $DLS(G)$ in terms of the Wiener index $W(G)$, order $n$ and the maximum transmission degree $Tr_{max}(G)$ of $G$ and characterize the extremal graphs. We obtain two lower bounds for $DLS(G)$, the first one in terms of the order, diameter and the Wiener index of the graph, and the second one in terms of the order, maximum degree and the independence number of the graph. For a connected $ k-partite$ graph $G$, $k\leq n-1$, with $n$ vertices having disconnected complement, we show that
$ DLS(G)\geq \Big \lfloor \frac{n}{k}\Big \rfloor$ with equality if and only if $G$ is a $complete ~ k-partite$ graph having cardinality of each independent class same and $n \equiv 0 \pmod k$.
Toughness of recursively partitionable graphs
Published
• View Publication
• BIB
A simple graph $G=(V,E)$ on $n$ vertices is said to be recursively partitionable (RP) if $G \simeq K_1$, or if $G$ is connected and satisfies the following recursive property: for every integer partition $a_1, a_2, \dots, a_k$ of $n$, there is a partition $\{A_1, A_2, \dots, A_k\}$ of $V$ such that each $|A_i|=a_i$, and each induced subgraph $G[A_i]$ is RP ($1\leq i \leq k$). We show that if $S$ is a vertex cut of an RP graph $G$ with $|S|\geq 2$, then $G-S$ has at most $3|S|-1$ components. Moreover, this bound is sharp for $|S|=3$. We present two methods for constructing new RP graphs from old. We use these methods to show that for all positive integers $s$, there exist infinitely many RP graphs with an $s$-vertex cut whose removal leaves $2s+1$ components. Additionally, we prove a simple necessary condition for a graph to have an RP spanning tree, and we characterise a class of minimal 2-connected RP graphs.
Limits of action convergent graph sequences with unbounded $(p,q)$-norms
The recently developed notion of action convergence by Backhausz and Szegedy unifies and generalises the dense (graphon) and local-global (graphing) convergences of graph sequences. This is done through viewing graphs as operators and examining their dynamical properties. Suppose $(A_n)_n^\infty$ is a sequence of operators representing graphs, Cauchy with respect to the action metric. If $(A_n)_n^\infty$ has uniformly bounded $(p,q)$-norms where $(p,q)$ is any pair in $[1,\infty)\times(1,\infty)$, then Backhausz and Szegedy prove that $(A_n)_n^\infty$ has a limit operator which, moreover, must be self-adjoint and positivity-preserving. In the present work, we construct a large class of graph sequences whose only uniformly bounded $(p,q)$-norm is the $(\infty,1)$-norm, but which converge nonetheless. We show that the limit operators in this case are not unique, not self-adjoint, and need not be positivity-preserving. In particular, in the action convergence language, this means that the space of graphops is not compact. By identifying these multiple limits, we also demonstrate that $c$-regularity is not invariant under weak equivalence, where $c$ is the eigenvalue of the identity function, when the identity function is an eigenfunction.
Beyond positivity in Ehrhart Theory
We study semigroup algebras arising from lattice polytopes, compute their volume polynomials (particularizing work of Hochster), and establish strong Lefschetz properties (generalizing work of the first three authors). This resolves several conjectures concerning unimodality properties of the $h^\ast$-polynomial of lattice polytopes arising within Ehrhart theory.
Identities on Zagier's rank two examples for Nahm's problem
Published
• View Publication
• BIB
Let $r\geq 1$ be a positive integer, $A$ a real positive definite symmetric $r\times r$ matrix, $B$ a vector of length $r$, and $C$ a scalar. Nahm's problem is to describe all such $A,B$ and $C$ with rational entries for which a specific $r$-fold $q$-hypergeometric series (denoted by $f_{A,B,C}(q)$) involving the parameters $A,B,C$ is modular. When the rank $r=2$, Zagier provided eleven sets of examples of $(A,B,C)$ for which $f_{A,B,C}(q)$ is likely to be modular. We present a number of Rogers--Ramanujan type identities involving double sums, which give modular representations for Zagier's rank two examples. Together with several known cases in the literature, we verified ten of Zagier's examples and give conjectural identities for the remaining example.
Towards the Erdős-Hajnal conjecture for $P_5$-free graphs
Published
• View Publication
• BIB
The Erdős-Hajnal conjecture is one of the most classical and well-known problems in extremal and structural combinatorics dating back to 1977. It asserts that in stark contrast to the case of a general $n$-vertex graph if one imposes even a little bit of structure on the graph, namely by forbidding a fixed graph $H$ as an induced subgraph, instead of only being able to find a polylogarithmic size clique or an independent set one can find one of polynomial size. Despite being the focus of considerable attention over the years the conjecture remains open. In this paper we improve the best known lower bound of $2^{Ω(\sqrt{\log n})}$ on this question, due to Erdős and Hajnal from 1989, in the smallest open case, namely when one forbids a $P_5$, the path on $5$ vertices. Namely, we show that any $P_5$-free $n$ vertex graph contains a clique or an independent set of size at least $2^{Ω(\log n)^{2/3}}$. Our methods also lead to the same improvement for an infinite family of graphs.
Depth stability of cover ideals
Published
• View Publication
• BIB
Let R = K[x1,...,xr] be a polynomial ring over a field K. Let G be a graph with vertex set {1,...,r} and let J be the cover ideal of G. We give a sharp bound for the stability index of symbolic depth function sdstab(J). In the case G is bipartite, it yields a sharp bound for the stability index of depth function dstab(J) and this bound is exact if G is a forest.
A Note on Robust Subsets of Transversal Matroids
Published
• View Publication
• BIB
Robust subsets of matroids were introduced by Huang and Sellier to propose approximate kernels for the matroid-constrained maximum vertex cover problem. In this paper, we prove that the bound for robust subsets of transversal matroids given by Huang and Sellier can be improved.
Existence of a Moore graph of degree 57 is still open
In 2020, a paper [arXiv:2010.13443] appeared in the arXiv claiming to prove that a Moore graph of diameter 2 and degree 57 does not exist. (The paper is in Russian; we include a link to a translation of this paper kindly provided to us by Konstantin Selivanov.) The proof technique is reasonable. It employs the fact that such a graph must be distance regular and that there exists a large set of relations which such a graph must satisfy. The argument proceeds by a case analysis that shows that this set of relations cannot be satisfied. We show that this seems not to be correct. The system of equations factors into small diagonal blocks all of which have solutions. As an alternative, we show that there is a family of systems of permutations with the property that the Moore graph exists if and only if there is a member of the family with no solutions.
The popularity gap
Published
• View Publication
• BIB
Suppose that $A$ is a finite, nonempty subset of a cyclic group of either infinite or prime order. We show that if the difference set $A-A$ is ``not too large'', then there is a nonzero group element with at least as many as $(2+o(1))|A|^2/|A-A|$ representations as a difference of two elements of $A$; that is, the second largest number of representations is, essentially, twice the average. Here the coefficient $2$ is the best possible.
We also prove continuous and multidimensional versions of this result, and obtain similar results for sufficiently dense subsets of an arbitrary abelian group.
Cones from maximum $h$-scattered linear sets and a stability result
Published
• View Publication
• BIB
This paper mainly focuses on cones whose basis is a maximum $h$-scattered linear set. We start by investigating the intersection sizes of such cones with the hyperplanes. Then we analyze two constructions of point sets with few intersection sizes with the hyperplanes. In particular, the second one extends the construction of translation KM-arcs in projective spaces, having as part at infinity a cone with basis a maximum $h$-scattered linear set. As an instance of the second construction we obtain cylinders with a hyperoval as basis, which we call hypercylinders, for which we are able to provide a stability result. The main motivation for these problems is related to the connections with both Hamming and rank distance codes. Indeed, we are able to construct codes with few weights and to provide a stability result for the codes associated with hypercylinders.
The Turán number of $k_1P_{2l}\cup k_2S_{2l-1}$
The Turán number of a graph $H$, denoted by $ex(n, H)$, is the maximum number of edges in any graph on $n$ vertices containing no $H$ as a subgraph. Let $P_k$ denote the path on $k$ vertices, $S_k$ denote the star on $k+1$ vertices and $k_1P_{2l}\cup k_2S_{2l-1}$ denote the path-star forest with disjoint union of $k_1$ copies of $P_{2l}s$ and $k_2$ copies of $S_{2l-1}s$. In 2019, Lan et al. determined the Turán numbers of $kS_l$ and $k_1P_4\cup k_2S_3$. In 2022, Zhang et al. determined the Turán numbers of $k_1P_6\cup k_2S_5$ and raised a conjecture of the Turán numbers of $k_1P_{2l}\cup k_2S_{2l-1}$, where $k_1\geqslant 1$ and $l\geqslant 2$. In this paper, we study the hypothesis and determine the Turán numbers of $k_1P_{2l}\cup k_2S_{2l-1}$ when $n$ is sufficiently large.