Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A note on stability for maximal $F$-free graphs
Published
• View Publication
• BIB
Popielarz, Sahasrabudhe and Snyder in 2018 proved that maximal $K_{r+1}$-free graphs with $(1-\frac{1}{r})\frac{n^2}{2}-o(n^{\frac{r+1}{r}})$ edges contain a complete $r$-partite subgraph on $n-o(n)$ vertices. This was very recently extended to odd cycles in place of $K_3$ by Wang, Wang, Yang and Yuan. We further extend it to some other 3-chromatic graphs, and obtain some other stability results along the way.
The extended binary quadratic residue code of length 42 holds a 3-design
Published in Journal of Combinatorial Designs, (2021)
• View Publication
• BIB
The codewords of weight $10$ of the $[42,21,10]$ extended binary quadratic residue code are shown to hold a design of parameters $3-(42,10,18).$ Its automorphism group is isomorphic to $PSL(2,41)$. Its existence can be explained neither by a transitivity argument, nor by the Assmus-Mattson theorem.
4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time $n^{4/3}$
Published
• View Publication
• BIB
We show, assuming the Strong Exponential Time Hypothesis, that for every $\varepsilon > 0$, approximating undirected unweighted Diameter on $n$-vertex $n^{1+o(1)}$-edge graphs within ratio $7/4 - \varepsilon$ requires $n^{4/3 - o(1)}$ time. This is the first result that conditionally rules out a near-linear time $5/3$-approximation for undirected Diameter.
Scale-free tree network with an ultra-large diameter
Published
• View Publication
• BIB
Scale-free networks are prevalently observed in a great variety of complex systems, which triggers various researches relevant to networked models of such type. In this work, we propose a family of growth tree networks $\mathcal{T}_{t}$, which turn out to be scale-free, in an iterative manner. As opposed to most of published tree models with scale-free feature, our tree networks have the power-law exponent $γ=1+\ln5/\ln2$ that is obviously larger than $3$. At the same time, "small-world" property can not be found particularly because models $\mathcal{T}_{t}$ have an ultra-large diameter $D_{t}$ (i.e., $D_{t}\sim|\mathcal{T}_{t}|^{\ln3/\ln5}$) and a greater average shortest path length $\langle\mathcal{W}_{t}\rangle$ (namely, $\langle\mathcal{W}_{t}\rangle\sim|\mathcal{T}_{t}|^{\ln3/\ln5}$) where $|\mathcal{T}_{t}|$ represents vertex number. Next, we determine Pearson correlation coefficient and verify that networks $\mathcal{T}_{t}$ display disassortative mixing structure. In addition, we study random walks on tree networks $\mathcal{T}_{t}$ and derive exact solution to mean hitting time $\langle\mathcal{H}_{t}\rangle$. The results suggest that the analytic formula for quantity $\langle\mathcal{H}_{t}\rangle$ as a function of vertex number $|\mathcal{T}_{t}|$ shows a power-law form, i.e., $\langle\mathcal{H}_{t}\rangle\sim|\mathcal{T}_{t}|^{1+\ln3/\ln5}$. Accordingly, we execute extensive experimental simulations, and demonstrate that empirical analysis is in strong agreement with theoretical results. Lastly, we provide a guide to extend the proposed iterative manner in order to generate more general scale-free tree networks with large diameter.
Symmetry of Narayana numbers and rowvacuation of root posets
Published in Forum of Mathematics, Sigma 9 (2021) e53
• View Publication
• BIB
For a Weyl group $W$ of rank $r$, the $W$-Catalan number is the number of antichains of the poset of positive roots, and the $W$-Narayana numbers refine the $W$-Catalan number by keeping track of the cardinalities of these antichains. The $W$-Narayana numbers are symmetric, i.e., the number of antichains of cardinality $k$ is the same as the number of cardinality $r-k$. However, this symmetry is far from obvious. Panyushev posed the problem of defining an involution on root poset antichains that exhibits the symmetry of the $W$-Narayana numbers.
Rowmotion and rowvacuation are two related operators, defined as compositions of "toggles," that give a dihedral action on the set of antichains of any ranked poset. Rowmotion acting on root posets has been the subject of a significant amount of research in the recent past. We prove that for the root posets of classical types, rowvacuation is Panyushev's desired involution.
Distributing hash families with few rows
Published in Theoret. Comput. Sci. 800 (2019), 31-41
• View Publication
• BIB
Column replacement techniques for creating covering arrays rely on the construction of perfect and distributing hash families with few rows, having as many columns as possible for a specified number of symbols. To construct distributing hash families in which the number of rows is less than the strength, we examine a method due to Blackburn and extend it in three ways. First, the method is generalized from homogeneous hash families (in which every row has the same number of symbols) to heterogeneous ones. Second, the extension treats distributing hash families, in which only separation into a prescribed number of parts is required, rather than perfect hash families, in which columns must be completely separated. Third, the requirements on one of the main ingredients are relaxed to permit the use of a large class of distributing hash families, which we call fractal. Constructions for fractal perfect and distributing hash families are given, and applications to the construction of perfect hash families of large strength are developed.
The diagonal graph
According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a much larger class than those occurring in this theorem. For any positive integer $m$ and group $G$ (finite or infinite), there is a diagonal semilattice, a sub-semilattice of the lattice of partitions of a set $Ω$, whose automorphism group is the corresponding diagonal group. Moreover, there is a graph (the diagonal graph), bearing much the same relation to the diagonal semilattice and group as the Hamming graph does to the Cartesian lattice and the wreath product of symmetric groups.
Our purpose here, after a brief introduction to this semilattice and graph, is to establish some properties of this graph. The diagonal graph $Γ_D(G,m)$ is a Cayley graph for the group~$G^m$, and so is vertex-transitive. We establish its clique number in general and its chromatic number in most cases, with a conjecture about the chromatic number in the remaining cases. We compute the spectrum of the adjacency matrix of the graph, using a calculation of the Möbius function of the diagonal semilattice. We also compute some other graph parameters and symmetry properties of the graph.
We believe that this family of graphs will play a significant role in algebraic graph theory.
Number of bounded distance equivalence classes in hulls of repetitive Delone sets
Published
• View Publication
• BIB
Two Delone sets are bounded distance equivalent to each other if there is a bijection between them such that the distance of corresponding points is uniformly bounded. Bounded distance equivalence is an equivalence relation. We show that the hull of a repetitive Delone set with finite local complexity has either one equivalence class or uncountably many. A very similar result is proven in arXiv:2011.00106 [math.MG].
Total Roman 2-domination in graphs
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2\}$ is a total Roman $\{2\}$-dominating function if: (1) every vertex $v\in V$ for which $f(v)=0$ satisfies that $\sum_{u\in N(v)}f(u)\geq 2$, where $N(v)$ represents the open neighborhood of $v$, and (2) every vertex $x\in V$ for which $f(x)\geq 1$ is adjacent to at least one vertex $y\in V$ such that $f(y)\geq 1$. The weight of the function $f$ is defined as $ω(f)=\sum_{v\in V}f(v)$. The total Roman $\{2\}$-domination number, denoted by $γ_{t\{R2\}}(G)$, is the minimum weight among all total Roman $\{2\}$-dominating functions on $G$. In this article we introduce the concepts above and begin the study of its combinatorial and computational properties. For instance, we give several closed relationships between this parameter and other domination related parameters in graphs. In addition, we prove that the complexity of computing the value $γ_{t\{R2\}}(G)$ is NP-hard, even when restricted to bipartite or chordal graphs.
Hamiltonicity of doubly semi-equivelar maps on the torus
Published
• View Publication
• BIB
The well-known twenty types of 2-uniform tilings of the plane give rise infinitely many doubly semi-equivelar maps on the torus. In this article, we show that every such doubly semi-equivelar map on the torus contains a Hamiltonian cycle. As a consequence, we establish the Nash-Williams conjecture for the graphs associated with these doubly semi-equivelar maps by showing that these graphs are either 3-connected or 4-connected.
Sum-full sets are not zero-sum-free
Published
• View Publication
• BIB
Let $A$ be a finite, nonempty subset of an abelian group. We show that if every element of $A$ is a sum of two other elements, then $A$ has a nonempty zero-sum subset. That is, a (finite, nonempty) sum-full subset of an abelian group is not zero-sum-free.
"Pushing" our way from the valley Delta to the generalised valley Delta
Published
• View Publication
• BIB
In [Haglund, Remmel, Wilson 2018] the authors state two versions of the so called Delta conjecture, the rise version and the valley version. Of the former, they also give a more general statement in which zero labels are also allowed. In [Qiu, Wilson 2020], the corresponding generalisation of the valley version is also formulated.
In [D'Adderio, Iraci, Vanden Wyngaerd 2020], the authors use a pushing algorithm to prove the generalised version of the shuffle theorem. An extension of that argument is used in [Iraci, Vanden Wyngaerd 2020] to formulate a valley version of the (generalised) Delta square conjecture, and to suggest a symmetric function identity later stated and proved in [D'Adderio, Romero 2020].
In this paper, we use the pushing algorithm together with the aforementioned symmetric function identity in order to prove that the valley version of the Delta conjecture implies the valley version of the generalised Delta conjecture, which means that they are actually equivalent.
Combining this with the results in [Iraci, Vanden Wyngaerd 2020], we prove that the valley version of the Delta conjecture also implies the corresponding generalised Delta square conjecture.
Condensation phenomena in preferential attachment trees with neighbourhood influence
Published
• View Publication
• BIB
We introduce a model of evolving preferential attachment trees where vertices are assigned weights, and the evolution of a vertex depends not only on its own weight, but also on the weights of its neighbours. We study the distribution of edges with endpoints having certain weights, and the distribution of degrees of vertices having a given weight. We show that the former exhibits a condensation phenomenon under a certain critical condition, whereas the latter converges almost surely to a distribution that resembles a power law distribution. Moreover, in the absence of condensation, we prove almost-sure setwise convergence of the related quantities. This generalises existing results on the Bianconi-Barabási tree as well as on an evolving tree model introduced by the second author.
Distance-regular graphs obtained from the Mathieu groups
In this paper we construct distance-regular graphs admitting a transitive action of the five sporadic simple groups discovered by E. Mathieu, the Mathieu groups $M_{11}$, $M_{12}$, $M_{22}$, $M_{23}$ and $M_{24}$. From the code spanned by the adjacency matrix of the strongly regular graph with parameters (176,70,18,34) we obtain block designs having the full automorphism groups isomorphic to the Higman-Sims finite simple group. Further, we discuss a possibility of permutation decoding of the codes spanned by the adjacency matrices of the graphs constructed and find small PD-sets for some of the codes.
Domination numbers and noncover complexes of hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a hypergraph on a finite set $V$. A {\em cover} of $\mathcal{H}$ is a set of vertices that meets all edges of $\mathcal{H}$. If $W$ is not a cover of $\mathcal{H}$, then $W$ is said to be a {\em noncover} of $\mathcal{H}$. The {\em noncover complex} of $\mathcal{H}$ is the abstract simplicial complex whose faces are the noncovers of $\mathcal{H}$. In this paper, we study homological properties of noncover complexes of hypergraphs. In particular, we obtain an upper bound on their Leray numbers. The bound is in terms of hypergraph domination numbers. Also, our proof idea is applied to compute the homotopy type of the noncover complexes of certain uniform hypergraphs, called {\em tight paths} and {\em tight cycles}. This extends to hypergraphs known results on graphs.
Hamiltonicity of Token Graphs of some Join Graphs
Published in Symmetry 13(1076), 2021
• View Publication
• BIB
Let $G$ be a simple graph of order $n$ and let $k$ be an integer such that $1\leq k\leq n-1$. The $k$-token graph $G^{\{k\}}$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $G^{\{k\}}$ whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper we study the Hamiltonicity of the $k$-token graphs of some join graphs. As a consequence, we provide an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which their $k$-token graphs are Hamiltonian. Our result provides, to our knowledge, the first family of non-Hamiltonian graphs for which their $k$-token graphs are Hamiltonian, for $2<k<n-2$.
Transformation à la Foata for special kinds of descents and excedances
Published
• View Publication
• BIB
A pure excedance in a permutation $π=π_1π_2\ldots π_n$ is a position $i<π_i$ such that there is no $j<i$ with $i\leq π_j<π_i$. We present a one-to-one correspondence on the symmetric group that transports pure excedances to descents of special kind. As a byproduct, we prove that the popularity of pure excedances equals those of pure descents on permutations, while their distributions are different.
Lagrangian fillings for Legendrian links of finite type
We prove that there are at least seeds many exact embedded Lagrangian fillings for Legendrian links of type $\mathsf{ADE}$. We also provide seeds many Lagrangian fillings with certain symmetries for type $\mathsf{BCFG}$. Our main tools are $N$-graphs and the combinatorics of seed patterns of finite type.
Tight quasi-symmetric designs
I give an elementary proof that a quasi-symmetric design without repeated blocks on $v$ points has at most $v\choose2$ blocks, with equality if and only if it is a tight $4$-design.
Perfect domination, Roman domination and perfect Roman domination in lexicographic product graphs
Published in Fundamenta Informaticae, Volume 185, Issue 3 (May 6, 2022) fi:7053
• View Publication
• BIB
The aim of this paper is to obtain closed formulas for the perfect domination number, the Roman domination number and the perfect Roman domination number of lexicographic product graphs. We show that these formulas can be obtained relatively easily for the case of the first two parameters. The picture is quite different when it concerns the perfect Roman domination number. In this case, we obtain general bounds and then we give sufficient and/or necessary conditions for the bounds to be achieved. We also discuss the case of perfect Roman graphs and we characterize the lexicographic product graphs where the perfect Roman domination number equals the Roman domination number.