Showing 20 papers (Total: 82432 papers, 47671 authors in database)
A selection-quotient process for packed word Hopf algebra
Published in Lecture Notes in Computer Science, volume 8080, Pages 223-234, 2013
• View Publication
• BIB
In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection-quotient coproduct. We show that this algebra is free on its irreducible packed words. Finally, we give some brief explanations on the Maple codes we have used.
Maximum percolation time in two-dimensional bootstrap percolation
Published
• View Publication
• BIB
We consider a classic model known as bootstrap percolation on the $n \times n$ square grid. To each vertex of the grid we assign an initial state, infected or healthy, and then in consecutive rounds we infect every healthy vertex that has at least $2$ already infected neighbours. We say that percolation occurs if the whole grid is eventually infected. In this paper, contributing to a recent series of extremal results in this field, we prove that the maximum time a bootstrap percolation process can take to eventually infect the entire vertex set of the grid is $13n^2/18+O(n)$.
On non-abelian Schur groups
Published in Journal of Algebra and Its Applications, Vol. 13, No. 8 (2014) 1450055 (22 pages)
• View Publication
• BIB
A finite group G is called Schur, if every Schur ring over G is associated in a natural way with a regular subgroup of Sym(G) that is isomorphic to G. We prove that any nonabelian Schur group G is metabelian and the number of distinct prime divisors of the order of G does not exceed 7.
Enveloping operads and bicoloured noncrossing configurations
Published in Experimental Mathematics, 23, Issue 3, 332--349, 2014
• View Publication
• BIB
An operad structure on certain bicoloured noncrossing configurations in regular polygons is studied. Motivated by this study, a general functorial construction of enveloping operad, with input a coloured operad and output an operad, is presented. The operad of noncrossing configurations is shown to be the enveloping operad of a coloured operad of bubbles. Several suboperads are also investigated, and described by generators and relations.
Universal State Transfer on Graphs
Published in Linear Algebra and Its Applications 455:115-142, 2014
• View Publication
• BIB
A continuous-time quantum walk on a graph $G$ is given by the unitary matrix $U(t) = \exp(-itA)$, where $A$ is the Hermitian adjacency matrix of $G$. We say $G$ has pretty good state transfer between vertices $a$ and $b$ if for any $ε> 0$, there is a time $t$, where the $(a,b)$-entry of $U(t)$ satisfies $|U(t)_{a,b}| \ge 1-ε$. This notion was introduced by Godsil (2011). The state transfer is perfect if the above holds for $ε= 0$. In this work, we study a natural extension of this notion called universal state transfer. Here, state transfer exists between every pair of vertices of the graph. We prove the following results about graphs with this stronger property: (1) Graphs with universal state transfer have distinct eigenvalues and flat eigenbasis (where each eigenvector has entries which are equal in magnitude). (2) The switching automorphism group of a graph with universal state transfer is abelian and its order divides the size of the graph. Moreover, if the state transfer is perfect, then the switching automorphism group is cyclic. (3) There is a family of prime-length cycles with complex weights which has universal pretty good state transfer. This provides a concrete example of an infinite family of graphs with the universal property. (4) There exists a class of graphs with real symmetric adjacency matrices which has universal pretty good state transfer. In contrast, Kay (2011) proved that no graph with real-valued adjacency matrix can have universal perfect state transfer. We also provide a spectral characterization of universal perfect state transfer graphs that are switching equivalent to circulants.
Squarefree P-modules and the cd-index
Published
• View Publication
• BIB
In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets. First, we define an analogue of the cd-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen-Macaulay. This result proves that the h-vector of the barycentric subdivision of a Cohen-Macaulay regular CW-complex is unimodal. Second, we prove that the Stanley-Reisner ring of the barycentric subdivision of an odd dimensional Cohen-Macaulay polyhedral complex has the weak Lefschetz property. Third, we obtain sharp upper bounds of the cd-indices of Gorenstein* posets for a fixed rank generating function.
A sharp refinement of a result of Zverovich--Zverovich
Published
• View Publication
• BIB
For a finite sequence of positive integers to be the degree sequence of a finite graph, Zverovich and Zverovich gave a sufficient condition involving only the length of the sequence, its maximal element and its minimal element. In this paper we give a sharp refinement of Zverovich--Zverovich's result.
An edge-weighted hook formula for labelled trees
Published in Journal of Combinatorics, 5 (2), pp. 245-269, 2014
• Search Publication
A number of hook formulas and hook summation formulas have previously appeared, involving various classes of trees. One of these classes of trees is rooted trees with labelled vertices, in which the labels increase along every chain from the root vertex to a leaf. In this paper we give a new hook summation formula for these (unordered increasing) trees, by introducing a new set of indeterminates indexed by pairs of vertices, that we call edge weights. This new result generalizes a previous result by Féray and Goulden, that arose in the context of representations of the symmetric group via the study of Kerov's character polynomials. Our proof is by means of a combinatorial bijection that is a generalization of the Prüfer code for labelled trees.
Generating random graphs in biased Maker-Breaker games
Published
• View Publication
• BIB
We present a general approach connecting biased Maker-Breaker games and problems about local resilience in random graphs. We utilize this approach to prove new results and also to derive some known results about biased Maker-Breaker games. In particular, we show that for $b=o\left(\sqrt{n}\right)$, Maker can build a pancyclic graph (that is, a graph that contains cycles of every possible length) while playing a $(1:b)$ game on $E(K_n)$. As another application, we show that for $b=Θ\left(n/\ln n\right)$, playing a $(1:b)$ game on $E(K_n)$, Maker can build a graph which contains copies of all spanning trees having maximum degree $Δ=O(1)$ with a bare path of linear length (a bare path in a tree $T$ is a path with all interior vertices of degree exactly two in $T$).
Subalgebras of the Fomin-Kirillov algebra
Published
• View Publication
• BIB
The Fomin-Kirillov algebra $\mathcal E_n$ is a noncommutative quadratic algebra with a generator for every edge of the complete graph on $n$ vertices. For any graph $G$ on $n$ vertices, we define $\mathcal E_G$ to be the subalgebra of $\mathcal E_n$ generated by the edges of $G$. We show that these algebras have many parallels with Coxeter groups and their nil-Coxeter algebras: for instance, $\mathcal E_G$ is a free $\mathcal E_H$-module for any $H\subseteq G$, and if $\mathcal E_G$ is finite-dimensional, then its Hilbert series has symmetric coefficients. We determine explicit monomial bases and Hilbert series for $\mathcal E_G$ when $G$ is a simply-laced finite Dynkin diagram or a cycle, in particular showing that $\mathcal E_G$ is finite-dimensional in these cases. We also present conjectures for the Hilbert series of $\mathcal E_{\tilde{D}_n}$, $\mathcal E_{\tilde{E}_6}$, and $\mathcal E_{\tilde{E}_7}$, as well as for which graphs $G$ on six vertices $\mathcal E_G$ is finite-dimensional.
A Polyhedral Method to Compute All Affine Solution Sets of Sparse Polynomial Systems
To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible decomposition of a variety is typically understood in affine space, including also those components with zero coordinates. We present a polyhedral method to compute all affine solution sets of a polynomial system. The method enumerates all factors contributing to a generalized permanent. Toric solution sets are recovered as a special case of this enumeration. For sparse systems as adjacent 2-by-2 minors our methods scale much better than the techniques from numerical algebraic geometry.
Topological Additive Numbering of Directed Acyclic Graphs
Published in Information Processing Letters, Volume 115, Issue 2 (2015), 199--202
• View Publication
• BIB
We propose to study a problem that arises naturally from both Topological Numbering of Directed Acyclic Graphs, and Additive Coloring (also known as Lucky Labeling). Let $D$ be a digraph and $f$ a labeling of its vertices with positive integers; denote by $S(v)$ the sum of labels over all neighbors of each vertex $v$. The labeling $f$ is called \emph{topological additive numbering} if $S(u) < S(v)$ for each arc $(u,v)$ of the digraph. The problem asks to find the minimum number $k$ for which $D$ has a topological additive numbering with labels belonging to $\{ 1, \ldots, k \}$, denoted by $η_t(D)$.
We characterize when a digraph has topological additive numberings, give a lower bound for $η_t(D)$, and provide an integer programming formulation for our problem, characterizing when its coefficient matrix is totally unimodular. We also present some families for which $η_t(D)$ can be computed in polynomial time. Finally, we prove that this problem is \np-Hard even when its input is restricted to planar bipartite digraphs.
Positively oriented matroids are realizable
Published
• View Publication
• BIB
We prove da Silva's 1987 conjecture that any positively oriented matroid is a positroid; that is, it can be realized by a set of vectors in a real vector space. It follows from this result and a result of the third author that the positive matroid Grassmannian (or positive MacPhersonian) is homeomorphic to a closed ball.
Spin Graphs
We show that on any Riemann surface S of genus g>1 any nonsingular even spin bundle defines e-foloation of S. When a surface is hyperelliptic then all leaves of this foliation are finite and almost all of them consists of 2g+2 points. Moreover, each leaf carries an additional structure which allows us to view it as a concrete graph. We find the properties of these spin graphs and we describe the classification of surfaces which is given by these properties. The classification is based on a finite genus g>1.number of exceptional graphs which have to be present on any surface S of
Standard and Weierstrass spin groups on hyperelliptic Riemann surfaces
We show that at any standard or Weierstrass point P on a hyperelliptic Riemann surface S equipped with a nonsingular even spin structure, we may attach a spin group G(P) in a natural way. All such spin groups are isomorphic to each other and to the alternating group A(g)<S(g). Moreover, for any two vertices of the same spin graph we construct a natural, unique isomorphism between the corresponding, mutually conjugate spin groups.
Exceptional Spin groups on hyperelliptic Riemann surfaces
We find all exceptional spin groups attached to the vertices of any exceptional spin graph on any hyperbolic Riemann surface S of genus g>1. In particular, we show that when the order r of a graph is r>2 (i.e.the genus of S must be g>3) then the spin group attached to an exceptional point Q is either isomorphic to the symmetry group S(r) (when the degree of Q is equal to r) or to the symmetry group S(r+1)(when the degree of Q is equal to r+1).
Grothendieck classes of quiver cycles as iterated residues
Published in Michigan Math. J. Volume 63, Issue 4 (2014), 865-888
• View Publication
• BIB
In the case of Dynkin quivers we establish a formula for the Grothendieck class of a quiver cycle as the iterated residue of a certain rational function, for which we provide an explicit combinatorial construction. Moreover, we utilize a new definition of the double stable Grothendieck polynomials due to Rimanyi and Szenes in terms of iterated residues to exhibit how the computation of quiver coefficients can be reduced to computing coefficients in Laurent expansions of certain rational functions.
The open polynomials of the finite topologies
Let T be a topology on the finite set Xn. We consider the open polynomial associated with the topology T. Its coefficients are the cardinality of open sets of size j=0,...,n. J. Brown [4] asked when this polynomial has only real zeros. We prove that this polynomial has real zeros, only in the trivial case where T is the discrete topology. Then, we weaken Brown's question: for which topology this polynomial is log-concave, or at least unimodal? A partial answer is given. Precisely, we prove that if the topology has a large number of open sets, then its open polynomial is unimodal.
The calculation of expectation values in Gaussian random tensor theory via meanders
Published
• View Publication
• BIB
A difficult problem in the theory of random tensors is to calculate the expectation values of polynomials in the tensor entries, even in the large N limit and in a Gaussian distribution. Here we address this issue, focusing on a family of polynomials labeled by permutations, which naturally generalize the single-trace invariants of random matrix models. Through Wick's theorem, we show that the Feynman graph expansion of the expectation values of those polynomials enumerates meandric systems whose lower arch configuration is obtained from the upper arch configuration by a permutation on half of the arch feet. Our main theorem reduces the calculation of expectation values to those of polynomials labeled by stabilized-interval-free permutations (SIF) which are proved to enumerate irreducible meandric systems. This together with explicit calculations of expectation values associated to SIF permutations allows to exactly evaluate large N expectation values beyond the so-called melonic polynomials.
Generalised friezes and a modified Caldero-Chapoton map depending on a rigid object
Published in Nagoya Math. J. 218 (2015), 101-124
• View Publication
• BIB
The (usual) Caldero-Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it maps "reachable" indecomposable objects to the corresponding cluster variables in a cluster algebra. This formalises the idea that the cluster category is a "categorification" of the cluster algebra.
The definition of the Caldero-Chapoton map requires the category to be 2-Calabi-Yau, and the map depends on a cluster tilting object in the category.
We study a modified version of the Caldero-Chapoton map which only requires the category to have a Serre functor, and only depends on a rigid object in the category.
It is well-known that the usual Caldero-Chapoton map gives rise to so-called friezes, for instance Conway-Coxeter friezes. We show that the modified Caldero-Chapoton map gives rise to what we call generalised friezes, and that for cluster categories of Dynkin type A, it recovers the generalised friezes introduced by combinatorial means by Bessenrodt and us.