Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Positivity of the Rational Function of Gillis, Reznick and Zeilberger
We prove that the power series expansion of the rational function of Gillis, Reznick and Zeilberger (1983) has only nonnegative coefficients.
O-Fibonacci $(p,r)$-cube as Cartesian products
Let $p ,r $ and $n $ be positive integers. Then the O-Fibonacci $(p,r)$-cube $OΓ^{(p,r)}_{n}$ is the subgraph of $Q_{n}$ induced on the binary words in which there is at least $p-1$ zeros between any two $1$s and there is at most $r$ consecutive $10^{p-1}$. These cubes include a wide range of cubes as their special cases, such as hypercubes, Fibonacci cubes, and postal networks. In this note it is proved that $OΓ^{(p,r)}_{n}$ is a non-trivial Cartesian product if and only if $p=1$ and $r\geq n\geq2$.
Symmetric binary Steinhaus triangles and parity-regular Steinhaus graphs
Published
• View Publication
• BIB
A binary Steinhaus triangle is a triangle of zeroes and ones that points down and with the same local rule as the Pascal triangle modulo 2. A binary Steinhaus triangle is said to be rotationally symmetric, horizontally symmetric or dihedrally symmetric if it is invariant under the 120 degrees rotation, the horizontal reflection or both, respectively. The first part of this paper is devoted to the study of linear subspaces of rotationally symmetric, horizontally symmetric and dihedrally symmetric binary Steinhaus triangles. We obtain simple explicit bases for each of them by using elementary properties of the binomial coefficients. A Steinhaus graph is a simple graph with an adjacency matrix whose upper-triangular part is a binary Steinhaus triangle. A Steinhaus graph is said to be even or odd if all its vertex degrees are even or odd, respectively. One of the main results of this paper is the existence of an isomorphism between the linear subspace of even Steinhaus graphs and a certain linear subspace of dihedrally symmetric binary Steinhaus triangles. This permits us to give, in the second part of this paper, an explicit basis for even Steinhaus graphs and for the vector space of parity-regular Steinhaus graphs; i.e., the linear subspace of Steinhaus graphs that are even or odd. Finally, in the last part of this paper, we consider the generalized Pascal triangles, that are triangles of zeroes and ones, that point up now, and always with the same local rule as the Pascal triangle modulo 2. New simple bases for each linear subspace of symmetric generalized Pascal triangles are deduced from the results of the first part.
Biangular lines revisited
Published
• View Publication
• BIB
Line systems passing through the origin of the $d$ dimensional Euclidean space admitting exactly two distinct angles are called biangular. It is shown that the maximum cardinality of biangular lines is at least $2(d-1)(d-2)$, and this result is sharp for $d\in\{4,5,6\}$. Connections to binary codes, few-distance sets, and association schemes are explored, along with their multiangular generalization.
Graphical Designs and Extremal Combinatorics
Published in Konstantin Golubev,Graphical designs and extremal combinatorics, Linear Algebra and its Applications, Volume 604, 1 November 2020, Pages 490-506
• View Publication
• BIB
A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on which the maximum possible number of eigenfunctions have mean value zero. We then provide examples of such graphs and sets, which arise naturally in extremal combinatorics. We also show that sets which realize the isoperimetric constant of a graph make extremal graphical designs, and provide examples for them as well. We investigate the behavior of graphical designs under the operation of weak graph product. In addition, we present a family of extremal graphical designs for the hypercube graph.
On conjugacy of diagonalizable integral matrices
Published
• View Publication
• BIB
It is shown that under some additional assumption two diagonalizable integral matrices X and Y with only rational eigenvalues are conjugate in GL(n,Z) if and only if they are conjugate over all localizations. This is used to prove that for a prime p == 3 (mod 4) the adjacency matrices of the Paley graph and the Peisert graph on p^2 vertices are conjugate in GL(p^2,Z), answering a question by Peter Sin.
Distance formulas in Bruhat-Tits building of $\mathrm{SL}_d(\mathbb{Q}_p)$
Published
• View Publication
• BIB
We study the distance on the Bruhat-Tits building of the group $\mathrm{SL}_d(\mathbb{Q}_p)$ (and its other combinatorial properties). Coding its vertices by certain matrix representatives, we introduce a way how to build formulas with combinatorial meanings. In Theorem 1, we give an explicit formula for the graph distance $δ(α,β)$ of two vertices $α$ and $β$ (without having to specify their common apartment).Our main result, Theorem 2, then extends the distance formula to a formula for the smallest total distance of a vertex from a given finite set of vertices. In the appendix we consider the case of $\mathrm{SL}_2(\mathbb{Q}_p)$ and give a formula for the number of edges shared by two given apartments.
The classification of local m-GCI-group on finite nonabelian simple groups
Li and Praeger classified finite nonabelian simple groups, it has only one or two fusion classes of any certain value. As a by-product, they classified m-CI-groups, which is critical in the research of Cayley graphs. In the paper, we will consider generalized Cayley graphs. This concept is proposed by Marusic et al. In the paper, (local) m- GCI-group is defined, and we get many properties and characterizations based on the generalized Cayley isomorphism, which are the key measures for the classification of (local) m-GCI-group. And above all, we will give a classification of local 2-GCI-groups and 2-GCI-groups for finite nonabelian simple groups.
Negative closed walks in signed graphs: A note
Recently Naserasr, Sopena, and Zaslavsky [R. Naserasr, É. Sopena, T. Zaslavsky,Homomorphisms of signed graphs: An update, arXiv: 1909.05982v1 [math.CO] 12 Sep 2019.] published a report on closed walks in signed graphs. They gave a characterization of the sets of closed walks in a graph $G$ which corespond to the set of negative walks in some signed graph on $G$. In this note we show that their characterization is not valid and give a new characterization.
Weakly Distinguishing Graph Polynomials on Addable Properties
Published in Moscow J. Comb. Number Th. 9 (2020) 333-349
• View Publication
• BIB
A graph polynomial $P$ is weakly distinguishing if for almost all finite graphs $G$ there is a finite graph $H$ that is not isomorphic to $G$ with $P(G)=P(H)$. It is weakly distinguishing on a graph property $\mathcal{C}$ if for almost all finite graphs $G\in\mathcal{C}$ there is $H \in \mathcal{C}$ that is not isomorphic to $G$ with $P(G)=P(H)$. We give sufficient conditions on a graph property $\mathcal{C}$ for the characteristic, clique, independence, matching, and domination and $ξ$ polynomials, as well as the Tutte polynomial and its specialisations, to be weakly distinguishing on $\mathcal{C}$. One such condition is to be addable and small in the sense of C. McDiarmid, A. Steger and D. Welsh (2005). Another one is to be of genus at most $k$.
Newton Polytopes Of Nondegenerate Quadratic Forms
Published
• View Publication
• BIB
We characterise Newton polytopes of nondegenerate quadratic forms and Newton polyhedra of Morse singularities.
Generating Posets Beyond N
Published
• View Publication
• BIB
We introduce iposets---posets with interfaces---equipped with a novel gluing composition along interfaces and the standard parallel composition. We study their basic algebraic properties as well as the hierarchy of gluing-parallel posets generated from singletons by finitary applications of the two compositions. We show that not only series-parallel posets, but also interval orders, which seem more interesting for modelling concurrent and distributed systems, can be generated, but not all posets. Generating posets is also important for constructing free algebras for concurrent semirings and Kleene algebras that allow compositional reasoning about such systems.
Deltoid tangents with evenly distributed orientations and random tilings
Published
• View Publication
• BIB
We study the construction of substitution tilings of the plane based on certain simplicial configurations of tangents of the deltoid with evenly distributed orientations. The random tiling ensembles are obtained as a result of tile rearrangements in the substitution rules associated to edge flips.
Graphs in which the Maxine heuristic produces a maximum independent set
The residue of a graph is the number of zeros left after iteratively applying the Havel-Hakimi algorithm to its degree sequence. Favaron, Mahéo, and Saclé showed that the residue is a lower bound on the independence number. The Maxine heuristic reduces a graph to an independent set of size $M$. It has been shown that given a graph $G$, $M$ is bounded between the independence number and the residue of a graph for any application of the Maxine heuristic. We improve upon a forbidden subgraph classification of graphs such that $M$ is equal to the independence number given by Barrus and Molnar in 2015.
Hypercubic Self-Tilings
In 1946 Fine and Niven posed problem E724, asking to demonstrate that every hypercube can be tiled by any number of hypercubic tiles larger than some value. This requires only basic number theory, but the problem of finding the smallest such number is much more involved. For the square this is known to be 5, and the cube 47. No other values are known. This paper improves the bound for tesseracts from 808 to 733.
Some combinatorial aspects of generalised Bott-Samelson varieties
We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to describe minimal rational curves on these resolutions, and their relation to lines on the Schubert varieties.
Extremal Square-free Words
Published
• View Publication
• BIB
A word is \emph{square-free} if it does not contain non-empty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over $3$-letter alphabet. We consider a new type of square-free words. A square-free word is \emph{extremal} if it cannot be extended to a new square-free word by inserting a single letter on arbitrary position. We prove that there exist infinitely many extremal words over $3$-letter alphabet. Some parts of our construction relies on computer verifications. We also pose some related open problems.
Balanced convex partitions of lines in the plane
Published
• View Publication
• BIB
We prove an extension of a ham sandwich theorem for families of lines in the plane by Dujmović and Langerman. Given two sets $A, B$ of $n$ lines each in the plane, we prove that it is possible to partition the plane into $r$ convex regions such that the following holds. For each region $C$ of the partition there is a subset of $c_r n^{1/r}$ lines of $A$ whose pairwise intersections are in $C$, and the same holds for $B$. In this statement $c_r$ only depends on $r$. We also prove that the dependence on $n$ is optimal.
Algebras, graphs and thetas
Published in Electronic Notes in Theoretical Computer Science, 346, 275 - 283 (2019)
• View Publication
• BIB
We extend the clique-coclique inequality, previously known to hold for graphs in association schemes and vertex-transitive graphs, to graphs in homogeneous coherent configurations and 1-walk regular graphs. We further generalize it to a stronger inequality involving the Lovász theta number of such graphs, and some theta variants, including characterizations of the equality.
Multicolor Ramsey numbers via pseudorandom graphs
Published in Electron. J. Combin. 27 (2020)
• View Publication
• BIB
A weakly optimal $K_s$-free $(n,d,λ)$-graph is a $d$-regular $K_s$-free graph on $n$ vertices with $d=Θ(n^{1-α})$ and spectral expansion $λ=Θ(n^{1-(s-1)α})$, for some fixed $α>0$. Such a graph is called optimal if additionally $α= \frac{1}{2s-3}$. We prove that if $s_{1},\ldots,s_{k}\ge3$ are fixed positive integers and weakly optimal $K_{s_{i}}$-free pseudorandom graphs exist for each $1\le i\le k$, then the multicolor Ramsey numbers satisfy \[ Ω\Big(\frac{t^{S+1}}{\log^{2S}t}\Big)\le r(s_{1},\ldots,s_{k},t)\le O\Big(\frac{t^{S+1}}{\log^{S}t}\Big), \] as $t\rightarrow\infty$, where $S=\sum_{i=1}^{k}(s_{i}-2)$. This generalizes previous results of Mubayi and Verstraëte, who proved the case $k=1$, and Alon and Rödl, who proved the case $s_1=\cdots = s_k = 3$. Both previous results used the existence of optimal rather than weakly optimal $K_{s_i}$-free graphs.