Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Edge-regular graphs with regular cliques
Published
• View Publication
• BIB
We exhibit infinitely many examples of edge-regular graphs that have regular cliques and that are not strongly regular. This answers a question of Neumaier from 1981.
Binary functions, degeneracy, and alternating dimaps
Published
• View Publication
• BIB
This paper continues the study of combinatorial properties of binary functions --- that is, functions $f:2^E\rightarrow\mathbb{C}$ such that $f(\emptyset)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit families of transforms that generalise duality, including a trinity transform, and families of associated minor operations that generalise deletion and contraction, with both these families parameterised by the complex numbers. Binary function representations exist for graphs (via the indicator functions of their cutset spaces) and indeed arbitrary matroids (as shown by the author previously). In this paper, we characterise degenerate elements --- analogues of loops and coloops --- in binary functions, with respect to any pair of minor operations from our complex-parameterised family. We then apply this to study the relationship between binary functions and Tutte's alternating dimaps, which also support a trinity transform and three associated minor operations. It is shown that only the simplest alternating dimaps have binary representations of the form we consider, which seems to be the most direct type of representation. The question of whether there exist other, more sophisticated types of binary function representations for alternating dimaps is left open.
The rectangular representation of the double affine Hecke algebra via elliptic Schur-Weyl duality
Published in Published in IMRN, 2019
• View Publication
• BIB
Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$.
In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ combinatorially in terms of walks in the type $A$ weight lattice, and standard periodic tableaux, and subsequently identify $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ with the irreducible "rectangular representation" of height $N$ of the double affine Hecke algebra.
Pentavalent symmetric graphs admitting transitive non-abelian characteristically simple groups
Published
• View Publication
• BIB
Let $Γ$ be a graph and let $G$ be a group of automorphisms of $Γ$. The graph $Γ$ is called $G$-normal if $G$ is normal in the automorphism group of $Γ$. Let $T$ be a finite non-abelian simple group and let $G = T^l$ with $l\geq 1$. In this paper we prove that if every connected pentavalent symmetric $T$-vertex-transitive graph is $T$-normal, then every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal. This result, among others, implies that every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal except $T$ is one of $57$ simple groups. Furthermore, every connected pentavalent symmetric $G$-regular graph is $G$-normal except $T$ is one of $20$ simple groups, and every connected pentavalent $G$-symmetric graph is $G$-normal except $T$ is one of $17$ simple groups.
Serre's Properties for Quadratic Generated Domains from Graphs
For any graph, one can construct a ring, called the edge ring, which is a quadratic-monomial generated subring of the Laurent polynomial ring $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. In fact, every quadratic-monomial generated subring of this Laurent polynomial ring can be generated as an edge ring for some graph. The combinatorial structure of the graph has been successfully applied to identify and classify many important commutative algebraic properties of the corresponding edge ring. In this paper, we classify Serre's $R_1$ condition for all quadratic-monomial generated subrings of $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. Moreover, we provide a minimal example of a graph whose corresponding edge ring is not Cohen-Macaulay. This paper extends the work of Hibi and Ohsugi from the setting subrings of polynomial rings to subrings of Laurent polynomial rings.
A Proof of Willcocks's Conjecture
We give a proof of Willcocks's Conjecture, stating that if $p - q$ and $p + q$ are relatively prime, then there exists a Hamiltonian tour of a $(p, q)$-leaper on a square chessboard of side $2(p + q)$. The conjecture was formulated by T. H. Willcocks in 1976 and has been an open problem since.
The distinguishing number and the distinguishing index of line and graphoidal graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. A graphoidal cover of $G$ is a collection $ψ$ of (not necessarily open) paths in $G$ such that every path in $ψ$ has at least two vertices, every vertex of $G$ is an internal vertex of at most one path in $ψ$ and every edge of $G$ is in exactly one path in $ψ$. Let $Ω(G,ψ)$ denote the intersection graph of $ψ$. A graph $H$ is called a graphoidal graph, if there exists a graph $G$ and a graphoidal cover $ψ$ of $G$ such that $H\cong Ω(G, ψ)$. In this paper, we study the distinguishing number and the distinguishing index of the line graph and the graphoidal graph of a simple connected graph $G$.
Spanning Simplicial Complexes of Uni-Cyclic Multigraphs
A multigraph is a nonsimple graph which is permitted to have multiple edges, that is, edges that have the same end nodes. We introduce the concept of spanning simplicial complexes $Δ_s(\mathcal{G})$ of multigraphs $\mathcal{G}$, which provides a generalization of spanning simplicial complexes of associated simple graphs. We give first the characterization of all spanning trees of a uni-cyclic multigraph $\mathcal{U}_{n,m}^r$ with $n$ edges including $r$ multiple edges within and outside the cycle of length $m$. Then, we determine the facet ideal $I_\mathcal{F}(Δ_s(\mathcal{U}_{n,m}^r))$ of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$ and its primary decomposition. The Euler characteristic is a well-known topological and homotopic invariant to classify surfaces. Finally, we device a formula for Euler characteristic of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$.
A plurality problem with three colors and query size three
Published
• View Publication
• BIB
The Plurality problem - introduced by Aigner \cite{A2004} - has many variants. In this article we deal with the following version: suppose we are given $n$ balls, each of them colored by one of three colors. A \textit{plurality ball} is one such that its color class is strictly larger than any other color class. Questioner wants to find a plurality ball as soon as possible or state there is no, by asking triplets (or $k$-sets, in general), while Adversary partition the triplets into color classes as an answer for the queries and wants to postpone the possibility of determining a plurality ball (or stating there is no).
We denote by $A_p(n,3)$ the largest number of queries needed to ask if both play optimally (and Questioner asks triplets). We provide an almost precise result in case of even $n$ by proving that for $n \ge 4$ even we have $$\frac{3}{4}n-2 \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2},$$ and for $n \ge 3$ odd we have $$\frac{3}{4}n-O(\log n) \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2}.$$
We also prove some bounds on the number of queries needed to ask for larger $k$.
Group twin coloring of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 26, 2018) dmtcs:3948
• View Publication
• BIB
For a given graph $G$, the least integer $k\geq 2$ such that for every Abelian group $\mathcal{G}$ of order $k$ there exists a proper edge labeling $f:E(G)\rightarrow \mathcal{G}$ so that $\sum_{x\in N(u)}f(xu)\neq \sum_{x\in N(v)}f(xv)$ for each edge $uv\in E(G)$ is called the \textit{group twin chromatic index} of $G$ and denoted by $χ'_g(G)$. This graph invariant is related to a few well-known problems in the field of neighbor distinguishing graph colorings. We conjecture that $χ'_g(G)\leq Δ(G)+3$ for all graphs without isolated edges, where $Δ(G)$ is the maximum degree of $G$, and provide an infinite family of connected graph (trees) for which the equality holds. We prove that this conjecture is valid for all trees, and then apply this result as the base case for proving a general upper bound for all graphs $G$ without isolated edges: $χ'_g(G)\leq 2(Δ(G)+{\rm col}(G))-5$, where ${\rm col}(G)$ denotes the coloring number of $G$. This improves the best known upper bound known previously only for the case of cyclic groups $\mathbb{Z}_k$.
A Characterization of $(4,2)$-Choosable Graphs
Published in Journal of Graph Theory. Vol. 92(4), December 2019, pp. 460-487
• View Publication
• BIB
A graph $G$ is \emph{$(a,b)$-choosable} if given any list assignment $L$ with $|L(v)|=a$ for each $v\in V(G)$ there exists a function $\varphi$ such that $\varphi(v)\in L(v)$ and $|\varphi(v)|=b$ for all $v\in V(G)$, and whenever vertices $x$ and $y$ are adjacent $\varphi(x)\cap \varphi(y)=\emptyset$. Meng, Puleo, and Zhu conjectured a characterization of (4,2)-choosable graphs. We prove their conjecture.
Signed Countings of types B and D permutations and $t,q$-Euler Numbers
Published
• View Publication
• BIB
It is a classical result that the parity-balance of the number of weak excedances of all permutations (derangements, respectively) of length $n$ is the Euler number $E_n$, alternating in sign, if $n$ is odd (even, respectively). Josuat-Vergès obtained a $q$-analog of the results respecting the number of crossings of a permutation. One of the goals in this paper is to extend the results to the permutations (derangements, respectively) of types B and D, on the basis of the joint distribution in statistics excedances, crossings and the number of negative entries obtained by Corteel, Josuat-Vergès and Kim.
Springer numbers are analogous Euler numbers that count the alternating permutations of type B, called snakes. Josuat-Vergès derived bivariate polynomials $Q_n(t,q)$ and $R_n(t,q)$ as generalized Euler numbers via successive $q$-derivatives and multiplications by $t$ on polynomials in $t$. The other goal in this paper is to give a combinatorial interpretation of $Q_n(t,q)$ and $R_n(t,q)$ as the enumerators of the snakes with restrictions.
On the strong non-rigidity of certain tight Euclidean designs
Published in European Journal of Combinatorics 28 (2007) 1662-1680
• View Publication
• BIB
We study the non-rigidity of Euclidean $t$-designs, namely we study when Euclidean designs (in particular certain tight Euclidean designs) can be deformed keeping the property of being Euclidean $t$-designs. We show that certain tight Euclidean $t$-designs are non-rigid, and in fact satisfy a stronger form of non-rigidity which we call strong non-rigidity. This shows that there are plenty of non-isomorphic tight Euclidean $t$-designs for certain parameters, which seems to have been unnoticed before. We also include the complete classification of tight Euclidean $2$-designs.
On the nxnxn Rubik's Cube
Published in Mathematica Slovaca 68/2018
• View Publication
• BIB
We describe in details the nxnxn Rubik's Cube, namely a Rubik's Cube with n rotating slices in each face. Then we state and prove the "first law of Cubology", i.e. the solvability criterion, for it
Multi-Symbol Forbidden Configurations
Published
• View Publication
• BIB
An $r$-matrix is a matrix with symbols in $\{0,1,\dots,r-1\}$. A matrix is simple if it has no repeated columns. Let the support of a matrix $F$, $\text{supp}(F)$ be the largest simple matrix such that every column in $\text{supp}(F)$ is in $F$. For a family of $r$-matrices $\mathcal{F}$, we define $\text{forb}(m,r,\mathcal{F})$ as the maximum number of columns of an $m$-rowed, $r$-matrix $A$ such that $F$ is not a row-column permutation of $A$ for all $F \in \mathcal{F}$. While many results exist for $r=2$, there are fewer for larger numbers of symbols. We expand on the field of forbidding matrices with $r$-symbols, introducing a new construction for lower bounds of the growth of $\text{forb}(m,r,\mathcal{F})$ (with respect to $m$) that is applicable to matrices that are either not simple or have a constant row. We also introduce a new upper bound restriction that helps with avoiding non-simple matrices, limited either by the asymptotic bounds of the support, or the size of the forbidden matrix, whichever is larger. Continuing the trend of upper bounds, we represent a well-known technique of standard induction as a graph, and use graph theory methods to obtain asymptotic upper bounds. With these techniques we solve multiple, previously unknown, asymptotic bounds for a variety of matrices. Finally, we end with block matrices, or matrices with only constant row, and give bounds for all possible cases.
Topology of tropical moduli of weighted stable curves
Published
• View Publication
• BIB
The moduli space $Δ_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $Δ_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vector, we establish explicit formulas for the Betti numbers of the spaces. We exhibit infinite families of weights for which the space $Δ_{0,w}$ is disconnected and for which the fundamental group of $Δ_{0,w}$ has torsion. In the latter case, the universal cover is shown to have a natural modular interpretation. This places the weighted variant of the space in stark contrast to the heavy/light cases studied previously by Vogtmann and Cavalieri-Hampe-Markwig-Ranganathan. Finally, we prove a structural result relating the spaces of weighted stable curves in genus $0$ and $1$, and leverage this to extend several of our genus $0$ results to the spaces $Δ_{1,w}$.
Chip-firing groups of iterated cones
Published in Linear Algebra and its Applications (2018) vol. 556, pp. 46-54
• View Publication
• BIB
Let $Γ$ be a finite graph and let $Γ_n$ be the "$n$th cone over $Γ$" (i.e., the join of $Γ$ and the complete graph $K_n$). We study the asymptotic structure of the chip-firing group $\text{Pic}^0(Γ_n)$.
Steiner Distance in Graphs--A Survey
For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. In this paper, we summarize the known results on the Steiner distance parameters, including Steiner distance, Steiner diameter, Steiner center, Steiner median, Steiner interval, Steiner distance hereditary graph, Steiner distance stable graph, average Steiner distance, and Steiner Wiener index. It also contains some conjectures and open problems for further studies.
Structure Learning of $H$-colorings
Published
• View Publication
• BIB
We study the structure learning problem for $H$-colorings, an important class of Markov random fields that capture key combinatorial structures on graphs, including proper colorings and independent sets, as well as spin systems from statistical physics. The learning problem is as follows: for a fixed (and known) constraint graph $H$ with $q$ colors and an unknown graph $G=(V,E)$ with $n$ vertices, given uniformly random $H$-colorings of $G$, how many samples are required to learn the edges of the unknown graph $G$? We give a characterization of $H$ for which the problem is identifiable for every $G$, i.e., we can learn $G$ with an infinite number of samples. We also show that there are identifiable constraint graphs for which one cannot hope to learn every graph $G$ efficiently.
We focus particular attention on the case of proper vertex $q$-colorings of graphs of maximum degree $d$ where intriguing connections to statistical physics phase transitions appear. We prove that in the tree uniqueness region (when $q>d$) the problem is identifiable and we can learn $G$ in ${\rm poly}(d,q) \times O(n^2\log{n})$ time. In contrast for soft-constraint systems, such as the Ising model, the best possible running time is exponential in $d$. In the tree non-uniqueness region (when $q\leq d$) we prove that the problem is not identifiable and thus $G$ cannot be learned. Moreover, when $q<d-\sqrt{d} + Θ(1)$ we prove that even learning an equivalent graph (any graph with the same set of $H$-colorings) is computationally hard---sample complexity is exponential in $n$ in the worst case. We further explore the connection between the efficiency/hardness of the structure learning problem and the uniqueness/non-uniqueness phase transition for general $H$-colorings and prove that under the well-known Dobrushin uniqueness condition, we can learn $G$ in ${\rm poly}(d,q)\times O(n^2\log{n})$ time.
Triangle-Free Penny Graphs: Degeneracy, Choosability, and Edge Count
Published in J. Graph Algorithms & Applications 22 (3): 483-499, 2018
• View Publication
• BIB
We show that triangle-free penny graphs have degeneracy at most two, list coloring number (choosability) at most three, diameter $D=Ω(\sqrt n)$, and at most $\min\bigl(2n-Ω(\sqrt n),2n-D-2\bigr)$ edges.