Showing 20 papers (Total: 84253 papers, 48533 authors in database)
An Upper Bound on Burning Number of Graphs
Published
• View Publication
• BIB
The burning number $b(G)$ of a graph $G$ was introduced by Bonato, Janssen, and Roshanbin [Lecture Notes in Computer Science 8882 (2014)] for measuring the speed of the spread of contagion in a graph. They proved for any connected graph $G$ of order $n$, $b(G)\leq 2\lceil \sqrt{n} \rceil-1$, and conjectured that $b(G)\leq \lceil \sqrt{n} \rceil$. In this paper, we proved $b(G)\leq \lceil\frac{-3+\sqrt{24n+33}}{4}\rceil$, which is roughly $\frac{\sqrt{6}}{2}\sqrt{n}$. We also settled the following conjecture of Bonato-Janssen-Roshanbin: $b(G)b(\bar G)\leq n+4$ provided both $G$ and $\bar G$ are connected.
Classification of large partial plane spreads in $PG(6,2)$ and related combinatorial objects
Published
• View Publication
• BIB
In this article, the partial plane spreads in $PG(6,2)$ of maximum possible size $17$ and of size $16$ are classified. Based on this result, we obtain the classification of the following closely related combinatorial objects: Vector space partitions of $PG(6,2)$ of type $(3^{16} 4^1)$, binary $3\times 4$ MRD codes of minimum rank distance $3$, and subspace codes with parameters $(7,17,6)_2$ and $(7,34,5)_2$.
Reducing quadrangulations of the sphere and the projective plane
We show that every quadrangulation of the sphere can be transformed into a $4$-cycle by deletions of degree-$2$ vertices and by $t$-contractions at degree-$3$ vertices. A $t$-contraction simultaneously contracts all incident edges at a vertex with stable neighbourhood. The operation is mainly used in the field of $t$-perfect graphs.
We further show that a non-bipartite quadrangulation of the projective plane can be transformed into an odd wheel by $t$-contractions and deletions of degree-$2$ vertices.
We deduce that a quadrangulation of the projective plane is (strongly) $t$-perfect if and only if the graph is bipartite.
Ruled surface theory and incidence geometry
Published
• View Publication
• BIB
This is an expository paper about applications of ruled surface theory in incidence geometry. It surveys the results that have been proven, gives an overview of the methods, and discusses some open problems and further directions. It will appear in the book Journey Through Discrete Mathematics, a Tribute to Jiri Matousek, edited by Martin Loebl, Jaroslav Nesetril and Robin Thomas, due to be published by Springer.
Self-Reciprocal Polynomials and Coterm Polynomials
Published
• View Publication
• BIB
We classify all self-reciprocal polynomials arising from reversed Dickson polynomials over $\mathbb{Z}$ and $\mathbb{F}_p$, where $p$ is prime. As a consequence, we also obtain coterm polynomials arising from reversed Dickson polynomials.
Square of Hamilton cycle in a random graph
We show that $p=\sqrt{\frac{e}{n}}$ is a sharp threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle. This improves the previous results of Kühn and Osthus and also Nenadov and Škorić.
Characterizing graphs of maximum matching width at most 2
Published
• View Publication
• BIB
The maximum matching width is a width-parameter that is defined on a branch-decomposition over the vertex set of a graph. The size of a maximum matching in the bipartite graph is used as a cut-function. In this paper, we characterize the graphs of maximum matching width at most 2 using the minor obstruction set. Also, we compute the exact value of the maximum matching width of a grid.
A Note on the Alon-Kleitman Argument for Sum-free Subset Theorem
In 1990, Alon and Kleitman proposed an argument for the sum-free subset problem: every set of n nonzero elements of a finite Abelian group contains a sum-free subset A of size |A|>\frac{2}{7}n. In this note, we show that the argument confused two different randomness. It applies only to the finite Abelian group G = (Z/pZ)^s where p is a prime. For the general case, the problem remains open.
An elementary proof of a conjecture on graph-automorphism
Published
• View Publication
• BIB
In this article, we give an elementary combinatorial proof of a conjecture about the determination of automorphism group of the power graph of finite cyclic groups, proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.
The Edge-Szeged Index and the PI Index of Benzenoid Systems in Linear Time
Published in MATCH Commun. Math. Comput. Chem. 77 (2017) 393-406
• Search Publication
The edge-Szeged index of a graph $G$ is defined as $Sz_e(G) = \sum_{e=uv \in E(G)}m_u(e)m_v(e)$, where $m_u(e)$ denotes the number of edges of $G$ whose distance to $u$ is smaller than the distance to $v$ and $m_v(e)$ denotes the number of edges of $G$ whose distance to $v$ is smaller than the distance to $u$. Similarly, the PI index is defined as $PI(G) = \sum_{e=uv \in E(G)}(m_u(e) + m_v(e))$. In this paper it is shown how the problem of calculating the indices of a benzenoid system can be reduced to the problem of calculating weighted indices of three different weighted quotient trees. Furthermore, using these results, algorithms are established that, for a given benzenoid system $G$ with $m$ edges, compute the edge-Szeged index and the PI index of $G$ in $O(m)$ time. Moreover, it is shown that the results can also be applied to weighted benzenoid systems.
On the power graph of the direct product of two groups
Published
• View Publication
• BIB
The power graph $P(G)$ of a finite group $G$ is the graph with vertex set $G$ and two distinct vertices are adjacent if either of them is a power of the other. Here we show that the power graph $P(G_1 \times G_2)$ of the direct product of two groups $G_1$ and $G_2$ is not isomorphic to either of the direct, cartesian and normal product of their power graphs $P(G_1)$ and $P(G_2)$. A new product of graphs, namely generalized product, has been introduced and we prove that the power graph $P(G_1 \times G_2)$ is isomorphic to a generalized product of $P(G_1)$ and $P(G_2)$.
Finite phylogenetic complexity and combinatorics of tables
Published in Alg. Number Th. 11 (2017) 235-252
• View Publication
• BIB
We prove that the phylogenetic complexity -- an invariant introduced by Sturmfels and Sullivant -- of any finite abelian group is finite.
Some non-existence results for distance-$j$ ovoids in small generalized polygons
Published
• View Publication
• BIB
We give a computer-based proof for the non-existence of distance-$2$ ovoids in the dual split Cayley hexagon $\mathsf{H}(4)^D$.
Furthermore, we give upper bounds on partial distance-$2$ ovoids of $\mathsf{H}(q)^D$ for $q \in \{2, 4\}$.
Partition regularity of generalised Fermat equations
Published
• View Publication
• BIB
Let $α,β,γ\in\mathbb{N}$. We prove that given an $r$-colouring of $\mathbb{F}_p$ with $p$ prime, there are more than $c_{r,α,β,γ} p^2$ solutions to the equation $x^α+y^β=z^γ$ with all of $x,y,z$ of the same colour. Here $c_{r,α,β,γ}>0$ is some constant depending on the number of colours and the exponents in the equation. This is already a new result for $α=β=1$ and $γ=2$, that is to say for the equation $x+y=z^2$.
Restricted developments in partizan misere game theory
Published in in U. Larsson (Ed.) Games of No Chance 5, MSRI Book Series 70, Cambridge University Press, Massachusettes (2019), 113-123
• View Publication
• BIB
Much progress has been made in misere game theory using the technique of restricted misere play, where games can be considered equivalent inside a restricted set of games without being equal in general. This paper provides a survey of recent results in this area, including two particularly interesting properties of restricted misere games: (1) a game can have an additive inverse that is not its negative, and (2) a position can be reversible through an end (a game with Left but not Right options, or vice versa). These properties are not possible in normal play and general misere play, respectively. Related open problems are discussed.
Almost balanced biased graph representations of frame matroids
Published
• View Publication
• BIB
Given a 3-connected biased graph $Ω$ with a balancing vertex, and with frame matroid $F(Ω)$ nongraphic and 3-connected, we determine all biased graphs $Ω'$ with $F(Ω') = F(Ω)$. As a consequence, we show that if $M$ is a 4-connected nongraphic frame matroid represented by a biased graph $Ω$ having a balancing vertex, then $Ω$ essentially uniquely represents $M$. More precisely, all biased graphs representing $M$ are obtained from $Ω$ by replacing a subset of the edges incident to its unique balancing vertex with unbalanced loops.
Syzygies over the Polytope Semiring
Published
• View Publication
• BIB
Tropical geometry and its applications indicate a "theory of syzygies" over polytope semirings. Taking cue from this indication, we study a notion of syzygies over the polytope semiring. We begin our exploration with the concept of Newton basis, an analogue of Gröbner basis that captures the image of an ideal under the Newton polytope map. The image ${\rm New}(I)$ of a graded ideal $I$ under the Newton polytope is a graded sub-semimodule of the polytope semiring. Analogous to the Hilbert series, we define the notion of Newton-Hilbert series that encodes the rank of each graded piece of ${\rm New}(I)$. We prove the rationality of the Newton-Hilbert series for sub-semimodules that satisfy a property analogous to Cohen-Macaulayness. We define notions of regular sequence of polytopes and syzygies of polytopes. We show an analogue of the Koszul property characterizing the syzygies of a regular sequence of polytopes.
A stability result using the matrix norm to bound the permanent
Published
• View Publication
• BIB
We prove a stability version of a general result that bounds the permanent of a matrix in terms of its operator norm. More specifically, suppose $A$ is an $n \times n$ matrix over $\mathbb{C}$ (resp. $\mathbb{R}$), and let $\mathcal{P}$ denote the set of $n \times n$ matrices over $\mathbb{C}$ (resp. $\mathbb{R}$) that can be written as a permutation matrix times a unitary diagonal matrix. Then it is known that the permanent of $A$ satisfies $|\text{perm}(A)| \leq \Vert A \Vert_{2} ^n$ with equality iff $A/ \Vert A \Vert_{2} \in \mathcal{P}$ (where $\Vert A \Vert_2$ is the operator $2$-norm of $A$). We show a stability version of this result asserting that unless $A$ is very close (in a particular sense) to one of these extremal matrices, its permanent is exponentially smaller (as a function of $n$) than $\Vert A \Vert_2 ^n$. In particular, for any fixed $α, β> 0$, we show that $|\text{perm}(A)|$ is exponentially smaller than $\Vert A \Vert_2 ^n$ unless all but at most $αn$ rows contain entries of modulus at least $\Vert A \Vert_2 (1 - β)$.
Maximal Newton points and the quantum Bruhat graph
We discuss a surprising relationship between the partially ordered set of Newton points associated to an affine Schubert cell and the quantum cohomology of the complex flag variety. The main theorem provides a combinatorial formula for the unique maximum element in this poset in terms of paths in the quantum Bruhat graph, whose vertices are indexed by elements in the finite Weyl group. Key to establishing this connection is the fact that paths in the quantum Bruhat graph encode saturated chains in the strong Bruhat order on the affine Weyl group. This correspondence is also fundamental in the work of Lam and Shimozono establishing Peterson's isomorphism between the quantum cohomology of the finite flag variety and the homology of the affine Grassmannian. One important geometric application of the present work is an inequality which provides a necessary condition for non-emptiness of certain affine Deligne-Lusztig varieties in the affine flag variety.
Improved log-Sobolev inequalities, hypercontractivity and uncertainty principle on the hypercube
Published
• View Publication
• BIB
Log-Sobolev inequalities (LSIs) upper-bound entropy via a multiple of the Dirichlet form (i.e. norm of a gradient). In this paper we prove a family of entropy-energy inequalities for the binary hypercube which provide a non-linear comparison between the entropy and the Dirichlet form and improve on the usual LSIs for functions with small support. These non-linear LSIs, in turn, imply a new version of the hypercontractivity for such functions. As another consequence, we derive a sharp form of the uncertainty principle for the hypercube: a function whose energy is concentrated on a set of small size, and whose Fourier energy is concentrated on a small Hamming ball must be zero. The tradeoff between the sizes that we derive is asymptotically optimal. This new uncertainty principle implies a new estimate on the size of Fourier coefficients of sparse Boolean functions. We observe that an analogous (asymptotically optimal) uncertainty principle in the Euclidean space follows from the sharp form of Young's inequality due to Beckner. This hints that non-linear LSIs augment Young's inequality (which itself is sharp for finite groups).