Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Topological Colored Tverberg Theorem and the Reduction Lemma
In this paper we present a proof of the BMZ Reduction Lemma with a motivational perspective, and state this lemma for maps to manifolds using the classical definition of cohomological dimension. The lemma, proved and utilized in [4], gives a geometrical insight in the proof of the BMZ colored topological Tverberg theorem.
Regularity lemmas in a Banach space setting
Published
• View Publication
• BIB
Szemerédi's regularity lemma is a fundamental tool in extremal graph theory, theoretical computer science and combinatorial number theory. Lovász and Szegedy [L. Lovász and B. Szegedy: Szemerédi's Lemma for the analyst, Geometric and Functional Analysis 17 (2007), 252-270] gave a Hilbert space interpretation of the lemma and an interpretation in terms of compact- ness of the space of graph limits. In this paper we prove several compactness results in a Banach space setting, generalising results of Lovász and Szegedy as well as a result of Borgs, Chayes, Cohn and Zhao [C. Borgs, J.T. Chayes, H. Cohn and Y. Zhao: An Lp theory of sparse graph convergence I: limits, sparse random graph models, and power law distributions, arXiv preprint arXiv:1401.2906 (2014)].
Some bounds on the eigenvalues of uniform hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a uniform hypergraph. Let $\mathcal{A(H)}$ and $\mathcal{Q(H)}$ be the adjacency tensor and the signless Laplacian tensor of $\mathcal{H}$, respectively. In this note we prove several bounds for the spectral radius of $\mathcal{A(H)}$ and $\mathcal{Q(H)}$ in terms of the degrees of vertices of $\mathcal{H}.$
Ordering uniform supertrees by their spectral radii
Published
• View Publication
• BIB
A connected and acyclic hypergraph is called a supertree. In this paper we mainly focus on the spectral radii of uniform supertrees. Li, Shao and Qi determined the first two $k$-uniform supertrees with large spectral radii among all the $k$-uniform supertrees on $n$ vertices [H. Li, J. Shao, L. Qi, The extremal spectral radii of $k$-uniform supertrees, arXiv:1405.7257v1, May 2014]. By applying the operation of moving edges on hypergraphs and using the weighted incidence matrix method we extend the above order to the fourth $k$-uniform supertree.
$P$-persistent homology of finite topological spaces
Let $P$ be a finite poset. We will show that for any reasonable $P$-persistent object $X$ in the category of finite topological spaces, there is a $P-$ weighted graph, whose clique complex has the same $P$-persistent homology as $X$.
Detecting Binomiality
Published in Adv.Appl.Math. 71 (2015) 52-67
• View Publication
• BIB
Binomial ideals are special polynomial ideals with many algorithmically and theoretically nice properties. We discuss the problem of deciding if a given polynomial ideal is binomial. While the methods are general, our main motivation and source of examples is the simplification of steady state equations of chemical reaction networks. For homogeneous ideals we give an efficient, Gröbner-free algorithm for binomiality detection, based on linear algebra only. On inhomogeneous input the algorithm can only give a sufficient condition for binomiality. As a remedy we construct a heuristic toolbox that can lead to simplifications even if the given ideal is not binomial.
Point sets with many non-crossing matchings
Published in Computational Geometry, Theory and Applications 68 (2018), 7-33
• View Publication
• BIB
The maximum number of non-crossing straight-line perfect matchings that a set of $n$ points in the plane can have is known to be $O(10.0438^n)$ and $Ω^*(3^n)$. The lower bound, due to García, Noy, and Tejel (2000) is attained by the double chain, which has $Θ(3^n n^{O(1)})$ such matchings. We reprove this bound in a simplified way that uses the novel notion of down-free matching, and apply this approach on several other constructions. As a result, we improve the lower bound. First we show that double zigzag chain with $n$ points has $Θ^*(λ^n)$ such matchings with $λ\approx 3.0532$. Next we analyze further generalizations of double zigzag chains - double $r$-chains. The best choice of parameters leads to a construction with $Θ^*(ν^n)$ matchings, with $ν\approx 3.0930$. The derivation of this bound requires an analysis of a coupled dynamic-programming recursion between two infinite vectors.
Decompositions of edge-colored infinite complete graphs into monochromatic paths
Published
• View Publication
• BIB
An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gyárfás and Sárközy we prove that
(1.) the vertex set of every $r$-edge colored countably infinite complete $k$-uniform hypergraph can be partitioned into $r$ monochromatic tight paths with distinct colors (a tight path in a $k$-uniform hypergraph is a sequence of distinct vertices such that every set of $k$ consecutive vertices forms an edge),
(2.) for all natural numbers $r$ and $k$ there is a natural number $M$ such that the vertex set of every $r$-edge colored countably infinite complete graph can be partitioned into $M$ monochromatic $k^{th}$ powers of paths apart from a finite set (a $k^{th}$ power of a path is a sequence $v_0, v_1, \dots$ of distinct vertices such that $1\le|i-j| \le k$ implies that $v_iv_j$ is an edge),
(3.) the vertex set of every $2$-edge colored countably infinite complete graph can be partitioned into $4$ monochromatic squares of paths, but not necessarily into $3$,
(4.) the vertex set of every $2$-edge colored complete graph on $ω_1$ can be partitioned into $2$ monochromatic paths with distinct colors.
On the probability that a random subgraph contains a circuit
Published
• View Publication
• BIB
Let $μ> 2$ and $ε> 0$. We show that, if $G$ is a sufficiently large simple graph of average degree at least $μ$, and $H$ is a random spanning subgraph of $G$ formed by including each edge independently with probability $p \ge \tfrac{1}{μ-1} + ε$, then $H$ contains a cycle with probability at least $1 - ε$.
Spherical sets avoiding a prescribed set of angles
Published
• View Publication
• BIB
Let $X$ be any subset of the interval $[-1,1]$. A subset $I$ of the unit sphere in $R^n$ will be called \emph{$X$-avoiding} if $<u,v >\notin X$ for any $u,v \in I$. The problem of determining the maximum surface measure of a $\{ 0 \}$-avoiding set was first stated in a 1974 note by Witsenhausen; there the upper bound of $1/n$ times the surface measure of the sphere is derived from a simple averaging argument. A consequence of the Frankl-Wilson theorem is that this fraction decreases exponentially, but until now the $1/3$ upper bound for the case $n=3$ has not moved. We improve this bound to $0.313$ using an approach inspired by Delsarte's linear programming bounds for codes, combined with some combinatorial reasoning. In the second part of the paper, we use harmonic analysis to show that for $n\geq 3$ there always exists an $X$-avoiding set of maximum measure. We also show with an example that a maximiser need not exist when $n=2$.
The structure of rainbow-free colorings for linear equations on three variables in Zp
Let p be a prime number and Zp be the cyclic group of order p. A coloring of Zp is called rainbow-free with respect to a certain equation, if it contains no rainbow solution of the same, that is, a solution whose elements have pairwise distinct colors. In this paper we describe the structure of rainbow-free 3-colorings of Zp with respect to all linear equations on three variables. Consequently, we determine those linear equations on three variables for which every 3-coloring (with nonempty color classes) of Zp contains a rainbow solution of it.
Dual Ramsey theorem for trees
Published
• View Publication
• BIB
The classical Ramsey theorem was generalized in two major ways: to the dual Ramsey theorem, by Graham and Rothschild, and to Ramsey theorems for trees, initially by Deuber and Leeb. Bringing these two lines of thought together, we prove the dual Ramsey theorem for trees. Galois connections between partial orders are used in formulating this theorem, while the abstract approach to Ramsey theory, we developed earlier, is used in its proof.
Three domination number and connectivity in graphs
In a graph G, a vertex dominates itself and its neighbors. A subset S of V is called a dominating set in G if every vertex in V is dominated by at least one vertex in S. The domination number gamma G is the minimum cardinality of a dominating set. A set S subset V is called a double dominating set of a graph G if every vertex in V is dominated by at least two vertices in S. The minimum cardinality of a double dominating set is called double domination number of G. In a graph G, a vertex dominates itself and its neighbors. A subset S of V is called a dominating set in G if every vertex in V is dominated by at least one vertex in S. The domination number gamma G is the minimum cardinality of a dominating set. A set S subseteq V is called a double dominating set of a graph G if every vertex in V is dominated by at least two vertices in S. The minimum cardinality of a double dominating set is called double domination number of G. The connectivity gamma G of a connected graph G is the minimum number of vertices whose removal results in a disconnected or trivial graph. In this paper, introduced the concept of three domination in graphs. and we obtain an upper bound for the sum of the three domination number and connectivity of a graph and characterize the corresponding extremal graphs.
A new proof of Friedman's second eigenvalue Theorem and its extension to random lifts
It was conjectured by Alon and proved by Friedman that a random $d$-regular graph has nearly the largest possible spectral gap, more precisely, the largest absolute value of the non-trivial eigenvalues of its adjacency matrix is at most $2\sqrt{d-1} +o(1)$ with probability tending to one as the size of the graph tends to infinity. We give a new proof of this statement. We also study related questions on random $n$-lifts of graphs and improve a recent result by Friedman and Kohler.
VC-sets and generic compact domination
Published
• View Publication
• BIB
Let X be a closed subset of a locally compact second countable group G whose family of translates has finite VC-dimension. We show that the topological border of X has Haar measure 0. Under an extra technical hypothesis, this also holds if X is constructible. We deduce from this generic compact domination for definably amenable NIP groups.
Regularized limit of determinants for discrete tori
Published in Monatsh. Math. 186 (2018), no. 3, 539-557
• View Publication
• BIB
We consider a combinatorial Laplace operator on a sequence of discrete graphs which approximates the m-dimensional torus when the discretization parameter tends to infinity.
We establish a polyhomogeneous expansion of the resolvent trace for the family of discrete graphs, jointly in the resolvent and the discretization parameter. Based on a result about interchanging regularized limits and regularized integrals, we compare the regularized limit of the log-determinants of the combinatorial Laplacian on the sequence of discrete graphs with the logarithm of the zeta determinant for the Laplace Beltrami operator on the m-dimensional torus.
In a similar manner we may apply our method to compare the product of the first N non-zero eigenvalues of the Laplacian on a torus (or any other smooth manifold with an explicitly known spectrum) with the zeta-regularized determinant of the Laplacian in the regularized limit as N goes to infinity.
Choosability in signed planar graphs
Published in European Journal of Combinatorics 52 (2016) 234-243
• View Publication
• BIB
This paper studies the choosability of signed planar graphs. We prove that every signed planar graph is 5-choosable and that there is a signed planar graph which is not 4-choosable while the unsigned graph is 4-choosable. For each $k \in \{3,4,5,6\}$, every signed planar graph without circuits of length $k$ is 4-choosable. Furthermore, every signed planar graph without circuits of length 3 and of length 4 is 3-choosable. We construct a signed planar graph with girth 4 which is not 3-choosable but the unsigned graph is 3-choosable.
CoEulerian graphs
Published
• View Publication
• BIB
We suggest a measure of "Eulerianness" of a finite directed graph and define a class of "coEulerian" graphs. These are the graphs whose Laplacian lattice is as large as possible. As an application, we address a question in chip-firing posed by Bjorner, Lovasz, and Shor in 1991, who asked for "a characterization of those digraphs and initial chip configurations that guarantee finite termination." Bjorner and Lovasz gave an exponential time algorithm in 1992. We show that this can be improved to linear time if the graph is coEulerian, and that the problem is NP-complete for general directed multigraphs.
Maximizing spectral radii of uniform hypergraphs with few edges
Published in Discussiones Mathematicae Graph Theory, 2016, 36: 845-856
• View Publication
• BIB
In this paper we investigate the hypergraphs whose spectral radii attain the maximum among all uniform hypergraphs with given number of edges. In particular we characterize the hypergraph(s) with maximum spectral radius over all unicyclic hypergraphs, linear or power unicyclic hypergraphs with given girth, linear or power bicyclic hypergraphs, respectively.
Spread of Influence in Weighted Networks under Time and Budget Constraints
Published
• View Publication
• BIB
Given a network represented by a weighted directed graph G, we consider the problem of finding a bounded cost set of nodes S such that the influence spreading from S in G, within a given time bound, is as large as possible. The dynamic that governs the spread of influence is the following: initially only elements in S are influenced; subsequently at each round, the set of influenced elements is augmented by all nodes in the network that have a sufficiently large number of already influenced neighbors. We prove that the problem is NP-hard, even in simple networks like complete graphs and trees. We also derive a series of positive results. We present exact pseudo-polynomial time algorithms for general trees, that become polynomial time in case the trees are unweighted. This last result improves on previously published results. We also design polynomial time algorithms for general weighted paths and cycles, and for unweighted complete graphs.