Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Arithmetic non-very generic arrangements
Published
• View Publication
• BIB
A discriminantal hyperplane arrangement B(n,k,A) is constructed from a given (generic) hyperplane arrangement A, which is classified as either very generic or non-very generic depending on the combinatorial structure of B(n,k,A). In particular, A is considered non-very generic if the intersection lattice of B(n,k,A) contains at least one non-very generic intersection -- that is, an intersection that fails to satisfy a specific rank condition established by Athanasiadis in [1]. In this paper, we present arithmetic criteria characterizing non-very generic intersections in discriminantal arrangements and we complete and correct a previous result by Libgober and the third author concerning rank-two intersections in such arrangements.
Joint equidistributions of mesh patterns 123 and 132 with minus antipodal shadings
Published
• View Publication
• BIB
The study of joint equidistributions of mesh patterns 123 and 132 with the same symmetric shadings was recently initiated by Kitaev and Lv, where 75 of 80 potential joint equidistributions were proven. In this paper, we prove 112 out of 126 potential joint equidistributions of mesh patterns 123 and 132 with the same minus antipodal shadings. As a byproduct, we present 562 joint equidistribution results for non-symmetric and non-minus-antipodal shadings. To achieve this, we construct bijections, find recurrence relations, and obtain generating functions. Moreover, we demonstrate that the joint distributions of several pairs of mesh patterns are related to the unsigned Stirling numbers of the first kind.
Rises for Measuring Local Distributivity in Lattices
Published
• View Publication
• BIB
Distributivity is a well-established and extensively studied notion in lattice theory. In the context of data analysis, particularly within Formal Concept Analysis (FCA), lattices are often observed to exhibit a high degree of distributivity. However, no standardized measure exists to quantify this property. In this paper, we introduce the notion of rises in (concept) lattices as a means to assess distributivity. Rises capture how the number of attributes or objects in covering concepts change within the concept lattice. We show that a lattice is distributive if and only if no non-unit rises occur. Furthermore, we relate rises to the classical notion of meet- and join distributivity. We observe that concept lattices from real-world data are to a high degree join-distributive, but much less meet-distributive. We additionally study how join-distributivity manifests on the level of ordered sets.
Efficient Algorithms for Learning and Compressing Monophonic Halfspaces in Graphs
Abstract notions of convexity over the vertices of a graph, and corresponding notions of halfspaces, have recently gained attention from the machine learning community. In this work we study monophonic halfspaces, a notion of graph halfspaces defined through closure under induced paths. Our main result is a $2$-satisfiability based decomposition theorem, which allows one to represent monophonic halfspaces as a disjoint union of certain vertex subsets. Using this decomposition, we achieve efficient and (nearly) optimal algorithms for various learning problems, such as teaching, active, and online learning. Most notably, we obtain a polynomial-time algorithm for empirical risk minimization. Independently of the decomposition theorem, we obtain an efficient, stable, and proper sample compression scheme. This makes monophonic halfspaces efficiently learnable with proper learners and linear error rate $1/\varepsilon$ in the realizable PAC setting. Our results answer open questions from the literature, and show a stark contrast with geodesic halfspaces, for which most of the said learning problems are NP-hard.
A dichotomy law for certain classes of phylogenetic networks
Published
• View Publication
• BIB
Many classes of phylogenetic networks have been proposed in the literature. A feature of several of these classes is that if one restricts a network in the class to a subset of its leaves, then the resulting network may no longer lie within this class. This has implications for their biological applicability, since some species -- which are the leaves of an underlying evolutionary network -- may be missing (e.g., they may have become extinct, or there are no data available for them) or we may simply wish to focus attention on a subset of the species. On the other hand, certain classes of networks are `closed' when we restrict to subsets of leaves, such as (i) the classes of all phylogenetic networks or all phylogenetic trees; (ii) the classes of galled networks, simplicial networks, galled trees; and (iii) the classes of networks that have some parameter that is monotone-under-leaf-subsampling (e.g., the number of reticulations, height, etc.) bounded by some fixed value. It is easily shown that a closed subclass of phylogenetic trees is either all trees or a vanishingly small proportion of them (as the number of leaves grows). In this short paper, we explore whether this dichotomy phenomenon holds for other classes of phylogenetic networks, and their subclasses.
Prime graphical parking functions and strongly recurrent configurations of the Abelian sandpile model
This work investigates the duality between two discrete dynamical processes: parking functions, and the Abelian sandpile model (ASM). Specifically, we are interested in the extension of classical parking functions, called $G$-parking functions, introduced by Postnikov and Shapiro in 2004. $G$-parking functions are in bijection with recurrent configurations of the ASM on $G$. In this work, we define a notion of prime $G$-parking functions. These are parking functions that are in a sense "indecomposable". Our notion extends the concept of primeness for classical parking functions, as well as the notion of prime $(p,q)$-parking functions introduced by Armon et al. in recent work. We show that from the ASM perspective, prime $G$-parking functions correspond to certain configurations of the ASM, which we call strongly recurrent. We study this new connection on a number of graph families, including wheel graphs, complete graphs, complete multi-partite graphs, and complete split graphs.
An acyclic $d$-partition of the $r$-uniform complete hypergraph $K_{rd}^{(r)}$
In this paper we introduce a $d$-partition $\mathcal{E}_d^{(r)}=(Ω_1^{(r,d)}, Ω_2^{(r,d)},\dots, Ω_d^{(r,d)})$ of the $r$-uniform complete hypergraph $K_{rd}^{(r)}$. We prove that $\mathcal{E}_d^{(r)}$ is homogeneous and that each hypergraph $Ω_i^{(r,d)}$ is acyclic (i.e. has zero Betti numbers). As an application, we show that the map $det^{S^r}$ is nontrivial for every $r$, which gives a partial answer to a conjecture from [14].
Relative discrepancy of hypergraphs
Given $k$-uniform hypergraphs $G$ and $H$ on $n$ vertices with densities $p$ and $q$, their relative discrepancy is defined as $\hbox{disc}(G,H)=\max\big||E(G')\cap E(H')|-pq\binom{n}{k}\big|$, where the maximum ranges over all pairs $G',H'$ with $G'\cong G$, $H'\cong H$, and $V(G')=V(H')$. Let $\hbox{bs}(k)$ denote the smallest integer $m \ge 2$ such that any collection of $m$ $k$-uniform hypergraphs on $n$ vertices with moderate densities contains a pair $G,H$ for which $\hbox{disc}(G,H) = Ω(n^{(k+1)/2})$.
In this paper, we answer several questions raised by Bollobás and Scott, providing both upper and lower bounds for $\hbox{bs}(k)$. Consequently, we determine the exact value of $\hbox{bs}(k)$ for $2\le k\le 13$, and show $\hbox{bs}(k)=O(k^{0.525})$, substantially improving the previous bound $\hbox{bs}(k)\le k+1$ due to Bollobás-Scott. The case $k=2$ recovers a result of Bollobás-Scott, which generalises classical theorems of Erdős-Spencer, and Erdős-Goldberg-Pach-Spencer. The case $k=3$ also follows from the results of Bollobás-Scott and Kwan-Sudakov-Tran. Our proof combines linear algebra, Fourier analysis, and extremal hypergraph theory.
An Equivalence Between Erdős's Square Packing Conjecture and the Convergence of an Infinite Series
Let $f(n)$ denote the maximum sum of the side lengths of $n$ non-overlapping squares packed inside a unit square. We prove that $f(n^2+1) = n$ for all positive integers $n$ if and only if the sum $\sum_{k\geq 1}(f(k^2+1)-k)$ converges. We also show that if $f(k^2+1) = k$, for infinitely many positive integers then $f(k^2+1) = k$ for all positive integers.
Characterization of non-singular hyperplanes of $H\left(s,q^2\right)$ in $\mathrm{P G}\left(s, q^2\right)$
Published
• View Publication
• BIB
In this paper, we present a combinatorial characterization of the hyperplanes associated with non-singular hermitian varieties ${H}\left(s, q^2\right)$ in the projective space $\mathrm{PG}\left(s,q^2\right)$ where $s\geq3$ and $q>2$. By analyzing the intersection numbers of hyperplanes with points and co-dimension $2$ subspaces, we establish necessary and sufficient conditions for a hyperplane to be part of the hermitian variety. This approach extends previous characterizations of hermitian varieties based on intersection properties, providing a purely combinatorial method for identifying their hyperplanes.
MacMahon's Double Vision: Partition Diamonds Revisited
Plane partition diamonds were introduced by Andrews, Paule, and Riese (2001) as part of their study of MacMahon's $Ω$-operator in search for integer partition identities. More recently, Dockery, Jameson, Sellers, and Wilson (2024) extended this concept to $d$-fold partition diamonds and found their generating function in a recursive form. We approach $d$-fold partition diamonds via Stanley's (1972) theory of $P$-partitions and give a closed formula for a bivariate generalization of the Dockery--Jameson--Sellers--Wilson generating function; its main ingredient is the Euler--Mahonian polynomial encoding descent statistics of permutations.
Ordered set partition posets
The lattice of partitions of a set and its d-divisible generalization have been much studied for their combinatorial, topological, and representation-theoretic properties. An ordered set partition is a set partition where the subsets are listed in a specific order. Ordered set partitions appear in combinatorics, number theory, permutation polytopes, and the study of coinvariant algebras. The ordered set partitions of {1,\ldots,n} can be partially ordered by refinement and then a unique minimal element attached, resulting in a lattice Omega_n. This lattice has appeared while studying other combinatorial objects, but not as the central focus. The purpose of this paper is to provide the first comprehensive look at Omega_n. In particular, we show that it admits a recursive atom ordering, and study the action of the symmetric group S_n on associated homology groups, looking in particular at the multiplicity of the trivial representation. We also consider the related posets where every block has size either divisible by some fixed d at least 2 or congruent to 1 modulo d. Open problems and avenues for future research are scattered throughout.
Catching Rats in $H$-minor-free Graphs
Published
• View Publication
• BIB
We show that every $H$-minor-free graph that also excludes a $(k \times k)$-grid as a minor has treewidth/branchwidth bounded from above by a function $f(t,k)$ that is linear in $k$ and polynomial in $t := |V(H)|$. Such a result was proven originally by [Demaine & Hajiaghayi, Combinatorica, 2008], where $f$ was indeed linear in $k$. However the dependency in $t$ in this result was non-explicit (and huge). Later, [Kawarabayashi & Kobayashi, JCTB, 2020] showed that this bound can be estimated to be $f(t,k)\in 2^{\mathcal{O}(t\log t)} \cdot k$. Wood recently asked whether $f$ can be pushed further to be polynomial, while maintaining the linearity on $k$. We answer this in a particularly strong sense, by showing that the treewidth/branchwidth of $G$ is in $\mathcal{O}(gk + t^{2304}),$ where $g$ is the Euler genus of $H$. This directly yields $f(t,k)= \mathcal{O}(t^2k + t^{2304})$.
Our methods build on techniques for branchwidth and on new bounds and insights for the Graph Minor Structure Theorem (GMST) due to [Gorsky, Seweryn & Wiederrecht, 2025, arXiv:2504.02532]. In particular, we prove a variant of the GMST that ensures some helpful properties for the minor relation. We further employ our methods to provide approximation algorithms for the treewidth/branchwidth of $H$-minor-free graphs. In particular, for every $\varepsilon > 0$ and every $t$-vertex graph $H$ with Euler genus $g$, we give a $(g + \varepsilon)$-approximation algorithm for the branchwidth of $H$-minor-free graphs running in $2^{\mathsf{poly}(t) / \varepsilon} \cdot \mathsf{poly}(n)$-time. Our algorithms explicitly return either an appropriate branch-decomposition or a grid-minor certifying a negative answer.
Homogeneous Linear Calculus of Order 1 and a $λ$-Taylor Formula
In this paper, a new calculus on sequences is defined. Also, the $λ$-derivative and the $λ$-integration are investigated. The fundamental theorem of $λ$-calculus is included. A suitable function basis for the $λ$-derivative and the $λ$-integral is provided, and various properties of this basis are given. A $λ$-Taylor formula for functions is given.
Non-expansion in polynomial automorphisms of $\mathbb{C}^2$
We treat the higher-dimensional Elekes-Szabó problem in the case of the action of Aut(C^2) on C^2.
Pivot polytopes of products of simplices and shuffles of associahedra
Published in Discrete & Comput. Geom., 76:763-774, 2026
• View Publication
• BIB
We provide a piecewise linear isomorphism from the normal fan of the pivot polytope of a product of simplices to the normal fan of a shuffle of associahedra.
Parameter Identifiability of Linear-Compartmental Mammillary Models
Published
• View Publication
• BIB
Linear compartmental models are a widely used tool for analyzing systems arising in biology, medicine, and more. In such settings, it is essential to know whether model parameters can be recovered from experimental data. This is the identifiability problem. For a class of linear compartmental models with one input and one output, namely, those for which the underlying graph is a bidirected tree, Bortner et al. completely characterized which such models are structurally identifiability, which means that every parameter is generically locally identifiable. Here, we delve deeper, by examining which individual parameters are locally versus globally identifiable. Specifically, we analyze mammillary models, which consist of one central compartment which is connected to all other (peripheral) compartments. For these models, which fall into five infinite families, we determine which individual parameters are locally versus globally identifiable, and we give formulas for some of the globally identifiable parameters in terms of the coefficients of input-output equations. Our proofs rely on a combinatorial formula due to Bortner et al. for these coefficients.
Evasive Random Walks and the Clairvoyant Demon
Published in Random Structures & Algorithms, vol. 20 no. 2 (2002), pp. 239-248
• View Publication
• BIB
A pair of random walks $(R,S)$ on the vertices of a graph $G$ is {\it successful} if two tokens can be scheduled (moving only one token at a time) to travel along $R$ and $S$ without colliding. We consider questions related to P. Winkler's {\it clairvoyant demon problem}, which asks whether for random walks $R$ and $S$ on $G$, $Pr[\ (R,S) \mbox{ is successful }] >0$. We introduce the notion of an {\it evasive} walk on $G$: a walk $S$ so that for a random walk $R$ on $G$, $Pr[\ (R,S) \mbox{ is successful }]>0$. We characterize graphs $G$ having evasive walks, giving explicit constructions on such $G$. On a cycle, we show that with high probability the tokens must collide quickly. Finally we consider two variants of the problem for which, under certain assumptions on the graph $G$, we provide algorithms that schedule $(R,S)$ successfully with positive probability.
Some more constructions of $n-$cycle permutation polynomials
$ n-$cycle permutation polynomials with small n have the advantage that their compositional inverses are efficient in terms of implementation. These permutation polynomials have significant applications in cryptography and coding theory. In this article, we propose criteria for the construction of $ n-$cycle permutation using linearized polynomial $ L(x) $ for larger $ n $. Furthermore, we investigate and generalize certain novel forms of $ n-$cycle permutation polynomials. Finally, we demonstrate our approach by constructing explicit $ n-$cycle permutation of the form $ L(x)+γh(Tr_{q^{m}/q}(x)) $, and $ G(x)+γf(x) $ with a Boolean function $ f(x) $. The polynomial $ x^{d}+γf(x) $ with $ f(x) $ being a Boolean function is shown to be quadruple and quintuple permutation polynomials. Moreover, linear binomial triple-cycle permutation polynomials are constructed.
$s$-almost cross-$t$-intersecting families for finite sets
Published
• View Publication
• BIB
Two families $\mathcal{F}$ and $\mathcal{G}$ of $k$-subsets of an $n$-set are called $s$-almost cross-$t$-intersecting if each member in $\mathcal{F}$ (resp. $\mathcal{G}$) is $t$-disjoint with at most $s$ members in $\mathcal{G}$ (resp. $\mathcal{F}$). In this paper, we characterize the $s$-almost cross-$t$-intersecting families with the maximum product of their sizes. Furthermore, we provide a corresponding stability result after studying the $s$-almost cross-$t$-intersecting families which are not cross-$t$-intersecting.