Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Counting and packing Hamilton cycles in dense graphs and oriented graphs
Published
• View Publication
• BIB
We present a general method for counting and packing Hamilton cycles in dense graphs and oriented graphs, based on permanent estimates. We utilize this approach to prove several extremal results. In particular, we show that every nearly $cn$-regular oriented graph on $n$ vertices with $c>3/8$ contains $(cn/e)^n(1+o(1))^n$ directed Hamilton cycles. This is an extension of a result of Cuckler, who settled an old conjecture of Thomassen about the number of Hamilton cycles in regular tournaments. We also prove that every graph $G$ on $n$ vertices of minimum degree at least $(1/2+\varepsilon)n$ contains at least $(1-\varepsilon)\textrm{reg}_{even}(G)/2$ edge-disjoint Hamilton cycles, where $\reg(G)$ is the maximum \emph{even} degree of a spanning regular subgraph of $G$. This establishes an approximate version of a conjecture of Kühn, Lapinskas and Osthus.
Improved upper bounds for vertex and edge fault diameters of Cartesian graph bundles
Mixed fault diameter of a graph $G$, $ \D_{(a,b)}(G)$, is the maximal diameter of $G$ after deletion of any $a$ vertices and any $b$ edges. Special cases are the (vertex) fault diameter $\D^V_{a} = \D_{(a,0)}$ and the edge fault diameter $\D^E_{a} = \D_{(0,a)}$. Let $G$ be a Cartesian graph bundle with fibre $F$ over the base graph $B$. We show that
(1) $\D^V_{a+b+1}(G)\leq \D^V_{a}(F)+\D^V_{b}(B)$ when the graphs $F$ and $B$ are $k_F$-connected and $k_B$-connected, $0< a < k_F$, $0< b < k_B$, and provided that $\D_{(a-1,1)}(F)\leq \D^{V}_{a} (F)$ and $\D_{(b-1,1)}(B)\leq \D^{V}_{b} (B)$ and
(2) $\D^E_{a+b+1}(G)\leq \D^E_{a}(F)+\D^E_{b}(B)$ when the graphs $F$ and $B$ are $k_F$-edge connected and $k_B$-edge connected, $0\leq a < k_F$, $0\leq b < k_B$, and provided that $\D^E_{a}(F)\geq 2$ and $\D^E_{b}(B)\geq 2$.
Combinatorics of flag simplicial 3-polytopes
Published
• View Publication
• BIB
In the focus of this paper is the operation of edge contraction. One can show that simplicial 3-polytope is flag iff contraction of any its edge gives simplicial 3-polytope. Our main result states that any flag simplicial 3-polytope can be reduced to octahedron by sequence of edge contractions. Using this operation we introduce a partial order on the set of flag simplicial 3-polytopes and study Hasse graph of corresponding poset. We estimate input and output degrees of vertices of this Hasse graph.
A combinatorial approach to colourful simplicial depth
Published
• View Publication
• BIB
The colourful simplicial depth conjecture states that any point in the convex hull of each of d+1 sets, or colours, of d+1 points in general position in R^d is contained in at least d^2+1 simplices with one vertex from each set. We verify the conjecture in dimension 4 and strengthen the known lower bounds in higher dimensions. These results are obtained using a combinatorial generalization of colourful point configurations called octahedral systems. We present properties of octahedral systems generalizing earlier results on colourful point configurations and exhibit an octahedral system which can not arise from a colourful point configuration. The number of octahedral systems is also given.
Ecalle's arborification-coarborification transforms and Connes-Kreimer Hopf algebra
We give a natural and complete description of Ecalle's mould-comould formalism within a Hopf-algebraic framework. The arborification transform thus appears as a factorization of characters, involving the shuffle or quasishuffle Hopf algebras, thanks to a universal property satisfied by Connes-Kreimer Hopf algebra. We give a straightforward characterization of the fundamental process of homogeneous coarborification, using the explicit duality between decorated Connes-Kreimer and Grossman-Larson algebras. Finally, we introduce a new Hopf algebra that systematically underlies the calculations for the normalization of local dynamical systems.
Centers, cocenters and simple quantum groups
Published
• View Publication
• BIB
We define the notion of a (linearly reductive) center for a linearly reductive quantum group, and show that the quotient of a such a quantum group by its center is simple whenever its fusion semiring is free in the sense of Banica and Vergnioux. We also prove that the same is true of free products of quantum groups under very mild non-degeneracy conditions. Several natural families of compact quantum groups, some with non-commutative fusion semirings and hence very "far from classical", are thus seen to be simple. Examples include quotients of free unitary groups by their centers, recovering previous work, as well as quotients of quantum reflection groups by their centers.
Determinants of grids, tori, cylinders and Möbius ladders
Published
• View Publication
• BIB
Recently, Bieñ [A. Bieñ, The problem of singularity for planar grids, Discrete Math. 311 (2011), 921--931] obtained a recursive formula for the determinant of a grid. Also, recently, Pragel [D. Pragel, Determinants of box products of paths, Discrete Math. 312 (2012), 1844--1847], independently, obtained an explicit formula for this determinant. In this paper, we give a short proof for this problem. Furthermore, applying the same technique, we get explicit formulas for the determinant of a torus, a cylinder, and a Möbius ladder.
The neural ring: an algebraic tool for analyzing the intrinsic structure of neural codes
Published in Bulletin of Mathematical Biology, Volume 75, Issue 9, pp. 1571-1611, 2013
• View Publication
• BIB
Neurons in the brain represent external stimuli via neural codes. These codes often arise from stereotyped stimulus-response maps, associating to each neuron a convex receptive field. An important problem confronted by the brain is to infer properties of a represented stimulus space without knowledge of the receptive fields, using only the intrinsic structure of the neural code. How does the brain do this? To address this question, it is important to determine what stimulus space features can - in principle - be extracted from neural codes. This motivates us to define the neural ring and a related neural ideal, algebraic objects that encode the full combinatorial data of a neural code. Our main finding is that these objects can be expressed in a "canonical form" that directly translates to a minimal description of the receptive field structure intrinsic to the code. We also find connections to Stanley-Reisner rings, and use ideas similar to those in the theory of monomial ideals to obtain an algorithm for computing the primary decomposition of pseudo-monomial ideals. This allows us to algorithmically extract the canonical form associated to any neural code, providing the groundwork for inferring stimulus space features from neural activity alone.
The quadratic balanced optimization problem
Published
• View Publication
• BIB
We introduce the quadratic balanced optimization problem (QBOP) which can be used to model equitable distribution of resources with pairwise interaction. QBOP is strongly NP-hard even if the family of feasible solutions has a very simple structure. Several general purpose exact and heuristic algorithms are presented. Results of extensive computational experiments are reported using randomly generated quadratic knapsack problems as the test bed. These results illustrate the efficacy of our exact and heuristic algorithms. We also show that when the cost matrix is specially structured, QBOP can be solved as a sequence of linear balanced optimization problems. As a consequence, we have several polynomially solvable cases of QBOP.
Exponential Approximation, Method of types for Empirical Neighbourhood Measures of Random graphs by Random Allocation
Published in International Journal of Statistics and Probability,Vol 3, No.2,110-120 (2014)
• View Publication
• BIB
In this article we find exponential good approximation of the empirical neigbourhood distribution of symbolled random graphs conditioned to a given empirical symbol distribution and empirical pair distribution. Using this approximation we shorten or simplify the proof of (Doku-Amponsah and Morters 2010, Theorem~2.5); the large deviation principle (LDP) for empirical neigbourhood distribution of symbolled random graphs. We also show that the LDP for the empirical degree measure of the classical Erdős-Rényi graph is a special case of (Doku-Amponsah and Moerters, 2010, Theorem~2.5). From the LDP for the empirical degree measure, we derive an LDP for the the proportion of isolated vertices in the classical Erdős-Rényi graph.
On Chromatic no. of 3K1-free graphs and R(3, k)
Here we prove that if G has independence no. 2 and clique size omega with omega less than or equal to 11, then (1) chromatic no. is less than or equal to (omega2+12omega-13)/8, if omega is odd, and (2) chromatic no. is less than or equal to (omega2+10omega)/8, if omega is even. We further conjecture that the results are true in general for all omega. We also conjecture that (A) if omega is odd and R(3, omega) is even, then R(3, omega) = (omega2+8omega-9)/4, (B) if omega and R(3, omega) are both odd, then (omega2+8omega-13)/4, (C) if omega and R(3, omega) are both even, then R(3, omega) = (omega2+6omega)/4 and (D) if omega is even and R(3, omega) is odd, then (omega2+6omega-4)/4. Again we verify the results for omega less than or equal to 9.
On the notion of balance in social network analysis
The notion of "balance" is fundamental for sociologists who study social networks. In formal mathematical terms, it concerns the distribution of triad configurations in actual networks compared to random networks of the same edge density. On reading Charles Kadushin's recent book "Understanding Social Networks", we were struck by the amount of confusion in the presentation of this concept in the early sections of the book. This confusion seems to lie behind his flawed analysis of a classical empirical data set, namely the karate club graph of Zachary. Our goal here is twofold. Firstly, we present the notion of balance in terms which are logically consistent, but also consistent with the way sociologists use the term. The main message is that the notion can only be meaningfully applied to undirected graphs. Secondly, we correct the analysis of triads in the karate club graph. This results in the interesting observation that the graph is, in a precise sense, quite "unbalanced". We show that this lack of balance is characteristic of a wide class of starlike-graphs, and discuss possible sociological interpretations of this fact, which may be useful in many other situations.
Nichols algebras with many cubic relations
Published in Trans. Amer. Math. Soc. 367 (2015), no. 9, 6315-6356
• View Publication
• BIB
Nichols algebras of group type with many cubic relations are classified under a technical assumption on the structure of Hurwitz orbits of the third power of the underlying indecomposable rack. All such Nichols algebras are finite-dimensional and their Hilbert series have a factorization into quantum integers. Also, all known finite-dimensional elementary Nichols algebras of group type turn out to have many cubic relations. The technical assumption of our theorem can be removed if a conjecture in the theory of cellular automata can be proven.
Gram matrices of reproducing kernel Hilbert spaces over graphs
Published
• View Publication
• BIB
In this paper, we introduce the notion of reproducing kernel Hilbert spaces for graphs and the Gram matrices associated with them. Our aim is to investigate the Gram matrices of reproducing kernel Hilbert spaces. We provide several bounds on the entries of the Gram matrices of reproducing kernel Hilbert spaces and characterize the graphs which attain our bounds.
Bounds for the Betti numbers of successive stellar subdivisions of a simplex
Published in Hokkaido Math. J. 44 (2015), 341-364
• Search Publication
We give a bound for the Betti numbers of the Stanley-Reisner ring of a stellar subdivision of a Gorenstein* simplicial complex by applying unprojection theory. From this we derive a bound for the Betti numbers of iterated stellar subdivisions of the boundary complex of a simplex. The bound depends only on the number of subdivisions, and we construct examples which prove that it is sharp.
Bigraphical Arrangements
Published in Transactions of the American Mathematical Society, 368(1), 2016
• View Publication
• BIB
We define the bigraphical arrangement of a graph and show that the Pak-Stanley labels of its regions are the parking functions of a closely related graph, thus proving conjectures of Duval, Klivans, and Martin and of Hopkins and Perkinson. A consequence is a new proof of a bijection between labeled graphs and regions of the Shi arrangement first given by Stanley. We also give bounds on the number of regions of a bigraphical arrangement.
Polytopes associated to Dihedral Groups
Published
• View Publication
• BIB
In this note we investigate the convex hull of those $n \times n$-permutation matrices that correspond to symmetries of a regular $n$-gon. We give the complete facet description. As an application, we show that this yields a Gorenstein polytope, and we determine the Ehrhart $h^*$-vector.
Young's lattice and dihedral symmetries revisited: Möbius strips and metric geometry
A cascade of dihedral symmetries is hidden in Young's lattice of integer partitions. In fact, for each integer N>2 the Hasse graph of the subposet consisting of the partitions with maximal hook length strictly less than N has the dihedral group of order 2N as its symmetry group. Here a new interpretation of those Hasse graphs is presented, namely as the 1-skeleta of the injective hulls of certain finite metric spaces.
On coloring of fractional powers of graphs
For $m, n\in \N$, the fractional power $\Gmn$ of a graph $G$ is the $m$th power of the $n$-subdivision of $G$, where the $n$-subdivision is obtained by replacing each edge in $G$ with a path of length $n$. It was conjectured by Iradmusa that if $G$ is a connected graph with $Δ(G)\ge 3$ and $1<m<n$, then $χ(\Gmn)=ω(\Gmn)$. Here we show that the conjecture does not hold in full generality by presenting a graph $H$ for which $χ(H^{3/5})>ω(H^{3/5})$. However, we prove that the conjecture is true if $m$ is even. We also study the case when $m$ is odd, obtaining a general upper bound $χ(\Gmn)\leq ω(\Gmn)+2$ for graphs with $Δ(G)\geq 4$.
An excluded minors method for infinite matroids
Published
• View Publication
• BIB
The notion of thin sums matroids was invented to extend the notion of representability to non-finitary matroids. A matroid is tame if every circuit-cocircuit intersection is finite. We prove that a tame matroid is a thin sums matroid over a finite field k if and only if all its finite minors are representable over k.
We expect that the method we use to prove this will make it possible to lift many theorems about finite matroids representable over a finite field to theorems about tame thin sums matroids over these fields. We give three examples of this: various characterisations of binary tame matroids and of regular tame matroids, and unique representability of ternary tame matroids.