Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Many triangulated odd-spheres
Published in Math. Annalen 364:3 (2016), 737-762
• View Publication
• BIB
It is known that the $(2k-1)$-sphere has at most $2^{O(n^k \log n)}$ combinatorially distinct triangulations with $n$ vertices, for every $k\ge 2$. Here we construct at least $2^{Ω(n^k)}$ such triangulations, improving on the previous constructions which gave $2^{Ω(n^{k-1})}$ in the general case (Kalai) and $2^{Ω(n^{5/4})}$ for $k=2$ (Pfeifle-Ziegler).
We also construct $2^{Ω\left(n^{k-1+\frac{1}{k}}\right)}$ geodesic (a.k.a. star-convex) $n$-vertex triangualtions of the $(2k-1)$-sphere. As a step for this (in the case $k=2$) we construct $n$-vertex $4$-polytopes containing $Ω(n^{3/2})$ facets that are not simplices, or with $Ω(n^{3/2})$ edges of degree three.
The Ihara Zeta function for infinite graphs
Published
• View Publication
• BIB
We put forward the concept of measure graphs. These are (possibly uncountable) graphs equipped with an action of a groupoid and a measure invariant under this action. Examples include finite graphs, periodic graphs, graphings and percolation graphs. Making use of Connes' non-commutative integration theory we construct a Zeta function and present a determinant formula for it. We further introduce a notion of weak convergence of measure graphs and show that our construction is compatible with it. The approximation of the Ihara Zeta function via the normalized version on finite graphs in the sense of Benjamini-Schramm follows as a special case. Our framework not only unifies corresponding earlier results occurring in the literature. It likewise provides extensions to rich new classes of objects such as percolation graphs.
A combinatorial proof of a plethystic Murnaghan--Nakayama rule
Published
• View Publication
• BIB
This article gives a combinatorial proof of a plethystic generalization of the Murnaghan--Nakayama rule. The main result expresses the product of a Schur function with the plethysm $p_r \circ h_n$ as an integral linear combination of Schur functions. The proof uses a sign-reversing involution on sequences of bead moves on James' abacus, inspired by the arguments in N. Loehr, Abacus proofs of Schur function identities, SIAM J. Discrete Math. 24 (2010), 1356-1370.
Complexity of Nondeterministic Graph Parameter Testing
We study the sample complexity of nondeterministically testable graph parameters and improve existing bounds on it by several orders of magnitude. The technique used would be also of independent interest. We also discuss the special case of weak nondeterministic testing for uniform hypergraphs of arbitrary order.
A combinatorial approach to classical representation theory
A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental) theorem of invariant theory provides a finite spanning set for this algebra, whereas a a second main theorem describes the linear relations between those basic invariants.
We use diagrammatic methods to carry Weyl's programme a step further, providing explicit bases for the subspace of the r-th tensor powers of V invariant under the action of G, that are additionally preserved by the action of the long cycle of the symmetric group on r letters. The representations we study are essentially those that occur in Weyl's book: the defining representations of the symplectic groups, the defining representations of the symmetric groups considered as linear representations, and the adjoint representations of the linear groups.
In particular, we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic groups Sp(2n). Our formulation is explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. Extending our argument to the k-th symmetric powers of these representations, the combinatorial objects involved turn out to be (n+1)-noncrossing k-regular graphs. As corollaries we obtain instances of the cyclic sieving phenomenon for these objects and the natural rotation action.
In general, we derive branching rules for the diagram algebras corresponding to the representations in a uniform way. We also compute the Frobenius characteristics of modules of the diagram algebras restricted to the action of the symmetric group and obtain the isotypic decomposition of the r-th tensor power of V when n is large enough in comparison to r.
Thin Tree Position
We introduce a method for creating a special type of tree, called a tree position, from a weighted graph. Leaves of the tree correspond to vertices of the original graph, and the tree edges contain information which can be used to partition these vertices. By repeatedly applying reducing operations to the tree position we arrive at a special type of tree position we call thin, and we show that partitions arising from thin tree positions have especially nice properties. The algorithm is based the topological notion of thin position for knots and 3-manifolds and builds on the previously defined idea of a Topological Intrinsic Lexicographic Order (TILO).
Integer sequence discovery from small graphs
Published
• View Publication
• BIB
We have exhaustively enumerated all simple, connected graphs of a finite order and have computed a selection of invariants over this set. Integer sequences were constructed from these invariants and checked against the Online Encyclopedia of Integer Sequences (OEIS). 141 new sequences were added and 6 sequences were appended or corrected. From the graph database, we were able to programmatically suggest relationships among the invariants. It will be shown that we can readily visualize any sequence of graphs with a given criteria. The code has been released as an open-source framework for further analysis and the database was constructed to be extensible to invariants not considered in this work.
The "Game about Squares" is NP-hard
In the "Game about Squares" the task is to push unit squares on an integer lattice onto corresponding dots. A square can only be moved into one given direction. When a square is pushed onto a lattice point with an arrow the direction of the square adopts the direction of the arrow. Moreover, squares can push other squares. In this paper we study the decision problem, whether all squares can be moved onto their corresponding dots by a finite number of pushes. We prove that this problem is NP-hard.
Asymptotic Improvement of the Sunflower Bound
A sunflower with a core $Y$ is a family ${\cal B}$ of sets such that $U \cap U' = Y$ for each two different elements $U$ and $U'$ in ${\cal B}$. The well-known sunflower lemma states that a given family ${\cal F}$ of sets, each of cardinality at most $s$, includes a sunflower of cardinality $k$ if $|{\cal F}|> (k-1)^s s!$. Since Erdös and Rado proved it in 1960, it has not been known for more than half a century whether the sunflower bound $(k-1)^s s!$ can be improved asymptotically for any $k$ and $s$. It is conjectured that it can be reduced to $c_k^s$ for some real number $c_k>0$ depending only on $k$, which is called the sunflower conjecture. This paper shows that the general sunflower bound can be indeed reduced by an exponential factor: We prove that ${\cal F}$ includes a sunflower of cardinality $k$ if \[
|{\cal F|} \ge \left( \sqrt{10} -2 \right)^2 \left[ k \cdot \min \left( \frac{1}{\sqrt{10}-2}, \frac{c}{\log \min(k, s)} \right) \right]^s s!, \] for a constant $c>0$, and any $k \ge 2$ and $s \ge 2$. For instance, whenever $k \ge s^ε$ for a given constant $ε\in (0,1)$, the sunflower bound is reduced from $(k-1)^s s!$ to $(k-1)^s s! \cdot \left[ O \left( \frac{1}{\log s} \right) \right]^s$, achieving the reduction ratio of $\left[ O \left( \frac{1}{\log s} \right) \right]^s$. Also any ${\cal F}$ of cardinality at least $\left(\sqrt{10}-2 \right)^2 \left( \frac{k}{\sqrt{10}-2} \right)^s s!$ includes a sunflower of cardinality $k$, where $\frac{1}{\sqrt{10}-2}=0.8603796\ldots$. Our result demonstrates that the sunflower bound can be improved by a factor of less than a small constant to the power $s$, giving hope for further update.
On the neighbour sum distinguishing index of planar graphs
Published in J. Graph Theory 85(3) (2017) 669-690
• View Publication
• BIB
Let $c$ be a proper edge colouring of a graph $G=(V,E)$ with integers $1,2,\ldots,k$. Then $k\geq Δ(G)$, while by Vizing's theorem, no more than $k=Δ(G)+1$ is necessary for constructing such $c$. On the course of investigating irregularities in graphs, it has been moreover conjectured that only slightly larger $k$, i.e., $k=Δ(G)+2$ enables enforcing additional strong feature of $c$, namely that it attributes distinct sums of incident colours to adjacent vertices in $G$ if only this graph has no isolated edges and is not isomorphic to $C_5$. We prove the conjecture is valid for planar graphs of sufficiently large maximum degree. In fact even stronger statement holds, as the necessary number of colours stemming from the result of Vizing is proved to be sufficient for this family of graphs. Specifically, our main result states that every planar graph $G$ of maximum degree at least $28$ which contains no isolated edges admits a proper edge colouring $c:E\to\{1,2,\ldots,Δ(G)+1\}$ such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every edge $uv$ of $G$.
The (p,q)-extremal problem and the fractional chromatic number of Kneser hypergraphs
Published
• View Publication
• BIB
The problem of computing the chromatic number of Kneser hypergraphs has been extensively studied over the last 40 years and the fractional version of the chromatic number of Kneser hypergraphs is only solved for particular cases. The \emph{$(p,q)$-extremal problem} consists in finding the maximum number of edges on a $k$-uniform hypergraph $\mathcal{H}$ with $n$ vertices such that among any $p$ edges some $q$ of them have no empty intersection. In this paper we have found a link between the fractional chromatic number of Kneser hypergraphs and the $(p,q)$-extremal problem and also solve the $(p,q)$-extremal problem for graphs if $n$ is sufficiently large and $p \geq q \geq 3$ by proposing it as a problem of extremal graph theory. With the aid of this result we calculate the fractional chromatic number of Kneser hypergraphs when they are composed with sets of cardinality 2.
Degree Monotone Paths and Graph Operations
A path $P$ in a graph $G$ is said to be a degree monotone path if the sequence of degrees of the vertices of $P$ in the order in which they appear on $P$ is monotonic. The length of the longest degree monotone path in $G$ is denoted by $mp(G)$. This parameter was first studied in an earlier paper by the authors where bounds in terms of other parameters of $G$ were obtained.
In this paper we concentrate on the study of how $mp(G)$ changes under various operations on $G$. We first consider how $mp(G)$ changes when an edge is deleted, added, contracted or subdivided. We similarly consider the effects of adding or deleting a vertex. We sometimes restrict our attention to particular classes of graphs.
Finally we study $mp(G \times H)$ in terms of $mp(G)$ and $mp(H)$ where $\times$ is either the Cartesian product or the join of two graphs.
In all these cases we give bounds on the parameter $mp$ of the modified graph in terms of the original graph or graphs and we show that all the bounds are sharp.
On the Erdos-Ko-Rado Theorem and the Bollobas Theorem for t-intersecting families
Published
• View Publication
• BIB
A family $\mathcal{F}$ is $t$-$\it{intersecting}$ if any two members have at least $t$ common elements. Erd\H os, Ko, and Rado proved that the maximum size of a $t$-intersecting family of subsets of size $k$ is equal to $ {{n-t} \choose {k-t}}$ if $n\geq n_0(k,t)$. Alon, Aydinian, and Huang considered families generalizing intersecting families, and proved the same bound. In this paper, we give a strengthening of their result by considering families generalizing $t$-intersecting families for all $t \geq 1$. In 2004, Talbot generalized Bollobás's Two Families Theorem to $t$-intersecting families. In this paper, we proved a slight generalization of Talbot's result by using the probabilistic method.
On the spectral radius of a class of non-odd-bipartite even uniform hypergraphs
Published in Linear Algebra and its Applications, 2015, 480: 93-106
• View Publication
• BIB
In order to investigate the non-odd-bipartiteness of even uniform hypergraphs, starting from a simple graph $G$, we construct a generalized power of $G$, denoted by $G^{k,s}$, which is obtained from $G$ by blowing up each vertex into a $k$-set and each edge into a $(k-2s)$-set, where $s \le k/2$. When $s < k/2$, $G^{k,s}$ is always odd-bipartite. We show that $G^{k,{k \over 2}}$ is non-odd-bipartite if and only if $G$ is non-bipartite, and find that $G^{k,{k \over 2}}$ has the same adjacency (respectively, signless Laplacian) spectral radius as $G$. So the results involving the adjacency or signless Laplacian spectral radius of a simple graph $G$ hold for $G^{k,{k \over 2}}$. In particular, we characterize the unique graph with minimum adjacency or signless Laplacian spectral radius among all non-odd-bipartite hypergraphs $G^{k,{k \over 2}}$ of fixed order, and prove that $\sqrt{2+\sqrt{5}}$ is the smallest limit point of the non-odd-bipartite hypergraphs $G^{k,{k \over 2}}$. In addition we obtain some results for the spectral radii of the weakly irreducible nonnegative tensors.
2-walks in 2-tough 2k2-free graphs
In this paper, we prove that in every 2-tough 2$K_2$-free graph, there is a 2-walk.
Anatomy of the Amplituhedron
Published
• View Publication
• BIB
We initiate a comprehensive investigation of the geometry of the amplituhedron, a recently found geometric object whose volume calculates the integrand of scattering amplitudes in planar N=4 SYM theory. We do so by introducing and studying its stratification, focusing on four-point amplitudes. The new stratification exhibits interesting combinatorial properties and positivity is neatly captured by permutations. As explicit examples, we find all boundaries for the two and three loop amplitudes and related geometries. We recover the stratifications of some of these geometries from the singularities of the corresponding integrands, providing a non-trivial test of the amplituhedron/scattering amplitude correspondence. We finally introduce a deformation of the stratification with remarkably simple topological properties.
No Laplacian Perfect State Transfer in Trees
Published
• View Publication
• BIB
We consider a system of qubits coupled via nearest-neighbour interaction governed by the Heisenberg Hamiltonian. We further suppose that all coupling constants are equal to $1$. We are interested in determining which graphs allow for a transfer of quantum state with fidelity equal to $1$. To answer this question, it is enough to consider the action of the Laplacian matrix of the graph in a vector space of suitable dimension.
Our main result is that if the underlying graph is a tree with more than two vertices, then perfect state transfer does not happen. We also explore related questions, such as what happens in bipartite graphs and graphs with an odd number of spanning trees. Finally, we consider the model based on the $XY$-Hamiltonian, whose action is equivalent to the action of the adjacency matrix of the graph. In this case, we conjecture that perfect state transfer does not happen in trees with more than three vertices.
A bound for the diameter of random hyperbolic graphs
Published
• View Publication
• BIB
Random hyperbolic graphs were recently introduced by Krioukov et. al. [KPKVB10] as a model for large networks. Gugelmann, Panagiotou, and Peter [GPP12] then initiated the rigorous study of random hyperbolic graphs using the following model: for $α> \tfrac{1}{2}$, $C\in\mathbb{R}$, $n\in\mathbb{N}$, set $R=2\ln n+C$ and build the graph $G=(V,E)$ with $|V|=n$ as follows: For each $v\in V$, generate i.i.d. polar coordinates $(r_{v},θ_{v})$ using the joint density function $f(r,θ)$, with $θ_{v}$ chosen uniformly from $[0,2π)$ and $r_{v}$ with density $f(r)=\frac{α\sinh(αr)}{\cosh(αR)-1}$ for $0\leq r< R$. Then, join two vertices by an edge, if their hyperbolic distance is at most $R$. We prove that in the range $\tfrac{1}{2} < α< 1$ a.a.s. for any two vertices of the same component, their graph distance is $O(\log^{C_0+1+o(1)}n)$, where $C_0=2/(\tfrac{1}{2}-\frac{3}{4}α+\tfrac{α^2}{4})$, thus answering a question raised in [GPP12] concerning the diameter of such random graphs. As a corollary from our proof we obtain that the second largest component has size $O(\log^{2C_0+1+o(1)}n)$, thus answering a question of Bode, Fountoulakis and Müller [BFM13]. We also show that a.a.s. there exist isolated components forming a path of length $Ω(\log n)$, thus yielding a lower bound on the size of the second largest component.
Relations between cumulants in noncommutative probability
Published in Adv.Math.282 (2015) 56-92
• View Publication
• BIB
We express classical, free, Boolean and monotone cumulants in terms of each other, using combinatorics of heaps, pyramids, Tutte polynomials and permutations. We completely determine the coefficients of these formulas with the exception of the formula for classical cumulants in terms of monotone cumulants whose coefficients are only partially computed.
On the last question of Stefan Banach
Published in Expos. Math. 34 (2016), no.4, 454-466
• View Publication
• BIB
We discuss the last question of Banach, posed by him in 1944, shortly before his death, about extension of a ternary map to superposition of a binary map. We try to put things into the context of Polish mathematics of that time, and touch upon subsequent developments in such diverse areas as multivalued logics, binary and ternary semigroups, theory of clones, and Hilbert's 13th problem. Making almost a full circle in time, we show how variants of Banach's question may be settled using a 1949 idea of Jacobson about envelopes of Lie triple systems.