Showing 20 papers (Total: 83076 papers, 47999 authors in database)
A solution to a Partitioned Balanced Tournament Design of side 11
We provide a solution to the Partitioned Balanced Tournament Design $(PBTD)$ of side $11$. The solution has been generated by exploiting combinatorial optimization methods.
On the geometry of full points of abstract unitals
Published
• View Publication
• BIB
The concept of full points of abstract unitals has been introduced by Korchmáros, Siciliano and Szőnyi as a tool for the study of projective embeddings of abstract unitals. In this paper we give a more detailed description of the combinatorial and geometric structure of the sets of full points in abstract unitals of finite order.
Keyed hash function from large girth expander graphs
In this paper we present an algorithm to compute keyed hash function (message authentication code MAC). Our approach uses a family of expander graphs of large girth denoted $D(n,q)$, where $n$ is a natural number bigger than one and $q$ is a prime power. Expander graphs are known to have excellent expansion properties and thus they also have very good mixing properties. All requirements for a good MAC are satisfied in our method and a discussion about collisions and preimage resistance is also part of this work. The outputs closely approximate the uniform distribution and the results we get are indistinguishable from random sequences of bits. Exact formulas for timing are given in term of number of operations per bit of input. Based on the tests, our method for implementing DMAC shows good efficiency in comparison to other techniques. 4 operations per bit of input can be achieved. The algorithm is very flexible and it works with messages of any length. Many existing algorithms output a fixed length tag, while our constructions allow generation of an arbitrary length output, which is a big advantage.
Bad drawings of small complete graphs
We show that for $K_5$ (resp.~ $K_{3,3}$) there is a drawing with $i$ independent crossings, and no pair of independent edges cross more than once, provided $i$ is odd with $1\le i\le 15$ (resp.~ $1\le i\le 17$). Conversely, using the deleted product cohomology, we show that for $K_5$ and $K_{3,3}$, if $A$ is any set of pairs of independent edges, and $A$ has odd cardinality, then there is a drawing in the plane for which each element in $A$ cross an odd number of times, while each pair of independent edges not in $A$ cross an even number of times. For $K_6$ we show that there is a drawing with $i$ independent crossings, and no pair of independent edges cross more than once, if and only if $3\le i\le 40$.
On $m$-step competition graphs of bipartite tournaments
In this paper, we completely characterize the $m$-step competition graph of a bipartite tournament for any integer $m \ge 2$. In addition, we compute the competition index and the competition period of a bipartite tournament.
An Unique and Novel Graph Matrix for Efficient Extraction of Structural Information of Networks
In this article, we propose a new type of square matrix associated with an undirected graph by trading off the naturally imbedded symmetry in them. The proposed matrix is defined using the neighbourhood sets of the vertices. It is called as neighbourhood matrix and it is denoted by $ \mathcal{NM}(G)$ as this proposed matrix also exhibits a bijection between the product of the two graph matrices, namely the adjacency matrix and the graph Laplacian. This matrix can also be obtained by looking at every vertex and the subgraph with vertices from the first two levels in the level decomposition from that vertex. The two levels in the level decomposition of the graph give us more information about the neighbour of a vertex along with the neighbour of neighbour of a vertex. This insight is required and is found useful in studying the impact of broadcasting on social networks, in particular, and complex networks, in general. We establish several interesting properties of the $ \mathcal{NM}(G) $. In addition, we also show how to reconstruct a graph $G$, given a $ \mathcal{NM} (G)$. The proposed matrix is also found to solve many graph theoretic problems using less time complexity in comparison to the existing algorithms.
Towards a mathematical formalism for classifying phases of matter
We propose a unified mathematical framework for classifying phases of matter. The framework is based on different types of combinatorial structures with a notion of locality called lattices. A tensor lattice is a local prescription that associates tensor networks to those lattices. Different lattices are related by local operations called moves. Those local operations define consistency conditions for the tensors of the tensor network, the solutions to which yield exactly solvable models for all kinds of phases. We implement the framework to obtain models for symmetry-breaking and topological phases in up to three space-time dimensions, their boundaries, defects, domain walls and symmetries, as well as their anyons for 2+1-dimensional systems. We also deliver ideas of how other kinds of phases, like SPT/SET, fermionic, free-fermionic, chiral, and critical phases, can be described within our framework. We also define another structure called contracted tensor lattices which generalize tensor lattices: The former associate tensors instead of tensor networks to lattices, and the consistency conditions for those tensors are defined by another kind of local operation called gluings. Using this generalization, our framework also covers mathematical structures like axiomatic (non-fully extended or defective) TQFTs, that do not directly describe phases on a microscopic physical level, but formalize certain aspects of potential phases, like the anyon statistics of 2+1-dimensional phases. We also introduce the very powerful concept of (contracted) tensor lattice mapping, unifying a lots of different operations, such as stacking, anyon fusion, anyon condensation, equivalence of different fixed point models, taking the Drinfel'd centre, trivial defects or interpreting a bosonic model as a fermionic model.
Maximal State Complexity and Generalized de Bruijn Words
We compute the exact maximum state complexity for the language consisting of $m$ words of length $N$, and characterize languages achieving the maximum. We also consider a special case, namely languages $C(w)$ consisting of the conjugates of a single word $w$. The words for which the maximum state complexity of $C(w)$ is achieved turn out to be a natural generalization of de Bruijn words. We show that generalized de Bruijn words exist for each length and consider the number of them.
On the location of roots of the independence polynomial of bounded degree graphs
In [1] Peters and Regts confirmed a conjecture by Sokal by showing that for every $Δ\in \mathbb{Z}_{\geq 3}$ there exists a complex neighborhood of the interval $\left[0, \frac{\left(Δ- 1\right)^{Δ- 1}}{\left(Δ-2\right)^Δ}\right)$ on which the independence polynomial is nonzero for all graphs of maximum degree $Δ$. Furthermore, they gave an explicit neighborhood $U_Δ$ containing this interval on which the independence polynomial is nonzero for all finite rooted Cayley trees with branching number $Δ$. The question remained whether $U_Δ$ would be zero-free for the independence polynomial of all graphs of maximum degree $Δ$. In this paper it is shown that this is not the case.
[1] Han Peters and Guus Regts, On a conjecture of sokal concerning roots of the independence polynomial, Michigan Math. J. (2019), Advance publication.
Normal 6-edge-colorings of some bridgeless cubic graphs
Published
• View Publication
• BIB
In an edge-coloring of a cubic graph, an edge is poor or rich, if the set of colors assigned to the edge and the four edges adjacent it, has exactly five or exactly three distinct colors, respectively. An edge is normal in an edge-coloring if it is rich or poor in this coloring. A normal $k$-edge-coloring of a cubic graph is an edge-coloring with $k$ colors such that each edge of the graph is normal. We denote by $χ'_{N}(G)$ the smallest $k$, for which $G$ admits a normal $k$-edge-coloring. Normal edge-colorings were introduced by Jaeger in order to study his well-known Petersen Coloring Conjecture. It is known that proving $χ'_{N}(G)\leq 5$ for every bridgeless cubic graph is equivalent to proving Petersen Coloring Conjecture. Moreover, Jaeger was able to show that it implies classical conjectures like Cycle Double Cover Conjecture and Berge-Fulkerson Conjecture. Recently, two of the authors were able to show that any simple cubic graph admits a normal $7$-edge-coloring, and this result is best possible. In the present paper, we show that any claw-free bridgeless cubic graph, permutation snark, tree-like snark admits a normal $6$-edge-coloring. Finally, we show that any bridgeless cubic graph $G$ admits a $6$-edge-coloring such that at least $\frac{7}{9}\cdot |E|$ edges of $G$ are normal.
Refuting conjectures in extremal combinatorics via linear programming
We apply simple linear programming methods and an LP solver to refute a number of open conjectures in extremal combinatorics.
Proximity Induced by Order Relations
This paper introduces an order proximity on a collection of objects induced by a partial order using the Smirnov closeness measure on a Száz relator space. A Száz relator is a nonempty family of relations defined on a nonvoid set $K$. The Smirnov closeness measure provides a straightforward means of assembling partial ordered of pairwise close sets. In its original form, Ju. M. Smirnov closeness measure $δ(A,B) = 0$ for a pair of nonempty sets $A,B$ with nonvoid intersection and $δ(A,B) = 1$ for non-close sets. A main result in this paper is that the graph obtained by the proximity is equivalent to the Hasse diagram of the order relation that induces it. This paper also includes an application of order proximity in detecting sequences of video frames that have order proximity.
Schubert polynomials as projections of Minkowski sums of Gelfand-Tsetlin polytopes
Published
• View Publication
• BIB
Gelfand-Tsetlin polytopes are classical objects in algebraic combinatorics arising in the representation theory of $\mathfrak{gl}_n(\mathbb{C})$. The integer point transform of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ projects to the Schur function $s_λ$. Schur functions form a distinguished basis of the ring of symmetric functions; they are also special cases of Schubert polynomials $\mathfrak{S}_{w}$ corresponding to Grassmannian permutations.
For any permutation $w \in S_n$ with column-convex Rothe diagram, we construct a polytope $\mathcal{P}_{w}$ whose integer point transform projects to the Schubert polynomial $\mathfrak{S}_{w}$. Such a construction has been sought after at least since the construction of twisted cubes by Grossberg and Karshon in 1994, whose integer point transforms project to Schubert polynomials $\mathfrak{S}_{w}$ for all $w \in S_n$. However, twisted cubes are not honest polytopes; rather one can think of them as signed polytopal complexes. Our polytope $\mathcal{P}_{w}$ is a convex polytope. We also show that $\mathcal{P}_{w}$ is a Minkowski sum of Gelfand-Tsetlin polytopes of varying sizes. When the permutation $w$ is Grassmannian, the Gelfand-Tsetlin polytope is recovered. We conclude by showing that the Gelfand-Tsetlin polytope is a flow polytope.
A lower bound for the radio number of graphs
Published in In: Pal S., Vijayakumar A. (eds) Algorithms and Discrete Applied Mathematics. CALDAM 2019. Lecture Notes in Computer Science, vol 11394, pp 161-173. Springer, Cham
• View Publication
• BIB
A radio labeling of a graph $G$ is a mapping $\vp : V(G) \rightarrow \{0, 1, 2,...\}$ such that $|\vp(u)-\vp(v)|\geq \diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u,v$ of $G$, where $\diam(G)$ and $d(u,v)$ are the diameter of $G$ and distance between $u$ and $v$ in $G$, respectively. The radio number $\rn(G)$ of $G$ is the smallest number $k$ such that $G$ has radio labeling with $\max\{\vp(v):v \in V(G)\}$ = $k$. In this paper, we slightly improve the lower bound for the radio number of graphs given by Das \emph{et al.} in [5] and, give necessary and sufficient condition to achieve the lower bound. Using this result, we determine the radio number for cartesian product of paths $P_{n}$ and the Peterson graph $P$. We give a short proof for the radio number of cartesian product of paths $P_{n}$ and complete graphs $K_{m}$ given by Kim \emph{et al.} in [6].
A polynomial version of Cereceda's conjecture
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colourings of a $d$-degenerate graph $G$. Can we transform one into the other by recolouring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. However, Cereceda conjectured that there should exist one of quadratic length.
The $k$-reconfiguration graph of $G$ is the graph whose vertices are the proper $k$-colourings of $G$, with an edge between two colourings if they differ on exactly one vertex. Cereceda's conjecture can be reformulated as follows: the diameter of the $(d+2)$-reconfiguration graph of any $d$-degenerate graph on $n$ vertices is $O(n^2)$. So far, the existence of a polynomial diameter is open even for $d=2$.
In this paper, we prove that the diameter of the $k$-reconfiguration graph of a $d$-degenerate graph is $O(n^{d+1})$ for $k \ge d+2$. Moreover, we prove that if $k \ge \frac 32 (d+1)$ then the diameter of the $k$-reconfiguration graph is quadratic, improving the previous bound of $k \ge 2d+1$. We also show that the $5$-reconfiguration graph of planar bipartite graphs has quadratic diameter, confirming Cereceda's conjecture for this class of graphs.
Random graphs with a fixed maximum degree
Published in SIAM J. Discrete Math. 34 (2020), no. 1, 53-61
• View Publication
• BIB
We study the component structure of the random graph $G=G_{n,m,d}$. Here $d=O(1)$ and $G$ is sampled uniformly from ${\mathcal G}_{n,m,d}$, the set of graphs with vertex set $[n]$, $m$ edges and maximum degree at most $d$. If $m=μn/2$ then we establish a threshold value $μ_\star$ such that if $μ<μ_\star$ then w.h.p. the maximum component size is $O(\log n)$. If $μ>μ_\star$ then w.h.p. there is a unique giant component of order $n$ and the remaining components have size $O( \log n)$.
On a perfect matching in a random bipartite digraph with average out-degree below two
Existence of a perfect matching in a random bipartite digraph with bipartition $(V_1, V_2)$, $|V_i|=n$, is studied. The graph is generated in two rounds of random selections of a potential matching partner such that the average number of selections made by each vertex overall is below $2$. More precisely, in the first round each vertex chooses a potential mate uniformly at random, and independently of all vertices. Given a fixed integer $m$, a vertex is classified as unpopular if it has been chosen by at most $m$ vertices from the other side. Each unpopular vertex makes yet another uniform/independent selection of a potential mate. The expected number of selections made by a generic vertex $v$, i.e. its out-degree, is asymptotic to $1+\Bbb P(\text{Poisson}(1)\le m)\in (1,2)$. Aided by Matlab software, we prove that for $m=1$, whence for all $m\ge 1$, the resulting bipartite graph has a perfect matching a.a.s. (asymptotically almost surely). On the other hand, for $m=0$ a.a.s. a perfect matching does not exist, and the graph consists of a single giant component of size $2n -O(n^{1/2+o(1)})$ and possibly some components of size $O(\log n)$. This is a thorough revision of the joint paper (JCT(B) 88 (2003), 1-16) by the first author and the third author.
On the Maximum Weight Independent Set Problem in graphs without induced cycles of length at least five
A hole in a graph is an induced cycle of length at least $4$, and an antihole is the complement of an induced cycle of length at least $4$. A hole or antihole is long if its length is at least $5$. For an integer $k$, the $k$-prism is the graph consisting of two cliques of size $k$ joined by a matching. The complexity of Maximum (Weight) Independent Set (MWIS) in long-hole-free graphs remains an important open problem. In this paper we give a polynomial time algorithm to solve MWIS in long-hole-free graphs with no $k$-prism (for any fixed integer $k$), and a subexponential algorithm for MWIS in long-hole-free graphs in general. As a special case this gives a polynomial time algorithm to find a maximum weight clique in perfect graphs with no long antihole, and no hole of length $6$. The algorithms use the framework of minimal chordal completions and potential maximal cliques.
Triforce and Corners
Published in Math. Proc. Camb. Phil. Soc. 169 (2020) 209-223
• View Publication
• BIB
May the $\mathit{triforce}$ be the 3-uniform hypergraph on six vertices with edges $\{123',12'3,1'23\}$. We show that the minimum triforce density in a 3-uniform hypergraph of edge density $δ$ is $δ^{4-o(1)}$ but not $O(δ^4)$.
Let $M(δ)$ be the maximum number such that the following holds: for every $ε> 0$ and $G = \mathbb{F}_2^n$ with $n$ sufficiently large, if $A \subseteq G \times G$ with $A \ge δ|G|^2$, then there exists a nonzero "popular difference" $d \in G$ such that the number of "corners" $(x,y), (x+d,y), (x,y+d) \in A$ is at least $(M(δ) - ε)|G|^2$. As a corollary via a recent result of Mandache, we conclude that $M(δ) = δ^{4-o(1)}$ and $M(δ) = ω(δ^4)$.
On the other hand, for $0 < δ< 1/2$ and sufficiently large $N$, there exists $A \subseteq [N]^3$ with $|A|\geδN^3$ such that for every $d \ne 0$, the number of corners $(x,y,z), (x+d,y,z),(x,y+d,z),(x,y,z+d) \in A$ is at most $δ^{c \log (1/δ)} N^3$. A similar bound holds in higher dimensions, or for any configuration with at least 5 points or affine dimension at least 3.
Generalization of the cover pebbling number on trees
A pebbling move on a graph consists of taking two pebbles off from one vertex and add one pebble on an adjacent vertex, the $t$-pebbling number of a graph $G$ is the minimum number of pebbles so that we can move $t$ pebbles on any vertex on $G$ regardless the original distribution of pebbles. Let $ω$ be a positive function on $V(G)$, the $ω$-cover pebbling number of a graph $G$ is the minimum number of pebbles so that we can reach a distribution with at least $ω(v)$ pebbles on $v$ for all $v\in V(G)$. In this paper, we give the $ω$-cover pebbling number of trees for nonnegative function $ω$, which generalized the $t$-pebbling number and the traditional weighted cover pebbling number of trees.