Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A new upper bound for 1324-avoiding permutations
Published in Combinator. Probab. Comp. 23 (2014) 717-724
• View Publication
• BIB
We prove that the number of 1324-avoiding permutations of length n is less than (7+4\sqrt{3})^n.
The Connectivity and the Harary Index of a Graph
Published
• View Publication
• BIB
The Harary index of a graph is defined as the sum of reciprocals of distances between all pairs of vertices of the graph. In this paper we provide an upper bound of the Harary index in terms of the vertex or edge connectivity of a graph. We characterize the unique graph with maximum Harary index among all graphs with given number of cut vertices or vertex connectivity or edge connectivity. In addition we also characterize the extremal graphs with the second maximum Harary index among the graphs with given vertex connectivity.
Subset-Sum Representations of Domination Polynomials
Published
• View Publication
• BIB
The domination polynomial D(G,x) is the ordinary generating function for the dominating sets of an undirected graph G=(V,E) with respect to their cardinality. We consider in this paper representations of D(G,x) as a sum over subsets of the edge and vertex set of G. One of our main results is a representation of D(G,x) as a sum ranging over spanning bipartite subgraphs of G. We call a graph G conformal if all of its components are of even order. We show that the number of dominating sets of G equals a sum ranging over vertex-induced conformal subgraphs of G.
Tropical Teichmuller and Siegel spaces
Published in Algebraic and Combinatorial Aspects of Tropical Geometry, Contemp. Math. 589 (2013), 45--85
• View Publication
• BIB
In this paper, we present a unified study of the moduli space of tropical curves and Outer space which we link via period maps to the moduli space of tropical abelian varieties and the space of positive definite quadratic forms. Our work is a first step towards exhibiting Outer space and the space of positive definite quadratic forms as analogues of Teichmüller space and Siegel space, respectively, in tropical geometry. All these spaces and the maps among them are described within the category of ideal stacky fans, which we describe in detail.
Macdonald Polynomials and BGG reciprocity for current algebras
Published
• View Publication
• BIB
We study the category of graded representations with finite--dimensional graded pieces for the current algebra associated to a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we use the combinatorics of Macdonald polynomials to prove an analogue of the famous BGG duality in the case of $\lie{sl}_{n+1}$.
Generalized wordlength patterns and strength
Published in Journal of Statistical Planning and Inference (2014), 144C: 41-46
• View Publication
• BIB
Xu and Wu (2001) defined the \emph{generalized wordlength pattern} $(A_1, ..., A_k)$ of an arbitrary fractional factorial design (or orthogonal array) on $k$ factors. They gave a coding-theoretic proof of the property that the design has strength $t$ if and only if $A_1 = ... = A_t = 0$. The quantities $A_i$ are defined in terms of characters of cyclic groups, and so one might seek a direct character-theoretic proof of this result. We give such a proof, in which the specific group structure (such as cyclicity) plays essentially no role. Nonabelian groups can be used if the counting function of the design satisfies one assumption, as illustrated by a couple of examples.
New Parameters of Linear Codes Expressing Security Performance of Universal Secure Network Coding
Published in Proceedings of 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp.533 -- 540, 1--5 Oct. 2012
• View Publication
• BIB
The universal secure network coding presented by Silva et al. realizes secure and reliable transmission of a secret message over any underlying network code, by using maximum rank distance codes. Inspired by their result, this paper considers the secure network coding based on arbitrary linear codes, and investigates its security performance and error correction capability that are guaranteed independently of the underlying network code. The security performance and error correction capability are said to be universal when they are independent of underlying network codes. This paper introduces new code parameters, the relative dimension/intersection profile (RDIP) and the relative generalized rank weight (RGRW) of linear codes. We reveal that the universal security performance and universal error correction capability of secure network coding are expressed in terms of the RDIP and RGRW of linear codes. The security and error correction of existing schemes are also analyzed as applications of the RDIP and RGRW.
On the oriented perfect path double cover conjecture
An {\sf oriented perfect path double cover} ($\rm OPPDC$) of a graph $G$ is a collection of directed paths in the symmetric orientation $G_s$ of $G$ such that each edge of $G_s$ lies in exactly one of the paths and each vertex of $G$ appears just once as a beginning and just once as an end of a path. Maxov{á} and Ne{š}et{ř}il (Discrete Math. 276 (2004) 287-294) conjectured that every graph except two complete graphs $K_3$ and $K_5$ has an $\rm OPPDC$ and they proved that the minimum degree of the minimal counterexample to this conjecture is at least four. In this paper, among some other results, we prove that the minimal counterexample to this conjecture is 2-connected and 3-edge-connected.
On the existence of 3-way k-homogeneous Latin trades
A {\sf $μ$-way Latin trade} of volume $s$ is a collection of $μ$ partial Latin squares $T_1,T_2,...,T_μ$, containing exactly the same $s$ filled cells, such that if cell $(i, j)$ is filled, it contains a different entry in each of the $μ$ partial Latin squares, and such that row $i$ in each of the $μ$ partial Latin squares contains, set-wise, the same symbols and column $j$, likewise. %If $μ=2$, $(T_1,T_2)$ is called a {\sf Latin bitrade}. It is called {\sf $μ$-way $k$-homogeneous Latin trade}, if in each row and each column $T_r$, for $1\le r\le μ,$ contains exactly $k$ elements, and each element appears in $T_r$ exactly $k$ times. It is also denoted by $(μ,k,m)$ Latin trade,where $m$ is the size of partial Latin squares.
We introduce some general constructions for $μ$-way $k$-homogeneous Latin trades and specifically show that for all $k \le m$, $6\le k \le 13$ and k=15, and for all $k \le m$, $k = 4, \ 5$ (except for four specific values), a 3-way $k$-homogeneous Latin trade of volume $km$ exists. We also show that there are no (3,4,6) Latin trade and (3,4,7) Latin trade. Finally we present general results on the existence of 3-way $k$-homogeneous Latin trades for some modulo classes of $m$.
Essentially disjoint families, conflict free colorings and Shelah's Revised GCH
Published
• View Publication
• BIB
Using Shelah's revised GCH theorem we prove that if mu<beth_omega <= lambda are cardinals, then every mu-almost disjoint subfamily B of [lambda]^{beth_omega} is essentially disjoint, i.e. for each b from B there is a subset f(b) of b of size < |b| such that the family {b-f(b) b in B} is disjoint. We also show that if mu<=kappa<=lambda, and kappa is infinite, and (x) every mu-almost disjoint subfamily of [lambda]^kappa is essentially disjoint, then (xx) every mu-almost disjoint family B of subsets of lambda with |b|>=kappa for all b from B has a conflict-free colorings with kappa colors. Putting together these results we obtain that if mu<beth_omega<=lambda, then every mu-almost disjoint family B of subsets of lambda with |b|>=beth_omega for all b from B has a conflict-free colorings with beth_omega colors. To yield the above mentioned results we also need to prove a certain compactness theorem concerning singular cardinals.
Basic Packing of Arborescences
We provide the directed counterpart of a slight extension of Katoh and Tanigawa's result on rooted-tree decompositions with matroid constraints. Our result characterises digraphs having a packing of arborescences with matroid constraints. It is a proper extension of Edmonds' result on packing of spanning arborescences and implies - using a general orientation result of Frank - the above result of Katoh and Tanigawa. We also give a complete description of the convex hull of the incidence vectors of the basic packings of arborescences and prove that the mimimum cost version of the problem can be solved in polynomial time.
Parabolic theory of the discrete p-Laplace operator
Published
• View Publication
• BIB
We study the discrete version of the $p$-Laplacian. Based on its variational properties we discuss some features of the associated parabolic problem. Our approach allows us in turn to obtain interesting information about positivity and comparison principles as well as compatibility with the symmetries of the graph. We conclude briefly discussing the variational properties of a handful of nonlinear generalized Laplacians appearing in different parabolic equations.
Quadrant marked mesh patterns in alternating permutations II
Published
• View Publication
• BIB
This paper is continuation of the systematic study of distribution of quadrant marked mesh patterns initiated in "S. Kitaev and J. Remmel, Quadrant marked mesh patterns, J. Integer Sequences 12, Issue 4 (2012), Article 12.4.7.". We study quadrant marked mesh patterns on up-down and down-up permutations.
A note on forbidding clique immersions
Published
• View Publication
• BIB
Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian digraphs without $\vec{K}_t$-immersions, where $\vec{K}_t$ denotes the bidirected complete digraph of order $t$.
Balls into Bins via Local Search
Published
• View Publication
• BIB
We propose a natural process for allocating n balls into n bins that are organized as the vertices of an undirected graph G. Each ball first chooses a vertex u in G uniformly at random. Then the ball performs a local search in G starting from u until it reaches a vertex with local minimum load, where the ball is finally placed on. In our main result, we prove that this process yields a maximum load of only Θ(\log \log n) on expander graphs. In addition, we show that for d-dimensional grids the maximum load is Θ\Big(\big(\frac{\log n}{\log \log n}\big)^{\frac{1}{d+1}}\Big). Finally, for almost regular graphs with minimum degree Ω(\log n), we prove that the maximum load is constant and also reveal a fundamental difference between random and arbitrary tie-breaking rules.
Nordhaus-Gaddum bounds for locating domination
Published
• View Publication
• BIB
A dominating set S of graph G is called metric-locating-dominating if it is also locating, that is, if every vertex v is uniquely determined by its vector of distances to the vertices in S. If moreover, every vertex v not in S is also uniquely determined by the set of neighbors of v belonging to S, then it is said to be locating-dominating. Locating, metric-locating-dominating and locating-dominating sets of minimum cardinality are called b-codes, e-codes and l-codes, respectively. A Nordhaus-Gaddum bound is a tight lower or upper bound on the sum or product of a parameter of a graph G and its complement G. In this paper, we present some Nordhaus-Gaddum bounds for the location number b, the metric-location-number e and the location-domination number l. Moreover, in each case, the graph family attaining the corresponding bound is characterized.
A note on large rainbow matchings in edge-coloured graphs
Published
• View Publication
• BIB
A rainbow subgraph in an edge-coloured graph is a subgraph such that its edges have distinct colours. The minimum colour degree of a graph is the smallest number of distinct colours on the edges incident with a vertex over all vertices. Kostochka, Pfender, and Yancey showed that every edge-coloured graph on $n$ vertices with minimum colour degree at least $k$ contains a rainbow matching of size at least $k$, provided $n\geq (17/4)k^2$. In this paper, we show that $n\geq 4k-4$ is sufficient for $k \ge 4$.
Skew Hadamard difference sets from cyclotomic strongly regular graphs
Published
• View Publication
• BIB
We find new constructions of infinite families of skew Hadamard difference sets in elementary abelian groups under the assumption of the existence of cyclotomic strongly regular graphs. Our construction is based on choosing cyclotomic classes in finite fields.
A survey on the generalized connectivity of graphs
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$ was introduced by Hager before 1985. As its a natural counterpart, we introduced the concept of generalized edge-connectivity $λ_k(G)$, recently. In this paper we summarize the known results on the generalized connectivity and generalized edge-connectivity. After an introductory section, the paper is then divided into nine sections: the generalized (edge-)connectivity of some graph classes, algorithms and computational complexity, sharp bounds of $κ_k(G)$ and $λ_k(G)$, graphs with large generalized (edge-)connectivity, Nordhaus-Gaddum-type results, graph operations, extremal problems, and some results for random graphs and multigraphs. It also contains some conjectures and open problems for further studies.
Evolutionary Hamiltonian Graph Theory
We present an alternative domain concerning mathematics to investigate universal evolution mechanisms by focusing on large cycles theory (LCT) - a simplified version of well-known hamiltonian graph theory. LCT joins together a number of $NP$-complete cycle problems in graph theory. $NP$-completeness is the kay factor insuring (by conjecture of Cook) the generation of endless developments and great diversity around large cycles problems. Originated about 60 years ago, the individuals (claims, propositions, lemmas, conjectures, theorems, and so on) in LCT continually evolve and adapt to their environment by an iterative process from primitive beginnings to best possible theorems based on inductive reasoning. LCT evolves much more rapidly than biosphere and has a few thousand pronounced species (theorems). Recall that life on earth with more than 2 million species was originated about 3.7 billion years ago and evolves extremely slowly. We show that all theorems in LCT have descended from some common primitive propositions such as "every complete graph is hamiltonian" or "every graph contains a cycle of length at least one" via improvements, modifications and three kinds of generalizations - closing, associating and extending. It is reasonable to review Darwinian mechanisms in light of LCT evolution mechanisms (especially inductive reasoning) including the origin and macroevolution disputable phenomena in the biosphere.