Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Function classes and relational constraints stable under compositions with clones
Published
• View Publication
• BIB
The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.
Combinatorics and Genus of Tropical Intersections and Ehrhart Theory
Published
• View Publication
• BIB
Let $g_1, ..., g_k$ be tropical polynomials in $n$ variables with Newton polytopes $P_1, ..., P_k$. We study combinatorial questions on the intersection of the tropical hypersurfaces defined by $g_1, ..., g_k$, such as the $f$-vector, the number of unbounded faces and (in case of a curve) the genus. Our point of departure is Vigeland's work who considered the special case $k=n-1$ and where all Newton polytopes are standard simplices. We generalize these results to arbitrary $k$ and arbitrary Newton polytopes $P_1, ..., P_k$. This provides new formulas for the number of faces and the genus in terms of mixed volumes. By establishing some aspects of a mixed version of Ehrhart theory we show that the genus of a tropical intersection curve equals the genus of a toric intersection curve corresponding to the same Newton polytopes.
The Automorphism Group of a Metropolis-Rota Implication Algebra
We discuss the group of automorphisms of a general MR-algebra. We develop several functors between implication algebras and cubic algebras. These allow us to generalize the notion of inner automorphism. We then show that this group is always isomorphic to the group of inner automorphisms of a filter algebra.
On the spread of random graphs
Published
• View Publication
• BIB
The spread of a connected graph G was introduced by Alon, Boppana and Spencer (1998) and measures how tightly connected the graph is. It is defined as the maximum over all Lipschitz functions f on V(G) of the variance of f(X) when X is uniformly distributed on V(G). We investigate the spread for certain models of sparse random graph; in particular for random regular graphs G(n,d), for Erdős-Rényi random graphs G_{n,p} in the supercritical range p>1/n, and for a 'small world' model. For supercritical G_{n,p}, we show that if p=c/n with c>1 fixed then with high probability the spread of the giant component is bounded, and we prove corresponding statements for other models of random graphs, including a model with random edge-lengths. We also give lower bounds on the spread for the barely supercritical case when p=(1+o(1))/n. Further, we show that for d large, with high probability the spread of G(n,d) becomes arbitrarily close to that of the complete graph K_n.
A Linear-Time Algorithm for the Maximum Matched-Paired-Domination Problem in Cographs
Published in International Journal of Computer Mathematics 88/10 (2011) 2042-2056
• View Publication
• BIB
Let $G=(V,E)$ be a graph without isolated vertices. A matching in $G$ is a set of independent edges in $G$. A perfect matching $M$ in $G$ is a matching such that every vertex of $G$ is incident to an edge of $M$. A set $S\subseteq V$ is a \textit{paired-dominating set} of $G$ if every vertex in $V-S$ is adjacent to some vertex in $S$ and if the subgraph $G[S]$ induced by $S$ contains at least one perfect matching. The paired-domination problem is to find a paired-dominating set of $G$ with minimum cardinality. A set $MPD\subseteq E$ is a \textit{matched-paired-dominating set} of $G$ if $MPD$ is a perfect matching of $G[S]$ induced by a paired-dominating set $S$ of $G$. Note that the paired-domination problem can be regard as finding a matched-paired-dominating set of $G$ with minimum cardinality. Let $\mathcal{R}$ be a subset of $V$, $MPD$ be a matched-paired-dominating set of $G$, and let $V(MPD)$ denote the set of vertices being incident to edges of $MPD$. A \textit{maximum matched-paired-dominating set} $MMPD$ of $G$ w.r.t. $\mathcal{R}$ is a matched-paired-dominating set such that $|V(MMPD)\cap \mathcal{R}|\geqslant |V(MPD)\cap \mathcal{R}|$. An edge in $MPD$ is called \textit{free-paired-edge} if neither of its both vertices is in $\mathcal{R}$. Given a graph $G$ and a subset $\mathcal{R}$ of vertices of $G$, the \textit{maximum matched-paired-domination problem} is to find a maximum matched-paired-dominating set of $G$ with the least free-paired-edges; note that, if $\mathcal{R}$ is empty, the stated problem coincides with the classical paired-domination problem. In this paper, we present a linear-time algorithm to solve the maximum matched-paired-domination problem in cographs.
The internally 4-connected binary matroids with no M(K3,3)-minor
Published
• View Publication
• BIB
We give a characterization of the internally 4-connected binary matroids that have no minor isomorphic to M(K3,3). Any such matroid is either cographic, or is isomorphic to a particular single-element extension of the bond matroid of a cubic or quartic Mobius ladder, or is isomorphic to one of eighteen sporadic matroids.
Hypergraphic Oriented Matroid Relational Dependency Flow Models of Chemical Reaction Networks
In this paper we derive and present an application of hypergraphic oriented matroids for the purpose of enumerating the variable interdependencies that define the chemical complexes associated with the kinetics of non-linear dynamical system representations of chemical kinetic reaction flow networks. The derivation of a hypergraphic oriented matroid is obtained by defining a closure operator on families of n-subsets of signed multi-sets from which a "Z-module" is obtained. It has been observed that every instantiation of the closure operator on the signed multiset families define a matroid structure. It is then demonstrated that these structures generate a pair of dual matroids corresponding respectively to hyperspanning trees and hypercycles obtained from the corresponding directed hypergraphs. These structures are next systematically evaluated to obtain solution sets that satisfy systems of non-linear chemical kinetic reaction flow networks in the MAP Kinase cascade cell-signaling pathway.
A note on the counterfeit coins problem
In this paper, we will present an algorithm to resolve the counterfeit coins problem in the case that the number of false coins is unknown in advance.
Univariate approximations in the infinite occupancy scheme
Published
• View Publication
• BIB
The paper concerns the classical occupancy scheme with infinitely many boxes. We establish approximations to the distributions of the number of occupied boxes, and of the number of boxes containing exactly r balls, within the family of translated Poisson distributions. These are shown to be of ideal asymptotic order, with respect both to total variation distance and to the approximation of point probabilities. The proof is probabilistic, making use of a translated Poisson approximation theorem of Röllin (2005).
The weighted random graph model
Published in New Journal of Physics 11, 073005 (2009)
• View Publication
• BIB
We introduce the weighted random graph (WRG) model, which represents the weighted counterpart of the Erdos-Renyi random graph and provides fundamental insights into more complicated weighted networks. We find analytically that the WRG is characterized by a geometric weight distribution, a binomial degree distribution and a negative binomial strength distribution. We also characterize exactly the percolation phase transitions associated with edge removal and with the appearance of weighted subgraphs of any order and intensity. We find that even this completely null model displays a percolation behavior similar to what observed in real weighted networks, implying that edge removal cannot be used to detect community structure empirically. By contrast, the analysis of clustering successfully reveals different patterns between the WRG and real networks.
Algebraic properties of the path ideal of a tree
Published
• View Publication
• BIB
The path ideal (of length t >=2) of a graph G is the monomial ideal, denoted I_t(G), whose generators correspond to the directed paths of length t in G. We study some of the algebraic properties of I_t(G) when G is a tree. We first show that I_t(G) is the facet ideal of a simplicial tree. As a consequence, the quotient ring R/I_t(G) is always sequentially Cohen-Macaulay, and the Betti numbers of R/I_t(G) do not depend upon the characteristic of the field. We study the case of the line graph in greater detail at the end of the paper.
Enumerating the Derangements of an $n$-Cube via Möbius Inversion
In $\mathcal L$, the semilattice of faces of an $n$-cube, we count the number of automorphisms of $\mathcal L$ that fix a given subalgebra -- either pointwise or as a subalgebra. By using Möbius inversion we get a formula for the number of derangements on the $n$-cube in terms of the Möbius function on the lattice of MR-subalgebras. We compute this Möbius function.
Representations of Symmetric Implication Algebras as Multicubes
We show that the variety of symmetric implication algebras is generated from cubic implication algebras and Boolean algebras. We do this by developing the notion of a locally symmetric implication algebra that has properties similar to cubic implication algebras and provide a representation of these algebras as subalgebras of a product of a cubic implication algebra and an implication algebra. We then show that every symmetric implication algebra is covered by a locally symmetric implication algebra.
Projective reflection groups
Published
• View Publication
• BIB
We introduce the class of projective reflection groups which includes all complex reflection groups. We show that several aspects involving the combinatorics and the representation theory of all non exceptional irreducible complex reflection groups find a natural description in this wider setting.
On the eigenvalues of Cayley graphs on the symmetric group generated by a complete multipartite set of transpositions
Published in J. Algebraic Combin. 32, no. 2, 155-185 (2010)
• View Publication
• BIB
Given a finite simple graph $\cG$ with $n$ vertices, we can construct the Cayley graph on the symmetric group $S_n$ generated by the edges of $\cG$, interpreted as transpositions. We show that, if $\cG$ is complete multipartite, the eigenvalues of the Laplacian of $\Cay(\cG)$ have a simple expression in terms of the irreducible characters of transpositions, and of the Littlewood-Richardson coefficients. As a consequence we can prove that the Laplacians of $\cG$ and of $\Cay(\cG)$ have the same first nontrivial eigenvalue. This is equivalent to saying that Aldous's conjecture, asserting that the random walk and the interchange process have the same spectral gap, holds for complete multipartite graphs.
Cubic algebras and Implication Algebras
We consider relationships between cubic algebras and implication algebras. We first exhibit a functorial construction of a cubic algebra from an implication algebra. Then we consider an collapse of a cubic algebra to an implication algebra and the connection between these two operations. Finally we use the ideas of the collapse to obtain a Stone-type representation theorem for a large class of cubic algebras.
Elementary properties of circle map sequences
Published in Nihonkai Math. Journal, Vol.19(2008), p.85-104
• Search Publication
We study the combinatorial and structural properties of the circle map sequences. We introduce an embedding procedure which gives a map from the hull(closure of the set of translates) to the sequence of embedding operations through which we study the structure of the hull. We also study the set of admissible words and classify them in terms of their appearance.
Regularity, Depth and Arithmetic Rank of Bipartite Edge Ideals
Published in J. Algebraic Combin. 30 (2009), no. 4, 429-445
• View Publication
• BIB
We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.
On locally constructible spheres and balls
Published in Acta Mat.206:205-243,2011
• View Publication
• BIB
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) 3-spheres and showed that there are only exponentially-many combinatorial types of simplicial LC 3-spheres. Such upper bounds are crucial for the convergence of models for 3D quantum gravity.
We characterize the LC property for d-spheres ("the sphere minus a facet collapses to a (d-2)-complex") and for d-balls. In particular, we link it to the classical notions of collapsibility, shellability and constructibility, and obtain hierarchies of such properties for simplicial balls and spheres. The main corollaries from this study are:
1.) Not all simplicial 3-spheres are locally constructible. (This solves a problem by Durhuus and Jonsson.)
2.) There are only exponentially many shellable simplicial 3-spheres with given number of facets. (This answers a question by Kalai.)
3.) All simplicial constructible 3-balls are collapsible. (This answers a question by Hachimori.)
4.) Not every collapsible 3-ball collapses onto its boundary minus a facet. (This property appears in papers by Chillingworth and Lickorish.)
Graphs where every k-subset of vertices is an identifying set
Published
• View Publication
• BIB
Let $G=(V,E)$ be an undirected graph without loops and multiple edges. A subset $C\subseteq V$ is called \emph{identifying} if for every vertex $x\in V$ the intersection of $C$ and the closed neighbourhood of $x$ is nonempty, and these intersections are different for different vertices $x$.
Let $k$ be a positive integer. We will consider graphs where \emph{every} $k$-subset is identifying. We prove that for every $k>1$ the maximal order of such a graph is at most $2k-2.$ Constructions attaining the maximal order are given for infinitely many values of $k.$
The corresponding problem of $k$-subsets identifying any at most $\ell$ vertices is considered as well.