Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Precedence-constrained scheduling problems parameterized by partial order width
Published
• View Publication
• BIB
Negatively answering a question posed by Mnich and Wiese (Math. Program. 154(1-2):533-562), we show that P2|prec,$p_j{\in}\{1,2\}$|$C_{\max}$, the problem of finding a non-preemptive minimum-makespan schedule for precedence-constrained jobs of lengths 1 and 2 on two parallel identical machines, is W[2]-hard parameterized by the width of the partial order giving the precedence constraints. To this end, we show that Shuffle Product, the problem of deciding whether a given word can be obtained by interleaving the letters of $k$ other given words, is W[2]-hard parameterized by $k$, thus additionally answering a question posed by Rizzi and Vialette (CSR 2013). Finally, refining a geometric algorithm due to Servakh (Diskretn. Anal. Issled. Oper. 7(1):75-82), we show that the more general Resource-Constrained Project Scheduling problem is fixed-parameter tractable parameterized by the partial order width combined with the maximum allowed difference between the earliest possible and factual starting time of a job.
Families of $2$-weights of some particular graphs
Let ${\cal G}=(G,w) $ be a positive-weighted graph, that is a graph $G$ endowed with a function $w$ from the edge set of $G$ to the set of positive real numbers; for any distinct vertices $i,j $, we define $D_{i,j}({\cal G})$ to be the weight of the path in $G$ joining $i$ and $j$ with minimum weight. In this paper we fix a particular class of graphs and we give a criterion to establish whether, given a family of positive real numbers $\{D_I\}_{I \in { \{1,...., n\} \choose 2}}$, there exists a positive-weighted graph ${\cal G} =(G,w) $ in the class we have fixed, with vertex set equal to $\{1,....,n\}$ and such that $D_I ({\cal G}) =D_I$ for any $I \in { \{1,...., n\} \choose 2}$. In particular, the classes of graphs we consider are the following: snakes, caterpillars, polygons, bipartite graphs, complete graphs, planar graphs.
Permutations contained in transitive subgroups
Published in Discrete Anal. 2016, Paper No. 12, 34 pp
• View Publication
• BIB
In the first paper in this series we estimated the probability that a random permutation $π\in\mathcal{S}_n$ has a fixed set of a given size. In this paper, we elaborate on the same method to estimate the probability that $π$ has $m$ disjoint fixed sets of prescribed sizes $k_1,\dots,k_m$, where $k_1+\cdots+k_m=n$. We deduce an estimate for the proportion of permutations contained in a transitive subgroup other than $\mathcal{S}_n$ or $\mathcal{A}_n$. This theorem consists of two parts: an estimate for the proportion of permutations contained in an imprimitive transitive subgroup, and an estimate for the proportion of permutations contained in a primitive subgroup other than $\mathcal{S}_n$ or $\mathcal{A}_n$.
Statistical structure of concave compositions
Published
• View Publication
• BIB
In this paper, we study concave compositions, an extension of partitions that were considered by Andrews, Rhoades, and Zwegers. They presented several open problems regarding the statistical structure of concave compositions including the distribution of the perimeter and tilt, the number of summands, and the shape of the graph of a typical concave composition. We present solutions to these problems by applying Fristedt's conditioning device on the uniform measure.
Families of Subsets Without a Given Poset in the Interval Chains
Published
• View Publication
• BIB
For two posets $P$ and $Q$, we say $Q$ is $P$-free if there does not exist any order-preserving injection from $P$ to $Q$. The speical case for $Q$ being the Boolean lattice $B_n$ is well-studied, and the optiamal value is denoted as $\lanp$. Let us define $\La(Q,P)$ to be the largest size of any $P$-free subposet of $Q$.
In this paper, we give an upper bound for $\La(Q,P)$ when $Q$ is a double chain and $P$ is any graded poset, which is better than the previous known upper bound, by means of finding the indpendence number of an auxiliary graph related to $P$. For the auxiliary graph, we can find its independence number in polynomial time. In addition, we give methods to construct the posets satisfying the Griggs-Lu conjecture.
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
Published
• View Publication
• BIB
Analytic combinatorics studies the asymptotic behaviour of sequences through the analytic properties of their generating functions. This article provides effective algorithms required for the study of analytic combinatorics in several variables, together with their complexity analyses. Given a multivariate rational function we show how to compute its smooth isolated critical points, with respect to a polynomial map encoding asymptotic behaviour, in complexity singly exponential in the degree of its denominator. We introduce a numerical Kronecker representation for solutions of polynomial systems with rational coefficients and show that it can be used to decide several properties (0 coordinate, equal coordinates, sign conditions for real solutions, and vanishing of a polynomial) in good bit complexity. Among the critical points, those that are minimal---a property governed by inequalities on the moduli of the coordinates---typically determine the dominant asymptotics of the diagonal coefficient sequence. When the Taylor expansion at the origin has all non-negative coefficients (known as the `combinatorial case') and under regularity conditions, we utilize this Kronecker representation to determine probabilistically the minimal critical points in complexity singly exponential in the degree of the denominator, with good control over the exponent in the bit complexity estimate. Generically in the combinatorial case, this allows one to automatically and rigorously determine asymptotics for the diagonal coefficient sequence. Examples obtained with a preliminary implementation show the wide applicability of this approach.
On densities of lattice arrangements intersecting every i-dimensional affine subspace
Published
• View Publication
• BIB
In 1978, Makai Jr. established a remarkable connection between the volume-product of a convex body, its maximal lattice packing density and the minimal density of a lattice arrangement of its polar body intersecting every affine hyperplane. Consequently, he formulated a conjecture that can be seen as a dual analog of Minkowski's fundamental theorem, and which is strongly linked to the well-known Mahler-conjecture.
Based on the covering minima of Kannan & Lovász and a problem posed by Fejes Tóth, we arrange Makai Jr.'s conjecture into a wider context and investigate densities of lattice arrangements of convex bodies intersecting every i-dimensional affine subspace. Then it becomes natural also to formulate and study a dual analog to Minkowski's second fundamental theorem. As our main results, we derive meaningful asymptotic lower bounds for the densities of such arrangements, and furthermore, we solve the problems exactly for the special, yet important, class of unconditional convex bodies.
Bandwidth of graphs resulting from the edge clique covering problem
Published in Electronic Journal of Combinatorics 25(4) (2018) P4.49
• View Publication
• BIB
Let $n,k,b$ be integers with $1 \le k-1 \le b \le n$ and let $G_{n,k,b}$ be the graph whose vertices are the $k$-element subsets $X$ of $\{0,\dots,n\}$ with $\max(X)-\min(X) \le b$ and where two such vertices $X,Y$ are joined by an edge if $\max(X \cup Y) - \min(X \cup Y) \le b$. These graphs are generated by applying a transformation to maximal $k$-uniform hypergraphs of bandwidth $b$ that is used to reduce the (weak) edge clique covering problem to a vertex clique covering problem. The bandwidth of $G_{n,k,b}$ is thus the largest possible bandwidth of any transformed $k$-uniform hypergraph of bandwidth $b$. For $b\geq \frac{n+k-1}{2}$, the exact bandwidth of these graphs is determined. For $b<\frac{n+k-1}{2}$, the bandwidth is asymptotically determined in the case of $b=o(n)$ and in the case of $b$ growing linearly in $n$ with a factor $β\in (0,0.5]$, where for one case only bounds could be found. It is conjectured that the upper bound of this open case is the right asymptotic value.
The arithmetical rank of the edge ideals of cactus graphs
Published
• View Publication
• BIB
We prove that, for the edge ideal of a cactus graph, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes. The bound is sharp, but in many cases it can be improved. Moreover, we show that the edge ideal of a Cohen-Macaulay graph that contains exactly one cycle or is chordal or has no cycles of length 4 and 5 is a set-theoretic complete intersection.
Minimising the number of triangular edges
Published
• View Publication
• BIB
We consider the problem of minimising the number of edges that are contained in triangles, among $n$-vertex graphs with a given number of edges. We prove a conjecture of Füredi and Maleki that gives an exact formula for this minimum, for sufficiently large $n$.
The Attenuated Space Poset $\mathcal{A}_q(N, M)$
In this paper, we study the incidence algebra $T$ of the attenuated space poset $\mathcal{A}_q(N, M)$. We consider the following topics. We consider some generators of $T$: the raising matrix $R$, the lowering matrix $L$, and a certain diagonal matrix $K$. We describe some relations among $R, L, K$. We put these relations in an attractive form using a certain matrix $S$ in $T$. We characterize the center $Z(T)$. Using $Z(T)$, we relate $T$ to the quantum group $U_τ({\mathfrak{sl}}_2)$ with $τ^2=q$. We consider two elements $A, A^*$ in $T$ of a certain form. We find necessary and sufficient conditions for $A, A^*$ to satisfy the tridiagonal relations. Let $W$ denote an irreducible $T$-module. We find necessary and sufficient conditions for the above $A, A^*$ to act on $W$ as a Leonard pair.
The van der Waerden complex
Published in J. Number Theory, 172 (2017), 287--300
• View Publication
• BIB
We introduce the van der Waerden complex ${\rm vdW}(n,k)$ defined as the simplicial complex whose facets correspond to arithmetic progressions of length $k$ in the vertex set $\{1, 2, \ldots, n\}$. We show the van der Waerden complex ${\rm vdW}(n,k)$ is homotopy equivalent to a $CW$-complex whose cells asymptotically have dimension at most $\log k / \log \log k$. Furthermore, we give bounds on $n$ and $k$ which imply that the van der Waerden complex is contractible.
Hypergraphs and hypermatrices with symmetric spectrum
Published
• View Publication
• BIB
It is well known that a graph is bipartite if and only if the spectrum of its adjacency matrix is symmetric. In the present paper, this assertion is dissected into three separate matrix results of wider scope, which are extended also to hypermatrices. To this end the concept of bipartiteness is generalized by a new monotone property of cubical hypermatrices, called odd-colorable matrices. It is shown that a nonnegative symmetric $r$-matrix $A$ has a symmetric spectrum if and only if $r$ is even and $A$ is odd-colorable. This result also solves a problem of Pearson and Zhang about hypergraphs with symmetric spectrum and disproves a conjecture of Zhou, Sun, Wang, and Bu.
Separately, similar results are obtained for the $H$-spectram of hypermatrices.
On distance sets, box-counting and Ahlfors-regular sets
Published in Discrete Analysis, 2017:9, 22 pp
• View Publication
• BIB
We obtain box-counting estimates for the pinned distance sets of (dense subsets of) planar discrete Ahlfors-regular sets of exponent $s>1$. As a corollary, we improve upon a recent result of Orponen, by showing that if $A$ is Ahlfors-regular of dimension $s>1$, then almost all pinned distance sets of $A$ have lower box-counting dimension $1$. We also show that if $A,B\subset\mathbb{R}^2$ have Hausdorff dimension $>1$ and $A$ is Ahlfors-regular, then the set of distances between $A$ and $B$ has modified lower box-counting dimension $1$, which taking $B=A$ improves Orponen's result in a different direction, by lowering packing dimension to modified lower box-counting dimension. The proofs involve ergodic-theoretic ideas, relying on the theory of CP-processes and projections.
Symmetric Unique Neighbor Expanders and Good LDPC Codes
Published
• View Publication
• BIB
An infinite family of bounded-degree 'unique-neighbor' expanders was constructed explicitly by Alon and Capalbo (2002). We present an infinite family F of bounded-degree unique-neighbor expanders with the additional property that every graph in the family F is a Cayley graph. This answers a question raised by Tali Kaufman. Using the same methods, we show that the symmetric LDPC codes constructed by Kaufman and Lubotzky (2012) are in fact symmetric under a simply transitive group action on coordinates.
Further results on degree based topological indices of certain chemical networks
Published
• View Publication
• BIB
There are various topological indices such as degree based topological indices, distance based topological indices and counting related topological indices etc. These topological indices correlate certain physicochemical properties such as boiling point, stability of chemical compounds. In this paper, we compute the sum-connectivity index and multiplicative Zagreb indices for certain networks of chemical importance like silicate networks, hexagonal networks, oxide networks, and honeycomb networks. Moreover, a comparative study using computer-based graphs has been made to clarify their nature for these families of networks.
Linear transformations and strong $q$-log-concavity for certain combinatorial triangle
It is well-known that the binomial transformation preserves the log-concavity property and log-convexity property. Let $\binom{a+n}{b+k}$ be the binomial coefficients and $\binom{n,k}{j}$ be defined by $(b_0+b_1x+\cdots+b_kx^{k})^n:=\sum_{j=0}^{kn}\binom{n,k}{j}x^j,$ where the sequence $(b_i)_{0\leq i\leq k}$ is log-concave. In this paper, we prove that the linear transformation $$y_n(q)=\sum_{k=0}^n\binom{a+n}{b+k}x_k(q)$$ preserves the strong $q$-log-concavity property for any fixed nonnegative integers $a$ and $b$, which strengthens and gives a simple proof of results of Ehrenborg and Steingrimsson, and Wang, respectively, on linear transformations preserving the log-concavity property. We also show that the linear transformation $$y_n=\sum_{i=0}^{kn}\binom{n,k}{j}x_i$$ not only preserves the log-concavity property, but also preserves the log-convexity property, which extends the results of Ahmia and Belbachir about the $s$-triangle transformation preserving the log-convexity property and log-concavity property. Let $[A_{n,k}(q)]_{n, k\geq0}$ be an infinite lower triangular array of polynomials in $q$ with nonnegative coefficients satisfying the recurrence \begin{eqnarray*}\label{re} A_{n,k}(q)=f_{n,k}(q)\,A_{n-1,k-1}(q)+g_{n,k}(q)\,A_{n-1,k}(q)+h_{n,k}(q)\,A_{n-1,k+1}(q), \end{eqnarray*} for $n\geq 1$ and $k\geq 0$, where $A_{0,0}(q)=1$, $A_{0,k}(q)=A_{0,-1}(q)=0$ for $k>0$. We present criterions for the strong $q$-log-concavity of the sequences in each row of $[A_{n,k}(q)]_{n, k\geq0}$. As applications, we get the strong $q$-log-concavity or the log-concavity of the sequences in each row of many well-known triangular arrays, such as the Bell polynomials triangle, the Eulerian polynomials triangle and the Narayana polynomials triangle in a unified approach.
Vertex Decomposition of Steiner Wiener Index and Steiner Betweenness Centrality
A formula based on a vertex contributions of the Steiner $k$-Wiener index is induced by a newly introduced $k$-Steiner betweenness centrality, which measures the number of $k$-Steiner trees that include a particular vertex as a non-terminal vertex. This generalizes Škrekovski and Gutman's Vertex version of the Wiener Theorem and a result of Gago on the average betweenness centrality and the average distance in general graphs.
Some remarks on the Balog-Wooley decomposition theorem and quantities D^+, D^\times
Published
• View Publication
• BIB
In the paper we study two characteristics D^+ (A), D^\times (A) of a set A which play important role in recent results concerning sum-product phenomenon. Also we obtain several variants and improvements of the Balog-Wooley decomposition theorem. In particular, we prove that any finite subset of real numbers can be split into two sets with small quantities D^+ and D^\times.
Lattice simplices of maximal dimension with a given degree
Published
• View Publication
• BIB
It was proved by Nill that for any lattice simplex of dimension $d$ with degree $s$ which is not a lattice pyramid, the inequality $d+1 \leq 4s-1$ holds. In this paper, we give a complete characterization of lattice simplices satisfying the equality, i.e., the lattice simplices of dimension $(4s-2)$ with degree $s$ which are not lattice pyramids. It turns out that such simplices arise from binary simplex codes. As an application of this characterization, we show that such simplices are counterexamples for the conjecture known as "Cayley conjecture". Moreover, by modifying Nill's inequaitly slightly, we also see the sharper bound $d+1 \leq f(2s)$, where $f(M)=\sum_{n=0}^{\lfloor \log_2 M \rfloor} \lfloor M/2^n \rfloor$ for $M \in \mathbb{Z}_{\geq 0}$. We also observe that any lattice simplex attaining this sharper bound always comes from a binary code.