Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On MPS construction of blocking sets in projective spaces: a generalization
Published
• View Publication
• BIB
In this paper we provide a generalization of the MPS construction of blocking sets of $PG(r,q^n)$ using subspaces of dimension $s\leq n-2$. By this construction, we determine a new non-planar example in $PG(3,q^6)$.
On the number of 4-cycles in a tournament
Published
• View Publication
• BIB
If $T$ is an $n$-vertex tournament with a given number of $3$-cycles, what can be said about the number of its $4$-cycles? The most interesting range of this problem is where $T$ is assumed to have $c\cdot n^3$ cyclic triples for some $c>0$ and we seek to minimize the number of $4$-cycles. We conjecture that the (asymptotic) minimizing $T$ is a random blow-up of a constant-sized transitive tournament. Using the method of flag algebras, we derive a lower bound that almost matches the conjectured value. We are able to answer the easier problem of maximizing the number of $4$-cycles. These questions can be equivalently stated in terms of transitive subtournaments. Namely, given the number of transitive triples in $T$, how many transitive quadruples can it have? As far as we know, this is the first study of inducibility in tournaments.
Hamiltonian Cycles in Polyhedral Maps
Published
• View Publication
• BIB
We present a necessary and sufficient condition for existence of a contractible, non-separating and noncontractible separating Hamiltonian cycle in the edge graph of polyhedral maps on surfaces. In particular, we show the existence of contractible Hamiltonian cycle in equivelar triangulated maps. We also present an algorithm to construct such cycles whenever it exists.
The matching energy of graphs with given edge connectivity
Published
• View Publication
• BIB
Let G be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ the roots of its matching polynomial. The matching energy of $G$ is defined as the sum $\sum_{i=1}^n|μ_i|$. Let $K_{n-1,1}^k$ be the graph obtained from $K_1\cup K_{n-1}$ by adding $k$ edges between $V(K_1)$ and $V(K_{n-1})$. In this paper, we show that $K_{n-1,1}^k$ has maximum matching energy among all connected graph with order $n$ and edge connectivity $k$.
Combinatorics of diagrams of permutations
Published in J. Combin. Theory Ser. A 137 (2016) 273-306
• View Publication
• BIB
There are numerous combinatorial objects associated to a Grassmannian permutation $w_λ$ that index cells of the totally nonnegative Grassmannian. We study several of these objects and their $q$-analogues in the case of permutations $w$ that are not necessarily Grassmannian. We give two main results: first, we show that certain acyclic orientations, rook placements avoiding a diagram of $w$, and fillings of a diagram of $w$ are equinumerous for all permutations $w$. Second, we give a $q$-analogue of a result of Hultman-Linusson-Shareshian-Sjöstrand by showing that under a certain pattern condition the Poincaré polynomial for the Bruhat interval of $w$ essentially counts invertible matrices avoiding a diagram of $w$ over a finite field. In addition to our main results, we include at the end a number of open questions.
Hecke algebras with independent parameters
Published
• View Publication
• BIB
We study the Hecke algebra $\H(\bq)$ over an arbitrary field $\FF$ of a Coxeter system $(W,S)$ with independent parameters $\bq=(q_s\in\FF:s\in S)$ for all generators. This algebra is always linearly spanned by elements indexed by the Coxeter group $W$. This spanning set is indeed a basis if and only if every pair of generators joined by an odd edge in the Coxeter diagram receive the same parameter. In general, the dimension of $\H(\bq)$ could be as small as $1$. We construct a basis for $\H(\bq)$ when $(W,S)$ is simply laced. We also characterize when $\H(\bq)$ is commutative, which happens only if the Coxeter diagram of $(W,S)$ is simply laced and bipartite. In particular, for type A we obtain a tower of semisimple commutative algebras whose dimensions are the Fibonacci numbers. We show that the representation theory of these algebras has some features in analogy/connection with the representation theory of the symmetric groups and the 0-Hecke algebras.
An alternative proof of the linearity of the size-Ramsey number of paths
Published in Combinator. Probab. Comp. 24 (2015) 551-555
• View Publication
• BIB
The size Ramsey number $\hat{r}(F)$ of a graph $F$ is the smallest integer $m$ such that there exists a graph $G$ on $m$ edges with the property that any colouring of the edges of $G$ with two colours yields a monochromatic copy of $F$. In 1983, Beck provided a beautiful argument that shows that $\hat{r}(P_n)$ is linear, solving a problem of Erdős. In this short note, we provide an alternative but elementary proof of this fact that actually gives a better bound, namely, $\hat{r}(P_n) < 137n$ for $n$ sufficiently large.
On some Versions of Conjectures of Bondy and Jung
Using algebraic transformations and equivalent reformulations we derive a number of new results from some earlier ones (by the author) in more accepted terms closely related to well-known conjectures of Bondy and Jung including a number of classical results in hamiltonian graph theory (due to Dirac, Ore, Nash-Williams, Bondy, Jung and so on) as special cases. A number of extended and strengthened versions of these conjectures are proposed.
On the Edge-Balanced Index Sets of Odd/Even Complete Bipartite Graphs
In 2009, Kong, Wang, and Lee began work on the problem of finding the edge-balanced index sets of complete bipartite graphs $K_{m,n}$ by solving the cases where $n=1$, $2$, $3$, $4$, and $5$, and also the case where $m=n$. In an article soon to be published, Krop, Minion, Patel, and Raridan concluded the edge-balanced index set problem for complete bipartite graphs with both parts of odd cardinality. In this paper, we conclude the problem for complete bipartite graphs where the larger part is of odd cardinality and the smaller is of even cardinality.
Existence of unimodular triangulations - positive results
Published in Mem. Amer. Math. Soc. Volume 270, Number 1321, American Math. Society, 2021. ISBNs: 978-1-4704-4716-8 (print); 978-1-4704-6530-8 (online)
• View Publication
• BIB
Unimodular triangulations of lattice polytopes arise in algebraic geometry, commutative algebra, integer programming and, of course, combinatorics.
In this article, we review several classes of polytopes that do have unimodular triangulations and constructions that preserve their existence.
We include, in particular, the first effective proof of the classical result by Knudsen-Mumford-Waterman stating that every lattice polytope has a dilation that admits a unimodular triangulation. Our proof yields an explicit (although doubly exponential) bound for the dilation factor.
A note on the vacant set of random walks on the hypercube and other regular graphs of high degree
We consider a random walk on a $d$-regular graph $G$ where $d\to\infty$ and $G$ satisfies certain conditions. Our prime example is the $d$-dimensional hypercube, which has $n=2^d$ vertices. We explore the likely component structure of the vacant set, i.e. the set of unvisited vertices. Let $Λ(t)$ be the subgraph induced by the vacant set of the walk at step $t$. We show that if certain conditions are satisfied then the graph $Λ(t)$ undergoes a phase transition at around $t^*=n\log_ed$. Our results are that if $t\leq(1-ε)t^*$ then w.h.p. as the number vertices $n\to\infty$, the size $L_1(t)$ of the largest component satisfies $L_1\gg\log n$ whereas if $t\geq(1+\e)t^*$ then $L_1(t)=o(\log n)$.
On Constructing Regular Distance-Preserving Graphs
Let G be a simple, connected graph on n vertices. Let d_G(u,v) denote the distance between vertices u and v in G. A subgraph H of G is isometric if d_H(u,v)=d_G(u,v) for every u,v in V(H). We say that G is a distance-preserving graph if G contains at least one isometric subgraph of order k for every k, 1\le k\le n. In this paper we construct regular distance-preserving graphs of all possible orders and degrees of regularity. By modifying the Havel-Hakimi algorithm, we are able to construct distance preserving graphs for certain other degree sequences as well. We include a discussion of some related conjectures which we have computationally verified for small values of n.
On multiple and infinite log-concavity
Published
• View Publication
• BIB
Following Boros--Moll, a sequence $(a_n)$ is $m$-log-concave if $\mathcal{L}^j (a_n) \geq 0$ for all $j = 0, 1, \ldots, m$. Here, $\mathcal{L}$ is the operator defined by $\mathcal{L} (a_n) = a_n^2 - a_{n - 1} a_{n + 1}$. By a criterion of Craven--Csordas and McNamara--Sagan it is known that a sequence is $\infty$-log-concave if it satisfies the stronger inequality $a_k^2 \geq r a_{k - 1} a_{k + 1}$ for large enough $r$. On the other hand, a recent result of Brändén shows that $\infty$-log-concave sequences include sequences whose generating polynomial has only negative real roots. In this paper, we investigate sequences which are fixed by a power of the operator $\mathcal{L}$ and are therefore $\infty$-log-concave for a very different reason. Surprisingly, we find that sequences fixed by the non-linear operators $\mathcal{L}$ and $\mathcal{L}^2$ are, in fact, characterized by a linear 4-term recurrence. In a final conjectural part, we observe that positive sequences appear to become $\infty$-log-concave if convoluted with themselves a finite number of times.
A note on product sets of rationals
Published
• View Publication
• BIB
Bourgain, Konyagin and Shparlinski obtained a lower bound for the size of the product set AB when A and B are sets of positive rational numbers with numerator and denominator less or equal than Q. We extend and slightly improve that lower bound using a different approach.
The Huge Multiway Table Problem
Published in Discrete Optimization, 14:72-77, 2014
• View Publication
• BIB
Deciding the existence of an $l\times m\times n$ integer threeway table with given line-sums is NP-complete already for fixed $l=3$, but is in P with both $l,m$ fixed. Here we consider {\em huge} tables, where the variable dimension $n$ is encoded in {\em binary}. Combining recent results on integer cones and Graver bases, we show that if the number of {\em layer types} is fixed, then the problem is in P, whereas if it is variable, then the problem is in NP intersect coNP. Our treatment goes through the more general class of $n$-fold integer programming problems.
Elusive groups of automorphisms of digraphs of small valency
Published in European Journal of Combinatorics (2015), pp. 1-9
• View Publication
• BIB
A transitive permutation group is called elusive if it contains no semiregular element. We show that no group of automorphisms of a connected graph of valency at most four is elusive and determine all the elusive groups of automorphisms of connected digraphs of out-valency at most three.
On locally semiprimitive graphs and a theorem of Weiss
Published in J. of Alg. 427 (2015) 104-117
• View Publication
• BIB
In this paper we investigate graphs that admit a group acting arc-transitively such that the local action is semiprimitive with a regular normal nilpotent subgroup. This type of semiprimitive group is a generalisation of an affine group. We show that if the graph has valency coprime to six, then there is a bound on the order of the vertex stabilisers depending on the valency alone. We also prove a detailed structure theorem for the vertex stabilisers in the remaining case. This is a contribution to an ongoing project to investigate the validity of the Potočnik-Spiga-Verret Conjecture.
A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines
Published
• View Publication
• BIB
This paper presents a novel idea for the general case of the Common Due-Date (CDD) scheduling problem. The problem is about scheduling a certain number of jobs on a single or parallel machines where all the jobs possess different processing times but a common due-date. The objective of the problem is to minimize the total penalty incurred due to earliness or tardiness of the job completions. This work presents exact polynomial algorithms for optimizing a given job sequence for single and identical parallel machines with the run-time complexities of $O(n \log n)$ for both cases, where $n$ is the number of jobs. Besides, we show that our approach for the parallel machine case is also suitable for non-identical parallel machines. We prove the optimality for the single machine case and the runtime complexities of both. Henceforth, we extend our approach to one particular dynamic case of the CDD and conclude the chapter with our results for the benchmark instances provided in the OR-library.
Some remarks on P, P_0, B and B_0 tensors
Published
• View Publication
• BIB
Recently, Song and Qi extended the concept of P, P_0 and B matrices to P, P_0, B and B_0 tensors, obtained some properties about these tensors, and proposed many questions for further research. In this paper, we answer three questions mentioned as above and obtain further results about P, P_0, B and B_0 tensors.
Minimizing Degree-based Topological Indices for Trees with Given Number of Pendent Vertices + Erratum
Published in MATCH Commun. Math. Comput. Chem. 71 (1) (2014) 33-46 + Erratum in V. 72 (3) (2014) 633-639
• Search Publication
We derive sharp lower bounds for the first and the second Zagreb indices ($M_1$ and $M_2$ respectively) for trees and chemical trees with the given number of pendent vertices and find optimal trees. $M_1$ is minimized by a tree with all internal vertices having degree 4, while $M_2$ is minimized by a tree where each "stem" vertex is incident to 3 or 4 pendent vertices and one internal vertex, while the rest internal vertices are incident to 3 other internal vertices. The technique is shown to generalize to the weighted first Zagreb index, the zeroth order general Randić index, as long as to many other degree-based indices.
Later the erratum was added: Theorem 3 says that the second Zagreb index $M_2$ cannot be less than $11n-27$ for a tree with $n\ge 8$ pendent vertices. Yet the tree exists with $n=8$ vertices (the two-sided broom) violating this inequality. The reason is that the proof of Theorem 3 relays on a tacit assumption that an index-minimizing tree contains no vertices of degree 2. This assumption appears to be invalid in general. In this erratum we show that the inequality $M_2 \ge 11n-27$ still holds for trees with $n\ge 9$ vertices and provide the valid proof of the (corrected) Theorem 3.