Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Symplectic spreads, planar functions and mutually unbiased bases
Published in Journal of Algebraic Combinatorics 41 (2015), 1055-1077
• View Publication
• BIB
In this paper we give explicit descriptions of complete sets of mutually unbiased bases (MUBs) and orthogonal decompositions of special Lie algebras $sl_n(\mathbb{C})$ obtained from commutative and symplectic semifields, and from some other non-semifield symplectic spreads. Relations between various constructions are also studied. We show that the automorphism group of a complete set of MUBs is isomorphic to the automorphism group of the corresponding orthogonal decomposition of the Lie algebra $sl_n(\mathbb{C})$. In the case of symplectic spreads this automorphism group is determined by the automorphism group of the spread. By using the new notion of pseudo-planar functions over fields of characteristic two we give new explicit constructions of complete sets of MUBs.
A Faster Algorithm for Packing Branchings in Digraphs
Published
• View Publication
• BIB
We consider the problem of finding an integral packing of branchings in a capacitated digraph with root-set demands. Schrijver described an algorithm that returns a packing with at most m+n^3+r branchings that makes at most m(m+n^3+r) calls to an oracle that basically computes a minimum cut, where n is the number of vertices, m is the number of arcs and r is the number of root-sets of the input digraph. In this work we provide an algorithm, inspired on ideas of Schrijver and on an paper of Gabow and Manu, that returns a packing with at most m+r-1 branchings and makes at most 2n+m+r-1 oracle calls.
The number of vertices of a tropical curve is bounded by its area
Published in L'Enseignement Mathématique (2) 60 (2014), 257-271
• View Publication
• BIB
We introduce the notion of tropical area of a tropical curve defined in an open subset of $\mathbb R^n$. We prove that the number of vertices of a tropical curve is bounded by the area of the curve. The approach is totally elementary yet tricky. Our proof employs ideas from intersection theory in algebraic geometry. The result can be interpreted as the fact that the moduli space of tropical curves with bounded area is of finite type.
Labelled version of the almost bounded case of S. B. Rao's degree sequence conjecture
S. B. Rao conjectured that graphic sequences are well-quasi-ordered under an inclusion based on induced subgraphs. This conjecture has now been proved by Chudnovsky and Seymour. We give an independent short proof of the labelled version of the almost bounded case of S. B. Rao's conjecture, the case where we have a bound on the degree, but allow a bounded number of vertices to have unbounded degree.
Toric and tropical compactifications of hyperplane complements
Published in Ann. Fac. Sci. Toulouse Math. (6) 23 (2014), no. 2, 297-333
• View Publication
• BIB
These lecture notes are based on lectures given by the author at the summer school "Arrangements in Pyrénées" in June 2012. We survey and compare various compactifications of complex hyperplane arrangement complements. In particular, we review the Gel'fand-MacPherson construction, Kapranov's visible contours compactification, and De Concini and Procesi's wonderful compactification. We explain how these constructions are unified by some ideas from the modern origins of tropical geometry. The paper contains a few new arguments intended to make the presentation as self-contained as possible.
Splitting of operads and Rota-Baxter operators on operads
Published in Appl. Categorical Structures 25 (2017), 505-538
• View Publication
• BIB
This paper establishes a uniform procedure to split the operations in any algebraic operad, generalizing previous known notions of splitting algebraic structures from the dendriform algebra of Loday that splits the associative operation to the successors that split any binary operad. Examples are provided for various $n$-associative algebras, $n$-Lie algebras, $A_\infty$ algebras and $L_\infty$ algebras. Further, the concept of a Rota-Baxter operator, first showing its importance in the associative and Lie algebra context and then generalized to any binary operads, is generalized to arbitrary operads. The classical links from the Rota-Baxter associative algebra to the dendriform algebra and its numerous generalizations are further generalized and unified as the link from the Rota-Baxter operator on an operad to the splitting of the operad. Finally, the remarkable fact that any dendriform algebra can be recovered from a relative Rota-Baxter operator is generalized to the context of operads with the generalized notion of a relative Rota-Baxter operator for any operad.
Unavoidable vertex-minors in large prime graphs
Published in European Journal of Combinatorics, Volume 41, Pages 100-127, 2014
• View Publication
• BIB
A graph is prime (with respect to the split decomposition) if its vertex set does not admit a partition (A,B) (called a split) with |A|, |B| >= 2 such that the set of edges joining A and B induces a complete bipartite graph.
We prove that for each n, there exists N such that every prime graph on at least N vertices contains a vertex-minor isomorphic to either a cycle of length n or a graph consisting of two disjoint cliques of size n joined by a matching.
Conditioned random walks from Kac-Moody root systems
Published
• View Publication
• BIB
Random paths are time continuous interpolations of random walks. By using Littelmann path model, we associate to each irreducible highest weight module of a Kac Moody algebra g a random path W. Under suitable hypotheses, we make explicit the probability of the event E: W never exits the Weyl chamber of g. We then give the law of the random walk defined by W conditioned by the event E and proves this law can be recovered by applying to W the generalized Pitmann transform introduced by Biane, Bougerol and O'Connell. This generalizes the main results of [10] and [16] to Kac Moody root systems and arbitrary highest weight modules. Moreover, we use here a completely new approach by exploiting the symmetry of our construction under the action of the Weyl group of g rather than renewal theory and Doob's theorem on Martin kernels.
Shortest cycle covers and cycle double covers with large 2-regular subgraphs
Published in Journal of Combinatorics, No 4, Vol 4., 2013
• View Publication
• BIB
In this paper we show that many snarks have shortest cycle covers of length $\frac{4}{3}m+c$ for a constant $c$, where $m$ is the number of edges in the graph, in agreement with the conjecture that all snarks have shortest cycle covers of length $\frac{4}{3}m+o(m)$.
In particular we prove that graphs with perfect matching index at most 4 have cycle covers of length $\frac{4}{3}m$ and satisfy the $(1,2)$-covering conjecture of Zhang, and that graphs with large circumference have cycle covers of length close to $\frac{4}{3}m$. We also prove some results for graphs with low oddness and discuss the connection with Jaeger's Petersen colouring conjecture.
Random weighted projections, random quadratic forms and random eigenvectors
Published
• View Publication
• BIB
We present a concentration result concerning random weighted projections in high dimensional spaces. As applications, we prove
(1) New concentration inequalities for random quadratic forms;
(2) The infinity norm of most unit eigenvectors of a random $\pm 1$ matrix is of order $O( \sqrt { \log n/n})$;
(3) An estimate on the threshold for the local semi-circle law which is tight up to a $\sqrt {\log n}$ factor.
Words with unbounded periodicity complexity
Published in International Journal of Algebra and Computation 24 (2014) , 827-836
• View Publication
• BIB
If an infinite non-periodic word is uniformly recurrent or is of bounded repetition, then the limit of its periodicity complexity is infinity. Moreover, there are uniformly recurrent words with the periodicity complexity arbitrarily high at infinitely many positions.
Permutations avoiding 4321 and 3241 have an algebraic generating function
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019 (December 13, 2022) dmtcs:5286
• View Publication
• BIB
We show that permutations avoiding both of the (classical) patterns 4321 and 3241 have the algebraic generating function conjectured by Vladimir Kruchinin.
Sets of Complex Unit Vectors with Two Angles and Distance-Regular Graphs
Published
• View Publication
• BIB
We study {0,α}-sets, which are sets of unit vectors of $\mathbb{C}^m$ in which any two distinct vectors have angle 0 or α. We investigate some distance-regular graphs that provide new constructions of {0,α}-sets using a method by Godsil and Roy. We prove bounds for the sizes of {0,α}-sets of flat vectors, and characterize all the distance-regular graphs that yield {0,α}-sets meeting the bounds at equality.
Topology of polyhedral products and the Golod property of Stanley-Reisner rings
The polyhedral product is a space constructed from a simplicial complex and a collection of pairs of spaces, which is connected with the Stanley Reisner ring of the simplicial complex via cohomology. Generalizing the previous work Grbic and Theriault, Grujic and Welker, and the authors, we show a decomposition of polyhedral products for a large class of simplicial complexes including the ones whose Alexander duals are shellable or sequentially Cohen-Macaulay. This implies the property, called Golod, of the corresponding Stanley-Reisner rings proved by Herzog, Reiner and Welker.
On Some Expander Graphs and Algebraic Cayley Graphs
Expander graphs have many interesting applications in communication networks and other areas, and thus these graphs have been extensively studied in theoretic computer sciences and in applied mathematics. In this paper, we use reversible difference sets and generalized difference sets to construct more expander graphs, some of them are Ramanujan graphs. Three classes of elementary constructions of infinite families of Ramanujan graphs are provided. It is proved that for every even integer $k>4$, if $2(k+2)=rs$ for two even numbers $r$ and $s$ with $s\geq 4$ and $2s>r\geq s$, or $r\geq 4$ and $2r>s\geq r$, then there exists an $k$-regular Ramanujan graph. As a consequence, there exists an $k$-regular Ramanujan graph with $k=2t^2-2$ for every integer $t>2$. It is also proved that for every odd integer $m$, there is an $(2^{2m-2}+2^{m-1})$-regular Ramanujan graph. These results partially solved the long hanging open question for the existence of $k$-regular Ramanujan graphs for every positive integer $k$.
Solvability of Cubic Graphs - From Four Color Theorem to NP-Complete
Similar to Euclidean geometry, graph theory is a science that studies figures that consist of points and lines. The core of Euclidean geometry is the parallel postulate, which provides the basis of the geometric invariant that the sum of the angles in every triangle equals $π$ and Cramer's rule for solving simultaneous linear equations. Since the counterpart of parallel postulate in graph theory is not known, which could be the reason that two similar problems in graph theory, namely the four color theorem (a topological invariant) and the solvability of NP-complete problems (discrete simultaneous equations), remain open to date. In this paper, based on the complex coloring of cubic graphs, we propose the reducibility postulate of the Petersen configuration to fill this gap. Comparing edge coloring with a system of linear equations, we found that the postulate of reducibility in graph theory and the parallel postulate in Euclidean geometry share some common characteristics of the plane. First, they both provide solvability conditions on two equations in the plane. Second, the two basic invariants of the plane, namely the chromatic index of bridgeless cubic plane graphs and the sum of the angles in every triangle, can be respectively deduced from them in a straightforward manner. This reducibility postulation has been verified by more than one hundred thousand instances of Peterson configurations generated by computer. Despite that, we still don't have a logical proof of this assertion. Similar to that of the parallel postulate, we tend to think that describing these natural laws by even more elementary properties of the plane is inconceivable.
A generalization of carries process and Eulerian numbers
Published
• View Publication
• BIB
We study a generalization of Holte's amazing matrix, the transition probability matrix of the Markov chains of the 'carries' in a non-standard numeration system. The stationary distributions are explicitly described by the numbers which can be regarded as a generalization of the Eulerian numbers and the MacMahon numbers. We also show that similar properties hold even for the numeration systems with the negative bases.
On the maximum fraction of edges covered by t perfect matchings in a cubic bridgeless graph
Published in Discrete Math. 338(8) (2015), 1509-1514
• View Publication
• BIB
A conjecture of Berge and Fulkerson (1971) states that every cubic bridgeless graph contains 6 perfect matchings covering each edge precisely twice, which easily implies that every cubic bridgeless graph has three perfect matchings with empty intersection (this weaker statement was conjectured by Fan and Raspaud in 1994). Let $m_t$ be the supremum of all reals $α\le 1$ such that for every cubic bridgeless graph $G$, there exist $t$ perfect matchings of $G$ covering a fraction of at least $α$ of the edges of $G$. It is known that the Berge-Fulkerson conjecture is equivalent to the statement that $m_5=1$, and implies that $m_4=\tfrac{14}{15}$ and $m_3=\tfrac45$. In the first part of this paper, we show that $m_4=\tfrac{14}{15}$ implies $m_3=\tfrac45$, and $m_3=\tfrac45$ implies the Fan-Raspaud conjecture, strengthening a recent result of Tang, Zhang, and Zhu. In the second part of the paper, we prove that for any $2\le t \le 4$ and for any real $τ$ lying in some appropriate interval, deciding whether a fraction of more than (resp. at least) $τ$ of the edges of a given cubic bridgeless graph can be covered by $t$ perfect matching is an NP-complete problem. This resolves a conjecture of Tang, Zhang, and Zhu.
A criterion for a monomial ideal to have a linear resolution in characteristic 2
Published
• View Publication
• BIB
In this paper we give a necessary and sufficient combinatorial condition for a monomial ideal to have a linear resolution over fields of characteristic 2. We also give a new proof of Fröberg's theorem over fields of characteristic 2.
On the weight hierarchy of codes coming from semigroups with two generators
Published in IEEE Trans. Inform. Theory, 60 (2014) 282-295
• View Publication
• BIB
The weight hierarchy of one-point algebraic geometry codes can be estimated by means of the generalized order bounds, which are described in terms of a certain Weierstrass semigroup. The asymptotical behaviour of such bounds for r > 1 differs from that of the classical Feng-Rao distance (r=1) by the so-called Feng-Rao numbers. This paper is addressed to compute the Feng-Rao numbers for numerical semigroups of embedding dimension two (with two generators), obtaining a closed simple formula for the general case by using numerical semigroup techniques. These involve the computation of the Apéry set with respect to an integer of the semigroups under consideration. The formula obtained is applied to lower-bounding the generalized Hamming weights, improving the bound given by Kirfel and Pellikaan in terms of the classical Feng-Rao distance. We also compare our bound with a modification of the Griesmer bound, improving this one in many cases.