Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Balance properties of Arnoux-Rauzy words
Published in International Journal of Algebra and Computation 23, 4 (2013) 689-704
• View Publication
• BIB
The paper deals with balances and imbalances in Arnoux-Rauzy words. We provide sufficient conditions for $C$-balancedness, but our results indicate that even a characterization of 2-balanced Arnoux-Rauzy words on a 3-letter alphabet is not immediate.
Integration formulas for Brownian motion on classical compact Lie groups
Published
• View Publication
• BIB
Combinatorial formulas for the moments of the Brownian motion on classical compact Lie groups are obtained. These expressions are deformations of formulas of B. Collins and P. Śniady for moments of the Haar measure and yield a proof of the First Fundamental Theorem of invariant theory and of classical Schur-Weyl dualities based on stochastic calculus.
Seven new champion linear codes
Published in LMS J. Comput. Math. 16 (2013) 109-117
• View Publication
• BIB
We exhibit seven linear codes exceeding the current best known minimum distance d for their dimension k and block length n. Each code is defined over F_8, and their invariants [n,k,d] are given by [49,13,27], [49,14,26], [49,16,24], [49,17,23], [49,19,21], [49,25,16] and [49,26,15]. Our method includes an exhaustive search of all monomial evaluation codes generated by points in the [0,5]x[0,5] lattice square.
Expansion of Random Graphs: New Proofs, New Results
Published in Inventiones Mathematicae 201 (2015), no. 3, 845-908
• View Publication
• BIB
We present a new approach to showing that random graphs are nearly optimal expanders. This approach is based on recent deep results in combinatorial group theory. It applies to both regular and irregular random graphs.
Let G be a random d-regular graph on n vertices, and let λbe the largest absolute value of a non-trivial eigenvalue of its adjacency matrix. It was conjectured by Alon [86'] that a random d-regular graph is almost Ramanujan, in the following sense: for every e>0, λ<2\sqrt{d-1} + e asymptotically almost surely. Friedman famously presented a proof of this conjecture in [08']. Here we suggest a new, substantially simpler proof of a nearly-optimal result: we show that a random d-regular graph satisfies λ< 2\sqrt{d-1} + 1 a.a.s.
A main advantage of our approach is that it is applicable to a generalized conjecture: For d even, a d-regular graph on n vertices is an n-covering space of a bouquet of d/2 loops. More generally, fixing an arbitrary base graph H, we study the spectrum of G, a random n-covering of H. Let λbe the largest absolute value of a non-trivial eigenvalue of G. Extending Alon's conjecture to this more general model, Friedman [03'] conjectured that for every e>0, a.a.s. λ< ρ+e, where ρis the spectral radius of the universal cover of H. When H is regular we get a bound of ρ+0.84, and for an arbitrary H, we prove a nearly optimal upper bound of \sqrt{3}ρ. This is a substantial improvement upon all known results (by Friedman, Linial-Puder, Lubetzky-Sudakov-Vu and Addario-Berry-Griffiths).
q-Analogs of Packing Designs
Published
• View Publication
• BIB
A $P_q(t,k,n)$ $q$-packing design is a selection of $k$-subspaces of $\F_q^n$ such that each $t$-subspace is contained in at most one element of the collection. A successful approach adopted from the Kramer-Mesner-method of prescribing a group of automorphisms was applied by Kohnert and Kurz to construct some constant dimension codes with moderate parameters which arise by $q$-packing designs. In this paper we recall this approach and give a version of the Kramer-Mesner-method breaking the condition that the whole $q$-packing design must admit the prescribed group of automorphisms. Afterwards, we describe the basic idea of an algorithm to tackle the integer linear optimization problems representing the $q$-packing design construction by means of a metaheuristic approach. Finally, we give some improvements on the size of $P_2(2,3,n)$ $q$-packing designs.
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.