Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Vehicle Routing with Drones
We introduce a package service model where trucks as well as drones can deliver packages. Drones can travel on trucks or fly; but while flying, drones can only carry one package at a time and have to return to a truck to charge after each delivery. We present a heuristic algorithm to solve the problem of finding a good schedule for all drones and trucks. The algorithm is based on two nested local searches, thus the definition of suitable neighbourhoods of solutions is crucial for the algorithm. Empirical tests show that our algorithm performs significantly better than a natural Greedy algorithm. Moreover, the savings compared to solutions without drones turn out to be substantial, suggesting that delivery systems might considerably benefit from using drones in addition to trucks.
Ballot tilings and increasing trees
We study enumerations of Dyck and ballot tilings, which are tilings of a region determined by two Dyck or ballot paths. We give bijective proofs to two formulae of enumerations of Dyck tilings through Hermite histories. We show that one of the formulae is equal to a certain Kazhdan--Lusztig polynomial. For a ballot tiling, we establish formulae which are analogues of formulae for Dyck tilings. Especially, the generating functions have factorized expressions. The key tool is a planted plane tree and its increasing labellings. We also introduce a generalized perfect matching which is bijective to an Hermite history for a ballot tiling. By combining these objects, we obtain various expressions of a generating function of ballot tilings with a fixed lower path.
Shifted tableaux and products of Schur's symmetric functions
We introduce a new combinatorial object, semistandard increasing decomposition tableau and study its relation to a semistandard decomposition tableau introduced by Kraśkiewicz and developed by Lam and Serrano. We also introduce generalized Littlewood--Richardson coefficients for products of Schur's symmetric functions and give combinatorial descriptions in terms of tableau words. The insertion algorithms play central roles for proofs. A new description of shifted Littlewood--Richardson coefficients is given in terms of semistandard increasing decomposition tableaux. We show that a "big" Schur function is expressed as a sum of products of two Schur $P$-functions, and vice versa. As an application, we derive two Giambelli formulae for big Schur functions: one is a determinant and the other is a Pfaffian.
Expected reliability of communication protocols
We consider the problem of sending a message from a sender $s$ to a receiver $r$ through an unreliable network by specifying in a protocol what each vertex is supposed to do if it receives the message from one of its neighbors. A protocol for routing a message in such a graph is finite if it never floods $r$ with an infinite number of copies of the message. The expected reliability of a given protocol is the probability that a message sent from $s$ reaches $r$ when the edges of the network fail independently with probability $1-p$.
We discuss, for given networks, the properties of finite protocols with maximum expected reliability in the case when $p$ is close to 0 or 1, and we describe networks for which no one protocol is optimal for all values of $p$. In general, finding an optimal protocol for a given network and fixed probability is challenging and many open problems remain.
On permutation trinomials of type $x^{2p^s+r}+x^{p^{s}+r} +λx^r$
We determine all permutation trinomials of type $x^{2p^s+r}+x^{p^s+r}+λx^r$ over the finite field $\mathbb{F}_{p^t}$ when $(2p^s+r)^4<p^t$. This partially extends a previous result by Bhattacharya and Sarkar in the case $p=2$, $r=1$.
Conjectures about certain parabolic Kazhdan--Lusztig polynomials
Published in Geometric Aspects of the Trace Formula, Simons Symposia (Springer, 2018), p. 267-298
• View Publication
• BIB
Irreducibility results for parabolic induction of representations of the general linear group over a local non-archimedean field can be formulated in terms of Kazhdan--Lusztig polynomials of type $A$. Spurred by these results and some computer calculations, we conjecture that certain alternating sums of Kazhdan--Lusztig polynomials known as parabolic Kazhdan--Lusztig polynomials satisfy properties analogous to those of the ordinary ones.
On $(k,d)$-Hooked Skolem Graceful Graphs
Published in Journal of Combinatorics, Information and System Sciences 41 (2016) No. 1-2, 7-15
• Search Publication
A graph $(p, q)$ graph $G = (V, E)$ is said to be $(k, d)$-hooked Skolem graceful if there exists a bijection $f:V (G)\rightarrow \{1, 2, \dots, p-1, p+1\}$ such that the induced edge labeling $g_f : E \rightarrow \{k, k+d, \dots, k+(n-1)d \}$ defined by $g_f (uv) = |f(u) - f(v)|$ $\forall uv \in E$ is also bijective, where $k$ and $d$ are positive integers. Such a labeling $f$ is called $(k, d)$-hooked Skolem graceful labeling of $G.$ Note that when $k = d = 1$, this notion coincides with that of Hooked Skolem (HS) graceful labeling of the graph G. In this paper, we present some preliminary results on $(k, d)$-hooked Skolem graceful graphs and prove that $nK_2$ is $(2, 1)$-hooked Skolem graceful if and only if $n \equiv 1~\mbox{or}~2(\bmod~ 4)$.
An analogue of big q-Jacobi polynomials in the algebra of symmetric functions
Published in Functional Analysis and its Applications 51:3 (2017), 204-220
• View Publication
• BIB
The main result of the paper is a construction of a five-parameter family of new bases in the algebra of symmetric functions. These bases are inhomogeneous and share many properties of systems of orthogonal polynomials on an interval of the real line. This means, in particular, that the algebra of symmetric functions is embedded into the algebra of continuous functions on a certain compact space Omega, and under this realization, our bases turn into orthogonal bases of weighted Hilbert spaces corresponding to certain probability measures on Omega. These measures are of independent interest --- they are an infinite-dimensional analogue of the multidimensional q-Beta distributions. Our construction uses the big q-Jacobi polynomials and an extension of the Knop-Okounkov-Sahi multivariate interpolation polynomials to the case of infinite number of variables.
Products of Differences over Arbitrary Finite Fields
Published in Discrete Analysis, 2018:18, 42 pp
• Search Publication
There exists an absolute constant $δ> 0$ such that for all $q$ and all subsets $A \subseteq \mathbb{F}_q$ of the finite field with $q$ elements, if $|A| > q^{2/3 - δ}$, then \[ |(A-A)(A-A)| = |\{ (a -b) (c-d) : a,b,c,d \in A\}| > \frac{q}{2}. \] Any $δ< 1/13,542$ suffices for sufficiently large $q$. This improves the condition $|A| > q^{2/3}$, due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev, that is typical for such questions.
Our proof is based on a qualitatively optimal characterisation of sets $A,X \subseteq \mathbb{F}_q$ for which the number of solutions to the equation \[ (a_1-a_2) = x (a_3-a_4) \, , \; a_1,a_2, a_3, a_4 \in A, x \in X \] is nearly maximum.
A key ingredient is determining exact algebraic structure of sets $A, X$ for which $|A + XA|$ is nearly minimum, which refines a result of Bourgain and Glibichuk using work of Gill, Helfgott, and Tao.
We also prove a stronger statement for \[ (A-B)(C-D) = \{ (a -b) (c-d) : a \in A, b \in B, c \in C, d \in D\} \] when $A,B,C,D$ are sets in a prime field, generalising a result of Roche-Newton, Rudnev, Shkredov, and the authors.
Robust randomized matchings
Published
• View Publication
• BIB
The following game is played on a weighted graph: Alice selects a matching $M$ and Bob selects a number $k$. Alice's payoff is the ratio of the weight of the $k$ heaviest edges of $M$ to the maximum weight of a matching of size at most $k$. If $M$ guarantees a payoff of at least $α$ then it is called $α$-robust. In 2002, Hassin and Rubinstein gave an algorithm that returns a $1/\sqrt{2}$-robust matching, which is best possible.
We show that Alice can improve her payoff to $1/\ln(4)$ by playing a randomized strategy. This result extends to a very general class of independence systems that includes matroid intersection, b-matchings, and strong 2-exchange systems. It also implies an improved approximation factor for a stochastic optimization variant known as the maximum priority matching problem and translates to an asymptotic robustness guarantee for deterministic matchings, in which Bob can only select numbers larger than a given constant. Moreover, we give a new LP-based proof of Hassin and Rubinstein's bound.
Holomorphic primary fields in free CFT4 and Calabi-Yau orbifolds
Published
• View Publication
• BIB
Counting formulae for general primary fields in free four dimensional conformal field theories of scalars, vectors and matrices are derived. These are specialised to count primaries which obey extremality conditions defined in terms of the dimensions and left or right spins (i.e. in terms of relations between the charges under the Cartan subgroup of $SO(4,2)$). The construction of primary fields for scalar field theory is mapped to a problem of determining multi-variable polynomials subject to a system of symmetry and differential constraints. For the extremal primaries, we give a construction in terms of holomorphic polynomial functions on permutation orbifolds, which are shown to be Calabi-Yau spaces.
On Variations of Nim and Chomp
We study two variations of Nim and Chomp which we call Monotonic Nim and Diet Chomp. In Monotonic Nim the moves are the same as in Nim, but the positions are non-decreasing numbers as in Chomp. Diet-Chomp is a variation of Chomp, where the total number of squares removed is limited.
A quartet of fermionic expressions for $M(k,2k\pm1)$ Virasoro characters via half-lattice paths
Published in Nuclear Physics B 924 (2017), 643-683
• View Publication
• BIB
We derive new fermionic expressions for the characters of the Virasoro minimal models $M(k,2k\pm1)$ by analysing the recently introduced half-lattice paths. These fermionic expressions display a quasiparticle formulation characteristic of the $φ_{2,1}$ and $φ_{1,5}$ integrable perturbations. We find that they arise by imposing a simple restriction on the RSOS quasiparticle states of the unitary models $M(p,p+1)$. In fact, four fermionic expressions are obtained for each generating function of half-lattice paths of finite length $L$, and these lead to four distinct expressions for most characters $χ^{k,2k\pm1}_{r,s}$. These are direct analogues of Melzer's expressions for $M(p,p+1)$, and their proof entails revisiting, reworking and refining a proof of Melzer's identities which used combinatorial transforms on lattice paths.
We also derive a bosonic version of the generating functions of length $L$ half-lattice paths, this expression being notable in that it involves $q$-trinomial coefficients. Taking the $L\to\infty$ limit shows that the generating functions for infinite length half-lattice paths are indeed the Virasoro characters $χ^{k,2k\pm1}_{r,s}$.
Good Bounds in Certain Systems of True Complexity One
Published in Discrete Analysis, 2018:21, 40 pp
• View Publication
• BIB
Let $Φ= (φ_1,\dots,φ_6)$ be a system of $6$ linear forms in $3$ variables, i.e. $φ_i \colon \mathbb{Z}^3 \to \mathbb{Z}$ for each $i$. Suppose also that $Φ$ has Cauchy--Schwarz complexity $2$ and true complexity $1$, in the sense defined by Gowers and Wolf; in fact this is true generically in this setting. Finally let $G = \mathbb{F}_p^n$ for any $p$ prime and $n \ge 1$. Then we show that multilinear averages by $Φ$ are controlled by the $U^2$-norm, with a polynomial dependence; i.e. if $f_1,\dots,f_6 \colon G \to \mathbb{C}$ are functions with $\|f_i\|_{\infty} \le 1$ for each $i$, then for each $j$, $1 \le j \le 6$:
\[
\left| \mathbb{E}_{x_1,x_2,x_3 \in G} f_1(\varphi_1(x_1,x_2,x_3)) \dots f_6(φ_6(x_1,x_2,x_3)) \right| \le \|f_j\|_{U^2}^{1/C}
\] for some $C > 0$ depending on $Φ$. This recovers and strengthens a result of Gowers and Wolf in these cases. Moreover, the proof uses only multiple applications of the Cauchy--Schwarz inequality, avoiding appeals to the inverse theory of the Gowers norms.
We also show that some dependence of $C$ on $Φ$ is necessary; that is, the constant $C$ can unavoidably become large as the coefficients of $Φ$ grow.
Large deviations for subcritical bootstrap percolation on the random graph
Published in J. Stat. Phys. 185, No. 2, Paper No. 8, 16 p. (2021)
• View Publication
• BIB
We study atypical behavior in bootstrap percolation on the Erdős-Rényi random graph. Initially a set $S$ is infected. Other vertices are infected once at least $r$ of their neighbors become infected. Janson et al. (2012) locates the critical size of $S$, above which it is likely that the infection will spread almost everywhere. Below this threshold, a central limit theorem is proved for the size of the eventually infected set. In this note, we calculate the rate function for the event that a small set $S$ eventually infects an unexpected number of vertices, and identify the least-cost trajectory realizing such a large deviation.
Sharp bounds for the Randic index of graphs with given minimum and maximum degree
The Randi{\' c} index of a graph $G$, written $R(G)$, is the sum of $\frac 1{\sqrt{d(u)d(v)}}$ over all edges $uv$ in $E(G)$. %let $R(G)=\sum_{uv \in E(G)} \frac 1{\sqrt{d(u)d(v)}}$, which is called the Randi{\' c} index of it. Let $d$ and $D$ be positive integers $d < D$. In this paper, we prove that if $G$ is a graph with minimum degree $d$ and maximum degree $D$, then $R(G) \ge \frac{\sqrt{dD}}{d+D}n$; equality holds only when $G$ is an $n$-vertex $(d,D)$-biregular. Furthermore, we show that if $G$ is an $n$-vertex connected graph with minimum degree $d$ and maximum degree $D$, then $R(G) \le \frac n2- \sum_{i=d}^{D-1}\frac 12 \left( \frac 1{\sqrt{i}} - \frac 1{\sqrt{i+1}}\right)^2$; it is sharp for infinitely many $n$, and we characterize when equality holds in the bound.
A bijection between bargraphs and Dyck paths
Published
• View Publication
• BIB
Bargraphs are a special class of convex polyominoes. They can be identified with lattice paths with unit steps north, east, and south that start at the origin, end on the $x$-axis, and stay strictly above the $x$-axis everywhere except at the endpoints. Bargraphs, which are used to represent histograms and to model polymers in statistical physics, have been enumerated in the literature by semiperimeter and by several other statistics, using different methods such as the wasp-waist decomposition of Bousquet-Mélou and Rechnitzer, and a bijection with certain Motzkin paths.
In this paper we describe an unusual bijection between bargraphs and Dyck paths, and study how some statistics are mapped by the bijection. As a consequence, we obtain a new interpretation of Catalan numbers, as counting bargraphs where the semiperimeter minus the number of peaks is fixed.
Skew-Cyclic Codes over $B_k$
Published
• View Publication
• BIB
In this paper we study the structure of $θ$-cyclic codes over the ring $B_k$ including its connection to quasi-$\tildeθ$-cyclic codes over finite field $\mathbb{F}_{p^r}$ and skew polynomial rings over $B_k.$ We also characterize Euclidean self-dual $θ$-cyclic codes over the rings. Finally, we give the generator polynomial for such codes and some examples of optimal Euclidean $θ$-cyclic codes.
Chamber structure for some equivariant relative Gromov-Witten invariants of $\mathbb{P}^1$ in genus $0$
Published
• View Publication
• BIB
In this paper, we study genus $0$ equivariant relative Gromov-Witten invariants of $\mathbb{P}^1$ whose corresponding relative stable maps are totally ramified over one point. For fixed number of marked points, we show that such invariants are piecewise polynomials in some parameter space. The parameter space can then be divided into polynomial domains, called chambers. We determine the difference of polynomials between two neighboring chambers. In some special chamber, which we called the totally negative chamber, we show that such a polynomial can be expressed in a simple way. The chamber structure here shares some similarities to that of double Hurwitz numbers.
A vanishing result for the first twisted cohomology of affine varieties and applications to line arrangements
Published in Manuscripta Mathematica 157 (2018), no. 3-4, 497-511
• View Publication
• BIB
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.