Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Commutativity pattern of finite non-abelian $p$-groups determine their orders
Published
• View Publication
• BIB
Let $G$ be a non-abelian group and $Z(G)$ be the center of $G$. Associate a graph $Γ_G$ (called non-commuting graph of $G$) with $G$ as follows: take $G\setminus Z(G)$ as the vertices of $Γ_G$ and join two distinct vertices $x$ and $y$, whenever $xy\neq yx$. Here, we prove that "the commutativity pattern of a finite non-abelian $p$-group determine its order among the class of groups"; this means that if $P$ is a finite non-abelian $p$-group such that $Γ_P\cong Γ_H$ for some group $H$, then $|P|=|H|$.
The Linear Ordering Polytope via Representations
Let $P_n$ denote the $n$-th linear ordering polytope. We define projections from $P_n$ to the $n$-th permutahedron and to the $(n-1)$-st linear ordering polytope. Both projections are equivariant with respect to the natural $\Sn$-action and they project to orthogonal subspaces. In particular the second projection defines an $S_n$-action in $P_{n-1}$.
Maximal equilateral sets
Published in Discrete & Computational Geometry 50 (2013), 354-373
• View Publication
• BIB
A subset of a normed space $X$ is called equilateral if the distance between any two points is the same. Let $m(X)$ be the smallest possible size of an equilateral subset of $X$ maximal with respect to inclusion. We first observe that Petty's construction of a $d$-dimensional $X$ of any finite dimension $d\geq 4$ with $m(X)=4$ can be generalised to give $m(X\oplus_1\mathbb{R})=4$ for any $X$ of dimension at least 2 which has a smooth point on its unit sphere. By a construction involving Hadamard matrices we then show that for any set $Γ$, $m(\ell_p(Γ))$ is finite and bounded above by a function of $p$, for all $1\leq p<2$. Also, for all $p\in[1,\infty)$ and $d\in\mathbb{N}$ there exists $c=c(p,d)>1$ such that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than $c$ from $\ell_p^d$. Using Brouwer's fixed-point theorem we show that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than 3/2 from $\ell_\infty^d$. A graph-theoretical argument furthermore shows that $m(\ell_\infty^d)=d+1$.
The above results lead us to conjecture that $m(X)\leq 1+\dim X$ for all finite-dimensional normed spaces $X$.
A Mathematical Approach to Balanced Tanner Graph Enumeration
This paper summarizes our latest understanding and results about the application of the Mathematics Of Enumeration to Tanner Graphs that have a regular structure called Balanced Tanner Graphs. Some preliminaries of permutation groups have been presented followed by various enumeration theorems, and finally our approach for enumeration of Balanced Tanner Graphs has been explained, and several open questions have been raised.
From the Tamari lattice to Cambrian lattices and beyond
Published
• View Publication
• BIB
In this chapter, we trace the path from the Tamari lattice, via lattice congruences of the weak order, to the definition of Cambrian lattices in the context of finite Coxeter groups, and onward to the construction of Cambrian fans. We then present sortable elements, the key combinatorial tool for studying Cambrian lattices and fans. The chapter concludes with a brief description of the applications of Cambrian lattices and sortable elements to Coxeter-Catalan combinatorics and to cluster algebras.
On the relationship of steady states of continuous and discrete models
Published
• View Publication
• BIB
In this paper we provide theoretical results that relate steady states of continuous and discrete models arising from biology.
Uniquely D-colourable digraphs with large girth
Published in Can. J. Math.-J. Can. Math. 64 (2012) 1310-1328
• View Publication
• BIB
Let C and D be digraphs. A mapping $f:V(D)\to V(C)$ is a C-colouring if for every arc $uv$ of D, either $f(u)f(v)$ is an arc of C or $f(u)=f(v)$, and the preimage of every vertex of C induces an acyclic subdigraph in D. We say that D is C-colourable if it admits a C-colouring and that D is uniquely C-colourable if it is surjectively C-colourable and any two C-colourings of D differ by an automorphism of C. We prove that if a digraph D is not C-colourable, then there exist digraphs of arbitrarily large girth that are D-colourable but not C-colourable. Moreover, for every digraph D that is uniquely D-colourable, there exists a uniquely D-colourable digraph of arbitrarily large girth. In particular, this implies that for every rational number $r\geq 1$, there are uniquely circularly r-colourable digraphs with arbitrarily large girth.
On the algebraic representation of selected optimal non-linear binary codes
Published
• View Publication
• BIB
Revisiting an approach by Conway and Sloane we investigate a collection of optimal non-linear binary codes and represent them as (non-linear) codes over Z4. The Fourier transform will be used in order to analyze these codes, which leads to a new algebraic representation involving subgroups of the group of units in a certain ring.
One of our results is a new representation of Best's (10, 40, 4) code as a coset of a subgroup in the group of invertible elements of the group ring Z4[Z5]. This yields a particularly simple algebraic decoding algorithm for this code.
The technique at hand is further applied to analyze Julin's (12, 144, 4) code and the (12, 24, 12) Hadamard code. It can also be used in order to construct a (non-optimal) binary (14, 56, 6) code.
Extremal problems related to Betti numbers of flag complexes
Published
• View Publication
• BIB
We study the problem of maximizing Betti numbers of simplicial complexes. We prove an upper bound of 1.32^n for the sum of Betti numbers of any n-vertex flag complex and 1.25^n for the independence complex of a triangle-free graph. These findings imply upper bounds for the Betti numbers of various related classes of spaces, including the neighbourhood complex of a graph. We also make some related observations.
On Cui-Kano's Characterization Problem on Graph Factors
Published in J. Graph Theory 74(3) (2013), 335--343
• View Publication
• BIB
An $H_n$-factor of a graph $G$ is defined to be a spanning subgraph $F$ of $G$ such that each vertex has degree belonging to the set $\{1,3,5,...,2n-1,2n\}$ in $F$. In this paper, we investigate $H_n$-factors of graphs by using Lovász's structural descriptions to the degree prescribed subgraph problem. We find some sufficient conditions for the existence of an $H_n$-factor of a graph. In particular, we make progress on the characterization problem for a special family of graphs proposed by Cui and Kano in 1988.
Divisibility by 2 of partial Stirling numbers
Published
• View Publication
• BIB
The partial Stirling numbers T_n(k) used here are defined as the sum over odd values of i of (n choose i) i^k. Their 2-exponents nu(T_n(k)) are important in algebraic topology. We provide many specific results, applying to all values of n, stating that, for all k in a certain congruence class mod 2^t, nu(T_n(k)) = nu(k - k0) + c0, where k0 is a 2-adic integer and c0 a positive integer. Our analysis involves several new general results for nu(sum (n choose 2i+1) i^j), the proofs of which involve a new family of polynomials. Following Clarke, we interpret T_n as a function on the 2-adic integers, and the 2-adic integers k0 described above as the zeros of these functions.
Proof of a positivity conjecture of M. Kontsevich on non-commutative cluster variables
Published in Compositio Math. 148 (2012) 1821-1832
• View Publication
• BIB
We prove a conjecture of Kontsevich, which asserts that the iterations of the noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by noncommutative Laurent polynomials with nonnegative integer coefficients.
The tree structure in staircase tableaux
Staircase tableaux are combinatorial objects which appear as key tools in the study of the PASEP physical model. The aim of this work is to show how the discovery of a tree structure in staircase tableaux is a significant feature to derive properties on these objects.
Special cycles in independence complexes and superfrustration in some lattices
Published
• View Publication
• BIB
We prove that the independence complexes of some grids have exponential Betti numbers. This corresponds to the number of ground states in the hard-core model in statistical physics with fermions in the vertices of the grid.
Volumes and Tangent Cones of Matroid Polytopes
De Loera et al. 2009, showed that when the rank is fixed the Ehrhart polynomial of a matroid polytope can be computed in polynomial time when the number of elements varies. A key to proving this is the fact that the number of simplicial cones in any triangulation of a tangent cone is bounded polynomially in the number of elements when the rank is fixed. The authors speculated whether or not the Ehrhart polynomial could be computed in polynomial time in terms of the number of bases, where the number of elements and rank are allowed to vary. We show here that for the uniform matroid of rank $r$ on $n$ elements, the number of simplicial cones in any triangulation of a tangent cone is $n-2 \choose r-1$. Therefore, if the rank is allowed to vary, the number of simplicial cones grows exponentially in $n$. Thus, it is unlikely that a Brion-Lawrence type of approach, such as Barvinok's Algorithm, can compute the Ehrhart polynomial efficiently when the rank varies with the number of elements. To prove this result, we provide a triangulation in which the maximal simplicies are in bijection with the spanning thrackles of the complete bipartite graph $K_{r,n-r}$.
Some Exact Ramsey-Turán Numbers
Published in Bulletin of the London Mathematical Society, 44(6):1251-1258, 2012
• View Publication
• BIB
Let r be an integer, f(n) a function, and H a graph. Introduced by Erdős, Hajnal, Sós, and Szemerédi, the r-Ramsey-Turán number of H, RT_r(n, H, f(n)), is defined to be the maximum number of edges in an n-vertex, H-free graph G with α_r(G) <= f(n) where α_r(G) denotes the K_r-independence number of G. In this note, using isoperimetric properties of the high dimensional unit sphere, we construct graphs providing lower bounds for RT_r(n,K_{r+s},o(n)) for every 2 <= s <= r. These constructions are sharp for an infinite family of pairs of r and s. The only previous sharp construction was by Bollobás and Erd\Hos for r = s = 2.
Shellability of complexes of directed trees
Published
• View Publication
• BIB
The question of shellability of complexes of directed trees was asked by R. Stanley. D. Kozlov showed that the existence of a complete source in a directed graph provides a shelling of its complex of directed trees. We will show that this property gives a shelling that is straightforward in some sense. Among the simplicial polytopes, only the crosspolytopes allow such a shelling. Furthermore, we show that the complex of directed trees of a complete double directed graph is a union of suitable spheres. We also investigate shellability of the maximal pure skeleton of a complex of directed trees. Also, we prove that is vertex-decomposable. For these complexes we describe the set of generating facets.
On the structure of Borel stable abelian subalgebras in infinitesimal symmetric spaces
Published in Selecta Mathematica, Vol.19, Issue 2 (2013), 399-437
• View Publication
• BIB
Let g=g_0+g_1 be a Z_2-graded Lie algebra. We study the posets of abelian subalgebras of g_1 which are stable w.r.t. a Borel subalgebra of g_0. In particular, we find out a natural parametrization of maximal elements and dimension formulas for them. We recover as special cases several results of Kostant, Panyushev, Suter.
Hilbert depth of graded modules over polynomial rings in two variables
Published
• View Publication
• BIB
In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be the Hilbert series of some R-module of positive depth. In the generic case, that is, the degrees of X and Y being coprime, this criterion can be formulated in terms of the numerical semigroup generated by those degrees.
Operations on Graphs Increasing Some Graph Parameters
In this partly expository paper we discuss and describe some of our old and recent results on partial orders on the set (m,n)-graphs (i.e. graphs with n vertices and m edges) and some operations on graphs that are monotone with respect to these partial orders. The partial orders under consideration include those related with some Laplacian characteristics of graphs as well as with some probabilistic characteristics of graphs with randomly deleted edges. Section 2 provides some notions, notation, and simple observations. Section 3 contains some basic facts on the Laplacian polynomial of a graph. Section 4 describes various graph operation and their properties. In Section 5 we introduce some partial orders on the set of (m,n)-graphs related, in particular, with the graph Laplacian and the graph reliability (Laplacian posets and reliability posets}). Section 6 contains some old and recent results on the monotonicity of some graph operations with respect to Laplacian posets. Section 7 and 8 include some old and recent results on the monotonicity of some graph operations with respect to reliability posets and to some other parameters of graphs as well as some open problems. Section 9 contains some generalizations of the described results on weighted graphs.
Keywords: graph, graph operations, graph posets, random graphs, decomposable graphs, threshold graphs, weighted graphs, spanning subgraphs, Laplacian polynomial and spectrum, adjacency polynomial and spectrum, graph reliability, trees, forests, Hamiltonian cycle and path, symmetric polynomials