Showing 20 papers (Total: 83449 papers, 48190 authors in database)
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.
Realizing the chromatic numbers and orders of spinal quadrangulations of surfaces
Published in Journal of Combinatorial Mathematics and Combinatorial Computing (Canada) 87 (2013), 303-308
• Search Publication
A method is suggested for construction of quadrangulations of the closed orientable surface with given genus g and either (1) with given chromatic number or (2) with given order allowed by the genus g. In particular, N. Hartsfield and G. Ringel's results [Minimal quadrangulations of orientable surfaces, J. Combin. Theory, Series B 46 (1989) 84-95] are generalized by way of generating new minimal quadrangulations of infinitely many other genera.
Introduction to tropical algebraic geometry
Published
• View Publication
• BIB
This is an expository introduction to tropical algebraic geometry based on my lectures at the Workshop on Tropical Geometry and Integrable Systems in Glasgow, July 4-8, 2011, and at the ELGA 2011 school on Algebraic Geometry and Applications in Buenos Aires, August 1-5, 2011.
Violating the Shannon capacity of metric graphs with entanglement
Published
• View Publication
• BIB
The Shannon capacity of a graph G is the maximum asymptotic rate at which messages can be sent with zero probability of error through a noisy channel with confusability graph G. This extensively studied graph parameter disregards the fact that on atomic scales, Nature behaves in line with quantum mechanics. Entanglement, arguably the most counterintuitive feature of the theory, turns out to be a useful resource for communication across noisy channels. Recently, Leung, Mancinska, Matthews, Ozols and Roy [Comm. Math. Phys. 311, 2012] presented two examples of graphs whose Shannon capacity is strictly less than the capacity attainable if the sender and receiver have entangled quantum systems. Here we give new, possibly infinite, families of graphs for which the entangled capacity exceeds the Shannon capacity.
Difference sets and positive exponential sums I. General properties
Published
• View Publication
• BIB
We describe general connections between intersective properties of sets in Abelian groups and positive exponential sums. In particular, given a set $A$ the maximal size of a set whose difference set avoids $A$ will be related to positive exponential sums using frequencies from $A$.
Integral trees with given nullity
Published
• View Publication
• BIB
A graph is called integral if all eigenvalues of its adjacency matrix consist entirely of integers. We prove that for a given nullity more than 1, there are only finitely many integral trees. It is also shown that integral trees with nullity 2 and 3 are unique.
Lattice Variant of the Sensitivity Conjecture
The Sensitivity Conjecture, posed in 1994, states that the fundamental measures known as the sensitivity and block sensitivity of a Boolean function f, s(f) and bs(f) respectively, are polynomially related. It is known that bs(f) is polynomially related to important measures in computer science including the decision-tree depth, polynomial degree, and parallel RAM computation time of f, but little is known how the sensitivity compares; the separation between s(f) and bs(f) is at least quadratic and at most exponential. We analyze a promising variant by Aaronson that implies the Sensitivity Conjecture, stating that for all two-colorings of the d-dimensional lattice $\mathbb{Z}^d$, d and the sensitivity s(C) are polynomially related, where s(C) is the maximum number of differently-colored neighbors of a point. We construct a coloring with the largest known separation between d and s(C), in which $d=O(s(C)^2)$, and demonstrate that it is optimal for a large class of colorings. We also give a reverse reduction from the Lattice Variant to the Sensitivity Conjecture, and using this prove the first non-constant lower bound on s(C). These results indicate that the Lattice Variant can help further the limited progress on the Sensitivity Conjecture.
The Erdős-Sós Conjecture for Geometric Graphs
Published
• View Publication
• BIB
Let $f(n,k)$ be the minimum number of edges that must be removed from some complete geometric graph $G$ on $n$ points, so that there exists a tree on $k$ vertices that is no longer a planar subgraph of $G$. In this paper we show that $(1/2)\frac{n^2}{k-1}-\frac{n}{2}\le f(n,k) \le 2 \frac{n(n-2)}{k-2}$. For the case when $k=n$, we show that $2 \le f(n,n) \le 3$. For the case when $k=n$ and $G$ is a geometric graph on a set of points in convex position, we show that at least three edges must be removed.
Routing linear permutations on Fibonacci and Lucas cubes
In recent years there has been much interest in certain subcubes of hypercubes, namely Fibonacci cubes and Lucas cubes (and their generalized versions). In this article we consider online routing of linear permutations on these cubes. The model of routing we use regards edges as bi-directional, and we do not allow queues of length greater than one. Messages start out at different vertices, and in movements synchronized with a clock, move to an adjacent vertex or remain where they are, so that at the next stage there is still exactly one message per vertex. This is the routing model we defined in an earlier paper.
Radically solvable graphs
Published
• View Publication
• BIB
A 2-dimensional framework is a straight line realisation of a graph in the Euclidean plane. It is radically solvable if the set of vertex coordinates is contained in a radical extension of the field of rationals extended by the squared edge lengths. We show that the radical solvability of a generic framework depends only on its underlying graph and characterise which planar graphs give rise to radically solvable generic frameworks. We conjecture that our characterisation extends to all graphs.