Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Koszul Gorenstein algebras from Cohen-Macaulay simplicial complexes
Published in International Mathematics Research Notices 2023 (2023), no. 6, pp. 4998-5045
• View Publication
• BIB
We associate with every pure flag simplicial complex $Δ$ a standard graded Gorenstein $\mathbb{F}$-algebra $R_Δ$ whose homological features are largely dictated by the combinatorics and topology of $Δ$. As our main result, we prove that the residue field $\mathbb{F}$ has a $k$-step linear $R_Δ$-resolution if and only if $Δ$ satisfies Serre's condition $(S_k)$ over $\mathbb{F}$, and that $R_Δ$ is Koszul if and only if $Δ$ is Cohen-Macaulay over $\mathbb{F}$. Moreover, we show that $R_Δ$ has a quadratic Gröbner basis if and only if $Δ$ is shellable. We give two applications: first, we construct quadratic Gorenstein $\mathbb{F}$-algebras which are Koszul if and only if the characteristic of $\mathbb{F}$ is not in any prescribed set of primes. Finally, we prove that whenever $R_Δ$ is Koszul the coefficients of its $γ$-vector alternate in sign, settling in the negative an algebraic generalization of a conjecture by Charney and Davis.
Convergence of the Environment Seen from Geodesics in Exponential Last-Passage Percolation
Published
• View Publication
• BIB
A well-known question in planar first-passage percolation concerns the convergence of the empirical distribution of weights as seen along geodesics. We demonstrate this convergence for an explicit model, directed last-passage percolation on $\mathbb{Z}^2$ with i.i.d. exponential weights, and provide explicit formulae for the limiting distributions, which depend on the asymptotic direction. For example, for geodesics in the direction of the diagonal, the limiting weight distribution has density $(1/4+x/2+x^2/8)e^{-x}$, and so is a mixture of Gamma($1,1$), Gamma($2,1$) and Gamma($3,1$) distributions with weights $1/4$, $1/2$, and $1/4$ respectively. More generally, we study the local environment as seen from vertices along geodesics (including information about the shape of the path and about the weights on and off the path in a local neighborhood). We consider finite geodesics from $(0,0)$ to $n\boldsymbolρ$ for some vector $\boldsymbolρ$ in the first quadrant, in the limit as $n\to\infty$, as well as semi-infinite geodesics in direction $\boldsymbolρ$. We show almost sure convergence of the empirical distributions of the environments along these geodesics, as well as convergence of the distributions of the environment around a typical point in these geodesics, to the same limiting distribution, for which we give an explicit description.
We make extensive use of a correspondence with TASEP as seen from an isolated second-class particle for which we prove new results concerning ergodicity and convergence to equilibrium. Our analysis relies on geometric arguments involving estimates for last-passage times, available from the integrable probability literature.
Pinnacle sets revisited
Published
• View Publication
• BIB
In 2017, Davis, Nelson, Petersen, and Tenner [Discrete Math. 341 (2018),3249--3270] initiated the combinatorics of pinnacles in permutations. We provide a simple and efficient recursion to compute $p_n(S)$, the number of permutations of $S_n$ with pinnacle set $S$, and a conjectural closed formula for the related numbers $q_n(S)$.
We determine the lexicographically minimal elements of the orbits of the modified Foata-Strehl action, prove that these elements form a lower ideal of the left weak order and characterize and count the maximal elements of this ideal.
The zero-rate threshold for adversarial bit-deletions is less than 1/2
Published
• View Publication
• BIB
We prove that there exists an absolute constant $δ>0$ such any binary code $C\subset\{0,1\}^N$ tolerating $(1/2-δ)N$ adversarial deletions must satisfy $|C|\le 2^{\text{poly}\log N}$ and thus have rate asymptotically approaching 0. This is the first constant fraction improvement over the trivial bound that codes tolerating $N/2$ adversarial deletions must have rate going to 0 asymptotically. Equivalently, we show that there exists absolute constants $A$ and $δ>0$ such that any set $C\subset\{0,1\}^N$ of $2^{\log^A N}$ binary strings must contain two strings $c$ and $c'$ whose longest common subsequence has length at least $(1/2+δ)N$. As an immediate corollary, we show that $q$-ary codes tolerating a fraction $1-(1+2δ)/q$ of adversarial deletions must also have rate approaching 0.
Our techniques include string regularity arguments and a structural lemma that classifies binary strings by their oscillation patterns. Leveraging these tools, we find in any large code two strings with similar oscillation patterns, which is exploited to find a long common subsequence.
B1-EPG representations using block-cutpoint trees
Published
• View Publication
• BIB
In this paper, we are interested in the edge intersection graphs of paths of a grid where each path has at most one bend, called B1-EPG graphs and first introduced by Golumbic et al (2009). We also consider a proper subclass of B1-EPG, the L-EPG graphs, which allows paths only in ``L'' shape. We show that two superclasses of trees are B1-EPG (one of them being the cactus graphs). On the other hand, we show that the block graphs are L-EPG and provide a linear time algorithm to produce L-EPG representations of generalization of trees. These proofs employed a new technique from previous results in the area based on block-cutpoint trees of the respective graphs.
Answer to an Isomorphism Problem in $\mathbb{Z}^2$
For $S \subset \mathbb{R}^n$ and $d > 0$, denote by $G(S, d)$ the graph with vertex set $S$ with any two vertices being adjacent if and only if they are at a Euclidean distance $d$ apart. Deem such a graph to be ``non-trivial" if $d$ is actually realized as a distance between points of $S$. In a 2015 article, the author asked if there exist distinct $d_1, d_2$ such that the non-trivial graphs $G(\mathbb{Z}^2, d_1)$ and $G(\mathbb{Z}^2, d_2)$ are isomorphic. In our current work, we offer a straightforward geometric construction to show that a negative answer holds for this question.
On Rainbow Cycles and Proper Edge Colorings of Generalized Polygons
Published
• View Publication
• BIB
An edge coloring of a simple graph $G$ is said to be \textit{proper rainbow-cycle-forbidding} (PRCF, for short) if no two incident edges receive the same color and for any cycle in $G$, at least two edges of that cycle receive the same color. A graph $G$ is defined to be \textit{PRCF-good} if it admits a PRCF edge coloring, and $G$ is deemed \textit{PRCF-bad} otherwise. In recent work, Hoffman, et al. study PRCF edge colorings and find many examples of PRCF-bad graphs having girth less than or equal to 4. They then ask whether such graphs exist having girth greater than 4. In our work, we give a straightforward counting argument showing that the Hoffman-Singleton graph answers this question in the affirmative for the case of girth 5. It is then shown that certain generalized polygons, constructed of sufficiently large order, are also PRCF-bad, thus proving the existence of PRCF-bad graphs of girth 6, 8, 12, and 16.
Assorted Musings on Dimension-critical Graphs
For a finite simple graph $G$, say $G$ is of dimension $n$, and write $\dim(G) = n$, if $n$ is the smallest integer such that $G$ can be represented as a unit-distance graph in $\mathbb{R}^n$. Define $G$ to be \emph{dimension-critical} if every proper subgraph of $G$ has dimension less than $G$. In this article, we determine exactly which complete multipartite graphs are dimension-critical. It is then shown that for each $n \geq 2$, there is an arbitrarily large dimension-critical graph $G$ with $\dim(G) = n$. We then pose and expound upon a number of questions related to this subject matter, questions that hopefully will prompt future research.
Uniform intersecting families with large covering number
Published
• View Publication
• BIB
A family $\mathcal F$ has covering number $τ$ if the size of the smallest set intersecting all sets from $\mathcal F$ is equal to $τ$. Let $M(n,k,τ)$ stand for the size of the largest intersecting family $\mathcal F$ of $k$-element subsets of $\{1,\ldots,n\}$ with covering number $τ$. It is a classical result of Erd\H os and Lovász that $M(n,k,k)\le k^k$ for any $n$. In this short note, we explore the behaviour of $M(n,k,τ)$ for $n<k^2$ and large $τ$. The results are quite surprising: For example, we show that
$M(n,k,τ) =(1-o(1)){n-1\choose k-1}$, if $n = \lfloor k^{3/2}\rfloor$, and $τ\le k-k^{3/4+o(1)}$ as $k\to\infty$;
$M(n,k,τ) <e^{-ck^{1/2}}{n\choose k}$, if $n = \lfloor k^{3/2}\rfloor$ and $τ>k-\frac 12k^{1/2}$.
A note on explicit constructions of designs
Published
• View Publication
• BIB
An $(n,r,s)$-system is an $r$-uniform hypergraph on $n$ vertices such that every pair of edges has an intersection of size less than $s$. Using probabilistic arguments, Rödl and Šiňajová showed that for all fixed integers $r> s \ge 2$, there exists an $(n,r,s)$-system with independence number $O\left(n^{1-δ+o(1)}\right)$ for some optimal constant $δ>0$ only related to $r$ and $s$. We show that for certain pairs $(r,s)$ with $s\le r/2$ there exists an explicit construction of an $(n,r,s)$-system with independence number $O\left(n^{1-ε}\right)$, where $ε> 0$ is an absolute constant only related to $r$ and $s$. Previously this was known only for $s>r/2$ by results of Chattopadhyay and Goodman
Best possible bounds on the number of distinct differences in intersecting families
Published
• View Publication
• BIB
For a family $\mathcal F$, let $\mathcal D(\mathcal F)$ stand for the family of all sets that can be expressed as $F\setminus G$, where $F,G\in \mathcal F$. A family $\mathcal F$ is intersecting if any two sets from the family have non-empty intersection. In this paper, we study the following question: what is the maximum of $|\mathcal D(\mathcal F)|$ for an intersecting family of $k$-element sets? Frankl conjectured that the maximum is attained when $\mathcal F$ is the family of all sets containing a fixed element. We show that this holds if $n \ge 50k\ln k$ and $k \ge 50$. At the same time, we provide a counterexample for $n< 4k$.
Self-dual maps II: links and symmetry
Published
• View Publication
• BIB
In this paper, we investigate representations of links that are either centrally symmetric in $\mathbb{R}^3$ or antipodally symmetric in $\mathbb{S}^3$. By using the notions of antipodally self-dual and antipodally symmetric maps, introduced and studied by the authors, we are able to present sufficient combinatorial conditions for a link $L$ to admit such representations. The latter naturally arises sufficient conditions for $L$ to be amphichiral.
We also introduce another (closely related) method yielding again to sufficient conditions for $L$ to be amphichiral. We finally prove that a link $L$, associated to a map $G$, is amphichiral if the self-dual pairing of $G$ is not one of 6 specific ones among the classification of the 24 self-dual pairing $Cor(G) \rhd Aut(G)$.
Ratio sets of random sets
Published in The Ramanujan Journal, 43(2), 2017
• Search Publication
We study the typical behavior of the size of the ratio set $A/A$ for a random subset $A\subset \{1,\dots , n\}$. For example, we prove that $|A/A|\sim \frac{2\text{Li}_2(3/4)}{π^2}n^2 $ for almost all subsets $A \subset\{1,\dots ,n\}$. We also prove that the proportion of visible lattice points in the lattice $A_1\times\cdots \times A_d$, where $A_i$ is taken at random in $[1,n]$ with $\mathbb P(m\in A_i)=α_i$ for any $m\in [1,n]$, is asymptotic to a constant $μ(α_1,\dots,α_d)$ that involves the polylogarithm of order $d$.
On the Average (Edge-)Connectivity of Minimally $k$-(Edge-)Connected Graphs
Let $G$ be a graph of order $n$ and let $u,v$ be vertices of $G$. Let $κ_G(u,v)$ denote the maximum number of internally disjoint $u$-$v$ paths in $G$. Then the average connectivity $\overlineκ(G)$ of $G$, is defined as $ \overlineκ(G)=\sum_{\{u,v\}\subseteq V(G)} κ_G(u,v)/\tbinom{n}{2}. $ If $k \ge 1$ is an integer, then $G$ is minimally $k$-connected if $κ(G)=k$ and $κ(G-e) < k$ for every edge $e$ of $G$. We say that $G$ is an optimal minimally $k$-connected graph if $G$ has maximum average connectivity among all minimally $k$-connected graphs of order $n$. Based on a recent structure result for minimally 2-connected graphs we conjecture that, for every integer $k \ge3$, if $G$ is an optimal minimally $k$-connected graph of order $n\geq 2k+1$, then $G$ is bipartite, with the set of vertices of degree $k$ and the set of vertices of degree exceeding $k$ as its partite sets. We show that if this conjecture is true, then $\overlineκ(G)< 9k/8$ for every minimally $k$-connected graph $G$. For every $k \ge 3$, we describe an infinite family of minimally $k$-connected graphs whose average connectivity is asymptotically $9k/8$. Analogous results are established for the average edge-connectivity of minimally $k$-edge-connected graphs.
A Note on Sumsets and Restricted Sumsets
Published in Journal of Integer Sequences, 24 (2021), Article 21.4.2
• Search Publication
In this note we find the optimal lower bound for the size of the sumsets $HA$ and $H\,\hat{}A$ over finite sets $H, A$ of nonnegative integers, where $HA = \bigcup_{h\in H} hA$ and $H\,\hat{}A = \bigcup_{h\in H} h\,\hat{}A$. We also find the underlying algebraic structure of the sets $A$ and $H$ for which the size of the sumsets $HA$ and $H\,\hat{}A$ is minimum.
Discrete-to-Continuous Extensions: piecewise multilinear extension, min-max theory and spectral theory
We introduce the homogeneous and piecewise multilinear extensions and the eigenvalue problem for locally Lipschitz function pairs, in order to develop a systematic framework for relating discrete and continuous min-max problems. This also enables us to investigate spectral properties for pairs of $p$-homogeneous functions and to propose a critical point theory for zero-homogeneous functions. The main contributions are:
(1) We provide several min-max relations between an original discrete formulation and its piecewise multilinear extension. We introduce the concept of perfect domain pairs to view comonotonicity on vectors as an extension of inclusion chains on sets. The piecewise multi-linear extension is (slice-)rank preserving, which closely relates to Tao's lemma on diagonal tensors. More discrete-to-continuous equalities are obtained, including a general form involving log-concave polynomials. And by employing these fundamental correspondences, we get further results and applications on tensors, Turán's problem, signed (hyper-)graphs, etc.
(2) We derive the mountain pass characterization, linking theorems, nodal domain inequalities, inertia bounds, duality theorems and distribution of eigenvalues for pairs of $p$-homogeneous functions. We establish a new property on the subderivative of a convex function which relates to the Gauss map of the graph of the convex function. Based on these fundamental results, we can analyze the structure of eigenspaces in depth. For example, we show a simple one-to-one correspondence between the nonzero eigenvalues of the vertex p-Laplacian and the edge $p^*$-Laplacian of a graph. We also apply the theory to Cheeger inequalities and $p$-Laplacians on oriented hypergraphs and simplicial complexes. Also, the first nonlinear analog of Huang's approach for hypergraphs is provided.
Expansion, long cycles, and complete minors in supercritical random subgraphs of the hypercube
Analogous to the case of the binomial random graph $G(d+1,p)$, it is known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, which we denote by $Q^d_p$, undergoes a phase transition around the critical value of $p=\frac{1}{d}$. More precisely, standard arguments show that significantly below this value of $p$, with probability tending to one as $d \to \infty$ (whp for short) all components of this graph have order $O(d)$, whereas Ajtai, Komlós and Szemerédi showed that significantly above this value, in the \emph{supercritical regime}, whp there is a unique `giant' component of order $Θ\left(2^d\right)$. In $G(d+1,p)$ much more is known about the complex structure of the random graph which emerges in this supercritical regime. For example, it is known that in this regime whp $G(d+1,p)$ contains paths and cycles of length $Ω(d)$, as well as complete minors of order $Ω\left(\sqrt{d}\right)$. In this paper we obtain analogous results in $Q^d_p$. In particular, we show that for supercritical $p$, i.e., when $p=\frac{1+ε}{d}$ for a positive constant $ε$, whp $Q^d_p$ contains a cycle of length $Ω\left(\frac{2^d}{d^3(\log d)^3} \right)$ and a complete minor of order $Ω\left(\frac{2^{\frac{d}{2}}}{d^3(\log d)^3 }\right)$. In order to prove these results, we show that whp the largest component of $Q^d_p$ has good edge-expansion properties, a result of independent interest. We also consider the genus of $Q^d_p$ and show that, in this regime of $p$, whp the genus is $Ω\left(2^d\right)$.
Quasi-Stirling Polynomials on Multisets
Published
• View Publication
• BIB
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling} permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. For a multiset $\mathcal{M}$, denote by $\overline{\mathcal{Q}}_{\mathcal{M}}$ the set of quasi-Stirling permutations of $\mathcal{M}$. The {\em qusi-Stirling polynomial} on the multiset $\mathcal{M}$ is defined by $ \overline{Q}_{\mathcal{M}}(t)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}$, where $des(π)$ denotes the number of descents of $π$. By employing generating function arguments, Elizalde derived an elegant identity involving quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$, in analogy to the identity on Stirling polynomials. In this paper, we derive an identity involving quasi-Stirling polynomials $\overline{Q}_{\mathcal{M}}(t)$ for any multiset $\mathcal{M}$, which is a generalization of the identity on Eulerian polynomial and Elizalde's identity on quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$. We provide a combinatorial proof the identity in terms of certain ordered labeled trees. Specializing $\mathcal{M}=\{1^2, 2^2, \ldots, n^2\}$ implies a combinatorial proof of Elizalde's identity in answer to the problem posed by Elizalde. As an application, our identity enables us to show that the quasi-Stirling polynomial $\overline{Q}_{\mathcal{M}}(t)$ has only real roots and the coefficients of $\overline{Q}_{\mathcal{M}}(t)$ are unimodal and log-concave for any multiset $\mathcal{M}$, in analogy to Brenti's result for Stirling polynomials on multisets.
Quasi-Stirling Permutations on Multisets
Published
• View Publication
• BIB
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling } permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. Define $$ \overline{Q}_{\mathcal{M}}(t,u,v)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}u^{asc(π)}v^{plat(π)},$$ where $\overline{\mathcal{Q}}_{\mathcal{M}}$ denotes the set of quasi-Stirling
permutations on the multiset $\mathcal{M}$, and $asc(π)$ (resp. $des(π)$, $plat(π)$) denotes the number of ascents (resp. descents, plateaux) of $π$. Denote by $\mathcal{M}^σ$ the multiset $\{1^{σ_1}, 2^{σ_2}, \ldots, n^{σ_n}\}$, where $σ=(σ_1, σ_2, \ldots, σ_n)$ is an $n$-composition of $K$ for positive integers $K$ and $n$. In this paper, we show that $\overline{Q}_{\mathcal{M}^σ}(t,u,v)=\overline{Q}_{\mathcal{M}^τ}(t,u,v)$ for any two $n$-compositions $σ$ and $τ$ of $K$. This is accomplished by establishing an $(asc, des, plat)$-preserving bijection
between $\overline{\mathcal{Q}}_{\mathcal{M}^σ}$ and $\overline{\mathcal{Q}}_{\mathcal{M}^τ}$. As applications, we obtain generalizations of several results for quasi-Stirling permutations on $\mathcal{M}=\{1^k,2^k, \ldots, n^k\}$ obtained by Elizalde and solve an open problem posed by Elizalde.
A Note on Distinguishing Trees with the Chromatic Symmetric Function
Published
• View Publication
• BIB
For a tree $T$, consider its smallest subtree $T^{\circ}$ containing all vertices of degree at least $3$. Then the remaining edges of $T$ lie on disjoint paths each with one endpoint on $T^{\circ}$. We show that the chromatic symmetric function of $T$ determines the size of $T^{\circ}$, and the multiset of the lengths of these incident paths. In particular, this generalizes a proof of Martin, Morin, and Wagner that the chromatic symmetric function distinguishes spiders.