Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Poincaré Polynomials of Odd Diagram Classes
Published
• View Publication
• BIB
An odd diagram class is a set of permutations with the same odd diagram. Brenti, Carnevale and Tenner showed that each odd diagram class is an interval in the Bruhat order. They conjectured that such intervals are rank-symmetric. In this paper, we present an algorithm to partition an odd diagram class in a uniform manner. As an application, we obtain that the Poincaré polynomial of an odd diagram class factors into polynomials of the form $1+t+\cdots+t^m$. This in particular resolves the conjecture of Brenti, Carnevale and Tenner.
On a New Alternating Convolution Formula for the Super Catalan Numbers
Published in Romanian Mathematical Magazine, 15 march 2021
• Search Publication
We present a new alternating convolution formula for the super Catalan numbers which arises as a generalization of two known binomial identities. We prove a generalization of this formula by using auxiliary sums, recurrence relations, and induction. By using a new method, we prove one interesting divisibility result with super Catalan numbers.
Arithmetic inflection of superelliptic curves
Published
• View Publication
• BIB
In this paper, we explore the inflectionary behavior of linear series on superelliptic curves $X$ over fields of arbitrary characteristic. Here we give a precise description of the inflection of linear series over the ramification locus of the superelliptic projection; and we initiate a study of those inflectionary varieties that parameterize the inflection points of linear series on $X$ supported away from the superelliptic ramification locus that is predicated on the behavior of their Newton polytopes.
Solution to a Forcible Version of a Graphic Sequence Problem
Published
• View Publication
• BIB
Let $A_n=(a_1,a_2,\ldots,a_n)$ and $B_n=(b_1,b_2,\ldots,b_n)$ be nonnegative integer sequences with $A_n\le B_n$. The purpose of this note is to give a good characterization such that every integer sequence $π=(d_1,d_2,\ldots d_n)$ with even sum and $A_n\le π\le B_n$ is graphic. This solves a forcible version of problem posed by Niessen and generalizes the Erdős--Gallai theorem.
On complexity of substructure connectivity and restricted connectivity of graphs
The connectivity of a graph is an important parameter to evaluate its reliability. $k$-restricted connectivity (resp. $R^h$-restricted connectivity) of a graph $G$ is the minimum cardinality of a set $S$ of vertices in $G$, if exists, whose deletion disconnects $G$ and leaves each component of $G-S$ with more than $k$ vertices (resp. $δ(G-S)\geq h$). In contrast, structure (substructure) connectivity of $G$ is defined as the minimum number of vertex-disjoint subgraphs whose deletion disconnects $G$. As generalizations of the concept of connectivity, structure (substructure) connectivity, restricted connectivity and $R^h$-restricted connectivity have been extensively studied from the combinatorial point of view. Very little is known about the computational complexity of these variants, except for the recently established NP-completeness of $k$-restricted edge-connectivity. In this paper, we prove that the problems of determining structure, substructure, restricted, and $R^h$-restricted connectivity are all NP-complete.
Upper bounds of orders of automorphism groups of leafless metric graphs
Published
• View Publication
• BIB
We prove a tropical analogue of the theorem of Hurwitz: a leafless metric graph of genus $g \ge 2$ has at most $12$ automorphisms when $g = 2$; $2^g g!$ automorphisms when $g \ge 3$. These inequalities are optimal; for each genus, we give all metric graphs which have the maximum numbers of automorphisms. The proof is written in terms of graph theory.
Peripherality in networks: theory and applications
Published
• View Publication
• BIB
We investigate several related measures of peripherality and centrality for vertices and edges in networks, including the Mostar index which was recently introduced as a measure of peripherality for both edges and networks. We refute a conjecture on the maximum possible Mostar index of bipartite graphs from (Došlić et al, Journal of Mathematical Chemistry, 2018) and (Ali and Došlić, Applied Mathematics and Computation, 2021). We also correct a result from the latter paper, where they claimed that the maximum possible value of the terminal Mostar index among all trees of order $n$ is $(n-1)(n-2)$. We show that this maximum is $(n-1)(n-3)$ for $n \ge 3$, and that it is only attained by the star.
We asymptotically answer another problem on the maximum difference between the Mostar index and the irregularity of trees from (F. Gao et al, On the difference of Mostar index and irregularity of graphs, Bulletin of the Malaysian Mathematical Sciences Society, 2021). We also prove a number of extremal bounds and computational complexity results about the Mostar index, irregularity, and measures of peripherality and centrality.
We discuss graphs where the Mostar index is not an accurate measure of peripherality. We construct a general family of graphs with the property that the Mostar index is strictly greater for edges that are closer to the center. We also investigate centrality and peripherality in two graphs which represent the SuperFast and MOZART-4 systems of atmospheric chemical reactions by computing various measures of peripherality and centrality for the vertices and edges in these graphs. For both of these graphs, we find that the Mostar index is closer to a measure of centrality than peripherality of the edges. We also introduce some new indices which perform well as measures of peripherality on the SuperFast and MOZART-4 graphs.
Linear-time algorithm for vertex 2-coloring without monochromatic triangles on planar graphs
In the problem of 2-coloring without monochromatic triangles (or triangle-tree 2-coloring), vertices of the simple, connected, undirected graph are colored with either 'black' or 'white' such that there are no 3 mutually adjacent vertices of the same color. In this paper we are positively answering the question posed in our previous work, namely, if there exists an algorithm solving 2-coloring without monochromatic triangles on planar graphs with linear-time complexity.
On spherical 4-distance 7-designs
Published
• View Publication
• BIB
We investigate spherical 4-distance 7-designs by studying their distance distributions. We compute these distance distributions and use their product (an integer) to derive certain divisibility conditions relating the dimension $n$ and the cardinality $M$ of our designs. It follows that $n$ divides $12M$ and $n+1$ divides $4M^2$. This result provides a good base for computer experiments to support the folklore conjecture that the only spherical 4-distance 7-designs are the tight spherical 7-designs. We then proceed with a computer assisted proof of this conjecture in all dimensions $n \leq 1000$.
A Short Note on the Exact Counting of Tree-Child Networks
Tree-child networks are an important network class which are used in phylogenetics to model reticulate evolution. In a recent paper, Pons and Batle (2021) conjectured a relation between tree-child networks and certain words. In this short note, we prove their conjecture for the (important) class of one-component tree-child networks.
Bounds for the Twin-width of Graphs
Published in SIAM J. Discrete Math., 36(3):1503-2366, 2022
• View Publication
• BIB
Bonnet, Kim, Thomassé, and Watrigant (2020) introduced the twin-width of a graph. We show that the twin-width of an $n$-vertex graph is less than $(n+\sqrt{n\ln n}+\sqrt{n}+2\ln n)/2$, and the twin-width of an $m$-edge graph for a positive $m$ is less than $\sqrt{3m}+ m^{1/4} \sqrt{\ln m} / (4\cdot 3^{1/4}) + 3m^{1/4} / 2$. Conference graphs of order $n$ (when such graphs exist) have twin-width at least $(n-1)/2$, and we show that Paley graphs achieve this lower bound. We also show that the twin-width of the Erdős-Rényi random graph $G(n,p)$ with $1/n\leq p=p(n)\leq 1/2$ is larger than $2p(1-p)n - (2\sqrt{2}+\varepsilon)\sqrt{p(1-p)n\ln n}$ asymptotically almost surely for any positive $\varepsilon$. Lastly, we calculate the twin-width of random graphs $G(n,p)$ with $p\leq c/n$ for a constant $c<1$, determining the thresholds at which the twin-width jumps from $0$ to $1$ and from $1$ to $2$.
Matching forcing polynomial of generalized Petersen graph GP(n, 2)
Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been considered on matching forcing problem of non-plane non-bipartite graphs. In this paper, we investigate the forcing polynomials of generalized Petersen graphs GP(n, 2) for n = 5, 6, . . . , 15, which is a typical class of non-plane non-bipartite graph.
Combinatorial proofs of multivariate Cayley--Hamilton theorems
Published in Linear Algebra and its Applications Volume 661, (2023), Pages 247--269
• View Publication
• BIB
We give combinatorial proofs of two multivariate Cayley--Hamilton type theorems. The first one is due to Phillips (Amer. J. Math., 1919) involving $2k$ matrices, of which $k$ commute pairwise. The second one regards the mixed discriminant, a matrix function which has generated a lot of interest in recent times. Recently, the Cayley--Hamilton theorem for mixed discriminants was proved by Bapat and Roy (Comb. Math. and Comb. Comp., 2017). We prove a Phillips-type generalization of the Bapat--Roy theorem involving $2nk$ matrices, where $n$ is the size of the matrices, among which $nk$ commute pairwise. Our proofs generalize the univariate proof of Straubing (Disc. Math., 1983) for the original Cayley--Hamilton theorem in a nontrivial way, and involve decorated permutations and decorated paths.
Generalised Howe dualityand injectivity of induction: the symplectic case
Published
• View Publication
• BIB
We study the symplectic Howe duality using two new and independent combinatorial methods: via determinantal formulae on the one hand, and via (bi)crystals on the other hand. The first approach allows us to establish a generalised version where weight multiplicities are replaced by branching coefficients. In turn, this generalised Howe duality is used to prove the injectivity of induction for Levi branchings as previously conjectured by the last two authors.
Symmetry Parameters of Various Hypercube Families
Published
• View Publication
• BIB
In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes.
On Explicit Constructions of Extremely Depth Robust Graphs
A directed acyclic graph $G=(V,E)$ is said to be $(e,d)$-depth robust if for every subset $S \subseteq V$ of $|S| \leq e$ nodes the graph $G-S$ still contains a directed path of length $d$. If the graph is $(e,d)$-depth-robust for any $e,d$ such that $e+d \leq (1-ε)|V|$ then the graph is said to be $ε$-extreme depth-robust. In the field of cryptography, (extremely) depth-robust graphs with low indegree have found numerous applications including the design of side-channel resistant Memory-Hard Functions, Proofs of Space and Replication, and in the design of Computationally Relaxed Locally Correctable Codes. In these applications, it is desirable to ensure the graphs are locally navigable, i.e., there is an efficient algorithm $\mathsf{GetParents}$ running in time $\mathrm{polylog} |V|$ which takes as input a node $v \in V$ and returns the set of $v$'s parents. We give the first explicit construction of locally navigable $ε$-extreme depth-robust graphs with indegree $O(\log |V|)$. Previous constructions of $ε$-extreme depth-robust graphs either had indegree $\tildeω(\log^2 |V|)$ or were not explicit.
On Polytopes with Linear Rank with respect to Generalizations of the Split Closure
Published
• View Publication
• BIB
In this paper we study the rank of polytopes contained in the 0-1 cube with respect to $t$-branch split cuts and $t$-dimensional lattice cuts for a fixed positive integer $t$. These inequalities are the same as split cuts when $t=1$ and generalize split cuts when $t > 1$. For polytopes contained in the $n$-dimensional 0-1 cube, the work of Balas implies that the split rank can be at most $n$, and this bound is tight as Cornuéjols and Li gave an example with split rank $n$. All known examples with high split rank -- i.e., at least $cn$ for some positive constant $c < 1$ -- are defined by exponentially many (as a function of $n$) linear inequalities. For any fixed integer $t > 0$, we give a family of polytopes contained in $[0,1]^n$ for sufficiently large $n$ such that each polytope has empty integer hull, is defined by $O(n)$ inequalities, and has rank $Ω(n)$ with respect to $t$-dimensional lattice cuts. Therefore the split rank of these polytopes is $Ω(n)$. It was shown earlier that there exist generalized branch-and-bound proofs, with logarithmic depth, of the nonexistence of integer points in these polytopes. Therefore, our lower bound results on split rank show an exponential separation between the depth of branch-and-bound proofs and split rank.
Exploring a planet, revisited
Published
• View Publication
• BIB
How should we place $n$ great circles on a sphere to minimize the furthest distance between a point on the sphere and its nearest great circle? Fejes Tóth conjectured that the optimum is attained by placing $n$ circles evenly spaced all passing through the north and south poles. This conjecture was recently proved by Jiang and Polyanskii. We present a short simplification of Ortega-Moreno's alternate proof of this conjecture.
On Some Generalized Vertex Folkman Numbers
Published
• View Publication
• BIB
For a graph $G$ and integers $a_i\ge 1$, the expression $G \rightarrow (a_1,\dots,a_r)^v$ means that for any $r$-coloring of the vertices of $G$ there exists a monochromatic $a_i$-clique in $G$ for some color $i \in \{1,\cdots,r\}$. The vertex Folkman numbers are defined as $F_v(a_1,\dots,a_r;H) = \min\{|V(G)| : G$ is $H$-free and $G \rightarrow (a_1,\dots,a_r)^v\}$, where $H$ is a graph. Such vertex Folkman numbers have been extensively studied for $H=K_s$ with $s>\max\{a_i\}_{1\le i \le r}$. If $a_i=a$ for all $i$, then we use notation $F_v(a^r;H)=F_v(a_1,\dots,a_r;H)$.
Let $J_k$ be the complete graph $K_k$ missing one edge, i.e. $J_k=K_k-e$. In this work we focus on vertex Folkman numbers with $H=J_k$, in particular for $k=4$ and $a_i\le 3$. A result by Nešetřil and Rödl from 1976 implies that $F_v(3^r;J_4)$ is well defined for any $r\ge 2$. We present a new and more direct proof of this fact. The simplest but already intriguing case is that of $F_v(3,3;J_4)$, for which we establish the upper bound of 135 by using the $J_4$-free process. We obtain the exact values and bounds for a few other small cases of $F_v(a_1,\dots,a_r;J_4)$ when $a_i \le 3$ for all $1 \le i \le r$, including $F_v(2,3;J_4)=14$, $F_v(2^4;J_4)=15$, and $22 \le F_v(2^5;J_4) \le 25$. Note that $F_v(2^r;J_4)$ is the smallest number of vertices in any $J_4$-free graph with chromatic number $r+1$. Most of the results were obtained with the help of computations, but some of the upper bound graphs we found are interesting by themselves.
On general Sombor index
Published in Asian-European Journal of Mathematics, 2022
• View Publication
• BIB
We present the bounds in terms of other important graph parameters for general Sombor index which generalises both the forgotten index and the Sombor index. We also explore the Nordhaus-Gaddum-type result for the general Sombor index. We present further the relations between general Sombor index and other generalised indices: general Randić index and general sum-connectivity index.