Showing 20 papers (Total: 83076 papers, 47999 authors in database)
On positivity of Ehrhart polynomials
Published
• View Publication
• BIB
Ehrhart discovered that the function that counts the number of lattice points in dilations of an integral polytope is a polynomial. We call the coefficients of this polynomial Ehrhart coefficients, and say a polytope is Ehrhart positive if all Ehrhart coefficients are positive (which is not true for all integral polytopes). The main purpose of this article is to survey interesting families of polytopes that are known to be Ehrhart positive and discuss the reasons from which their Ehrhart positivity follows. We also include examples of polytopes that have negative Ehrhart coefficients and polytopes that are conjectured to be Ehrhart positive, as well as pose a few relevant questions.
Quiver mutations and Boolean reflection monoids
Published in Journal of Algebra, Volume 544, 15 February 2020, Pages 417-453
• View Publication
• BIB
In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respectively. Surprisingly, inner by diagram automorphisms of irreducible Weyl groups and Boolean reflection monoids can be constructed by sequences of mutations preserving the same underlying diagrams. Besides, we show that semigroup algebras of Boolean reflection monoids are cellular algebras.
Necessary conditions for Schur-maximality
Published in Electron. J. Combin. 25 50pp (2018)
• View Publication
• BIB
McNamara and Pylyavskyy conjectured precisely which connected skew shapes are maximal in the Schur-positivity order, which says that $B\leq _s A$ if $s_A-s_B$ is Schur-positive. Towards this, McNamara and van Willigenburg proved that it suffices to study equitable ribbons, namely ribbons whose row lengths are all of length $a$ or $(a+1)$ for $a\geq 2$. In this paper we confirm the conjecture of McNamara and Pylyavskyy in all cases where the comparable equitable ribbons form a chain. We also confirm a conjecture of McNamara and van Willigenburg regarding which equitable ribbons in general are minimal.
Additionally, we establish two sufficient conditions for the difference of two ribbons to be Schur-positive, which manifest as diagrammatic operations on ribbons. We also deduce two necessary conditions for the difference of two equitable ribbons to be Schur-positive that rely on rows of length $a$ being at the end, or on rows of length $(a+1)$ being evenly distributed.
A generalization of a 1998 unimodality conjecture of Reiner and Stanton
Published in Journal of Combinatorics, Vol. 11, no. 1 (2020), 111--126
• View Publication
• BIB
An interesting, and still wide open, conjecture of Reiner and Stanton predicts that certain "strange" symmetric differences of $q$-binomial coefficients are always nonnegative and unimodal. We extend their conjecture to a broader, and perhaps more natural, framework, by conjecturing that, for each $k\ge 5$, the polynomials $$f(k,m,b)(q)=\binom{m}{k}_q-q^{\frac{k(m-b)}{2}+b-2k+2}\cdot\binom{b}{k-2}_q$$ are nonnegative and unimodal for all $m\gg_k 0$ and $b\le \frac{km-4k+4}{k-2}$ such that $kb\equiv km$ (mod 2), with the only exception of $b=\frac{km-4k+2}{k-2}$ when this is an integer.
Using the KOH theorem, we combinatorially show the case $k=5$. In fact, we completely characterize the nonnegativity and unimodality of $f(k,m,b)$ for $k\le 5$. (This also provides an isolated counterexample to Reiner-Stanton's conjecture when $k=3$.) Further, we prove that, for each $k$ and $m$, it suffices to show our conjecture for the largest $2k-6$ values of $b$.
New Covering Array Numbers
Published
• View Publication
• BIB
A covering array CA(N; t; k; v) is an N x k array on v symbols such that every N x t subarray contains as a row each t-tuple over the v symbols at least once. The minimum N for which a CA(N; t; k; v) exists is called the covering array number of t, k, and v, and it is denoted by CAN(t; k; v). In this work we prove new CANs using an optimized procedure.
Circuit Preserving Edge Maps
Published in Journal of Combinatorial Theory (B) 22, 91-96 (1977)
• View Publication
• BIB
It is proved that any one-to-one edge map f from a 3-connected graph G onto a graph H, G and H possibly infinite, satisfying f(C) is a circuit in H whenever C is a circuit in G is induced by a vertex isomorphism. This generalizes a result of Whitney which hypothesizes f(C) is a circuit in H if and only if C is a circuit in G.
On the spectrum of hypergraphs
Published
• View Publication
• BIB
Here we study the spectral properties of an underlying weighted graph of a non-uniform hypergraph by introducing different connectivity matrices, such as adjacency, Laplacian and normalized Laplacian matrices. We show that different structural properties of a hypergrpah, can be well studied using spectral properties of these matrices. Connectivity of a hypergraph is also investigated by the eigenvalues of these operators. Spectral radii of the same are bounded by the degrees of a hypergraph. The diameter of a hypergraph is also bounded by the eigenvalues of its connectivity matrices. We characterize different properties of a regular hypergraph characterized by the spectrum. Strong (vertex) chromatic number of a hypergraph is bounded by the eigenvalues. Cheeger constant on a hypergraph is defined and we show that it can be bounded by the smallest nontrivial eigenvalues of Laplacian matrix and normalized Laplacian matrix, respectively, of a connected hypergraph. We also show an approach to study random walk on a (non-uniform) hypergraph that can be performed by analyzing the spectrum of transition probability operator which is defined on that hypergraph. Ricci curvature on hypergraphs is introduced in two different ways. We show that if the Laplace operator, $Δ$, on a hypergraph satisfies a curvature-dimension type inequality $CD (\mathbf{m}, \mathbf{K})$ with $\mathbf{m}>1 $ and $\mathbf{K}>0 $ then any non-zero eigenvalue of $- Δ$ can be bounded below by $ \frac{ \mathbf{m} \mathbf{K}}{ \mathbf{m} -1 } $. Eigenvalues of a normalized Laplacian operator defined on a connected hypergraph can be bounded by the Ollivier's Ricci curvature of the hypergraph.
Seshadri constants and special configurations of points in the projective plane
Published in Rocky Mountain Journal of Mathematics 49(3): 963 -- 978 (2019)
• View Publication
• BIB
In the present note, we focus on certain properties of special curves that might be used in the theory of multi-point Seshadri constants for ample line bundles on the complex projective plane. In particular, we provide three Ein-Lazarsfeld-Xu-type lemmas for plane curves and a lower bound on the multi-point Seshadri constant of $\mathcal{O}_{\mathbb{P}^{2}}(1)$ under the assumption that the chosen points are not very general. In the second part, we focus on certain arrangements of points in the plane which are given by line arrangements. We show that in some cases the multi-point Seshadri constants of $\mathcal{O}_{\mathbb{P}^{2}}(1)$ centered at singular loci of line arrangements are computed by lines from the arrangement having some extremal properties.
Circulant Hadamard matrices as HFP-codes of type $C_{4n}\times C_2$
We prove that a circulant Hadamard code of length $4n$ can always be seen as an HFP-code (Hadamard full propelinear code) of type $C_{4n}\times C_2$, where $C_2=\langle u\rangle$ or the same, as a cocyclic Hadamard code. We compute the rank and dimension of the kernel of these kind of codes.
Complement to the results of F. Sharov
Question when rectangle can be tiled with similar copies of rectangles witch quetient of sides quadratic irrationalities. New proof of one part F. Sharov's theorem. Other close result.
The effect of local majority on global majority in connected graphs
Published
• View Publication
• BIB
Let ${\mathcal G}$ be an infinite family of connected graphs and let $k$ be a positive integer. We say that $k$ is ${\it forcing}$ for ${\mathcal G}$ if for all $G \in {\mathcal G}$ but finitely many, the following holds. Any $\{-1,1\}$-weighing of the edges of $G$ for which all connected subgraphs on $k$ edges are positively weighted implies that $G$ is positively weighted. Otherwise, we say that it is ${\it weakly~forcing}$ for ${\mathcal G}$ if any such weighing implies that the weight of $G$ is bounded from below by a constant. Otherwise we say that $k$ ${\it collapses}$ for ${\mathcal G}$.
We classify $k$ for some of the most prominent classes of graphs, such as all connected graphs, all connected graphs with a given maximum degree and all connected graphs with a given average degree.
Sparse juntas on the biased hypercube
Published in TheoretiCS, Volume 3 (July 30, 2024) theoretics:11523
• View Publication
• BIB
We give a structure theorem for Boolean functions on the $p$-biased hypercube which are $ε$-close to degree $d$ in $L_2$, showing that they are close to sparse juntas. Our structure theorem implies that such functions are $O(ε^{C_d} + p)$-close to constant functions. We pinpoint the exact value of the constant $C_d$. We also give an analogous result for monotone Boolean functions on the biased hypercube which are $ε$-close to degree $d$ in $L_2$, showing that they are close to sparse DNFs. Our structure theorems are optimal in the following sense: for every $d,ε,p$, we identify a class $\mathcal{F}_{d,ε,p}$ of degree $d$ sparse juntas which are $O(ε)$-close to Boolean (in the monotone case, width $d$ sparse DNFs) such that a Boolean function on the $p$-biased hypercube is $O(ε)$-close to degree $d$ in $L_2$ iff it is $O(ε)$-close to a function in $\mathcal{F}_{d,ε,p}$.
Stability of depth functions of cover ideals of balanced hypergraphs
Published
• View Publication
• BIB
We prove that the depth functions of cover ideals of balanced hyper- gragh have the non-increasing property. Furthermore, we also give a bound for the index of depth stability of these ideals.
On the Inverse of Forward Adjacency Matrix
During routine state space circuit analysis of an arbitrarily connected set of nodes representing a lossless LC network, a matrix was formed that was observed to implicitly capture connectivity of the nodes in a graph similar to the conventional incidence matrix, but in a slightly different manner. This matrix has only 0, 1 or -1 as its elements. A sense of direction (of the graph formed by the nodes) is inherently encoded in the matrix because of the presence of -1. It differs from the incidence matrix because of leaving out the datum node from the matrix. Calling this matrix as forward adjacency matrix, it was found that its inverse also displays useful and interesting physical properties when a specific style of node-indexing is adopted for the nodes in the graph. The graph considered is connected but does not have any closed loop/cycle (corresponding to closed loop of inductors in a circuit) as with its presence the matrix is not invertible. Incidentally, by definition the graph being considered is a tree. The properties of the forward adjacency matrix and its inverse, along with rigorous proof, are presented.
Hamiltonian Path in Split Graphs- a Dichotomy
Published
• View Publication
• BIB
In this paper, we investigate Hamiltonian path problem in the context of split graphs, and produce a dichotomy result on the complexity of the problem. Our main result is a deep investigation of the structure of $K_{1,4}$-free split graphs in the context of Hamiltonian path problem, and as a consequence, we obtain a polynomial-time algorithm to the Hamiltonian path problem in $K_{1,4}$-free split graphs. We close this paper with the hardness result: we show that, unless P=NP, Hamiltonian path problem is NP-complete in $K_{1,5}$-free split graphs by reducing from Hamiltonian cycle problem in $K_{1,5}$-free split graphs. Thus this paper establishes a "thin complexity line" separating NP-complete instances and polynomial-time solvable instances.
Supersaturation of $C_4$: from Zarankiewicz towards Erdős-Simonovits-Sidorenko
For a positive integer $n$, a graph $F$ and a bipartite graph $G\subseteq K_{n,n}$ let ${F(n+n, G)}$ denote the number of copies of $F$ in $G$, and let $F(n+n, m)$ denote the minimum number of copies of $F$ in all graphs $G\subseteq K_{n,n}$ with $m$ edges. The study of such a function is the subject of theorems of supersaturated graphs and closely related to the Sidorenko-Erdős-Simonovits conjecture as well. In the present paper we investigate the case when $F= K_{2,t}$ and in particular the quadrilateral graph case. For $F=C_4$, we obtain exact results if $m$ and the corresponding Zarankiewicz number differ by at most $n$, by a finite geometric construction of almost difference sets. $F= K_{2,t}$ if $m$ and the corresponding Zarankiewicz number differs by $Cn\sqrt{n}$ we prove asymptotically sharp results. We also study stability questions and point out the connections to covering and packing block designs.
A tale of centrally symmetric polytopes and spheres
Published
• View Publication
• BIB
This paper is a survey of recent advances as well as open problems in the study of face numbers of centrally symmetric simplicial polytopes and spheres. The topics discussed range from neighborliness of centrally symmetric polytopes and the upper bound theorem for centrally symmetric simplicial spheres to the generalized lower bound theorem for centrally symmetric simplicial polytopes and the lower bound conjecture for centrally symmetric simplicial spheres and manifolds.
Recovering tree-child networks from shortest inter-taxa distance information
Published
• View Publication
• BIB
Phylogenetic networks are a type of leaf-labelled, acyclic, directed graph used by biologists to represent the evolutionary history of species whose past includes reticulation events. A phylogenetic network is tree-child if each non-leaf vertex is the parent of a tree vertex or a leaf. Up to a certain equivalence, it has been recently shown that, under two different types of weightings, edge-weighted tree-child networks are determined by their collection of distances between each pair of taxa. However, the size of these collections can be exponential in the size of the taxa set. In this paper, we show that, if we ignore redundant edges, the same results are obtained with only a quadratic number of inter-taxa distances by using the shortest distance between each pair of taxa. The proofs are constructive and give cubic-time algorithms in the size of the taxa sets for building such weighted networks.
On the Parallel Parameterized Complexity of the Graph Isomorphism Problem
Published
• View Publication
• BIB
In this paper, we study the parallel and the space complexity of the graph isomorphism problem (\GI{}) for several parameterizations. Let $\mathcal{H}=\{H_1,H_2,\cdots,H_l\}$ be a finite set of graphs where $|V(H_i)|\leq d$ for all $i$ and for some constant $d$. Let $\mathcal{G}$ be an $\mathcal{H}$-free graph class i.e., none of the graphs $G\in \mathcal{G}$ contain any $H \in \mathcal{H}$ as an induced subgraph. We show that \GI{} parameterized by vertex deletion distance to $\mathcal{G}$ is in a parameterized version of $\AC^1$, denoted $\PL$-$\AC^1$, provided the colored graph isomorphism problem for graphs in $\mathcal{G}$ is in $\AC^1$. From this, we deduce that \GI{} parameterized by the vertex deletion distance to cographs is in $\PL$-$\AC^1$.
The parallel parameterized complexity of \GI{} parameterized by the size of a feedback vertex set remains an open problem. Towards this direction we show that the graph isomorphism problem is in $\PL$-$\TC^0$ when parameterized by vertex cover or by twin-cover.
Let $\mathcal{G}'$ be a graph class such that recognizing graphs from $\mathcal{G}'$ and the colored version of \GI{} for $\mathcal{G}'$ is in logspace ($Ł$). We show that \GI{} for bounded vertex deletion distance to $\mathcal{G}'$ is in $Ł$. From this, we obtain logspace algorithms for \GI{} for graphs with bounded vertex deletion distance to interval graphs and graphs with bounded vertex deletion distance to cographs.
Characterization of graphs with distinguishing number equal list distinguishing number
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling with $d$ labels that is preserved only by a trivial automorphism. A list assignment to $G$ is an assignment $L = \{L(v)\}_{v\in V (G)}$ of lists of labels to the vertices of $G$. A distinguishing $L$-labeling of $G$ is a distinguishing labeling of $G$ where the label of each vertex $v$ comes from $L(v)$. The list distinguishing number of $G$, $D_l(G)$ is the minimum $k$ such that every list assignment to $G$ in which $|L(v)| = k$ for all $v \in V (G)$ yields a distinguishing $L$-labeling of $G$. In this paper, we determine the list-distinguishing number for two families of graphs. We also characterize graphs with the distinguishing number equal the list distinguishing number. Finally, we show that this characterization works for other list numbers of a graph.