Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Number of Triangulations of a Möbius Strip
Published in Involve 16 (2023) 547-562
• View Publication
• BIB
Consider a Möbius strip with $n$ chosen points on its edge. A triangulation is a maximal collection of arcs among these points and cuts the strip into triangles. In this paper, we proved the number of all triangulations that one can obtain from a Möbius strip with $n$ chosen points on its edge is given by $4^{n-1}+\binom{2n-2}{n-1}$, then we made the connection with the number of clusters in the quasi-cluster algebra arising from the Möbius strip.
Empty axis-parallel boxes
Published
• View Publication
• BIB
We show that, for every set of $n$ points in the $d$-dimensional unit cube, there is an empty axis-parallel box of volume at least $Ω(d/n)$ as $n\to\infty$ and $d$ is fixed. In the opposite direction, we give a construction without an empty axis-parallel box of volume $O(d^2\log d/n)$. These improve on the previous best bounds of $Ω(\log d/n)$ and $O(2^{7d}/n)$ respectively.
Kunneth Theorems for Vietoris-Rips Homology
Published in Acta Mathematica Hungarica, volume 166, pages 239-253 (2022)
• View Publication
• BIB
We prove a Kunneth theorem for the Vietoris-Rips homology and cohomology of a semi-uniform space. We then interpret this result for graphs, where we show that the Kunneth theorem holds for graphs with respect to the strong graph product. We finish by computing the Vietoris-Rips cohomology of the torus endowed with diferent semi-uniform structures.
Slide multiplicity free key polynomials
Published
• View Publication
• BIB
Schubert polynomials are refined by the key polynomials of Lascoux-Schützenberger, which in turn are refined by the fundamental slide polynomials of Assaf-Searles. In this paper we determine which fundamental slide polynomial refinements of key polynomials, indexed by strong compositions, are multiplicity free. We also give a recursive algorithm to determine all terms in the fundamental slide polynomial refinement of a key polynomial indexed by a strong composition. From here, we apply our results to begin to classify which fundamental slide polynomial refinements, indexed by weak compositions, are multiplicity free. We completely resolve the cases when the weak composition has at most two nonzero parts or the sum has at most two nonzero terms.
Longest common subsequences between words of very unequal length
We consider the expected length of the longest common subsequence between two random words of lengths $n$ and $(1-\varepsilon)kn$ over $k$-symbol alphabet. It is well-known that this quantity is asymptotic to $γ_{k,\varepsilon} n$ for some constant $γ_{k,\varepsilon}$. We show that $γ_{k,\varepsilon}$ is of the order $1-c\varepsilon^2$ uniformly in $k$ and $\varepsilon$. In addition, for large $k$, we give evidence that $γ_{k,\varepsilon}$ approaches $1-\tfrac{1}{4}\varepsilon^2$, and prove a matching lower bound.
Open Problem: Average-Case Hardness of Hypergraphic Planted Clique Detection
We note the significance of hypergraphic planted clique (HPC) detection in the investigation of computational hardness for a range of tensor problems. We ask if more evidence for the computational hardness of HPC detection can be developed. In particular, we conjecture if it is possible to establish the equivalence of the computational hardness between HPC and PC detection.
The polytope algebra of generalized permutahedra
Published in Algebraic Combinatorics, Volume 4 (2021) no. 5, pp. 909-946
• View Publication
• BIB
The polytope subalgebra of deformations of a zonotope can be endowed with the structure of a module over the Tits algebra of the corresponding hyperplane arrangement. We explore this construction and find relations between statistics on (signed) permutations and the module structure in the case of (type B) generalized permutahedra. In type B, the module structure surprisingly reveals that any family of generators (via signed Minkowski sums) for generalized permutahedra of type B will contain at least $2^{d-1}$ full-dimensional polytopes. We find a generating family of simplices attaining this minimum. Finally, we prove that the relations defining the polytope algebra are compatible with the Hopf monoid structure of generalized permutahedra.
Several new product identities in relation to two-variable Rogers-Ramanujan type sums and mock theta functions
Published in Res. Math. Sci. 8.1 (2021): 16
• View Publication
• BIB
Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's septuple identity. We view these series expansions as representations in canonical bases of certain vector spaces of quasiperiodic meromorphic functions (related to sections of line and vector bundles), and find new identities for two nonuple products, an undecuple product, and several two-variable Rogers-Ramanujan type sums. Our main theorem explains a correspondence between the septuple product identity and the two original Rogers-Ramanujan identities, involving two-variable analogues of fifth-order mock theta functions. We also prove a similar correspondence between an octuple product identity of Ewell and two simpler variations of the Rogers-Ramanujan identities, which is related to third-order mock theta functions, and conjecture other occurrences of this phenomenon. As applications, we specialize our results to obtain identities for quotients of generalized Dedekind eta functions and mock theta functions.
A Short Proof of the Rank Formula for Inclusion Matrices using the Representation Theory of the Symmetric Group
Published
• View Publication
• BIB
We present a new proof of the well known formula for the rank of the inclusion matrix by constructing a $k\mathcal{S}_n$-module spanned by the columns of this matrix and calculating its dimension.
Explicit SoS lower bounds from high-dimensional expanders
Published in In Proc. 12th Innovations in Theoretical Computer Science (ITCS), volume 185 of LipiCS, pages 40:1-40:16, 2021
• View Publication
• BIB
We construct an explicit family of 3XOR instances which is hard for $O(\sqrt{\log n})$ levels of the Sum-of-Squares hierarchy. In contrast to earlier constructions, which involve a random component, our systems can be constructed explicitly in deterministic polynomial time.
Our construction is based on the high-dimensional expanders devised by Lubotzky, Samuels and Vishne, known as LSV complexes or Ramanujan complexes, and our analysis is based on two notions of expansion for these complexes: cosystolic expansion, and a local isoperimetric inequality due to Gromov.
Our construction offers an interesting contrast to the recent work of Alev, Jeronimo and the last author~(FOCS 2019). They showed that 3XOR instances in which the variables correspond to vertices in a high-dimensional expander are easy to solve. In contrast, in our instances the variables correspond to the edges of the complex.
The counting version of a problem of Erdős
Published in European Journal of Combinatorics, 2020
• View Publication
• BIB
A set $A$ of natural numbers possesses property $\mathcal{P}_h$, if there are no distinct elements $a_0,a_1,\dots ,a_h\in A$ with $a_0$ dividing the product $a_1a_2\dots a_h$. Erdős determined the maximum size of a subset of $\{1,\ldots, n\}$ possessing property $\mathcal{P}_2$. More recently, Chan, Győri and Sárközy solved the case $h=3$, finally the general case also got resolved by Chan, the maximum size is $π(n)+Θ_h(\frac{n^{2/(h+1)}}{(\log n)^{2}})$.
In this note we consider the counting version of this problem and show that the number of subsets of $\{1,\ldots, n\}$ possessing property $\mathcal{P}_h$ is $T(n)\cdot e^{Θ(n^{2/3}/\log n)}$ for a certain function $T(n)\approx (3.517\dots)^{π(n)}$. For $h>2$ we prove that the number of subsets possessing property $\mathcal{P}_h$ is $T(n)\cdot e^{\sqrt{n}(1+o(1))}$.
This is a rare example in which the order of magnitude of the lower order term in the exponent is also determined.
A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group
Published in The Electronic Journal of Combinatorics 28, 3 (2021). P3.53
• View Publication
• BIB
In this article we define an encoding for parabolic permutations that distinguishes between parabolic $231$-avoiding permutations. We prove that the componentwise order on these codes realizes the parabolic Tamari lattice, and conclude a direct and simple proof that the parabolic Tamari lattice is isomorphic to a certain $ν$-Tamari lattice, with an explicit bijection. Furthermore, we prove that this bijection is closely related to the map $Θ$ used when the lattice isomorphism was first proved in (Ceballos, Fang and Mühle, 2020), settling an open problem therein.
On symmetric association schemes and associated quotient-polynomial graphs
Published
• View Publication
• BIB
Let $Γ$ denote an undirected, connected, regular graph with vertex set $X$, adjacency matrix $A$, and ${d+1}$ distinct eigenvalues. Let ${\mathcal A}={\mathcal A}(Γ)$ denote the subalgebra of Mat$_X({\mathbb C})$ generated by $A$. We refer to ${\mathcal A}$ as the {\it adjacency algebra} of $Γ$. In this paper we investigate algebraic and combinatorial structure of $Γ$ for which the adjacency algebra ${\mathcal A}$ is closed under Hadamard multiplication. In particular, under this simple assumption, we show the following: (i) ${\mathcal A}$ has a standard basis $\{I,F_1,\ldots,F_d\}$; (ii) for every vertex there exists identical distance-faithful intersection diagram of $Γ$ with $d+1$ cells; (iii) the graph $Γ$ is quotient-polynomial; and (iv) if we pick $F\in \{I,F_1,\ldots,F_d\}$ then $F$ has $d+1$ distinct eigenvalues if and only if span$\{I,F_1,\ldots,F_d\}=$span$\{I,F,\ldots,F^d\}$. We describe the combinatorial structure of quotient-polynomial graphs with diameter $2$ and $4$ distinct eigenvalues. As a consequence of the technique from the paper we give an algorithm which computes the number of distinct eigenvalues of any Hermitian matrix using only elementary operations. When such a matrix is the adjacency matrix of a graph $Γ$, a simple variation of the algorithm allow us to decide wheter $Γ$ is distance-regular or not. In this context, we also propose an algorithm to find which distance-$i$ matrices are polynomial in $A$, giving also these polynomials.
A new algorithm for the $^K$DMDGP subclass of Distance Geometry Problems
Published
• View Publication
• BIB
The fundamental inverse problem in distance geometry is the one of finding positions from inter-point distances. The Discretizable Molecular Distance Geometry Problem (DMDGP) is a subclass of the Distance Geometry Problem (DGP) whose search space can be discretized and represented by a binary tree, which can be explored by a Branch-and-Prune (BP) algorithm. It turns out that this combinatorial search space possesses many interesting symmetry properties that were studied in the last decade. In this paper, we present a new algorithm for this subclass of the DGP, which exploits DMDGP symmetries more effectively than its predecessors. Computational results show that the speedup, with respect to the classic BP algorithm, is considerable for sparse DMDGP instances related to protein conformation.
Independent transversals in bipartite correspondence-covers
Published in Canadian Mathematical Bulletin , Volume 65 , Issue 4 , December 2022 , pp. 882 - 894
• View Publication
• BIB
Suppose $G$ and $H$ are bipartite graphs and $L: V(G)\to 2^{V(H)}$ induces a partition of $V(H)$ such that the subgraph of $H$ induced between $L(v)$ and $L(v')$ is a matching whenever $vv'\in E(G)$. We show for each $\varepsilon>0$ that, if $H$ has maximum degree $D$ and $|L(v)| \ge (1+\varepsilon)D/\log D$ for all $v\in V(G)$, then $H$ admits an independent transversal with respect to $L$, provided $D$ is sufficiently large. This bound on the part sizes is asymptotically sharp up to a factor $2$. We also show some asymmetric variants of this result.
The chromatic number of 2-edge-colored and signed graphs of bounded maximum degree
Published
• View Publication
• BIB
A 2-edge-colored graph or a signed graph is a simple graph with two types of edges. A homomorphism from a 2-edge-colored graph $G$ to a 2-edge-colored graph $H$ is a mapping $\varphi: V(G) \rightarrow V(H)$ that maps every edge in $G$ to an edge of the same type in $H$. Switching a vertex $v$ of a 2-edge-colored or signed graph corresponds to changing the type of each edge incident to $v$. There is a homomorphism from the signed graph $G$ to the signed graph $H$ if after switching some subset of the vertices of $G$ there is a 2-edge-colored homomorphism from $G$ to $H$.
The chromatic number of a 2-edge-colored (resp. signed) graph $G$ is the order of a smallest 2-edge-colored (resp. signed) graph $H$ such that there is a homomorphism from $G$ to $H$. The chromatic number of a class of graph is the maximum of the chromatic numbers of the graphs in the class.
We study the chromatic numbers of 2-edge-colored and signed graphs (connected and not necessarily connected) of a given bounded maximum degree. More precisely, we provide exact bounds for graphs of maximum degree 2. We then propose specific lower and upper bounds for graphs of maximum degree 3, 4, and 5. We finally propose general bounds for graphs of maximum degree $k$, for every $k$.
Every graph contains a linearly sized induced subgraph with all degrees odd
Published
• View Publication
• BIB
We prove that every graph $G$ on $n$ vertices with no isolated vertices contains an induced subgraph of size at least $n/10000$ with all degrees odd. This solves an old and well-known conjecture in graph theory.
Hypercontractivity on the symmetric group
Published
• View Publication
• BIB
The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly for product spaces, which raises the question of whether analogous results hold over non-product domains.
We consider the symmetric group, $S_n$, one of the most basic non-product domains, and establish hypercontractive inequalities on it. Our inequalities are most effective for the class of \emph{global functions} on $S_n$, which are functions whose $2$-norm remains small when restricting $O(1)$ coordinates of the input, and assert that low-degree, global functions have small $q$-norms, for $q>2$.
As applications, we show:
1. An analog of the level-$d$ inequality on the hypercube, asserting that the mass of a global function on low-degrees is very small. We also show how to use this inequality to bound the size of global, product-free sets in the alternating group $A_n$.
2. Isoperimetric inequalities on the transposition Cayley graph of $S_n$ for global functions, that are analogous to the KKL theorem and to the small-set expansion property in the Boolean hypercube.
3. Hypercontractive inequalities on the multi-slice, and stability versions of the Kruskal--Katona Theorem in some regimes of parameters.
Lifting Arc Diagrams Under Branched Covers: An Inverse Problem and its Solution
A branched covering map of surfaces induces a map in the opposite direction between their arc complexes. We represent a branched covering map combinatorially using what we call a lifting picture, and use this representation to computably solve the membership problem of the set of weighted arc diagrams on a given surface which can be obtained by lifting a weighted arc diagram on a bigon. We provide a brute force solution in the general case, and an efficient solution when the input arc diagram is a triangulation.
Near-MDS codes from elliptic curves
Published in Designs, Codes and Cryptography 89, 965-972 (2021)
• View Publication
• BIB
We provide a new construction of $[n,9,n-9]_q$ near-MDS codes arising from elliptic curves with $n$ ${\mathbb F}_q$-rational points. Furthermore we show that in some cases these codes cannot be extended to longer near-MDS codes.