Showing 20 papers (Total: 84460 papers, 48641 authors in database)
More on ordered open end bin packing
Published
• View Publication
• BIB
We consider the Ordered Open End Bin Packing problem. Items of sizes in $(0,1]$ are presented one by one, to be assigned to bins in this order. An item can be assigned to any bin for which the current total size strictly below $1$. This means also that the bin can be overloaded by its last packed item. We improve lower and upper bounds on the asymptotic competitive ratio in the online case. Specifically, we design the first algorithm whose asymptotic competitive ratio is strictly below $2$ and it is close to the lower bound. This is in contrast to the best possible absolute approximation ratio, which is equal to $2$. We also study the offline problem where the sequence of items is known in advance, while items are still assigned to bins based on their order in the sequence. For this scenario we design an asymptotic polynomial time approximation scheme.
Polypositroids
Published
• View Publication
• BIB
We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are "positive" polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of (W,c)-polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of (W,c)-polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2-dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.
The extremal number of surfaces
Published
• View Publication
• BIB
In 1973, Brown, Erdős and Sós proved that if $\mathcal{H}$ is a 3-uniform hypergraph on $n$ vertices which contains no triangulation of the sphere, then $\mathcal{H}$ has at most $O(n^{5/2})$ edges, and this bound is the best possible up to a constant factor. Resolving a conjecture of Linial, also reiterated by Keevash, Long, Narayanan, and Scott, we show that the same result holds for triangulations of the torus. Furthermore, we extend our result to every closed orientable surface $\mathcal{S}$.
On the Oberwolfach problem for single-flip $2$-factors via graceful labelings
Published in J. Combin. Theory, Ser. A, 189 (2022), 105611, 39 Pages
• View Publication
• BIB
Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem $OP(F)$, posed in 1967 and still open, asks for a decomposition of $K_v$ into copies of $F$. In this paper we show that $OP(F)$ has a solution whenever $F$ has a sufficiently large cycle which meets a given lower bound and, in addition, has a single-flip automorphism, which is an involutory automorphism acting as a reflection on exactly one of the cycles of $F$. Furthermore, we prove analogous results for the minimum covering version and the maximum packing version of the problem. We also show a similar result when the edges of $K_v$ have multiplicity 2, but in this case we do not require that $F$ be single-flip.
Our approach allows us to explicitly construct solutions to the Oberwolfach Problem with well-behaved automorphisms, in contrast with some recent asymptotic results, based on probabilistic methods, which are nonconstructive and do not provide a lower bound on the order of $F$ that guarantees the solvability of $OP(F)$.
Our constructions are based on a doubling construction which applies to graceful labelings of $2$-regular graphs with a vertex removed. We show that this class of graphs is graceful as long as the length of the path-component is sufficiently large. A much better lower bound on the length of the path is given for an $α$-labeling of such graphs to exist.
Minimum stationary values of sparse random directed graphs
Published
• View Publication
• BIB
We consider the stationary distribution of the simple random walk on the directed configuration model with bounded degrees. Provided that the minimum out-degree is at least $2$, with high probability (whp) there is a unique stationary distribution. We show that the minimum positive stationary value is whp $n^{-(1+C+o(1))}$ for some constant $C \ge 0$ determined by the degree distribution. In particular, $C$ is the competing combination of two factors: (1) the contribution of atypically "thin" in-neighbourhoods, controlled by subcritical branching processes; and (2) the contribution of atypically "light" trajectories, controlled by large deviation rate functions. Additionally, our proof implies that whp the hitting and the cover time are both $n^{1+C+o(1)}$. Our results complement those of Caputo and Quattropani who showed that if the minimum in-degree is at least 2, stationary values have logarithmic fluctuations around $n^{-1}$.
Triangulations and Canonical Forms of Amplituhedra: a fiber-based approach beyond polytopes
Published in Commun. Math. Phys. 387, 927-972 (2021)
• View Publication
• BIB
Any totally positive $(k+m)\times n$ matrix induces a map $π_+$ from the positive Grassmannian ${\rm Gr}_+(k,n)$ to the Grassmannian ${\rm Gr}(k,k+m)$, whose image is the amplituhedron $\mathcal{A}_{n,k,m}$ and is endowed with a top-degree form called the canonical form ${\bfΩ}(\mathcal{A}_{n,k,m})$. This construction was introduced by Arkani-Hamed and Trnka, where they showed that ${\bfΩ}(\mathcal{A}_{n,k,4})$ encodes scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory. Moreover, the computation of ${\bfΩ}(\mathcal{A}_{n,k,m})$ is reduced to finding the triangulations of $\mathcal{A}_{n,k,m}$. However, while triangulations of polytopes are fully captured by their secondary polytopes, the study of triangulations of objects beyond polytopes is still underdeveloped.
We initiate the geometric study of subdivisions of $\mathcal{A}_{n,k,m}$ and provide a concrete birational parametrization of fibers of $π: {\rm Gr}(k,n)\dashrightarrow {\rm Gr}(k,k+m)$. We then use this to explicitly describe a rational top-degree form $ω_{n,k,m}$ (with simple poles) on the fibers and compute ${\bfΩ}(\mathcal{A}_{n,k,m})$ as a summation of certain residues of $ω_{n,k,m}$. As main application of our approach, we develop a well-structured notion of secondary amplituhedra for conjugate to polytopes, i.e. when $n-k-1=m$ (even). We show that, in this case, each fiber of $π$ is parametrized by a projective space and its volume form $ω_{n,k,m}$ has only poles on a hyperplane arrangement. Using such linear structures, for amplituhedra which are cyclic polytopes or conjugate to polytopes, we show that the Jeffrey-Kirwan residue computes ${\bfΩ}(\mathcal{A}_{n,k,m})$ from $ω_{n,k,m}$. Finally, we propose a more general framework of fiber positive geometries and analyze new families of examples such as fiber polytopes and Grassmann polytopes.
Automatic complexity of Fibonacci and Tribonacci words
Published
• View Publication
• BIB
For a complexity function $C$, the lower and upper $C$-complexity rates of an infinite word $\mathbf{x}$ are \[
\underline{C}(\mathbf x)=\liminf_{n\to\infty} \frac{C(\mathbf{x}\upharpoonright n)}n,\quad
\overline{C}(\mathbf x)=\limsup_{n\to\infty} \frac{C(\mathbf{x}\upharpoonright n)}n \] respectively. Here $\mathbf{x}\upharpoonright n$ is the prefix of $x$ of length $n$. We consider the case $C=\mathrm{A_N}$, the nondeterministic automatic complexity. If these rates are strictly between 0 and $1/2$, we call them intermediate. Our main result is that words having intermediate $\mathrm{A_N}$-rates exist, viz. the infinite Fibonacci and Tribonacci words.
On the number of partitions of $n$ whose product of the summands is at most $n$
Published in Journal of the Assam Academy of Mathematics, Volume 12, pages: 8-13, 2022
• Search Publication
We prove an explicit formula to count the partitions of $n$ whose product of the summands is at most $n$. In the process, we also deduce a result to count the multiplicative partitions of $n$.
Density of Collatz Trajectories
In this paper I present a new method of studying the densities of the Collatz trajectories generated by a set $S \subset \mathbb{N}$. This method is used to furnish an alternative proof that $d(\{y \in \mathbb{N} : \exists k \text{ where } T^k(y) < cy\}) = 1$ for all $c > 0$. Finally, I briefly discuss how the ideas presented in this paper could be used to improve the result that $d(\{y \in \mathbb{N} : \exists k \text{ where } T^k(y) < y^c\}) = 1$ for $c > \log_4 3$.
Complexity Measures on the Symmetric Group and Beyond
Published
• View Publication
• BIB
We extend the definitions of complexity measures of functions to domains such as the symmetric group. The complexity measures we consider include degree, approximate degree, decision tree complexity, sensitivity, block sensitivity, and a few others. We show that these complexity measures are polynomially related for the symmetric group and for many other domains.
To show that all measures but sensitivity are polynomially related, we generalize classical arguments of Nisan and others. To add sensitivity to the mix, we reduce to Huang's sensitivity theorem using "pseudo-characters", which witness the degree of a function.
Using similar ideas, we extend the characterization of Boolean degree 1 functions on the symmetric group due to Ellis, Friedgut and Pilpel to the perfect matching scheme. As another application of our ideas, we simplify the characterization of maximum-size $t$-intersecting families in the symmetric group and the perfect matching scheme.
Singular Hodge theory for combinatorial geometries
Published
• View Publication
• BIB
We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.
UV mission planning under uncertainty in vehicles' availability
Published
• View Publication
• BIB
Heterogeneous unmanned vehicles (UVs) are used in various defense and civil applications. Some of the civil applications of UVs for gathering data and monitoring include civil infrastructure management, agriculture, public safety, law enforcement, disaster relief, and transportation. This paper presents a two-stage stochastic model for a fuel-constrained UV mission planning problem with multiple refueling stations under uncertainty in availability of UVs. Given a set of points of interests (POI), a set of refueling stations for UVs, and a base station where the UVs are stationed and their availability is random, the objective is to determine route for each UV starting and terminating at the base station such that overall incentives collected by visiting POIs is maximized. We present an outer approximation based decomposition algorithm to solve large instances, and perform extensive computational experiments using random instances. Additionally, a data driven simulation study is performed using robot operating system (ROS) framework to corroborate the use of the stochastic programming approach.
Butson full propelinear codes
Published
• View Publication
• BIB
In this paper we study Butson Hadamard matrices, and codes over finite rings coming from these matrices in logarithmic form, called BH-codes. We introduce a new morphism of Butson Hadamard matrices through a generalized Gray map on the matrices in logarithmic form, which is comparable to the morphism given in a recent note of Ó Catháin and Swartz. That is, we show how, if given a Butson Hadamard matrix over the $k^{\rm th}$ roots of unity, we can construct a larger Butson matrix over the $\ell^{\rm th}$ roots of unity for any $\ell$ dividing $k$, provided that any prime $p$ dividing $k$ also divides $\ell$.
We prove that a $\mathbb{Z}_{p^s}$-additive code with $p$ a prime number is isomorphic as a group to a BH-code over $\mathbb{Z}_{p^s}$ and the image of this BH-code under the Gray map is a BH-code over $\mathbb{Z}_p$ (binary Hadamard code for $p=2$). Further, we investigate the inherent propelinear structure of these codes (and their images) when the Butson matrix is cocyclic. Some structural properties of these codes are studied and examples are provided.
Harmonic functions of polynomial growth on infinite penny graphs
Published
• View Publication
• BIB
For an infinite penny graph, we study the finite-dimensional property for the space of harmonic functions, or ancient solutions of the heat equation, of polynomial growth. We prove the asymptotically sharp dimensional estimate for the above spaces.
Pattern statistics in faro words and permutations
Published
• View Publication
• BIB
We study the distribution and the popularity of some patterns in $k$-ary faro words, i.e. words over the alphabet $\{1, 2, \ldots, k\}$ obtained by interlacing the letters of two nondecreasing words of lengths differing by at most one. We present a bijection between these words and dispersed Dyck paths (i.e. Motzkin paths with all level steps on the $x$-axis) with a given number of peaks. We show how the bijection maps statistics of consecutive patterns of faro words into linear combinations of other pattern statistics on paths. Then, we deduce enumerative results by providing multivariate generating functions for the distribution and the popularity of patterns of length at most three. Finally, we consider some interesting subclasses of faro words that are permutations, involutions, derangements, or subexcedent words.
The feasible regions for consecutive patterns of pattern-avoiding permutations
Published in Discrete Mathematics, Vol. 346, No. 2, 2023
• View Publication
• BIB
We study the feasible region for consecutive patterns of pattern-avoiding permutations. More precisely, given a family $\mathcal C$ of permutations avoiding a fixed set of patterns, we consider the limit of proportions of consecutive patterns on large permutations of $\mathcal C$. These limits form a region, which we call the consecutive patterns feasible region for $\mathcal C$.
We determine the dimension of the consecutive patterns feasible region for all families $\mathcal C$ closed either for the direct sum or the skew sum. These families include for instance the ones avoiding a single pattern and all substitution-closed classes. We further show that these regions are always convex and we conjecture that they are always polytopes. We prove this conjecture when $\mathcal C$ is the family of $τ$-avoiding permutations, with either $τ$ of size three or $τ$ a monotone pattern. Furthermore, in these cases we give a full description of the vertices of these polytopes via cycle polytopes.
Along the way, we discuss connections of this work with the problem of packing patterns in pattern-avoiding permutations and to the study of local limits for pattern-avoiding permutations.
Up to a double cover, every regular connected graph is isomorphic to a Schreier graph
Published in Bull. Belg. Math. Soc. Simon Stevin 28 (3) 373 - 379, march 2022
• View Publication
• BIB
We prove that every connected locally finite regular graph has a double cover which is isomorphic to a Schreier graph.
An order on circular permutations
Published
• View Publication
• BIB
Motivation coming from the study of affine Weyl groups, a structure of ranked poset is defined on the set of circular permutations in $S_n$ (that is, $n$-cycles). It is isomorphic to the poset of so-called admitted vectors, and to an interval in the affine symmetric group $\tilde S_n$ with the weak order. The poset is a semidistributive lattice, and the rank function, whose range is cubic in $n$, is computed by some special formula involving inversions. We prove also some links with Eulerian numbers, triangulations of an $n$-gon, and Young's lattice.
Connected Chord Diagrams and the Combinatorics of Asymptotic Expansions
In this article we study an asymptotic expansion for $C_n$, the number of connected chord diagrams on $n$ chords. The expansion is obtained in earlier work by means of alien derivatives applied to the generating series of connected chord diagrams; we seek a combinatorial interpretation. The main outcome presented here is a new combinatorial interpretation for entry https://oeis.org/A088221 of the OEIS. We will show that https://oeis.org/A088221 counts pairs of connected chord diagrams (allowing empty diagrams). This gives a combinatorial interpretation for the part of the closed form of the asymptotic expansion of $C_n$.
Sharp invertibility of random Bernoulli matrices
Let $p \in (0,1/2)$ be fixed, and let $B_n(p)$ be an $n\times n$ random matrix with i.i.d. Bernoulli random variables with mean $p$. We show that for all $t \ge 0$, \[\mathbb{P}[s_n(B_n(p)) \le tn^{-1/2}] \le C_p t + 2n(1-p)^{n} + C_p (1-p-ε_p)^{n},\] where $s_n(B_n(p))$ denotes the least singular value of $B_n(p)$ and $C_p, ε_p > 0$ are constants depending only on $p$. In particular, \[\mathbb{P}[B_{n}(p) \text{ is singular}] = 2n(1-p)^{n} + C_{p}(1-p-ε_p)^{n},\] which confirms a conjecture of Litvak and Tikhomirov.
We also confirm a conjecture of Nguyen by showing that if $Q_{n}$ is an $n\times n$ random matrix with independent rows that are uniformly distributed on the central slice of $\{0,1\}^{n}$, then \[\mathbb{P}[Q_{n} \text{ is singular}] = (1/2 + o_n(1))^{n}.\] This provides, for the first time, a sharp determination of the logarithm of the probability of singularity in any natural model of random discrete matrices with dependent entries.