Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Polynomials, Divided Differences, and Codes
Multivariate multiplicity codes (Kopparty, Saraf, and Yekhanin, J. ACM 2014) are linear codes where the codewords are described by evaluations of multivariate polynomials (with a degree bound) and their derivatives up to a fixed order, on a suitably chosen affine point set. While good list decoding algorithms for multivariate multiplicity codes were known in some special cases of point sets by a reduction to univariate multiplicity codes, a general list decoding algorithm up to the distance of the code when the point set is an arbitrary finite grid, was obtained only recently (Bhandari et al., IEEE TIT 2023). This required the characteristic of the field to be zero or larger than the degree bound, and this requirement is somewhat necessary, since list decoding this code up to distance with small output list size is not possible when the characteristic is significantly smaller than the degree.
In this work, we present an alternate construction, based on divided differences, that closely resembles the classical multiplicity codes but is `insensitive to the field characteristic'. We obtain an efficient algorithm that list decodes this code up to distance, for arbitrary finite grids and over all finite fields. Notably, our construction can be interpreted as a `folded Reed-Muller code', which might be of independent interest. The upshot of our result is that a good `Taylor-like expansion' can be expressed in terms of a good `derivative-like operator' (a divided difference), and this implies that the corresponding code admits good algorithmic list decoding.
Eigenvalues of Heckman-Polychronakos operators
Published
• View Publication
• BIB
Heckman-Polychronakos operators form a prominent family of commuting differential-difference operators defined in terms of the Dunkl operators $\mathcal D_i$ as $\mathcal P_m= \sum_{i=1}^N (x_i \mathcal D_i)^m$. They have been known since 1990s in connection with trigonometric Calogero-Moser-Sutherland Hamiltonian and Jack symmetric polynomials. We explicitly compute the eigenvalues of these operators for symmetric and skew-symmetric eigenfunctions, as well as partial sums of eigenvalues for general polynomial eigenfunctions.
Quasi-fixed points of substitutive systems
Published
• View Publication
• BIB
We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most sequences within an automatic system are not themselves automatic. We provide a complete and succinct classification of automatic sequences that lie in a given automatic system in terms of the quasi-fixed points of the substitution defining the system. Our result extends to factor maps between automatic systems and highlights arithmetic properties underpinning these systems. We conjecture that a similar statement holds for general nonconstant length substitutions.
Critical threshold for regular graphs
In this article, we study the critical percolation threshold $p_c$ for $d$-regular graphs. It is well-known that $p_c \geq \frac{1}{d-1}$ for such graphs, with equality holding for the $d$-regular tree. We prove that among all quasi-transitive $d$-regular graphs, the equality $p_c(G) = \frac{1}{d-1}$ holds if and only if $G$ is a tree. Furthermore, we provide counterexamples that illustrate the necessity of the quasi-transitive assumption.
Humps in Motzkin paths and standard Young tableaux in a $(2,1)$-hook
We calculate the number of humps and peaks in Motzkin paths with a given height, and calculate the number of standard Young tableaux (SYTs) in a $(2,1)$-hook with the difference of the first two parts fixed, which refine Regev's results in 2009. We also give new combinatorial proofs of Regev's results, and reveal some new recurrence relations related to humps, free Motzkin paths and SYTs.
A spectral condition for spanning trees with restricted degrees in bipartite graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $T$ be a spanning tree of $G$. We use $Q(G)=D(G)+A(G)$ to denote the signless Laplacian matrix of $G$, where $D(G)$ is the diagonal degree matrix of $G$ and $A(G)$ is the adjacency matrix of $G$. The signless Laplacian spectral radius of $G$ is denoted by $q(G)$. A necessary and sufficient condition for a connected bipartite graph $G$ with bipartition $(A,B)$ to have a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$ was independently obtained by Frank and Gyárfás (A. Frank, E. Gyárfás, How to orient the edges of a graph?, Colloq. Math. Soc. Janos Bolyai 18 (1976) 353--364), Kaneko and Yoshimoto (A. Kaneko, K. Yoshimoto, On spanning trees with restricted degrees, Inform. Process. Lett. 73 (2000) 163--165). Based on the above result, we establish a lower bound on the signless Laplacian spectral radius $q(G)$ of a connected bipartite graph $G$ with bipartition $(A,B)$, in which the bound guarantees that $G$ has a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$.
$s$-almost $t$-intersecting families for vector spaces
Let $\mathcal{F}$ be a family of $k$-dimensional subspaces of an $n$-dimensional vector space. Write $\mathcal{D}_{\mathcal{F}}(H;t)=\{F\in \mathcal{F}\colon \dim(F\cap H)\leq t \}$ for a subspace $H$. The family $\mathcal{F}$ is called $s$-almost $t$-intersecting if $|\mathcal{D}_{\mathcal{F}}(F;t)|\leq s$ for each $F\in \mathcal{F}$. In this note, we prove that $s$-almost $t$-intersecting families with maximum size are $t$-intersecting.
Exploring Parking Functions: Poset and Polytope Perspectives
Published
• View Publication
• BIB
This paper provides an exploration of parking functions, a classical combinatorial object. We present two viewpoints on their structure and properties: through poset of noncrossing partitions and polytopes.
Stars of graphs of projective codes
Let $Γ_k(V)$ be the Grassmann graph whose vertex set is formed by all $k$-dimensional subspaces of an $n$-dimensional vector space $V$ over the finite field $F_q$ consisting of $q$ elements. We discuss its subgraph $Π(n,k)_q$ formed by projective codes. We show that there are precisely two types of maximal cliques in $Π(n,k)_q$: stars and tops. We give a complete description of stars, i.e., maximal cliques consisting of all $k$-dimensional projective codes containing a certain $(k-1)$-dimensional subspace of $V$.
Snort Played on Triangular Grids
Snort is a two-player game played on a simple graph in which the players take turns colouring vertices in their own colour, with the restriction that two adjacent vertices cannot have opposite colours. We will show that on triangular grids with one or two rows of triangles, and many of their variants, the first player will win when playing optimally.
Toric Multivariate Gaussian Models from Symmetries in a Tree
Published
• View Publication
• BIB
Given a rooted tree $T$ on $n$ non-root leaves with colored and zeroed nodes, we construct a linear space $L_T$ of $n\times n$ symmetric matrices with constraints determined by the combinatorics of the tree. When $L_T$ represents the covariance matrices of a Gaussian model, it provides natural generalizations of Brownian motion tree (BMT) models in phylogenetics. When $L_T$ represents a space of concentration matrices of a Gaussian model, it gives certain colored Gaussian graphical models, which we refer to as BMT derived models. We investigate conditions under which the reciprocal variety $L_T^{-1}$ is toric. Relying on the birational isomorphism of the inverse matrix map, we show that if the BMT derived graph of $T$ is vertex-regular and a block graph, under the derived Laplacian transformation, $L_T^{-1}$ is the vanishing locus of a toric ideal. This ideal is given by the sum of the toric ideal of the Gaussian graphical model on the block graph, the toric ideal of the original BMT model, and binomial linear conditions coming from vertex-regularity. To this end, we provide monomial parametrizations for these toric models realized through paths among leaves in $T$.
Note on a conjecture of Talagrand: expectation thresholds vs. fractional expectation thresholds
We show that a restricted version of a conjecture of M. Talagrand on the relation between "expectation thresholds" and "fractional expectation thresholds" follows easily from a strong version of a second conjecture of Talagrand, on "selector processes." The selector process conjecture was proved by Park and Pham, and the quantitative strengthening used here is due to Bednorz, Martynek, and Meller.
Variations on five-dimensional sphere packings
Published
• View Publication
• BIB
We analyze Szöllősi's recent construction of a conjecturally optimal five-dimensional kissing configuration and produce a new such configuration, the fourth to be discovered. We construct five-dimensional sphere packings from these configurations, which augment Conway and Sloane's list of conjecturally optimal packings. We also construct a new kissing configuration in nine dimensions. None of these constructions improves on the known records, but they provide geometrically distinct constructions achieving these records.
Star arboricity relaxed book thickness of $K_n$
A book embedding of the complete graph $K_n$ needs $\lceil \frac{n}{2} \rceil$ pages and the page-subgraphs can be chosen to be spanning paths (for $n$ even) and one spanning star for $n$ odd. We show that all page-subgraphs can be chosen to be {\rm star forests} by including one extra {\rm cross-cap} page or two new ordinary pages.
On hook length biases in $t$-regular partitions
Let $t\geq2$ and $k\geq1$ be integers. A $t$-regular partition of a positive integer $n$ is a partition of $n$ such that none of its parts is divisible by $t$. Let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. Recently, the first and the third authors proved that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n\geq 4$, and conjectured that $b_{t+1,2}(n)\geq b_{t,2}(n)$ for all $t\geq 3$ and $n\geq 0$. In this paper, we prove that the conjecture is true for $t=3$.
Pattern avoidance in nonnesting permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (October 17, 2025) dmtcs:14885
• View Publication
• BIB
Nonnesting permutations are permutations of the multiset $\{1,1,2,2,\dots,n,n\}$ that avoid subsequences of the form $abba$ for any $a\neq b$. These permutations have recently been studied in connection to noncrossing (also called quasi-Stirling) permutations, which are those that avoid subsequences of the form $abab$, and in turn generalize the well-known Stirling permutations. Inspired by the work by Archer et al. on pattern avoidance in noncrossing permutations, we consider the analogous problem in the nonnesting case. We enumerate nonnesting permutations that avoid each set of two or more patterns of length 3, as well as those that avoid some sets of patterns of length 4. We obtain closed formulas and generating functions, some of which involve unexpected appearances of the Catalan and Fibonacci numbers. Our proofs rely on decompositions, recurrences, and bijections.
Revisiting Extremal Graphs Having No Stable Cutsets
Published
• View Publication
• BIB
Confirming a conjecture posed by Caro, it was shown by Chen and Yu that every graph $G$ with $n$ vertices and at most $2n-4$ edges has a stable cutset, which is a stable set of vertices whose removal disconnects the graph. Le and Pfender showed that all graphs with $n$ vertices and $2n-3$ edges without stable cutset arise recursively glueing together triangles and triangular prisms along an edge or triangle. Le and Pfender's proof contains a gap, which we fill in the present article.
Categorical approach to graph limits
We define and study a natural category of graph limits. The objects are pairs $(π,μ)$, where $π$ (the distribution of vertices) is an abstract probability measure on some abstract measurable space $(X,\mathcal{A})$ and $μ$ (the distribution of edges) is an abstract finite measure on the square $(X,\mathcal{A})^2$. Morphisms are random maps between the underlying measurable spaces which preserve the distribution of vertices as well as the distribution of edges. We also define a convergence notion (inspired by s-convergence) for sequences of graph limits. We apply tools from category theory to prove the compactness of the space of all graph limits.
Positioned and primary positioned $\mathcal{C}$-semigroups
Published in Annali di Matematica Pura ed Applicata (1923 -)
• View Publication
• BIB
Let $\mathcal{C}$ be a positive integer cone and $k\in \mathcal{C}$. A $\mathcal{C}$-semigroup $S$ is $k$-positioned if for every $h\in \mathcal{C}\setminus S$ we have that $k-h$ belongs to $S$. In this work, we focus on this family of semigroups and introduce primary positioned $\mathcal{C}$-semigroups, characterizing a subfamily of them through the perspective of irreducibility. Furthermore, we provide some procedures to compute all such semigroups, describing a family of graphs containing all the primary positioned $\mathcal{C}$-semigroups for a fixed $k\in \mathcal{C}$.
Improvements for lower bounds of mutually orthogonal Latin squares of sizes $54$, $96$ and $108$
Published
• View Publication
• BIB
We will show that there are at least 8, 10 and 9 mutually orthogonal Latin squares (MOLS) of orders $n=54$, $96$ and $108$. The cases $n=54$ and $96$ are obtained by constructing separable permutation codes consisting of $8 \times 54$ and $10 \times 96$ codeword respectively; in addition, these codes respectively have lengths $54$, $96$ and minimum distances $53$, $95$. Here we will follow exactly the procedure given in \cite{JS2019}. The case $n=108$ is obtained by constructing a $(108,10,1)$ difference matrix. Also, an error in \cite{ACD} for $n=45$ will be corrected.