Showing 20 papers (Total: 82139 papers, 47531 authors in database)
k-colored kernels
We study $k$-colored kernels in $m$-colored digraphs. An $m$-colored digraph $D$ has $k$-colored kernel if there exists a subset $K$ of its vertices such that
(i) from every vertex $v\notin K$ there exists an at most $k$-colored directed path from $v$ to a vertex of $K$ and
(ii) for every $u,v\in K$ there does not exist an at most $k$-colored directed path between them.
In this paper, we prove that for every integer $k\geq 2$ there exists a $% (k+1)$-colored digraph $D$ without $k$-colored kernel and if every directed cycle of an $m$-colored digraph is monochromatic, then it has a $k$-colored kernel for every positive integer $k.$ We obtain the following results for some generalizations of tournaments:
(i) $m$-colored quasi-transitive and 3-quasi-transitive digraphs have a $k$% -colored kernel for every $k\geq 3$ and $k\geq 4,$ respectively (we conjecture that every $m$-colored $l$-quasi-transitive digraph has a $k$% -colored kernel for every $k\geq l+1)$, and
(ii) $m$-colored locally in-tournament (out-tournament, respectively) digraphs have a $k$-colored kernel provided that every arc belongs to a directed cycle and every directed cycle is at most $k$-colored.
Division algorithms for the fixed weight subset sum problem
Given positive integers $a_1,..., a_n, t$, the fixed weight subset sum problem is to find a subset of the $a_i$ that sum to $t$, where the subset has a prescribed number of elements. It is this problem that underlies the security of modern knapsack cryptosystems, and solving the problem results directly in a message attack. We present new exponential algorithms that do not rely on lattices, and hence will be applicable when lattice basis reduction algorithms fail. These algorithms rely on a generalization of the notion of splitting system given by Stinson. In particular, if the problem has length $n$ and weight $\ell$ then for constant $k$ a power of two less than $n$ we apply a $k$-set birthday algorithm to the splitting system of the problem. This randomized algorithm has time and space complexity that satisfies $T \cdot S^{\log{k}} = O({n \choose \ell})$ (where the constant depends uniformly on $k$). In addition to using space efficiently, the algorithm is highly parallelizable.
The existence of fractional repetition codes
Salim El Rouayheb and Kannan Ramchandran introduced the concept of fractional repetition (FR) code. In their article it remained unsolved when we can find such codes. Here we give an exact characterization of situations when it is possible to find an FR code.
Veronese Algebras and Modules of Rings with Straightening Laws
Published
• View Publication
• BIB
Do the Veronese rings of an algebra with straightening laws (ASL) still have an ASL structure? We give positive answers to this question in some particular cases, namely for the second Veronese algebra of Hibi rings and of discrete ASLs. We also prove that the Veronese modules of the polynomial ring have a structure of module with straightening laws. In dimension at most three we present a poset construction that has the required combinatorial properties to support such a structure.
A note on the history of the four-colour conjecture
Published
• View Publication
• BIB
The four-colour conjecture was brought to public attention in 1854, most probably by Francis or Frederick Guthrie. This moves back by six years the date of the earliest known publication.
Infinite graphs in systematic biology, with an application to the species problem
Published in Acta Biotheoretica 61(2), pp.181--201, 2013
• View Publication
• BIB
We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels' question, "Can biology lead to new theorems?"
Finding a subset of nonnegative vectors with a coordinatewise large sum
Published in Discrete Math. 313 (2013), pp. 622--625
• View Publication
• BIB
Given a rational $a=p/q$ and $N$ nonnegative $d$-dimensional real vectors $u_1$, ..., $u_N$, we show that it is always possible to choose $(d-1)+\lceil (pN-d+1)/q\rceil$ of them such that their sum is (componentwise) at least $(p/q)(u_1+...+u_N)$. For fixed $d$ and $a$, this bound is sharp if $N$ is large enough. The method of the proof uses Carathéodory's theorem from linear programming.
h-Vectors of matroids and logarithmic concavity
Published
• View Publication
• BIB
Let M be a matroid on E, representable over a field of characteristic zero. We show that h-vectors of the following simplicial complexes are log-concave: 1. The matroid complex of independent subsets of E. 2. The broken circuit complex of $M$ relative to an ordering of E. The first implies a conjecture of Colbourn on the reliability polynomial of a graph, and the second implies a conjecture of Hoggar on the chromatic polynomial of a graph. The proof is based on the geometric formula for the characteristic polynomial of Denham, Garrousian, and Schulze.
The HIM glocal metric and kernel for network comparison and classification
Published
• View Publication
• BIB
Due to the ever rising importance of the network paradigm across several areas of science, comparing and classifying graphs represent essential steps in the networks analysis of complex systems. Both tasks have been recently tackled via quite different strategies, even tailored ad-hoc for the investigated problem. Here we deal with both operations by introducing the Hamming-Ipsen-Mikhailov (HIM) distance, a novel metric to quantitatively measure the difference between two graphs sharing the same vertices. The new measure combines the local Hamming distance and the global spectral Ipsen-Mikhailov distance so to overcome the drawbacks affecting the two components separately. Building then the HIM kernel function derived from the HIM distance it is possible to move from network comparison to network classification via the Support Vector Machine (SVM) algorithm. Applications of HIM distance and HIM kernel in computational biology and social networks science demonstrate the effectiveness of the proposed functions as a general purpose solution.
Resolution of an integral equation with the Thue-Morse sequence
Published in Indagationes Mathematicae, 23 (2012) 4, 327--336
• View Publication
• BIB
It is a classical fact that the exponential function is solution of the integral equation $ \int_0^X f(x)dx + f(0) =f(X)$. If we slightly modify this equation to $ \int_0^X f(x)dx+f(0)=f(αX)$ with $α\in ]0,1[$, it seems that no classical techniques apply to yields solutions. In this article, we consider the parameter $α=1/2$. We will show the existence of a solution wich takes the values of the Thue-Morse sequence on the odd integers.
Fork-forests in bi-colored complete bipartite graphs
Published
• View Publication
• BIB
Motivated by the problem in [6], which studies the relative efficiency of propositional proof systems, 2-edge colorings of complete bipartite graphs are investigated. It is shown that if the edges of $G=K_{n,n}$ are colored with black and white such that the number of black edges differs from the number of white edges by at most 1, then there are at least $n(1-1/\sqrt{2})$ vertex-disjoint forks with centers in the same partite set of $G$. Here, a fork is a graph formed by two adjacent edges of different colors. The bound is sharp. Moreover, an algorithm running in time $O(n^2 \log n \sqrt{n α(n^2,n) \log n})$ and giving a largest such fork forest is found.
Equivariant Cohomology of Infinite-Dimensional Grassmannian and Shifted Schur Functions
Published
• View Publication
• BIB
We study the multiplication and comultiplication in equivariant cohomology of Sato Grassmannian
New examples of oriented matroids with disconnected realization spaces
Published
• View Publication
• BIB
We construct oriented matroids of rank 3 on 13 points whose realization spaces are disconnected. They are defined on smaller points than the known examples with this property. Moreover, we construct the one on 13 points whose realization space is a connected and non-irreducible semialgebraic variety.
Positive margins and primary decomposition
Published in J. Commut. Algebra, Volume 6, Number 2 (2014), 173-208
• View Publication
• BIB
We study random walks on contingency tables with fixed marginals, corresponding to a (log-linear) hierarchical model. If the set of allowed moves is not a Markov basis, then there exist tables with the same marginals that are not connected. We study linear conditions on the values of the marginals that ensure that all tables in a given fiber are connected. We show that many graphical models have the positive margins property, which says that all fibers with strictly positive marginals are connected by the quadratic moves that correspond to conditional independence statements. The property persists under natural operations such as gluing along cliques, but we also construct examples of graphical models not enjoying this property. We also provide a negative answer to a question of Engström, Kahle, and Sullivant by demonstrating that the global Markov ideal of the complete bipartite graph K_(3,3) is not radical.
Our analysis of the positive margins property depends on computing the primary decomposition of the associated conditional independence ideal. The main technical results of the paper are primary decompositions of the conditional independence ideals of graphical models of the $N$-cycle and the complete bipartite graph $K_(2,N-2)$, with various restrictions on the size of the nodes.
Musical Modes, Their Associated Chords and Their Musicality
Published
• View Publication
• BIB
In this paper we present a mathematical way of defining musical modes and we define the musicality of a mode as a product of three different factors. We conclude by classifying the modes which are most musical according to our definition.
Combinatorial Reciprocity Theorems
Published in Jahresbericht der DMV 114, no. 1 (2012), 3-22
• View Publication
• BIB
A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane arrangements, lattice points in polyhedra, proper colorings of graphs, and $P$-partitions. We will see that in each instance we get interesting information out of a counting function when we evaluate it at a \emph{negative} integer (and so, a priori the counting function does not make sense at this number). Our goals are to convey some of the charm these "alternative" evaluations of counting functions exhibit, and to weave a unifying thread through various combinatorial reciprocity theorems by looking at them through the lens of geometry, which will include some scenic detours through other combinatorial concepts.
The maximum and the minimum size of complete (n,3)-arcs in PG(2,16)
Published
• View Publication
• BIB
In this work we solve the packing problem for complete (n,3)-arcs in PG(2,16), determining that the maximum size is 28 and the minimum size is 15. We also performed a partial classification of the extremal size of complete (n,3)-arcs in PG(2,16).
Solving the minimum labelling spanning tree problem using intelligent optimization
Published
• View Publication
• BIB
Given a connected, undirected graph whose edges are labelled (or coloured), the minimum labelling spanning tree (MLST) problem seeks a spanning tree whose edges have the smallest number of distinct labels (or colours). In recent work, the MLST problem has been shown to be NP-hard and some effective heuristics have been proposed and analyzed. In this paper we present an intelligent optimization algorithm to solve the problem. It is obtained by the basic Variable Neighbourhood Search heuristic with the integration of other complements from machine learning, statistics and experimental algorithmics, in order to produce high-quality performance and to completely automate the resulting optimization strategy. We present experimental results on randomly generated graphs with different statistical properties, showing the crucial effects of the implementation, the robustness, and the empirical scalability of our intelligent algorithm. Furthermore, the computational experiments show that the proposed strategy outperforms the heuristics recommended in the literature and is able to obtain optimal or near-optimal solutions in short computational running time.
Gérard-Levelt membranes
Published
• View Publication
• BIB
We present an unexpected application of tropical convexity to the determination of invariants for linear systems of differential equations. We show that the classical Gérard-Levelt lattice saturation procedure can be geometrically understood in terms of a projection on the tropical linear space attached to a subset of the local affine Bruhat-Tits building, that we call the Gérard-Levelt membrane. This provides a way to compute the true Poincaré rank, but also the Katz rank of a meromorphic connection without having to perform gauge transforms nor ramifications of the variable. We finally present an efficient algorithm to compute this tropical projection map, generalising Ardila's method for Bergman fans to the case of the tight-span of a valuated matroid.
Telescopers for Rational and Algebraic Functions via Residues
Published
• View Publication
• BIB
We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for rational functions of three variables is faster than known algorithms, at least in some examples of combinatorial interest. The algorithm for algebraic functions implies a new bound on the order of the telescopers.