Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Efficient vectors in priority setting methodology
Published
• View Publication
• BIB
The Analytic Hierarchy Process (AHP) is a much discussed method in ranking business alternatives based on empirical and judgemental information. We focus here upon the key component of deducing efficient vectors for a reciprocal matrix of pair-wise comparisons. It is not yet known how to produce all efficient vectors. It has been shown that the entry-wise geometric mean of all columns is efficient for any reciprocal matrix. Here, by combining some new basic observations with some known theory, we 1) give a method for inductively generating large collections of efficient vectors, and 2) show that the entry-wise geometric mean of any collection of distinct columns of a reciprocal matrix is efficient. We study numerically, using different measures, the performance of these geometric means in approximating the reciprocal matrix by a consistent matrix.
Bounds on the lettericity of graphs
Published
• View Publication
• BIB
Lettericity measures the minimum size of an alphabet needed to represent a graph as a letter graph, where vertices are encoded by letters, and edges are determined by an underlying decoder. We prove that all graphs on~$n$ vertices have lettericity at most approximately $n - \tfrac{1}{2} \log_2 n$ and that almost all graphs on $n$ vertices have lettericity at least $n - (2 \log_2 n + 2 \log_2 \log_2 n)$.
Maximum values of the Sombor-index-like graph invariants of trees and connected graphs
Published
• View Publication
• BIB
A set of novel vertex-degree-based invariants was introduced by Gutman, denoted by \newline $SO_1, SO_2, \ldots,SO_6$. These invariants were constructed through geometric reasoning based on a new graph invariant framework. Motivated by proposed open problems in [Z. Tang, Q. Li, H. Deng, \textit{Trees with Extremal Values of the Sombor-Index-Like Graph Invariants}, MATCH Commun. Math. Comput. Chem. \textbf{90} (2023) 203-222], we have found the maximum values of $SO_5$ and $SO_6$ in the set of molecular trees with a given number of vertices, respectively, and we have found the maximum value of $SO_5$ in a class of connected graphs.
Asymptotics of parity biases for partitions into distinct parts via Nahm sums
Published
• View Publication
• BIB
For a random partition, one of the most basic questions is: what can one expect about the parts which arise? For example, what is the distribution of the parts of random partitions modulo $N$? Since most partitions contain a $1$, and indeed many $1$s arise as parts of a random partition, it is natural to expect a skew towards $1\pmod{N}$. This is indeed the case. For instance, Kim, Kim, and Lovejoy recently established ``parity biases'' showing how often one expects partitions to have more odd than even parts. Here, we generalize their work to give asymptotics for biases $\mod N$ for partitions into distinct parts. The proofs rely on the Circle Method and give independently useful techniques for analyzing the asymptotics of Nahm-type $q$-hypergeometric series.
On the frame complex of symplectic spaces
Published
• View Publication
• BIB
For a symplectic space $V$ of dimension $2n$ over $\mathbb{F}_{q}$, we compute the eigenvalues of its orthogonality graph. This is the simple graph with vertices the $2$-dimensional non-degenerate subspaces of $V$ and edges between orthogonal vertices. As a consequence of Garland's method, we obtain vanishing results on the homology groups of the frame complex of $V$, which is the clique complex of this graph. We conclude that if $n < q+3$ then the poset of frames of size $\neq 0,n-1$, which is homotopy equivalent to the frame complex, is Cohen-Macaulay over a field of characteristic $0$. However, we also show that this poset is not Cohen-Macaulay if the dimension is big enough.
Spectra of s-neighbourhood corona of two signed graphs
A signed graph $S=(G, σ)$ is a pair in which $G$ is an underlying graph and $σ$ is a function from the edge set to $\{\pm1\}$. For signed graphs $S_{1}$ and $S_{2}$ on $n_{1}$ and $n_{2}$ vertices, respectively, the signed neighbourhood corona $S_{1} \star_s S_{2}$ (in short s-neighbourhood corona) of $S_{1}$ and $S_{2}$ is the signed graph obtained by taking one copy of $S_{1}$ and $n_{1}$ copies of $S_{2}$ and joining every neighbour of the $i$th vertex of $S_{1}$ with the same sign as the sign of incident edge to every vertex in the $i$th copy of $S_{2}$. In this paper, we investigate the adjacency, Laplacian and net Laplacian spectrum of $S_{1} \star_s S_{2}$ in terms of the corresponding spectrum of $ S_{1}$ and $ S_{2}$. We determine $(i)$ the adjacency spectrum of $S_{1} \star_s S_{2}$ for arbitrary $S_{1} $ and net regular $ S_{2}$, $(ii)$ the Laplacian spectrum for regular $S_{1} $ and regular and net regular $ S_{2}$ and $(iii)$ the net Laplacian spectrum for net regular $S_{1} $ and arbitrary $ S_{2}$. As a consequence, we obtain the signed graphs with $4$ and $5$ distinct adjacency, Laplacian and net Laplacian eigenvalues. Finally, we show that the signed neighbourhood corona of two signed graphs is not determined by its adjacency (resp., Laplacian, net Laplacian) spectrum.
Topology of matching complexes of complete graphs via discrete Morse theory
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Combinatorics (November 4, 2024) dmtcs:12887
• View Publication
• BIB
Bouc (1992) first studied the topological properties of $M_n$, the matching complex of the complete graph of order $n$, in connection with Brown complexes and Quillen complexes. Björner et al. (1994) showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, and conjectured that this connectivity bound is sharp. Shareshian and Wachs (2007) settled the conjecture by inductively showing that the $ν_n$-dimensional homology group of $M_n$ is nontrivial, with Bouc's calculation of $H_1(M_7)$ serving as the pivotal base step. In general, the topology of $M_n$ is not very well-understood, even for a small $n$. In the present article, we look into the topology of $M_n$, and $M_7$ in particular, in the light of discrete Morse theory as developed by Forman (1998). We first construct a gradient vector field on $M_n$ (for $n \ge 5$) that doesn't admit any critical simplices of dimension up to $ν_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(ν_n-1)$-connectedness of $M_n$ in a purely combinatorial way. However, for an efficient homology computation by discrete Morse theoretic techniques, we are required to work with a gradient vector field that admits a low number of critical simplices, and also allows an efficient enumeration of gradient paths. An optimal gradient vector field is one with the least number of critical simplices, but the problem of finding an optimal gradient vector field, in general, is an NP-hard problem (even for $2$-dimensional complexes). We improve the gradient vector field constructed on $M_7$ in particular to a much more efficient (near-optimal) one, and then with the help of this improved gradient vector field, compute the homology groups of $M_7$ in an efficient and algorithmic manner. We also augment this near-optimal gradient vector field to one that we conjecture to be optimal.
On Connectivity in Random Graph Models with Limited Dependencies
Published
• View Publication
• BIB
For any positive edge density $p$, a random graph in the Erdős-Renyi $G_{n,p}$ model is connected with non-zero probability, since all edges are mutually independent. We consider random graph models in which edges that do not share endpoints are independent while incident edges may be dependent and ask: what is the minimum probability $ρ(n)$, such that for any distribution $\mathcal{G}$ (in this model) on graphs with $n$ vertices in which each potential edge has a marginal probability of being present at least $ρ(n)$, a graph drawn from $\mathcal{G}$ is connected with non-zero probability?
As it turns out, the condition ``edges that do not share endpoints are independent'' needs to be clarified and the answer to the question above is sensitive to the specification. In fact, we formalize this intuitive description into a strict hierarchy of five independence conditions, which we show to have at least three different behaviors for the threshold $ρ(n)$. For each condition, we provide upper and lower bounds for $ρ(n)$. In the strongest condition, the coloring model (which includes, e.g., random geometric graphs), we show that $ρ(n)\rightarrow 2-φ\approx 0.38$ for $n\rightarrow\infty$, proving a conjecture by Badakhshian, Falgas-Ravry, and Sharifzadeh. This separates the coloring models from the weaker independence conditions we consider, as there we prove that $ρ(n)>0.5-o(n)$. In stark contrast to the coloring model, for our weakest independence condition -- pairwise independence of non-adjacent edges -- we show that $ρ(n)$ lies within $O(1/n^2)$ of the threshold $1-2/n$ for completely arbitrary distributions.
All Kronecker coefficients are reduced Kronecker coefficients
Published in Forum of Mathematics, Pi 12 (2024) e22
• View Publication
• BIB
We settle the question of where exactly the reduced Kronecker coefficients lie on the spectrum between the Littlewood-Richardson and Kronecker coefficients by showing that every Kronecker coefficient of the symmetric group is equal to a reduced Kronecker coefficient by an explicit construction. This implies the equivalence of a question by Stanley from 2000 and a question by Kirillov from 2004 about combinatorial interpretations of these two families of coefficients. Moreover, as a corollary, we deduce that deciding the positivity of reduced Kronecker coefficients is $NP$-hard, and computing them is $\#P$-hard under parsimonious many-one reductions.
Quasirandom additive sets and Cayley hypergraphs
We study the interplay between notions of quasirandomness for additive sets and for hypergraphs. In particular, we show a strong connection between the notions of Gowers uniformity in the additive setting and discrepancy-type measures of quasirandomness in the hypergraph setting. Exploiting this connection, we provide a long list of disparate quasirandom properties regarding both additive sets and Cayley-type hypergraphs constructed from such sets, and show that these properties are all equivalent (in the sense of Chung, Graham and Wilson) with polynomial bounds on their interdependences.
Making a Network Orchard by Adding Leaves
Phylogenetic networks are used to represent the evolutionary history of species. Recently, the new class of orchard networks was introduced, which were later shown to be interpretable as trees with additional horizontal arcs. This makes the network class ideal for capturing evolutionary histories that involve horizontal gene transfers. Here, we study the minimum number of additional leaves needed to make a network orchard. We demonstrate that computing this proximity measure for a given network is NP-hard and describe a tight upper bound. We also give an equivalent measure based on vertex labellings to construct a mixed integer linear programming formulation. Our experimental results, which include both real-world and synthetic data, illustrate the effectiveness of our implementation.
Homomorphisms between graphs embedded on surfaces
Published
• View Publication
• BIB
We extend the notion of graph homomorphism to cellularly embedded graphs (maps) by designing operations on vertices and edges that respect the surface topology; we thus obtain the first definition of map homomorphism that preserves both the combinatorial structure (as a graph homomorphism) and the topological structure of the surface (in particular, orientability and genus). Notions such as the core of a graph and the homomorphism order on cores are then extended to maps. We also develop a purely combinatorial framework for various topological features of a map such as the contractibility of closed walks, which in particular allows us to characterize map cores. We then show that the poset of map cores ordered by the existence of a homomorphism is connected and, in contrast to graph homomorphisms, does not contain any dense interval (so it is not universal for countable posets). Finally, we give examples of a pair of cores with an infinite number of cores between them, an infinite chain of gaps, and arbitrarily large antichains with a common homomorphic image.
Good Will Hunting's Problem: Counting Homeomorphically Irreducible Trees
In the film Good Will Hunting, the main character, a janitor at MIT named Will Hunting, attacks the problem of drawing all the homeomorphically irreducible trees with 10 vertices. Although the film suggests that this is a difficult problem, it is in fact quite easy. A much more interesting problem is counting homeomorphically irreducible trees with $n$ vertices for all $n$, a feat accomplished by Harary and Prins in 1959. Here we give an exposition and simplification of Harary and Prins's result, introducing some of the fundamental ideas of graphical enumeration.
Homogeneous isosceles-free spaces
Published in Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 118(2024), no.3, Paper No. 118
• View Publication
• BIB
We study homogeneity aspects of metric spaces in which all triples of distinct points admit pairwise different distances; such spaces are called isosceles-free. In particular, we characterize all homogeneous isosceles-free spaces up to isometry as vector spaces over the two-element field, endowed with an injective norm. Using isosceles-free decompositions, we provide bounds on the maximal number of distances in arbitrary homogeneous finite metric spaces.
The Nevo--Santos--Wilson spheres are shellable
Published
• View Publication
• BIB
Nevo, Santos, and Wilson constructed $2^{Ω(N^d)}$ combinatorially distinct simplicial $(2d-1)$-spheres with $N$ vertices. We prove that all spheres produced by one of their methods are shellable. Combining this with prior results of Kalai, Lee, and Benedetti and Ziegler, we conclude that for all $D \ge 3$, there are $2^{Θ(N^{\lceil D/2 \rceil})}$ shellable simplicial $D$-spheres with $N$ vertices.
Combinatorial Interpretations of $q$-Fibonacci Numbers and Their Binomial Analogues
The Fibonomial coefficients are well-known analogues of the classical binomial coefficients. In 2009, Sagan and Savage introduced a combinatorial interpretation for these coefficients, based on tiling a rectangular grid. More recently, Bergeron extended this work by providing a similar interpretation for the q-Fibonomial coefficients, using weighted tilings of a rectangular grid. Inspired by Bennett's model, Bergeron also developed a staircase tiling model for the q-Fibonomial coefficients. While Bergeron's proofs for the rectangular grid model relied on induction, and the staircase model on bijective correspondences with the rectangular grid model, these approaches lacked deeper structural insights. In this paper, we propose a novel model for the q-Fibonacci numbers that generalizes Bergeron's approach. This new model not only enables us to prove several identities related to q-Fibonacci numbers but also provides a non-bijective proof for the staircase model of the q-Fibonomial coefficients, offering greater structural clarity. Additionally, we demonstrate new identities involving the q-Fibonomial coefficients using this refined rectangular grid model, further enhancing the combinatorial understanding of these mathematical objects.
Complexity and Enumeration in Models of Genome Rearrangement
Published in Theoretical Computer Science (2024)
• View Publication
• BIB
In this paper, we examine the computational complexity of enumeration in certain genome rearrangement models. We first show that the Pairwise Rearrangement problem in the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010) is $\#\textsf{P}$-complete under polynomial-time Turing reductions. Next, we show that in the Single Cut or Join model (Feijao & Meidanis, IEEE ACM Trans. Comp. Biol. Bioinf. 2011), the problem of enumerating all medians ($\#$Median) is logspace-computable ($\textsf{FL}$), improving upon the previous polynomial-time ($\textsf{FP}$) bound of Miklós & Smith (RECOMB 2015).
Regularity and multiplicity of Veronese type algebras
Published in Can. Math. Bull. 69 (2026) 150-178
• View Publication
• BIB
In this paper, we study the algebra of Veronese type. We show that the presentation ideal of this algebra has an initial ideal whose Alexander dual has linear quotients. As an application, we explicitly obtain the Castelnuovo-Mumford regularity of the Veronese type algebra. Furthermore, we give an effective upper bound on the multiplicity of this algebra.
Some Ramsey-type results
The Ramsey's theorem says that a graph with sufficiently many vertices contains a clique or stable set with many vertices. Now we attach some parameter to every vertex, such as degree. Consider the case a graph with sufficiently many vertices of large degree, we can get the realted Ramsey-type result. The Ramsey's theorem of connected version says that every connected graph with sufficiently many vertices contains an induced path, clique or star with many vertices. Now we require the vertex is non-trivial, i.e. the parameter of this vertex is non-trivial, such as $\operatorname{deg}(v)\ge 2$. A connected graph with sufficiently many non-trivial vertices must contain some special induced subgraph. We also get the non-connected version of this Ramsey-type result as a corollary.
Extremal graph theoretic questions for q-ary vectors
A $q$-graph $H$ on $n$ vertices is a set of vectors of length $n$ with all entries from $\{0,1,\dots,q\}$ and every vector (that we call a $q$-edge) having exactly two non-zero entries. The support of a $q$-edge $\mathbf{x}$ is the pair $S_{\mathbf{x}}$ of indices of non-zero entries. We say that $H$ is an $s$-copy of an ordinary graph $F$ if $|H|=|E(F)|$, $F$ is isomorphic to the graph with edge set $\{S_{\mathbf{x}}:\mathbf{x}\in H\}$, and whenever $v\in e,e'\in E(F)$, the entries with index corresponding to $v$ in the $q$-edges corresponding to $e$ and $e'$ sum up to at least $s$. E.g., the $q$-edges $(1,3,0,0,0), (0,1,0,0,3)$, and $(3,0,0,0,1)$ form a 4-triangle.
The Turán number $\mathrm{ex}(n,F,q,s)$ is the maximum number of $q$-edges that a $q$-graph $H$ on $n$ vertices can have if it does not contain any $s$-copies of $F$. In the present paper, we determine the asymptotics of $\mathrm{ex}(n,F,q,q+1)$ for many graphs $F$.