Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A Geometrical Branch-and-Price (GEOM-BP) Algorithm for Big Bin Packing Problems
Bin packing problem examines the minimum number of identical bins needed to pack a set of items of various weights. This problem arises in various areas of the artificial intelligence demanding derivation of the exact solutions in the shortest amount of time. Employing branch-and-bound and column generation techniques to derive the exact solutions to this problem, usually requires designation of problem-specific branching rules compatible with the nature of the polluted pricing sub-problem of column generation. In this work, we present a new approach to deal with the forbidden bins which handles two-dimensional knapsack problems. Furthermore, a set of diving criteria are introduced which emphasize the importance of the geometrical features of the bins. It is further shown that efficiency of the column generation technique could significantly get improved using an implicit sectional pricing scheme. The proposed algorithm outperforms the current state-of-the-art algorithms in number of the benchmark instances solved in less than one minute.
Progress towards Nash-Williams' Conjecture on Triangle Decompositions
Published
• View Publication
• BIB
Partitioning the edges of a graph into edge disjoint triangles forms a triangle decomposition of the graph. A famous conjecture by Nash-Williams from 1970 asserts that any sufficiently large, triangle divisible graph on $n$ vertices with minimum degree at least $0.75 n$ admits a triangle decomposition. In the light of recent results, the fractional version of this problem is of central importance. A fractional triangle decomposition is an assignment of non-negative weights to each triangle in a graph such that the sum of the weights along each edge is precisely 1.
We show that for any graph on $n$ vertices with minimum degree at least $0.827327 n$ admits a fractional triangle decomposition. Combined with results of Barber, Kühn, Lo, and Osthus, this implies that for every sufficiently large triangle divisible graph on $n$ vertices with minimum degree at least $0.82733 n$ admits a triangle decomposition.
Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs
Published
• View Publication
• BIB
Graph burning is a simple model for the spread of social influence in networks. The objective is to measure how quickly a fire (e.g., a piece of fake news) can be spread in a network. The burning process takes place in discrete rounds. In each round, a new fire breaks out at a selected vertex and burns it. Meanwhile, the old fires extend to their neighbours and burn them. A burning schedule selects where the new fire breaks out in each round, and the burning problem asks for a schedule that burns all vertices in a minimum number of rounds, termed the burning number of the graph. The burning problem is known to be NP-hard even when the graph is a tree or a disjoint set of paths. For connected graphs, it has been conjectured that burning takes at most $\lceil \sqrt{n} \rceil$ rounds.
We approach the algorithmic study of graph burning from two directions. First, we consider graphs with minimum degree $δ$. We present an algorithm that burns any graph of size $n$ in at most $\sqrt{\frac{24n}{δ+1}}$ rounds. In particular, for dense graphs with $δ\in Θ(n)$, all vertices are burned in a constant number of rounds. More interestingly, even when $δ$ is a constant that is independent of the graph size, our algorithm answers the graph-burning conjecture in the affirmative by burning the graph in at most $\lceil \sqrt{n} \rceil$ rounds. Next, we consider burning graphs with bounded path-length or tree-length. These include many graph families including connected interval graphs and connected chordal graphs. We show that any graph with path-length $pl$ and diameter $d$ can be burned in $\lceil \sqrt{d-1} \rceil + pl$ rounds. Our algorithm ensures an approximation ratio of $1+o(1)$ for graphs of bounded path-length. We introduce another algorithm that achieves an approximation ratio of $2+o(1)$ for burning graphs of bounded tree-length.
Two deformed Pascal's triangles and its new properties
In this paper, firstly, by a determinant of deformed Pascal's triangle, namely the normalized Hessenberg matrix determinant, to count Dyck paths, we give another combinatorial proof of the theorems which are of Catalan numbers determinant representations and the recurrence formula. Secondly, a determinant of normalized Toeplitz-Hessenberg matrix, whose entries are binomials, arising in power series, we derive new four properties of Pascal's triangle.
On the number of roots of some linearized polynomials
Published
• View Publication
• BIB
Linearized polynomials appear in many different contexts, such as rank metric codes, cryptography and linear sets, and the main issue regards the characterization of the number of roots from their coefficients. Results of this type have been already proved in [7,10,24]. In this paper we provide bounds and characterizations on the number of roots of linearized polynomials of this form \[ ax+b_0x^σ+b_1x^{σq^n}+b_2x^{σq^{2n}}+\ldots+b_{t-1}x^{σq^{n(t-1)}} \in \mathbb{F}_{q^{nt}}[x], \] with $σ$ a generator of the Galois group $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. Also, we characterize the number of roots of such polynomials directly from their coefficients, dealing with matrices which are much smaller than the relative Dickson matrices and the companion matrices used in the previous papers. Furthermore, we develop a method to find explicitly the roots of a such polynomial by finding the roots of a $q^n$-polynomial. Finally, as an applications of the above results, we present a family of linear sets of the projective line whose points have a small spectrum of possible weights, containing most of the known families of scattered linear sets. In particular, we carefully study the linear sets in $\mathrm{PG}(1,q^6)$ presented in [9].
Reducing the dichromatic number via cycle reversions in infinite digraphs
Published
• View Publication
• BIB
We prove the following conjecture of S. Thomassé: for every (potentially infinite) digraph $ D $ it is possible to iteratively reverse directed cycles in such a way that the dichromatic number of the final reorientation $ D^{*} $ of $ D $ is at most two and each edge is flipped only finitely many times. In addition, we guarantee that in every strong component of $ D^{*} $ all the local edge-connectivities are finite and any edge is reversed at most twice.
Bounds for sets with no polynomial progressions
Published in Forum of Mathematics, Pi 8 (2020) e16
• View Publication
• BIB
Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be polynomials with distinct degrees, each having zero constant term. We show that any subset $A$ of $\{1,\dots,N\}$ with no nontrivial progressions of the form $x,x+P_1(y),\dots,x+P_m(y)$ has size $|A|\ll N/(\log\log{N})^{c_{P_1,\dots,P_m}}$. Along the way, we prove a general result controlling weighted counts of polynomial progressions by Gowers norms.
Cyclotomic quiver Hecke algebras corresponding to minuscule representations
In the paper, we give an explicit basis of the cyclotomic quiver Hecke algebra corresponding to a minuscule representation of finite type.
Alcove paths and Gelfand-Tsetlin patterns
Published
• View Publication
• BIB
In their study of the equivariant K-theory of the generalized flag varieties $G/P$, where $G$ is a complex semisimple Lie group, and $P$ is a parabolic subgroup of $G$, Lenart and Postnikov introduced a combinatorial tool, called the alcove paths model. It provides a model for the highest weight crystals with dominant integral highest weights, generalizing the model by semistandard Young tableaux. In this paper, we prove a simple and explicit formula describing the crystal isomorphism between the alcove paths model and the Gelfand-Tsetlin patterns model for type $A$.
Set of independencies and Tutte polynomial of matroids over a domain
In this work, we study matroids over a domain and several classical combinatorial and algebraic invariants related. We define their Grothendieck-Tutte polynomial $T_{\mathcal{M}}(x,y)$, extending the definition given by Fink and Moci in 2016, and we show that such polynomial has the classical deletion-contraction property.
Moreover, we study the set of independencies for a realizable matroid over a domain, generalizing the definition of \emph{poset of torsions} $Gr(\mathcal{M})$ given by the second author in 2017. This is a union of identical simplicial posets as for (quasi-)arithmetic matroids. The new notions harmonize naturally through the face module $N_\mathcal{M}$ of the matroid over a domain.
Whenever $Gr(\mathcal{M})$ is a finite poset, the Hilbert series $N_\mathcal{M}(t)$ of its face module is a specialization of the Tutte polynomial $T_{\mathcal{M}}(x,y)$. Further, for arrangements of codimension-one abelian subvarities of an elliptic curve admitting complex multiplication, we extend certain results of Bibby and we provide an algebraic interpretation of the elliptic Tutte polynomial.
Beyond Göllnitz' Theorem I: A Bijective Approach
Published in Journal of Combinatorial Theory Series A, 180 (2021)
• View Publication
• BIB
In 2003, Alladi, Andrews and Berkovich proved an identity for partitions where parts occur in eleven colors: four primary colors, six secondary colors, and one quaternary color. Their work answered a longstanding question of how to go beyond a classical theorem of Göllnitz, which uses three primary and three secondary colors. Their main tool was a deep and difficult four parameter $q$-series identity. In this paper we take a different approach. Instead of adding an eleventh quaternary color, we introduce forbidden patterns and give a bijective proof of a ten-colored partition identity lying beyond Göllnitz' theorem. Using a second bijection, we show that our identity is equivalent to the identity of Alladi, Andrews, and Berkovich. From a combinatorial viewpoint, the use of forbidden patterns is more natural and leads to a simpler formulation. In fact, in Part II of this series we will show how our method can be used to go beyond Göllnitz' theorem to any number of primary colors.
Signified chromatic number of grids is at most 9
Published
• View Publication
• BIB
A signified graph is a pair $(G, Σ)$ where $G$ is a graph, and $Σ$ is a set of edges marked with '$-$'. Other edges are marked with '$+$'. A signified coloring of the signified graph $(G, Σ)$ is a homomorphism into a signified graph $(H, Δ)$. The signified chromatic number of the signified graph $(G, Σ)$ is the minimum order of $H$.
In this paper we show that for every 2-dimensional grid $(G, Σ)$ there exists homomorphism from $(G, Σ)$ into the signed Paley graphs $SP_9$. Hence signified chromatic number of the signified grids is at most 9. This improves upper bound on this number obtained recently by Bensmail.
Coloring hypergraphs with bounded cardinalities of edge intersections
Published in Discrete Mathematics Volume 343, Issue 4, April 2020, 111692
• View Publication
• BIB
The paper deals with an extremal problem concerning colorings of hypergraphs with bounded edge degrees. Consider the family of $b$-simple hypergraphs, in which any two edges do not share more than $b$ common vertices. We prove that for $n\geqslant n_0(b)$, any $n$-uniform $b$-simple hypergraph with the maximum edge degree at most $c\cdot nr^{n-b}$ is $r$-colorable, where $c>0$ is an absolute constant. We also establish some applications of the main result.
Equitable colorings of hypergraphs with few edges
Published in \emph{Discrete Applied Mathematics}, (2019), https://doi.org/10.1016/j.dam.2019.03.024
• View Publication
• BIB
The paper deals with an extremal problem concerning equitable colorings of uniform hyper\-graph. Recall that a vertex coloring of a hypergraph $H$ is called proper if there are no monochro-matic edges under this coloring. A hypergraph is said to be equitably $r$-colorable if there is a proper coloring with $r$ colors such that the sizes of any two color classes differ by at most one. In the present paper we prove that if the number of edges $|E(H)|\leq 0.01\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}r^{n-1}$ then the hypergraph $H$ is equitably $r$-colorable provided $r<\sqrt[5]{\ln n}$.
Degree bipartite Ramsey numbers
Published
• View Publication
• BIB
Let $H\xrightarrow{s} G$ denote that any edge-coloring of $H$ by $s$ colors contains a monochromatic $G$. The degree Ramsey number $r_Δ(G;s)$ is defined to be $\min\{Δ(H):H\xrightarrow{s} G\}$, and the degree bipartite Ramsey number $br_Δ(G;s)$ is defined to be $\min\{Δ(H):H\xrightarrow{s} G\; \mbox{and} \;χ(H)=2\}$. In this note, we show that $r_Δ(K_{m,n};s)$ is linear on $n$ with $m$ fixed. We also determine $br_Δ(G;s)$ where $G$ are trees, including stars and paths, and complete bipartite graphs.
On inclusion chromatic index of a graph
Let $χ'_\subset(G)$ be the least number of colours necessary to properly colour the edges of a graph $G$ with minimum degree $δ\geq 2$ so that the set of colours incident with any vertex is not contained in a set of colours incident to any its neighbour. We provide an infinite family of examples of graphs $G$ with $χ'_\subset(G)\geq (1+\frac{1}{δ-1})Δ$, where $Δ$ is the maximum degree of $G$, and we conjecture that $χ'_\subset(G)\leq \lceil(1+\frac{1}{δ-1})Δ\rceil$ for every connected graph with $δ\geq 2$ which is not isomorphic to $C_5$. The equality here is attained e.g. for the family of complete bipartite graphs. Using a probabilistic argument we support this conjecture by proving that for any fixed $δ\ge2$, $χ'_\subset(G) \le (1+\frac{4}δ)Δ(1+o(1))$ (for $Δ\to\infty$), what implies that $χ'_\subset(G) \le (1+\frac{4}{δ-1})Δ$ for $Δ$ large enough.
On planes through points off the twisted cubic in $\mathrm{PG}(3,q)$ and multiple covering codes
Published
• View Publication
• BIB
Let $\mathrm{PG}(3,q)$ be the projective space of dimension three over the finite field with $q$ elements. Consider a twisted cubic in $\mathrm{PG}(3,q)$. The structure of the point-plane incidence matrix in $\mathrm{PG}(3,q)$ with respect to the orbits of points and planes under the action of the stabilizer group of the twisted cubic is described. This information is used to view generalized doubly-extended Reed-Solomon codes of codimension four as asymptotically optimal multiple covering codes.
An analogue of the Erdős-Gallai theorem for random graphs
Published
• View Publication
• BIB
Recently, variants of many classical extremal theorems have been proved in the random environment. We, complementing existing results, extend the Erdős-Gallai Theorem in random graphs. In particular, we determine, up to a constant factor, the maximum number of edges in a $P_n$-free subgraph of $G(N,p)$, practically for all values of $N,n$ and $p$. Our work is also motivated by the recent progress on the size-Ramsey number of paths.
Simple $k$-Planar Graphs are Simple $(k+1)$-Quasiplanar
Published
• View Publication
• BIB
A simple topological graph is $k$-quasiplanar ($k\geq 2$) if it contains no $k$ pairwise crossing edges, and $k$-planar if no edge is crossed more than $k$ times. In this paper, we explore the relationship between $k$-planarity and $k$-quasiplanarity to show that, for $k \geq 2$, every $k$-planar simple topological graph can be transformed into a $(k+1)$-quasiplanar simple topological graph.
Statistical Robust Chinese Remainder Theorem for Multiple Numbers
Generalized Chinese Remainder Theorem (CRT) is a well-known approach to solve ambiguity resolution related problems. In this paper, we study the robust CRT reconstruction for multiple numbers from a view of statistics. To the best of our knowledge, it is the first rigorous analysis on the underlying statistical model of CRT-based multiple parameter estimation. To address the problem, two novel approaches are established. One is to directly calculate a conditional maximum a posteriori probability (MAP) estimation of the residue clustering, and the other is based on a generalized wrapped Gaussian mixture model to iteratively search for MAP of both estimands and clustering. Residue error correcting codes are introduced to improve the robustness further. Experimental results show that the statistical schemes achieve much stronger robustness compared to state-of-the-art deterministic schemes, especially in heavy-noise scenarios.