Showing 20 papers (Total: 82505 papers, 47699 authors in database)
The Hopf monoid on nonnesting supercharacters of pattern groups
Published
• View Publication
• BIB
We construct supercharacter theories for a collection of unipotent matrix groups and produce a Hopf monoid from the supercharacters. These supercharacter theories are coarser than those defined by Diaconis--Isaacs for algebra groups and have supercharacters and superclasses indexed by nonnesting labeled set partitions. We compute the supercharacter tables and describe the product and coproduct of the Hopf monoid combinatorially. We also show that this Hopf monoid is free.
Extending Precolorings to Distinguish Group Actions
Published
• View Publication
• BIB
Given a group $Γ$ acting on a set $X$, a $k$-coloring $φ:X\to\{1,\dots,k\}$ of $X$ is distinguishing with respect to $Γ$ if the only $γ\in Γ$ that fixes $φ$ is the identity action. The distinguishing number of the action $Γ$, denoted $D_Γ(X)$, is then the smallest positive integer $k$ such that there is a distinguishing $k$-coloring of $X$ with respect to $Γ$. This notion has been studied in a number of settings, but by far the largest body of work has been concerned with finding the distinguishing number of the action of the automorphism group of a graph $G$ upon its vertex set, which is referred to as the distinguishing number of $G$.
The distinguishing number of a group action is a measure of how difficult it is to "break" all of the permutations arising from that action. In this paper, we aim to further differentiate the resilience of group actions with the same distinguishing number. In particular, we introduce a precoloring extension framework to address this issue. A set $S \subseteq X$ is a fixing set for $Γ$ if for every non-identity element $γ\in Γ$ there is an element $s \in S$ such that $γ(s) \neq s$. The distinguishing extension number $\operatorname{ext}_D(X,Γ;k)$ is the minimum number $m$ such that for all fixing sets $W \subseteq X$ with $|W| \geq m$, every $k$-coloring $c : X \setminus W \to [k]$ can be extended to a $k$-coloring that distinguishes $X$.
In this paper, we prove that $\operatorname{ext}_D(\mathbb{R},\operatorname{Aut}(\mathbb{R}),2) =4$, where $\operatorname{Aut}(\mathbb{R})$ is comprised of compositions of translations and reflections. We also consider the distinguishing extension number of the circle and (finite) cycles, obtaining several exact results and bounds.
Splitters and Decomposers for Binary Matroids
Let $EX[M_1\dots, M_k]$ denote the class of binary matroids with no minors isomorphic to $M_1, \dots, M_k$. In this paper we give a decomposition theorem for $EX[S_{10}, S_{10}^*]$, where $S_{10}$ is a certain 10-element rank-4 matroid. As corollaries we obtain decomposition theorems for the classes obtained by excluding the Kuratowski graphs $EX[M(K_{3,3}), M^*(K_{3,3}), M(K_5), M^*(K_5)]$ and $EX[M(K_{3,3}), M^*(K_{3,3})]$. These decomposition theorems imply results on internally $4$-connected matroids by Zhou [\ref{Zhou2004}], Qin and Zhou [\ref{Qin2004}], and Mayhew, Royle and Whitte [\ref{Mayhewsubmitted}].
Lower bounds of the skew spectral radii and skew energy of oriented graphs
Published
• View Publication
• BIB
Let $G$ be a graph with maximum degree $Δ$, and let $G^σ$ be an oriented graph of $G$ with skew adjacency matrix $S(G^σ)$. The skew spectral radius $ρ_s(G^σ)$ of $G^σ$ is defined as the spectral radius of $S(G^σ)$. The skew spectral radius has been studied, but only few results about its lower bound are known. This paper determines some lower bounds of the skew spectral radius, and then studies the oriented graphs whose skew spectral radii attain the lower bound $\sqrtΔ$. Moreover, we apply the skew spectral radius to the skew energy of oriented graphs, which is defined as the sum of the norms of all the eigenvalues of $S(G^σ)$, and denoted by $\mathcal{E}_s(G^σ)$. As results, we obtain some lower bounds of the skew energy, which improve the known lower bound obtained by Adiga et al.
Generalizations of Andrews' curious identities
According to the method of series rearrangement, we establish two generalizations of Andrews' curious $q$-series identity with an extra integer parameter. The limiting cases of them produce two extensions of Andrews' curious $_3F_2(\frac{3}{4})$-series identity with an additional integer parameter. Meanwhile, several related results are also given.
Extensions of two $q$-Gosper identities with an extra integer parameter
According to the method of series rearrangement, we establish the extensions of two $q$-Gosper identities with an extra integer parameter. The limiting cases of them produce the generalizations of Gosper's two $_3F_2(\frac{3}{4})$-series identities with an additional integer parameter. Meanwhile, several related results are also given.
On extensions of Minkowski's theorem on successive minima
Published
• View Publication
• BIB
Minkowski's 2nd theorem in the Geometry of Numbers provides optimal upper and lower bounds for the volume of a $o$-symmetric convex body in terms of its successive minima. In this paper we study extensions of this theorem from two different points of view: either relaxing the symmetry condition, assuming that the centroid of the set lies at the origin, or replacing the volume functional by the surface area.
Graphs of order $n$ and diameter $2(n-1)/3$ minimizing the spectral radius
Published
• View Publication
• BIB
The spectral radius of a graph is the largest eigenvalue of its adjacency matrix. A minimizer graph is such that minimizes the spectral radius among all connected graphs on $n$ vertices with diameter $d$. The minimizer graphs are known for $d\in\{1,2\}\cup [n/2,2n/3-1]\cup\{n-k\mid k=1,2,...,8\}$. In this paper, we determine all minimizer graphs for $d=2(n-1)/3$.
Signed graph embedding: when everybody can sit closer to friends than enemies
Signed graphs are graphs with signed edges. They are commonly used to represent positive and negative relationships in social networks. While balance theory and clusterizable graphs deal with signed graphs to represent social interactions, recent empirical studies have proved that they fail to reflect some current practices in real social networks. In this paper we address the issue of drawing signed graphs and capturing such social interactions. We relax the previous assumptions to define a drawing as a model in which every vertex has to be placed closer to its neighbors connected via a positive edge than its neighbors connected via a negative edge in the resulting space. Based on this definition, we address the problem of deciding whether a given signed graph has a drawing in a given $\ell$-dimensional Euclidean space. We present forbidden patterns for signed graphs that admit the introduced definition of drawing in the Euclidean plane and line. We then focus on the $1$-dimensional case, where we provide a polynomial time algorithm that decides if a given complete signed graph has a drawing, and constructs it when applicable.
Crossing numbers of periodic graphs
A graph is periodic if it can be obtained by joining identical pieces in a cyclic fashion. It is shown that the limit crossing number of a periodic graph is computable. This answers a question of Benny Pinontoan and Bruce Richter (2004).
Zipper logic
Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article.
Links in the complex of weakly separated collections
Published
• View Publication
• BIB
Plabic graphs are interesting combinatorial objects used to study the totally nonnegative Grassmannian. Faces of plabic graphs are labeled by $k$-element sets of positive integers, and a collection of such $k$-element sets are the face labels of a plabic graph if that collection forms a maximal weakly separated collection. There are moves that one can apply to plabic graphs, and thus to maximal weakly separated collections, analogous to mutations of seeds in cluster algebras. In this short note, we show that if two maximal weakly separated collections can be mutated from one to another, then one can do so while freezing the face labels they have in common.
On Certain Arithmetic Integer Additive set-indexers of Graphs
Published in Discrete Mathematics, Algorithms and Applications, Vol.7, Issue. 3, 2015, 1-15
• View Publication
• BIB
Let $\mathbb{N}_0$ denote the set of all non-negative integers and $\mathcal{P}(\mathbb{N}_0)$ be its power set. An integer additive set-indexer (IASI) of a graph $G$ is an injective function $f:V(G)\to \mathcal{P}(\mathbb{N}_0)$ such that the induced function $f^+:E(G) \to \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective, where $\mathbb{N}_0$ is the set of all non-negative integers. A graph $G$ which admits an IASI is called an IASI graph. An IASI of a graph $G$ is said to be an arithmetic IASI if the elements of the set-labels of all vertices and edges of $G$ are in arithmetic progressions. In this paper, we discuss about two special types of arithmetic IASIs.
Helly's theorem for systolic complexes
We prove the analogue of Helly's theorem for systolic complexes. Namely, we show that 7-systolic complexes have Helly dimension less or equal to 1, whereas 6-systolic complexes have Helly dimension bounded from the above by 2.
Most Reinhardt polygons are sporadic
Published
• View Publication
• BIB
A \textit{Reinhardt polygon} is a convex $n$-gon that, for $n$ not a power of $2$, is optimal in three different geometric optimization problems, for example, it has maximal perimeter relative to its diameter. Some such polygons exhibit a particular periodic structure; others are termed \textit{sporadic}. Prior work has described the periodic case completely, and has shown that sporadic Reinhardt polygons occur for all $n$ of the form $n=pqr$ with $p$ and $q$ distinct odd primes and $r\geq2$. We show that (dihedral equivalence classes of) sporadic Reinhardt polygons outnumber the periodic ones for almost all $n$, and find that this first occurs at $n=105$. We also determine a formula for the number of sporadic Reinhardt polygons when $n=2pq$ with $p$ and $q$ distinct odd primes.
Inequivalent Factorizations of Permutations
Published
• View Publication
• BIB
Two factorizations of a permutation into products of cycles are equivalent if one can be obtained from the other by repeatedly interchanging adjacent disjoint factors. This paper studies the enumeration of equivalence classes under this relation. We obtain closed form expressions for generating series of inequivalent minimal transitive factorizations of permutations having up to three cycles, and also of permutations with four cycles when factors are restricted to be transpositions. Our derivations rely on a new correspondence between inequivalent factorizations and acyclic alternating digraphs.
Strong similarities between the enumerative results derived here and analogous ones for "ordinary" factorizations suggest that a unified theory remains to be discovered. We also establish connections between inequivalent factorizations and other well-studied classes of permutation factorizations. In particular, a relationship with monotone factorizations allows us to recover an exact counting formula for the latter due to Goulden, Guay-Paquet and Novak.
Chromatic quasisymmetric functions
We introduce a quasisymmetric refinement of Stanley's chromatic symmetric function. We derive refinements of both Gasharov's Schur-basis expansion of the chromatic symmetric function and Chow's expansion in Gessel's basis of fundamental quasisymmetric functions. We present a conjectural refinement of Stanley's power sum basis expansion, which we prove in special cases. We describe connections between the chromatic quasisymmetric function and both the $q$-Eulerian polynomials introduced in our earlier work and, conjecturally, representations of symmetric groups on cohomology of regular semisimple Hessenberg varieties, which have been studied by Tymoczko and others. We discuss an approach, using the results and conjectures herein, to the $e$-positivity conjecture of Stanley and Stembridge for incomparability graphs of $(3+1)$-free posets.
The graphs of Hoffman-Singleton, Higman-Sims, and McLaughlin, and the Hermitian curve of degree 6 in characteristic 5
We construct the graphs of Hoffman-Singleton, Higman-Sims, and McLaughlin from certain relations on the set of non-singular conics totally tangent to the Hermitian curve of degree 6 in characteristic 5. We then interpret this geometric construction in terms of the subgroup structure of the automorphism group of this Hermitian curve.
Homology of torus spaces with acyclic proper faces of the orbit space
Let $X$ be 2n-dimensional compact manifold with a locally standard action of a compact torus. The orbit space $X/T$ is a manifold with corners. Suppose that all proper faces of $X/T$ are acyclic. In the paper we study the homological spectral sequence $E^*_{*,*}\Rightarrow H_*(X)$ corresponding to the filtration of $X$ by orbit types. When the free part of the action is not twisted, we describe the whole spectral sequence in terms of homology and combinatorial structure of $X/T$. In this case we describe the kernel and the cokernel of the natural map $k[X/T]/(l.s.o.p.) \to H_*(X)$, where $k[X/T]$ is a face ring of $X/T$ and $(l.s.o.p.)$ is the ideal generated by a linear system of parameters (this ideal appears as the image of $H^{>0}(BT)$ in equivariant cohomology. There exists a natural double grading on $H_*(X)$, which satisfies bigraded Poincare duality. This general theory is applied to compute homology groups of origami toric manifolds with acyclic proper faces of the orbit space. A number of natural generalizations is considered. These include Buchsbaum simplicial complexes and posets. h'- and h''-numbers of simplicial posets appear as the ranks of certain terms in the spectral sequence $E^*_{*,*}$. In particular, using topological argument we show that Buchsbaum posets have nonnegative h''-vectors. The proofs of this paper rely on the theory of cellular sheaves. We associate to a torus space certain sheaves and cosheaves on the underlying simplicial poset, and observe an interesting duality between these objects. This duality seems to be a version of Poincare-Verdier duality between cellular sheaves and cosheaves.
Gelfand-Tsetlin polytopes and the integer decomposition property
Published in European Journal of Combinatorics (2016), pp. 1-20
• View Publication
• BIB
Let $P$ be the Gelfand--Tsetlin polytope defined by the skew shape $λ/μ$ and weight $w$. In the case corresponding to a standard Young tableau, we completely characterize for which shapes $λ/μ$ the polytope $P$ is integral. Furthermore, we show that $P$ is a compressed polytope whenever it is integral and corresponds to a standard Young tableau. We conjecture that a similar property hold for arbitrary $w$, namely that $P$ has the integer decomposition property whenever it is integral.
Finally, a natural partial ordering on GT-polytopes is introduced that provides information about integrality and the integer decomposition property, which implies the conjecture for certain shapes.