Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Orthogonal apartments in Hilbert Grassmannians
Published
• View Publication
• BIB
Let $H$ be an infinite-dimensional complex Hilbert space and let ${\mathcal L}(H)$ be the logic formed by all closed subspaces of $H$. For every natural $k$ we denote by ${\mathcal G}_{k}(H)$ the Grassmannian consisting of $k$-dimensional subspaces. An orthogonal apartment of ${\mathcal G}_{k}(H)$ is the set consisting of all $k$-dimensional subspaces spanned by subsets of a certain orthogonal base of $H$. Orthogonal apartments can be characterized as maximal sets of mutually compatible elements of ${\mathcal G}_{k}(H)$. We show that every bijective transformation $f$ of ${\mathcal G}_{k}(H)$ such that $f$ and $f^{-1}$ send orthogonal apartments to orthogonal apartments (in other words, $f$ preserves the compatibility relation in both directions) can be uniquely extended to an automorphism of ${\mathcal L}(H)$.
On Ratio Monotonicity of a New Kind of Numbers Conjectured by Z.-W. Sun
Published
• View Publication
• BIB
Recently, Z. W. Sun put forward a series of conjectures on monotonicity of combinatorial sequences in the form of $\{z_n/z_{n-1}\}_{n=N}^\infty$ and $\{\sqrt[n+1]{z_{n+1}}/\sqrt[n]{z_n}\}_{n=N}^\infty$ for some positive integer $N$, where $\{z_n\}_{n=0}^\infty$ is a sequence of positive integers. Luca and Stănică, Hou et al., Chen et al., Sun and Yang proved some of them. In this paper, we give an affirmative answer to monotonicity of another new kind of number conjectured by Z. W. Sun via interlacing method for log-convexity and log-concavity of a sequence, and we also use the criterion for log-concavity of a sequence in the form of $\{\sqrt[n]{z_n}\}_{n=1}^\infty$ due to Xia.
A Bollobás-type theorem for affine subspaces
Published in Australasian Journal of Combinatorics, 63(2), 262-267
• Search Publication
Let $W$ denote the $n$-dimensional affine space over the finite field $\mathbb F_q$. We prove here a Bollobás-type upper bound in the case of the set of affine subspaces. We give a construction of a pair of families of affine subspaces, which shows that our result is almost sharp.
Some Ratio Monotonic Properties of a New Kind of Numbers introduced by Z.-W. Sun
Recently, Z. W. Sun introduced a new kind of numbers $S_n$ and also posed a conjecture on ratio monotonicity of combinatorial sequences related to $S_n$. In this paper, by investigating some arithmetic properties of $S_n$, we give an affirmative answer to his conjecture. Our methods are based on a newly established criterion and interlacing method for log-convexity, and also the criterion for ratio log-concavity of a sequence due to Chen, Guo and Wang.
Relating $2$-Rainbow Domination to Roman domination
Published
• View Publication
• BIB
For a graph $G$, let $γ_R(G)$ and $γ_{r2}(G)$ denote the Roman domination number of $G$ and the $2$-rainbow domination number of $G$, respectively. It is known that $γ_{r2}(G)\leq γ_R(G)\leq \frac{3}{2}γ_{r2}(G)$. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) present some kind of characterization of the graphs $G$ for which $γ_R(G)-γ_{r2}(G)=k$ for some integer $k$. Unfortunately, their result does not lead to an algorithm that allows to recognize these graphs efficiently.
We show that for every fixed non-negative integer $k$, the recognition of the connected $K_4$-free graphs $G$ with $γ_R(G)-γ_{r2}(G)=k$ is NP-hard, which implies that there is most likely no good characterization of these graphs. We characterize the graphs $G$ such that $γ_{r2}(H)=γ_R(H)$ for every induced subgraph $H$ of $G$, and collect several properties of the graphs $G$ with $γ_R(G)=\frac{3}{2}γ_{r2}(G)$.
A class of graphs approaching Vizing's conjecture
Published
• View Publication
• BIB
For any graph $G=(V,E)$, a subset $S\subseteq V$ \emph{dominates} $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we define classes of graphs $\mathcal{A}_n$, for $n\geq 0$, so that every graph belongs to some such class, and $\mathcal{A}_0$ corresponds to class $A$ of Bartsalkin and German. We prove that for any graph $G$ in class $\mathcal{A}_1$, $γ(G\square H)\geq \left(γ(G)-\sqrt{γ(G)}\right)γ(H)$.
On the Medianwidth of Graphs
A median graph is a connected graph, such that for any three vertices $u,v,w$ there is exactly one vertex $x$ that lies simultaneously on a shortest $(u,v)$-path, a shortest $(v,w)$-path and a shortest $(w,u)$-path. Examples of median graphs are trees and hypercubes.
We introduce and study a generalisation of tree decompositions, to be called median decompositions, where instead of decomposing a graph $G$ in a treelike fashion, we use general median graphs as the underlying graph of the decomposition. We show that the corresponding width parameter $\text{mw}(G)$, the medianwidth of $G$, is equal to the clique number of the graph, while a suitable variation of it is equal to the chromatic number of $G$.
We study in detail the $i$-medianwidth $\text{mw}_i(G)$ of a graph, for which we restrict the underlying median graph of a decomposition to be isometrically embeddable to the Cartesian product of $i$ trees. For $i\geq 1$, the parameters $\text{mw}_i$ constitute a hierarchy starting from treewidth and converging to the clique number. We characterize the $i$-medianwidth of a graph to be, roughly said, the largest "intersection" of the best choice of $i$ many tree decompositions of the graph.
Lastly, we extend the concept of tree and median decompositions and propose a general framework of how to decompose a graph $G$ in any fixed graphlike fashion.
Codegree thresholds for covering 3-uniform hypergraphs
Published
• View Publication
• BIB
Given two 3-uniform hypergraphs F and G, we say that G has an F-covering if we can cover V(G) by copies of F. The minimum codegree of G is the largest integer d such that every pair of vertices from V(G) is contained in at least d triples from E(G). Define c_2(n,F) to be the largest minimum codegree among all n-vertex 3-graphs G that contain no F-covering. This is a natural problem intermediate (but distinct) from the well-studied Turán problems and tiling problems.
In this paper, we determine c_2(n, K_4) (for n>98) and the associated extremal configurations (for n>998), where K_4 denotes the complete 3-graph on 4 vertices. We also obtain bounds on c_2(n,F) which are apart by at most 2 in the cases where F is K_4^- (K_4 with one edge removed), K_5^-, and the tight cycle C_5 on 5 vertices.
The shape of random tanglegrams
Published
• View Publication
• BIB
A tanglegram consists of two binary rooted trees with the same number of leaves and a perfect matching between the leaves of the trees. We show that the two halves of a random tanglegram essentially look like two independently chosen random plane binary trees. This fact is used to derive a number of results on the shape of random tanglegrams, including theorems on the number of cherries and generally occurrences of subtrees, the root branches, the number of automorphisms, and the height. For each of these, we obtain limiting probabilities or distributions. Finally, we investigate the number of matched cherries, for which the limiting distribution is identified as well.
A note on the Borwein conjecture
Published
• View Publication
• BIB
A conjecture of Borwein asserts that for any positive integers $n$ and $k$, the coefficient $a_{3k}$ of $q^{3k}$ in the expansion of $\prod_{j=0}^n (1-q^{3j+1})(1-q^{3j+2})$ is nonnegative. In this paper we prove that for any $0 \leq k\leq n$, there is a constant $0<c<1$ such that $$a_{3k}+a_{3(n+1)+3k}+\cdots+a_{3n(n+1)+3k}=\frac {2\cdot 3^{n}} {n+1}(1+O(c^n)).$$ In particular, $$a_{3k}+a_{3(n+1)+3k}+\cdots+a_{3n(n+1)+3k}>0.$$
Negatively Curved Graphs
Many applications in network science have recently been discovered for the "curvature" of a network, but there is no consensus on the definition for this term. A common approach in these applications is to derive from the curvature either a "logical center" of the network or a tree representation of the network (these would only exist when the curvature is negative), but that such structures can be extracted using curvature alone remains largely conjectural. A connection between one type of curvature -- Gromov's hyperbolicity -- and a tree representation has been known for decades, and recently it has also been connected for unweighted graphs to a logical center. We extend the connection between Gromov's hyperbolicity and a logical center to weighted graphs, and we construct counterexamples showing that no other proposed definition for curvature implies the existence of a logical center. We also consider the leading methods to construct a tree representation of the network and the leading methods to measure the quality of the representation, and show that, despite wildly different descriptions, they are asymptotically equivalent.
These results resolve several conjectures, including a conjecture of Dourisboure and Gavoille on a $2$-approximation method for calculating tree-length and all of the conjectures from Jonckheere, Lou, Bonahon, and Baryshnikov relating congestion to rotational symmetry.
Multicolor Sunflowers
Published
• View Publication
• BIB
A sunflower is a collection of distinct sets such that the intersection of any two of them is the same as the common intersection $C$ of all of them, and $|C|$ is smaller than each of the sets. A longstanding conjecture due to Erdős and Szemerédi states that the maximum size of a family of subsets of $[n]$ that contains no sunflower of fixed size $k>2$ is exponentially smaller than $2^n$ as $n\rightarrow\infty$. We consider this problem for multiple families. In particular, we obtain sharp or almost sharp bounds on the sum and product of $k$ families of subsets of $[n]$ that together contain no sunflower of size $k$ with one set from each family. For the sum, we prove that the maximum is $$(k-1)2^n+1+\sum_{s=n-k+2}^{n}\binom{n}{s}$$ for all $n \ge k \ge 3$, and for the $k=3$ case of the product, we prove that it is between $$\left(\frac{1}{8}+o(1)\right)2^{3n}\qquad \hbox{and} \qquad (0.13075+o(1))2^{3n}.$$
On the score sheets of a round-robin football tournament
Published
• View Publication
• BIB
The set of (ordered) score sheets of a round-robin football tournament played between $n$ teams together with the pointwise addition has the structure of an affine monoid. In this paper we study (using both theoretical and computational methods) the most important invariants of this monoid, namely the Hilbert basis, the multiplicity, the Hilbert series and the Hilbert function.
An introduction to higher energies and sumsets
These notes basically contain a material of two mini--courses which were read in Göteborg in April 2015 during the author visit of Chalmers & Göteborg universities and in Beijing in November 2015 during "Chinese--Russian Workshop on Exponential Sums and Sumsets". The article is a short introduction to a new area of Additive Combinatorics which is connected which so--called the higher sumsets as well as with the higher energies. We hope the notes will be helpful for a reader who is interested in the field.
Total proper connection of graphs
Published
• View Publication
• BIB
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph is colored. A path in a total-colored graph is a {\it total proper path} if $(i)$ any two adjacent edges on the path differ in color, $(ii)$ any two internal adjacent vertices on the path differ in color, and $(iii)$ any internal vertex of the path differs in color from its incident edges on the path. A total-colored graph is called {\it total-proper connected} if any two vertices of the graph are connected by a total proper path of the graph. For a connected graph $G$, the {\it total proper connection number} of $G$, denoted by $tpc(G)$, is defined as the smallest number of colors required to make $G$ total-proper connected. These concepts are inspired by the concepts of proper connection number $pc(G)$, proper vertex connection number $pvc(G)$ and total rainbow connection number $trc(G)$ of a connected graph $G$. In this paper, we first determine the value of the total proper connection number $tpc(G)$ for some special graphs $G$. Secondly, we obtain that $tpc(G)\leq 4$ for any $2$-connected graph $G$ and give examples to show that the upper bound $4$ is sharp. For general graphs, we also obtain an upper bound for $tpc(G)$. Furthermore, we prove that $tpc(G)\leq \frac{3n}{δ+1}+1$ for a connected graph $G$ with order $n$ and minimum degree $δ$. Finally, we compare $tpc(G)$ with $pvc(G)$ and $pc(G)$, respectively, and obtain that $tpc(G)>pvc(G)$ for any nontrivial connected graph $G$, and that $tpc(G)$ and $pc(G)$ can differ by $t$ for $0\leq t\leq 2$.
Supercongruences involving dual sequences
Published in Finite Fields Appl. 46(2017), 179-216
• View Publication
• BIB
In this paper we study some sophisticated supercongruences involving dual sequences. For $n=0,1,2,\ldots$ define $$d_n(x)=\sum_{k=0}^n\binom nk\binom xk2^k$$ and $$s_n(x)=\sum_{k=0}^n\binom nk\binom xk\binom{x+k}k=\sum_{k=0}^n\binom nk(-1)^k\binom xk\binom{-1-x}k.$$ For any odd prime $p$ and $p$-adic integer $x$, we determine $\sum_{k=0}^{p-1}(\pm1)^kd_k(x)^2$ and $\sum_{k=0}^{p-1}(2k+1)d_k(x)^2$ modulo $p^2$; for example, we establish the new $p$-adic congruence $$\sum_{k=0}^{p-1}(-1)^kd_k(x)^2\equiv(-1)^{\langle x\rangle_p}\pmod{p^2},$$ where $\langle x\rangle_p$ denotes the least nonnegative integer $r$ with $x\equiv r\pmod p$. For any prime $p>3$ and $p$-adic integer $x$, we determine $\sum_{k=0}^{p-1}s_k(x)^2$ modulo $p^2$ (or $p^3$ if $x\in\{0,\ldots,p-1\}$), and show that $$\sum_{k=0}^{p-1}(2k+1)s_k(x)^2\equiv0\pmod{p^2}.$$ We also pose several related conjectures.
Cyclic elliptic spreads
Moderately large numbers of transitive elliptic spreads are constructed in characteristic $2$ and dimension $\equiv $ 2 (mod 4).
Recursively free reflection arrangements
Published in J. Algebra 474 (2017), 24--48
• View Publication
• BIB
Let $\mathcal{A} = \mathcal{A}(W)$ be the reflection arrangement of the finite complex reflection group $W$. By Terao's famous theorem, the arrangement $\mathcal{A}$ is free. In this paper we classify all reflection arrangements which belong to the smaller class of recursively free arrangements. Moreover for the case that $W$ admits an irreducible factor isomorphic to $G_{31}$ we obtain a new (computer free) proof for the non-inductive freeness of $\mathcal{A}(W)$. Since our classification implies the non-recursive freeness of the reflection arrangement $\mathcal{A}(G_{31})$, we can prove a conjecture by Abe about the new class of divisionally free arrangements which he recently introduced.
Pretzel Knots and q-Series
The tail of the colored Jones polynomial of an alternating link is a $q$-series invariant whose first $n$ terms coincide with the first $n$ terms of the $n$-th colored Jones polynomial. Recently, it has been shown that the tail of the colored Jones polynomial of torus knots give rise to Ramanujan type identities. In this paper, we study $q$-series identities coming from the colored Jones polynomial of pretzel knots. We prove a false theta function identity that goes back to Ramanujan and we give a natural generalization of this identity using the tail of the colored Jones polynomial of Pretzel knots. Furthermore, we compute the tail for an infinite family of Pretzel knots and relate it to false theta function-type identities.
A Universal Closed Form For Square Matrix Powers
This note presents a simple, universal closed form for the powers of any square matrix. A diligent search of the internet gave no indication that the form is known.