Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Independence of hyperlogarithms over function fields via algebraic combinatorics
We obtain a necessary and sufficient condition for the linear independence of solutions of differential equations for hyperlogarithms. The key fact is that the multiplier (i.e. the factor $M$ in the differential equation $dS=MS$) has only singularities of first order (Fuchsian-type equations) and this implies that they freely span a space which contains no primitive. We give direct applications where we extend the property of linear independence to the largest known ring of coefficients.
Cocharacters of polynomial identities of upper triangular matrices
Published
• View Publication
• BIB
We give an easy algorithm which calculates the generating function of the cocharacter sequence of the T-ideal of the polynomial identities of the algebra of upper triangular matrices over a field of characteristic zero. Applying this algorithm we have found the explicit form of the multiplicities in two cases: (i) for the "largest" partitions; (ii) for matrices of small size and for all partitions.
A Set and Collection Lemma
Published
• View Publication
• BIB
A set S is independent if no two vertices from S are adjacent. In this paper we prove that if F is a collection of maximum independent sets of a graph, then there is a matching from S-{intersection of all members of F} into {union of all members of F}-S, for every independent set S. Based on this finding we give alternative proofs for a number of well-known lemmata, as the "Maximum Stable Set Lemma" due to Claude Berge and the "Clique Collection Lemma" due to András Hajnal.
Duality on hypermaps with symmetric or alternating monodromy group
Published
• View Publication
• BIB
Duality is the operation that interchanges hypervertices and hyperfaces on oriented hypermaps. The duality index measures how far a hypermap is from being self-dual. We say that an oriented regular hypermap has \emph{duality-type} $\{l,n\}$ if $l$ is the valency of its vertices and $n$ is the valency of its faces. Here, we study some properties of this duality index in oriented regular hypermaps and we prove that for each pair $n$, $l \in \mathbb{N}$, with $n,l \geq 2$, it is possible to find an oriented regular hypermap with extreme duality index and of duality-type $\{l,n \}$, even if we are restricted to hypermaps with alternating or symmetric monodromy group.
Word posets, complexity, and Coxeter groups
A monoid $M$ generated by a set $S$ of symbols can be described as the set of equivalence classes of finite words in $S$ under some relations that specify when some contiguous sequence of symbols can be replaced by another. If $a,b\in S$, a relation of the form $ab=ba$ is said to be a \emph{commutation relation}. Words that are equivalent using only a sequence of commutation relations are said to be in the same \emph{commutation class}. We introduce certain partially ordered sets that we call \emph{word posets} that capture the structure of commutation classes in monoids. The isomorphism classes of word posets are seen to be in bijective correspondence with the commutation classes, and we show that the linear extensions of the word poset correspond bijectively to the words in the commutation class, using which we demonstrate that enumerating the words in commutation classes of monoids is #P-complete. We then apply the word posets to Coxeter groups. We show that the problem of enumerating the reduced words of elements of Coxeter groups is #P-complete. We also demonstrate a method for finding the word posets for commutation classes of reduced words of an element, then use this to find a recursive formula for the number of commutation classes of reduced words.
Inequivalent Representations of Matroids over Prime Fields
Published
• View Publication
• BIB
It is proved that for each prime field $GF(p)$, there is an integer $f(p)$ such that a 4-connected matroid has at most $f(p)$ inequivalent representations over $GF(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term "$k$-coherence".
We obtain a variety of other results on inequivalent representations including the following curious one. For a prime power $q$, let ${\mathcal R}(q)$ denote the set of matroids representable over all fields with at least $q$ elements. Then there are infinitely many Mersenne primes if and only if, for each prime power $q$, there is an integer $m_q$ such that a 3-connected member of ${\mathcal R}(q)$ has at most $m_q$ inequivalent GF(7)-representations.
The theorems on inequivalent representations of matroids are consequences of structural results that do not rely on representability. The bulk of this paper is devoted to proving such results.
Minimum k-way cut of bounded size is fixed-parameter tractable
Published
• View Publication
• BIB
We consider a the minimum k-way cut problem for unweighted graphs with a size bound s on the number of cut edges allowed. Thus we seek to remove as few edges as possible so as to split a graph into k components, or report that this requires cutting more than s edges. We show that this problem is fixed-parameter tractable (FPT) in s. More precisely, for s=O(1), our algorithm runs in quadratic time while we have a different linear time algorithm for planar graphs and bounded genus graphs. Our tractability result stands in contrast to known W[1] hardness of related problems. Without the size bound, Downey et al.[2003] proved that the minimum k-way cut problem is W[1] hard in k even for simple unweighted graphs. Downey et al. asked about the status for planar graphs. Our result implies tractability in k for the planar graphs since the minimum k-way cut of a planar graph is of size at most 6k (more generally, we get tractability in k for any graph class with k-way cuts of size limited by is a function of k, e.g., bounded degree graphs, or simple graphs with an excluded minor). A simple reduction shows that vertex cuts are at least as hard as edge cuts, so the minimum k-way vertex cut is also W[1] hard in terms of k. Marx [2004] proved that finding a minimum k-way vertex cut of size s is also W[1] hard in s. Marx asked about the FPT status with edge cuts, which we prove tractable here. We are not aware of any other cut problem where the vertex version is W[1] hard but the edge version is FPT.
On Distance Spectral Radius and Distance Energy of Graphs
Published in MATCH Commun. Math. Comput. Chem. 64 (2010) 261-280
• Search Publication
For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix, and the distance energy is defined as the sum of the absolute values of the eigenvalues of its distance matrix. We establish lower and upper bounds for the distance spectral radius of graphs and bipartite graphs, lower bounds for the distance energy of graphs, and characterize the extremal graphs. We also discuss upper bounds for the distance energy.
3-choosability of planar graphs with (<=4)-cycles far apart
A graph is k-choosable if it can be colored whenever every vertex has a list of at least k available colors. We prove that if cycles of length at most four in a planar graph G are pairwise far apart, then G is 3-choosable. This is analogous to the problem of Havel regarding 3-colorability of planar graphs with triangles far apart.
Projecting lattice polytopes without interior lattice points
Published
• View Publication
• BIB
We show that up to unimodular equivalence there are only finitely many d-dimensional lattice polytopes without interior lattice points that do not admit a lattice projection onto a (d-1)-dimensional lattice polytope without interior lattice points. This was conjectured by Treutlein. As an immediate corollary, we get a short proof of a recent result of Averkov, Wagner and Weismantel, namely the finiteness of the number of maximal lattice polytopes without interior lattice points. Moreover, we show that in dimension four and higher some of these finitely many polytopes are not maximal as convex bodies without interior lattice points.
Monotone graph limits and quasimonotone graphs
Published in Internet Mathematics 8 (2012), 187-231
• View Publication
• BIB
The recent theory of graph limits gives a powerful framework for understanding the properties of suitable (convergent) sequences $(G_n)$ of graphs in terms of a limiting object which may be represented by a symmetric function $W$ on $[0,1]$, i.e., a kernel or graphon. In this context it is natural to wish to relate specific properties of the sequence to specific properties of the kernel. Here we show that the kernel is monotone (i.e., increasing in both variables) if and only if the sequence satisfies a `quasi-monotonicity' property defined by a certain functional tending to zero. As a tool we prove an inequality relating the cut and $L^1$ norms of kernels of the form $W_1-W_2$ with $W_1$ and $W_2$ monotone that may be of interest in its own right; no such inequality holds for general kernels.
Cayley graphs of order 27p are hamiltonian
Published
• View Publication
• BIB
Suppose G is a finite group, such that |G| = 27p, where p is prime. We show that if S is any generating set of G, then there is a hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
Mahonian Pairs
Published
• View Publication
• BIB
We introduce the notion of a Mahonian pair. Consider the set, P^*, of all words having the positive integers as alphabet. Given finite subsets S,T of P^*, we say that (S,T) is a Mahonian pair if the distribution of the major index, maj, over S is the same as the distribution of the inversion number, inv, over T. So the well-known fact that maj and inv are equidistributed over the symmetric group, S_n, can be expressed by saying that (S_n,S_n) is a Mahonian pair. We investigate various Mahonian pairs (S,T) with S different from T. Our principal tool is Foata's fundamental bijection f: P^* -> P^* since it has the property that maj w = inv f(w) for any word w. We consider various families of words associated with Catalan and Fibonacci numbers. We show that, when restricted to words in {1,2}^*, f transforms familiar statistics on words into natural statistics on integer partitions such as the size of the Durfee square. The Rogers-Ramanujan identities, the Catalan triangle, and various q-analogues also make an appearance. We generalize the definition of Mahonian pairs to infinite sets and use this as a tool to connect a partition bijection of Corteel-Savage-Venkatraman with the Greene-Kleitman decomposition of a Boolean algebra into symmetric chains. We close with comments about future work and open problems.
The Sagan-Savage Lucas-Catalan Polynomials Have Positive Coefficients
This short article answers a question asked by Bruce Sagan in the last few minutes of his wonderful talk (http://www.youtube.com/watch?v=Fdn890jg2U0), (describing joint work with Carla Savage) at the Rutgers University Experimental Mathematics seminar delivered on Dec. 9, 2010.
A Salvetti complex for Toric Arrangements and its fundamental group
We describe a combinatorial model for the complement of a complexified toric arrangement by using nerves of acyclic categories. This generalizes recent work of Moci and Settepanella on thick toric arrangements. Moreover, we compute its fundamental group by finding a (finite) presentation.
Tilted Sperner Families
Published
• View Publication
• BIB
Let \cal A be a family of subsets of an n-set such that \cal A does not contain distinct sets A and B with |A\B| = 2|B\A|. How large can \cal A be? Our aim in this note is to determine the maximum size of such an \cal A. This answers a question of Kalai. We also give some related results and conjectures.
Estimating the Average of a Lipschitz-Continuous Function from One Sample
Published in European Symposium on Algorithms 2010
• View Publication
• BIB
We study the problem of estimating the average of a Lipschitz continuous function $f$ defined over a metric space, by querying $f$ at only a single point. More specifically, we explore the role of randomness in drawing this sample. Our goal is to find a distribution minimizing the expected estimation error against an adversarially chosen Lipschitz continuous function. Our work falls into the broad class of estimating aggregate statistics of a function from a small number of carefully chosen samples. The general problem has a wide range of practical applications in areas as diverse as sensor networks, social sciences and numerical analysis. However, traditional work in numerical analysis has focused on asymptotic bounds, whereas we are interested in the \emph{best} algorithm. For arbitrary discrete metric spaces of bounded doubling dimension, we obtain a PTAS for this problem. In the special case when the points lie on a line, the running time improves to an FPTAS. Both algorithms are based on approximately solving a linear program with an infinite set of constraints, by using an approximate separation oracle. For Lipschitz-continuous functions over $[0,1]$, we calculate the precise achievable error as $1-\frac{\sqrt{3}}{2} \approx 0.134$, which improves upon the \quarter which is best possible for deterministic algorithms.
The minimal size of a graph with generalized connectivity $κ_3 = 2$
Let $G$ be a nontrivial connected graph of order $n$ and $k$ an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$.
This paper mainly focuses on the minimal number of edges of a graph $G$ with $κ_{3}(G)= 2$. For a graph $G$ of order $v(G)$ and size $e(G)$ with $κ_{3}(G)= 2$, we obtain that $e(G)\geq 6/5v(G)$, and the lower bound is sharp by showing a class of examples attaining the lower bound.
Distribution of the Relative Density of Central Similarity Proximity Catch Digraphs Based on One Dimensional Uniform Data
We consider the distribution of a graph invariant of central similarity proximity catch digraphs (PCDs) based on one dimensional data. The central similarity PCDs are also a special type of parameterized random digraph family defined with two parameters, a centrality parameter and an expansion parameter, and for one dimensional data, central similarity PCDs can also be viewed as a type of interval catch digraphs. The graph invariant we consider is the relative density of central similarity PCDs. We prove that relative density of central similarity PCDs is a U-statistic and obtain the asymptotic normality under mild regularity conditions using the central limit theory of U-statistics. For one dimensional uniform data, we provide the asymptotic distribution of the relative density of the central similarity PCDs for the entire ranges of centrality and expansion parameters. Consequently, we determine the optimal parameter values at which the rate of convergence (to normality) is fastest. We also provide the connection with class cover catch digraphs and the extension of central similarity PCDs to higher dimensions.
Doubly biased Maker-Breaker Connectivity game
Published
• View Publication
• BIB
In this paper we study the (a : b) Maker-Breaker Connectivity game, played on the edge-set of the complete graph on n vertices. We determine the winner for almost all values of a and b.