Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The universal covers of hypertoric varieties and Bogomolov's decomposition
Published
• View Publication
• BIB
In this paper, we study the (singular) universal cover of an affine hypertoric variety. We show that it is given by another affine hypertoric variety, and taking the universal cover corresponds to taking the simplification of the associated hyperplane arrangement. Also, we describe the fundamental group of the regular locus of an affine hypertoric variety in general. In the latter part, we show that the hamiltonian torus action is block indecomposable if and only if $\mathbb{C}^*$-equivariant symplectic structures on the associated hypertoric variety are unique up to scalar. In particular, we establish the analogue of Bogomolov's decomposition for hypertoric varieties, which is proposed by Namikawa for general conical symplectic varieties. As a byproduct, we show that if two affine (or smooth) hypertoric varieties are $\mathbb{C}^*$-equivariant isomorphic as varieties, then they are also the hamiltonian torus action equivariant isomorphic as symplectic varieties. This implies that the combinatorial classification actually gives the classification of these varieties up to $\mathbb{C}^*$-equivariant isomorphisms.
The Cost of Edge-distinguishing of the Cartesian Product of Connected Graphs
A graph $G$ is said to be $d$-distinguishable if there is a vertex coloring of $G$ with a set of $d$ colors which breaks all of the automorphisms of $G$ but the identity. We call the minimum $d$ for which a graph $G$ is $d$-distinguishiable the distinguishing number of $G$, denoted by $D(G)$. When $D(G)=2$, the minimum number of vertices in one of the color classes is called the cost of distinguishing of $G$ and is shown by $ρ(G)$. In this paper, we generalize this concept to edge-coloring by introducing the cost of edge-distinguishing of a graph $G$, denoted by $ρ'(G)$. Then, we consider $ρ'(K_n )$ for $n\geq 6$ by finding a procedure that gives the minimum number of edges of $K_n$ that should be colored differently to have a $2$-distinguishing edge-coloring. Afterwards, we develop a machinery to state a sufficient condition for a coloring of the Cartesian product to break all non-trivial automorphisms. Using this sufficient condition, we determine when cost of distinguishing and edge-distinguishing of the Cartesian power of a path equals to one. We also show that this parameters are equal to one for any Cartesian product of finitely many paths of different lengths. Moreover, we do a similar work for the Cartesian powers of a cycle and also for the Cartesian products of finitely many cycles of different orders. Upper bounds for the cost of edge-distinguishing of hypercubes and the Cartesian powers of complete graphs are also presented.
Number of Distinguishing Colorings and Partitions
Published in Discrete Mathematics Volume 343, Issue 9, September 2020, 111984
• View Publication
• BIB
A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $Φ_k (G)$, which is the number of non-equivalent distinguishing colorings of a graph $G$ with at most $k$ colors, is shown here to have an application in calculating the distinguishing number of the lexicographic product and the $X$-join of graphs. We study this index (and some other similar indices) which is generally difficult to calculate. Then, we show that if one knows the distinguishing threshold of a graph $G$, which is the smallest number of colors $θ(G)$ so that, for $k\geq θ(G)$, every $k$-coloring of $G$ is distinguishing, then, in some special cases, counting the number of distinguishing colorings with $k$ colors is very easy. We calculate $θ(G)$ for some classes of graphs including the Kneser graph $K(n,2)$. We then turn to vertex partitioning by studying the distinguishing coloring partition of a graph $G$; a partition of vertices of $G$ which induces a distinguishing coloring for $G$. There, we introduce $Ψ_k (G)$ as the number of non-equivalent distinguishing coloring partitions with at most $k$ cells, which is a generalization to its distinguishing coloring counterpart.
Bounds for Distinguishing Invariants of Infinite Graphs
Published in The electronic journal of combinatorics 24(3) (2017), #P3.6
• View Publication
• BIB
We consider infinite graphs. The distinguishing number $D(G)$ of a graph $G$ is the minimum number of colours in a vertex colouring of $G$ that is preserved only by the trivial automorphism. An analogous invariant for edge colourings is called the distinguishing index, denoted by $D'(G)$. We prove that $D'(G)\leq D(G)+1$. For proper colourings, we study relevant invariants called the distinguishing chromatic number $χ_D(G)$, and the distinguishing chromatic index $χ'_D(G)$, for vertex and edge colourings, respectively. We show that $χ_D(G)\leq 2Δ(G)-1$ for graphs with a finite maximum degree $Δ(G)$, and we obtain substantially lower bounds for some classes of graphs with infinite motion. We also show that $χ'_D(G)\leq χ'(G)+1$, where $χ'(G)$ is the chromatic index of $G$, and we prove a similar result $χ''_D(G)\leq χ''(G)+1$ for proper total colourings. A number of conjectures are formulated.
Graph classes with linear Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $R_X(p,q)$ for a class of graphs $X$ is the minimum $n$ such that every graph in $X$ with at least $n$ vertices has either a clique of size $p$ or an independent set of size $q$. We say that Ramsey numbers are linear in $X$ if there is a constant $k$ such that $R_{X}(p,q) \leq k(p+q)$ for all $p,q$. In the present paper we conjecture that if $X$ is a hereditary class defined by finitely many forbidden induced subgraphs, then Ramsey numbers are linear in $X$ if and only if $X$ excludes a forest, a disjoint union of cliques and their complements. We prove the "only if" part of this conjecture and verify the "if" part for a variety of classes. We also apply the notion of linearity to bipartite Ramsey numbers and reveal a number of similarities and differences between the bipartite and non-bipartite case.
A Characterization For 2-Self-Centered Graphs
Published in Discussiones Mathematicae Graph Theory 38 (2018) 27-37
• View Publication
• BIB
A Graph is called 2-self-centered if its diameter and radius both equal to 2. In this paper, we begin characterizing these graphs by characterizing edge-maximal 2-self-centered graphs via their complements. Then we split characterizing edge-minimal 2-self-centered graphs into two cases. First, we characterize edge-minimal 2-self-centered graphs without triangles by introducing \emph{specialized bi-independent covering (SBIC)} and a structure named \emph{generalized complete bipartite graph (GCBG)}. Then, we complete characterization by characterizing edge-minimal 2-self-centered graphs with some triangles. Hence, the main characterization is done since a graph is 2-self-centered if and only if it is a spanning subgraph of some edge-maximal 2-self-centered graphs and, at the same time, it is a spanning supergraph of some edge-minimal 2-self-centered graphs.
Some New Lower Bounds for the Estrada Index
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices and $λ_1,λ_2,\ldots,λ_n$ its eigenvalues. The Estrada index of $G$ is an invariant that is calculated from the eigenvalues of the adjacency matrix of a graph. In this paper, we present some new lower bounds obtained for the Estrada Index of graphs and in particular of bipartite graphs that only depend on the number of vertices, the number of edges, Randić index, maximum and minimum degree and diameter.
From weakly separated collections to matroid subdivisions
Published
• View Publication
• BIB
We study arrangements of slightly skewed tropical hyperplanes, called blades by A. Ocneanu, on the vertices of a hypersimplex $Δ_{k,n}$, and we investigate the resulting induced polytopal subdivisions. We show that placing a blade on a vertex $e_J$ induces an $\ell$-split matroid subdivision of $Δ_{k,n}$, where $\ell$ is the number of cyclic intervals in the $k$-element subset $J$. We prove that a given collection of $k$-element subsets is weakly separated, in the sense of the work of Leclerc and Zelevinsky on quasicommuting families of quantum minors, if and only if the arrangement of the blade $((1,2,\ldots, n))$ on the corresponding vertices of $Δ_{k,n}$ induces a matroid (in fact, a positroid) subdivision. In this way we obtain a compatibility criterion for (planar) multi-splits of a hypersimplex, generalizing the rule known for 2-splits. We study in an extended example the case $(k,n) = (3,7)$ the set of arrangements of $(k-1)(n-k-1)$ weakly separated vertices of $Δ_{k,n}$.
Geometric realizations of regular abstract polyhedra with automorphism group $H_3$
Published
• View Publication
• BIB
A \textit{geometric realization} of an abstract polyhedron $\mathcal{P}$ is a mapping $ρ: \mathcal{P} \to \mathbb{E}^3$ that sends an $i$-face to an open set of dimension $i$. This work adapts a method based on Wythoff construction to generate a full rank realization of a regular abstract polyhedron from its automorphism group $Γ$. The method entails finding a real orthogonal representation of $Γ$ of degree 3 and applying its image to suitably chosen open sets in space. To demonstrate the use of the method, we apply it to the abstract polyhedra whose automorphism groups are isomorphic to the non-crystallographic Coxeter group $H_3$.
Periodic networks of fixed degree minimizing length
We study networks in $\R^n$ which are periodic under a lattice of rank~$n$ and have vertices of prescribed degree $d\ge 3$. We minimize the length of the quotient networks, subject to the constraint that the fundamental domain has $n$-dimensional volume~$1$. For $n=3$ and degree $3\leq d\leq 6$ we determine the minimizing networks with the least number of vertices in the quotient, while for $d\ge 7$ we state a length estimate. For general $n$, we determine the unique minimizers with $d=n+1$ and $d=2n$.
On positionality of trigger strategies Nash Equilibria in SCAR
Published
• View Publication
• BIB
We study the positionality of \emph{trigger strategies} Nash equilibria $\overlineσ$ for the $N$-player SCAR games $Γ_{N}(G|s_{0},γ,\varepsilon)$ (with $N\geq3$). Our study is exhaustive with respect to types of graphs $G$, initial states $s_{0}$ and values of $N,γ,\varepsilon$. We conclude that in the majority of cases, profiles $\overlineσ$ are nonpositional. Whenever $\overlineσ$ are positional a key role is played by paths and the $\varepsilon$, $γ$ values (especially whether $\varepsilon>0$ or not). A crucial concept in our analysis is the \emph{state cop number}, which is first introduced in the current paper.
The $0$-Rook Monoid and its Representation Theory
We show that a proper degeneracy at $q=0$ of the $q$-deformed rook monoid of Solomon is the algebra of a monoid $R_n^0$ namely the $0$-rook monoid, in the same vein as Norton's $0$-Hecke algebra being the algebra of a monoid $H_n^0 = H^0(A_{n-1})$ (in Cartan type~$A_{n-1}$). As expected, $R_n^0$ is closely related to the latter: it contains the $H^0(A_{n-1})$ monoid and is a quotient of $H^0(B_{n})$. We give a presentation for this monoid as well as a combinatorial realization as functions acting on the classical rook monoid itself. On the way we get a Matsumoto theorem for the rook monoid a result which was conjectured by Solomon.
The $0$-rook monoid shares many combinatorial properties with the Hecke monoid: its Green right preorder is an actual order, and moreover a lattice (analogous to the right weak order) which has some nice combinatorial, and geometrical features. In particular the $0$-rook monoid is J-trivial.
Following Denton-Hivert-Schilling-Thiéry, it allows us to describe its representation theory including the description of the simple and projective modules. We further show that $R_n^0$ is projective on $H_n^0$ and make explicit the restriction and induction functors along the inclusion map. We finally give a (partial) associative tower structures on the family of $(R_n^0)$ and we discuss its representation theory.
Cubic graphs with equal independence number and matching number
Published
• View Publication
• BIB
Caro, Davila, and Pepper (arXiv:1909.09093) recently proved $δ(G) α(G)\leq Δ(G) μ(G)$ for every graph $G$ with minimum degree $δ(G)$, maximum degree $Δ(G)$, independence number $α(G)$, and matching number $μ(G)$. Answering some problems they posed, we characterize the extremal graphs for $δ(G)<Δ(G)$ as well as for $δ(G)=Δ(G)=3$.
Algebraic invariants of weighted oriented graphs
Published
• View Publication
• BIB
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal in a polynomial ring $R$. We give the formula of Castelnuovo-Mumford regularity of $R/I(\mathcal{D})$ when $\mathcal{D}$ is a weighted oriented path or cycle such that edges of $\mathcal{D}$ are oriented in one direction. Additionally, we compute the projective dimension for this class of graphs.
Symmetry groups of boolean functions: simple groups
We consider the problem of characterizing the class of those permutation groups that are the symmetry groups of Boolean functions. These are exactly the automorphism groups of hypergraphs. They are also called the relation groups. In this paper we describe those of them that are simple as abstract groups. This is done by combining results based on the classification of finite simple groups with the description of intransitive actions of simple groups. We also obtain a complete characterization of those simple permutation groups that have regular sets, and prove that (with one exception) if a simple permutation group G is a relation group, then every subgroup of G is a relation group.
Representing Sequence Subsums as Sumsets of Near Equal Sized Sets
Published
• View Publication
• BIB
For a sequence $S$ of terms from an abelian group $G$ of length $|S|$, let $Σ_n(S)$ denote the set of all elements that can be represented as the sum of terms in some $n$-term subsequence of $S$. When the subsum set is very small, $|Σ_n(S)|\leq |S|-n+1$, it is known that the terms of $S$ can be partitioned into $n$ nonempty sets $A_1,\ldots,A_n\subseteq G$ such that $Σ_n(S)=A_1+\ldots+A_n$. Moreover, if the upper bound is strict, then $|A_i\setminus Z|\leq 1$ for all $i$, where $Z=\bigcap_{i=1}^{n}(A_i+H)$ and $H=\{g\in G:\; g+Σ_n(S)=Σ_n(S)\}$ is the stabilizer of $Σ_n(S)$. This allows structural results for sumsets to be used to study the subsum set $Σ_n(S)$ and is one of the two main ways to derive the natural subsum analog of Kneser's Theorem for sumsets. In this paper, we show that such a partitioning can be achieved with sets $A_i$ of as near equal a size as possible, so $\lfloor \frac{|S|}{n}\rfloor \leq |A_i|\leq \lceil\frac{|S|}{n}\rceil$ for all $i$, apart from one highly structured counterexample when $|Σ_n(S)|= |S|-n+1$ with $n=2$. The added information of knowing the sets $A_i$ are of near equal size can be of use when applying the aforementioned partitioning result, or when applying sumset results to study $Σ_n(S)$.
We also give an extension increasing the flexibility of the aforementioned partitioning result and prove some stronger results when $n\geq \frac12|S|$ is very large.
Words, Dyck paths, Trees, and Bijections
In \cite{BaDeFePi96} the concept of nondecreasing Dyck paths was introduced. We continue this research by looking at it from the point of view of words, rational languages, planted plane trees, and continued fractions.
We construct a bijection with planted plane trees of height $\le 4$ and compute various statistics on trees that are the equivalents of nondecreasing Dyck paths.
Wreath product in automorphism groups of graphs
Published
• View Publication
• BIB
The automorphism group of the composition of graphs $G \circ H$ contains the wreath product $Aut(H) \wr Aut(G)$ of the automorphism groups of the corresponding graphs. The classical problem considered by Sabidussi and Hemminger was under what conditions $G \circ H$ has no other automorphisms. In this paper we deal with the converse. If the automorphism group of a graph (or a colored graph or digraph) is the wreath product $A \wr B$ of permutation groups, then the graph must be the result of the corresponding construction. The question we consider is whether $A$ and $B$ must be the automorphism groups of graphs involved in the construction. We solve this problem, generally in positive, for the wreath product in its natural imprimitive action (which refers to the results by Sabidussi and Hemminger). Yet, we consider also the same problems for the wreath product in its product action, which turns out to be more complicated and leads to interesting open questions involving other combinatorial structures.
Abelian permutation groups with graphical representations
Published
• View Publication
• BIB
In this paper we characterize permutation groups that are automorphism groups of coloured graphs and digraphs and are abelian as abstract groups. This is done in terms of basic permutation group properties. Using Schur's classical terminology, what we provide is characterizations of the classes of 2-closed and $2*$-closed abelian permutation groups. This is the first characterization concerning these classes since they were defined.
Snake graphs and their characteristic polynomials
The aim of the article is to understand the combinatorics of snake graphs by means of linear algebra. In particular, we apply Kasteleyn's and Temperley--Fisher's ideas about spectral properties of weighted adjacency matrices of planar bipartite graphs to snake graphs. First we focus on snake graphs whose set of turning vertices is monochromatic. We provide recursive sequences to compute the characteristic polynomials; they are indexed by the upper or the lower boundary of the graph and are determined by a neighbour count. As an application, we compute the characteristic polynomials for L-shaped snake graphs and staircases in terms of Fibonacci product polynomials. Next, we introduce a method to compute the characteristic polynomials as convergents of continued fractions. Finally, we show how to transform a snake graph with turning vertices of two colours into a graph with the same number of perfect matchings to which we can apply the results above.