Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Limit Shapes for Unimodal Sequences
Published
• View Publication
• BIB
We prove asymptotic 0-1 Laws satisfied by diagrams of unimodal sequences of positive integers. These diagrams consist of columns of squares in the plane, and the upper boundary is called the shape. For various types, we show that, as the number of squares tends to infinity, $100\%$ of shapes are near a certain curve---that is, there is a single {\it limit shape}. Similar phenomena have been well-studied for integer partitions, so the present work is a natural extension. One notable corollary is a transferred limit shape for overpartitions.
Weak Lefschetz property of PL-spheres
A recent result of Papadakis-Petrotou shows that every simplicial sphere has the weak Lefschetz property in characteristic $2$. In this paper, we give a simpler proof of this result for PL-spheres by showing that the weak Lefschetz property in characteristic $2$ is preserved by bistellar moves. Several applications are given.
On maximum additive Hermitian rank-metric codes
Published
• View Publication
• BIB
Inspired by the work of Zhou "On equivalence of maximum additive symmetric rank-distance codes" (2020) based on the paper of Schmidt "Symmetric bilinear forms over finite fields with applications to coding theory" (2015), we investigate the equivalence issue of maximum $d$-codes of Hermitian matrices. More precisely, in the space $\mathrm{H}_n(q^2)$ of Hermitian matrices over $\mathbb{F}_{q^2}$ we have two possible equivalence: the classical one coming from the maps that preserve the rank in $\mathbb{F}_{q^2}^{n\times n}$, and the one that comes from restricting to those maps preserving both the rank and the space $\mathrm{H}_n(q^2)$. We prove that when $d<n$ and the codes considered are maximum additive $d$-codes and $(n-d)$-designs, these two equivalence relations coincide. As a consequence, we get that the idealisers of such codes are not distinguishers, unlike what usually happens for rank metric codes. Finally, we deal with the combinatorial properties of known maximum Hermitian codes and, by means of this investigation, we present a new family of maximum Hermitian $2$-code, extending the construction presented by Longobardi et al. in "Automorphism groups and new constructions of maximum additive rank metric codes with restrictions" (2020).
The $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths
Published
• View Publication
• BIB
In this paper, we propose an $(s+d,d)$-abacus for $(s,s+d,\dots,s+pd)$-core partitions and establish a bijection between the $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths of type $(s+d,-d)$. This result not only gives a lattice path interpretation of the $(s,s+d,\dots,s+pd)$-core partitions but also counts them with a closed formula. Also we enumerate $(s,s+1,\dots,s+p)$-core partitions with $k$ corners and self-conjugate $(s,s+1,\dots,s+p)$-core partitions.
The combinatorics of tensor products of higher Auslander algebras of type $A$
Published
• View Publication
• BIB
We consider maximal non-$l$-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type $A$. We show that a higher preprojective algebra of the tensor product of two $d$-representation-finite algebras has a $d$-precluster-tilting subcategory. Finally we relate mutations of these collections to a form of tilting for these algebras.
The star avoidance game
Let $n, k$ be positive integers. The $(k+1)$-star avoidance game on $K_n$ is played as follows. Two players take it in turn to claim a (previously unclaimed) edge of the complete graph on $n$ vertices. The first player to claim all edges of a subgraph isomorphic to a $(k+1)$-star loses. Equivalently, each player must keep all degrees in the subgraph formed by his edges at most $k$. If all edges have been chosen and neither player has lost, the game is declared a draw. We prove that, for each fixed $k$, the game is a win for the second player for all $n$ sufficiently large.
A scaling limit for the length of the longest cycle in a sparse random digraph
Published
• View Publication
• BIB
We discuss the length $\vec{L}_{c,n}$ of the longest directed cycle in the sparse random digraph $D_{n,p},p=c/n$, $c$ constant. We show that for large $c$ there exists a function $\vec{f}(c)$ such that $\vec{L}_{c,n}/n\to \vec{f}(c)$ a.s. The function $\vec{f}(c)=1-\sum_{k=1}^\infty p_k(c)e^{-kc}$ where $p_k$ is a polynomial in $c$. We are only able to explicitly give the values $p_1,p_2$, although we could in principle compute any $p_k$.
Optimal networks measured by global mean first return time
Published
• View Publication
• BIB
Random walks have wide application in real lives, ranging from target search, reaction kinetics, polymer chains, to the forecast of the arrive time of extreme events, diseases or opinions. In this paper, we consider discrete random walks on general connected networks and focus on the analysis of the global mean first return time (GMFRT), which is defined as the mean first return time averaged over all the possible starting positions (vertices), aiming at finding the structures who have the maximal (or the minimal) GMFRT among all connected graphs with the same number of vertices and edges. Our results show that, among all trees with the same number of vertices, trees with linear structure are the structures with the minimal GMFRT and stars are the structures with the maximal GMFRT. We also find that, among all connected graphs with the same number of vertices, the graphs whose vertices have the same degree, are the structures with the minimal GMFRT; and the graphs whose vertex degrees have the biggest difference, are the structures with the maximal GMFRT. We also present the methods for constructing the graphs with the maximal GMFRT (or the minimal GMFRT), among all connected graphs with the same number of vertices and edges.
On Covering Numbers, Young Diagrams, and the Local Dimension of Posets
We study covering numbers and local covering numbers with respect to difference graphs and complete bipartite graphs. In particular we show that in every cover of a Young diagram with $\binom{2k}{k}$ steps with generalized rectangles there is a row or a column in the diagram that is used by at least $k+1$ rectangles, and prove that this is best-possible. This answers two questions by Kim, Martin, Masa{ř}{\'ı}k, Shull, Smith, Uzzell, and Wang (Europ. J. Comb. 2020), namely:
- What is the local complete bipartite cover number of a difference graph? - Is there a sequence of graphs with constant local difference graph cover number and unbounded local complete bipartite cover number?
We add to the study of these local covering numbers with a lower bound construction and some examples. Following Kim \emph{et al.}, we use the results on local covering numbers to provide lower and upper bounds for the local dimension of partially ordered sets of height~2. We discuss the local dimension of some posets related to Boolean lattices and show that the poset induced by the first two layers of the Boolean lattice has local dimension $(1 + o(1))\log_2\log_2 n$. We conclude with some remarks on covering numbers for digraphs and Ferrers dimension.
Minimal bad sequences are necessary for a uniform Kruskal theorem
Published
• View Publication
• BIB
The minimal bad sequence argument due to Nash-Williams is a powerful tool in combinatorics with important implications for theoretical computer science. In particular, it yields a very elegant proof of Kruskal's theorem. At the same time, it is known that Kruskal's theorem does not require the full strength of the minimal bad sequence argument. This claim can be made precise in the framework of reverse mathematics, where the existence of minimal bad sequences is equivalent to a principle known as $Π^1_1$-comprehension, which is much stronger than Kruskal's theorem. In the present paper we give a uniform version of Kruskal's theorem by relativizing it to certain transformations of well partial orders. We show that $Π^1_1$-comprehension is equivalent to our uniform Kruskal theorem (over $\mathbf{RCA}_0$ together with the chain-antichain principle). This means that any proof of the uniform Kruskal theorem must entail the existence of minimal bad sequences. As a by-product of our investigation, we obtain uniform proofs of several Kruskal-type independence results.
Log-concavity and log-convexity of moments of averages of i.i.d. random variables
Published in Canad. Math. Bull. 65 (2022), no. 2, 271--278
• View Publication
• BIB
We show that the sequence of moments of order less than 1 of averages of i.i.d. positive random variables is log-concave. For moments of order at least 1, we conjecture that the sequence is log-convex and show that this holds eventually for integer moments (after neglecting the first $p^2$ terms of the sequence).
Diagonal form of the Varchenko matrices for oriented matroids
The construction of the Varchenko matrix for hyperplane arrangements, first introduced by Alexandre Varchenko, extends naturally to oriented matroids. In this paper, we generalize the theorem of Gao and Zhang by proving that the Varchenko matrix of an oriented matroid has a diagonal form if and only if the pseudohyperplane arrangement corresponding to the oriented matroid is in semigeneral position, i.e. it does not contain a degeneracy.
Furthermore, we show that the Varchenko matrix of a pseudoline arrangement has a block diagonal form. This also provides an alternative combinatorial proof for the Varchenko matrix determinant formula in dimension two.
A note on the rationing of divisible and indivisible goods in a general network
Published
• View Publication
• BIB
The study of matching theory has gained importance recently with applications in Kidney Exchange, House Allocation, School Choice etc. The general theme of these problems is to allocate goods in a fair manner amongst participating agents. The agents generally have a unit supply/demand of a good that they want to exchange with other agents. On the other hand, Bochet et al. study a more general version of the problem where they allow for agents to have arbitrary number of divisible goods to be rationed to other agents in the network. In this current work, our main focus is on non-bipartite networks where agents have arbitrary units of a homogeneous indivisible good that they want to exchange with their neighbors. Our aim is to develop mechanisms that would identify a fair and strategyproof allocation for the agents in the network. Thus, we generalize the kidney exchange problem to that of a network with arbitrary capacity of available goods. Our main idea is that this problem and a couple of other related versions of non-bipartite fair allocation problem can be suitably transformed to one of fair allocations on bipartite networks for which we know of well studied fair allocation mechanisms.
Turán numbers for hypergraph star forests
Published
• View Publication
• BIB
Fix a graph $F$. We say that a graph is {\it $F$-free} if it does not contain $F$ as a subgraph. The {\it Turán number} of $F$, denoted $\mathrm{ex}(n,F)$, is the maximum number of edges possible in an $n$-vertex $F$-free graph. The study of Turán numbers is a central problem in graph theory. The goal of this paper is to generalize a theorem of Lidický, Liu and Palmer [{\it Electron.\ J.\ of Combin.}\ {\bf 20} (2016)] that determines $\mathrm{ex}(n,F)$ for $F$ a forest of stars. In particular, we consider generalizations of the problem to three different well-studied hypergraph settings and in each case we prove an asymptotic result for all reasonable parameters defining our "star forests".
The largest $(k, \ell)$-sum-free subsets
Published
• View Publication
• BIB
Let $\mathscr{M}_{(2,1)}(N)$ be the infimum of the largest sum-free subset of any set of $N$ positive integers. An old conjecture in additive combinatorics asserts that there is a constant $c=c(2,1)$ and a function $ω(N)\to\infty$ as $N\to\infty$, such that $cN+ω(N)<\mathscr{M}_{(2,1)}(N)<(c+o(1))N$. The constant $c(2,1)$ is determined by Eberhard, Green, and Manners, while the existence of $ω(N)$ is still wide open.
In this paper, we study the analogous conjecture on $(k,\ell)$-sum-free sets and restricted $(k,\ell)$-sum-free sets. We determine the constant $c(k,\ell)$ for every $(k,\ell)$-sum-free sets, and confirm the conjecture for infinitely many $(k,\ell)$.
AFLT-type Selberg integrals
Published in Communications in Mathematical Physics 388 (2021), 735-791
• View Publication
• BIB
In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These include (i) an $\mathrm{A}_n$ analogue of the AFLT integral, containing two Jack polynomials in the integrand; (ii) a generalisation of (i) for $γ=1$ (the Schur or GUE case), containing a product of $n+1$ Schur functions; (iii) an elliptic generalisation of the AFLT integral in which the role of the Jack polynomials is played by a pair of elliptic interpolation functions; (iv) an AFLT integral for Macdonald polynomials.
Iterative Desingularization
A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular simplicial sets, admits a left adjoint functor called desingularization. In this paper, we provide an iterative description of desingularization that is useful for theoretical purposes as well as for doing calculations.
Universal arrays
Published
• View Publication
• BIB
A word on $q$ symbols is a sequence of letters from a fixed alphabet of size $q$. For an integer $k\ge 1$, we say that a word $w$ is $k$-universal if, given an arbitrary word of length $k$, one can obtain it by removing entries from $w$. It is easily seen that the minimum length of a $k$-universal word on $q$ symbols is exactly $qk$. We prove that almost every word of size $(1+o(1))c_qk$ is $k$-universal with high probability, where $c_q$ is an explicit constant whose value is roughly $q\log q$. Moreover, we show that the $k$-universality property for uniformly chosen words exhibits a sharp threshold. Finally, by extending techniques of Alon [Geometric and Functional Analysis 27 (2017), no. 1, 1--32], we give asymptotically tight bounds for every higher dimensional analogue of this problem.
Weight Enumerators and Cardinalities for Number-Theoretic Codes
Published in IEEE Transactions on Information Theory, vol. 68, no. 11, pp. 7165-7173, Nov. 2022
• View Publication
• BIB
The number-theoretic codes are a class of codes defined by single or multiple congruences. These codes are mainly used for correcting insertion and deletion errors, and for correcting asymmetric errors. This paper presents a formula for a generalization of the complete weight enumerator for the number-theoretic codes. This formula allows us to derive the weight enumerators and cardinalities for the number-theoretic codes. As a special case, this paper provides the Hamming weight enumerators and cardinalities of the non-binary Tenengolts' codes, correcting single insertion or deletion. Moreover, we show that the formula deduces the MacWilliams identity for the linear codes over the ring of integers modulo $r$.
Equivariant homotopy commutativity for $G=C_{pqr}$
We investigate the combinatorial data arising from the classification of equivariant homotopy commutativity for cyclic groups of order $G=C_{p_1 \cdots p_n}$ for $p_i$ distinct primes. In particular, we will prove a structural result which allows us to enumerate the number of $N_\infty$-operads for $C_{pqr}$, verifying a computational result.