Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Two-count interval representation of a permutation
The interval count problem, a classical question in the study of interval orders, was introduced by Ronald Graham in the 1980s. This problem asks: given an interval order $P$, what is the minimum number of distinct interval lengths required to construct an interval representation of $P$? Interval orders that can be represented with just one interval length are known as semiorders, and their characterizations are well known. However, the characterization of interval orders that require at most $k$ interval lengths -- termed $k$-count interval orders -- remains an open and challenging problem for $k\geq 2$.
Our investigation into $2$-count interval orders led us naturally to consider a related problem, interval representations of permutations, which we introduce in this paper. Specifically, we characterize permutations that have a $2$-count interval representation. We prove that a permutation admits a $2$-count interval representation if and only if its longest decreasing subsequences have length at most $2$. For larger values of $k$, however, a similar characterization does not hold. There are permutations that do not permit a $3$-count interval representation despite having decreasing subsequences of length at most $3$. Characterizing $k$-count permutations remains open for $k \geq 3$.
The $k$-count permutation representation problem appears to capture essential aspects of the broader problem of characterizing $k$-count interval orders. To support this connection, we apply our findings on interval representations of permutations to demonstrate that a height-$3$ interval order is $2$-count if and only if it has depth at most $2$, where the depth of an interval order refers to the length of the longest nested chain of intervals required in any interval representation of the order.
Generalizations of Scott's inequality and Pick's formula to rational polygons
We prove a sharp upper bound on the number of boundary lattice points of a rational polygon in terms of its denominator and the number of interior lattice points, generalizing Scott's inequality. We then give sharp lower and upper bounds on the area in terms of the denominator, the number of interior lattice points, and the number of boundary lattice points, which can be seen as a generalization of Pick's formula. Minimizers and maximizers are described in detail. As an application, we derive bounds for the coefficients of Ehrhart quasipolymials of half-integral polygons.
Generic pipe dreams, lower-upper varieties, and Schwartz-MacPherson classes
We recall the lower-upper varieties from [Knutson '05] and give a formula for their equivariant cohomology classes, as a sum over generic pipe dreams. We recover as limits the classic and bumpless pipe dream formulae for double Schubert polynomials. As a byproduct, we obtain a formula for the degree of the $n$th commuting variety as a sum of powers of 2. Generic pipe dreams also appear in the Segre-Schwarz-MacPherson analogue of the AJS/Billey formula, and when computing the Chern-Schwarz-MacPherson class of the orbit $B_- w B_+ \subseteq Mat_{k\times n}$ or of a double Bruhat cell $B_-u B_+ \cap B_+ v B_-$.
Wronski Pairs of Honeycomb Curves
Published
• View Publication
• BIB
We study certain generic systems of real polynomial equations associated with triangulations of convex polytopes and investigate their number of real solutions. Our main focus is set on pairs of plane algebraic curves which form a so-called Wronski system. The computational tasks arising in the analysis of such Wronski pairs lead us to the frontiers of current computer algebra algorithms and their implementations, both via Gröbner bases and numerical algebraic geometry.
Helly Number, Radon Number and Rank in $Δ$-Convexity on Graphs
Published
• View Publication
• BIB
This article discusses $Δ$-convexity on simple connected graphs. We establish general bounds for the Helly number, Radon number, and rank with respect to $Δ$-convexity on graphs. Additionally, we give the exact values for the Helly number and Radon number for chordal graphs, as well as the rank for block graphs.
Finding Permutiples of a Known Base and Multiplier
Natural numbers which are nontrivial multiples of some permutation of their base-$b$ digit representations are called permutiples. Specific cases include numbers which are multiples of cyclic permutations (cyclic numbers) and reversals of their digits (palintiples). Previous efforts have produced methods which construct new examples of permutiples with the same set of digits as a known example. Using simple graph-theoretical and finite-state machine constructions, we advance previous work by describing two methods for finding permutiples of a known base and multiplier with no need for known examples or prior knowledge of digits.
Identifiability of directed-cycle and catenary linear compartment models
Published
• View Publication
• BIB
A parameter of a mathematical model is structurally identifiable if it can be determined from noiseless experimental data. Here, we examine the identifiability properties of two important classes of linear compartmental models: directed-cycle models and catenary models (models for which the underlying graph is a directed cycle or a bidirected path, respectively). Our main result is a complete characterization of the directed-cycle models for which every parameter is (generically locally) identifiable. Additionally, for catenary models, we give a formula for their input-output equations. Such equations are used to analyze identifiability, so we expect our formula to support future analyses into the identifiability of catenary models. Our proofs rely on prior results on input-output equations, and we also use techniques from linear algebra and graph theory.
Bijectivizing the PT-DT Correspondence
Published
• View Publication
• BIB
Pandharipande-Thomas theory and Donaldson-Thomas theory (PT and DT) are two branches of enumerative geometry in which particular generating functions arise that count plane-partition-like objects. That these generating functions differ only by a factor of MacMahon's function was proven recursively by Jenne, Webb, and Young using the double dimer model. We bijectivize two special cases of the result by formulating these generating functions using vertex operators and applying a particular type of local involution known as a toggle, first introduced in the form we use by Pak.
Completing partial $k$-star designs
Published
• View Publication
• BIB
A $k$-star is a complete bipartite graph $K_{1,k}$. A partial $k$-star design of order $n$ is a pair $(V,\mathcal{A})$ where $V$ is a set of $n$ vertices and $\mathcal{A}$ is a set of edge-disjoint $k$-stars whose vertex sets are subsets of $V$. If each edge of the complete graph with vertex set $V$ is in some star in $\mathcal{A}$, then $(V,\mathcal{A})$ is a (complete) $k$-star design. We say that $(V,\mathcal{A})$ is completable if there is a $k$-star design $(V,\mathcal{B})$ such that $\mathcal{A} \subseteq \mathcal{B}$. In this paper we determine, for all $k$ and $n$, the minimum number of stars in an uncompletable partial $k$-star design of order $n$.
Which $L$-cospectral graphs have same degree sequences
Published
• View Publication
• BIB
Let $λ_{i}(G)$ be the $i$-th largest Laplacian eigenvalues of graph $G$, where $1\le i\le |V(G)|$. Liu, Yuan, You and Chen [Discrete Math., 341 (2018) 2969--2976] raised the problem for ``Which cospectral graphs have same degree sequences". In this paper, let $W_3$ and $W_5$ be the two graphs as shown in Fig. 2 and let $G$ be a connected graph with $n\ge 18$ vertices. We shall show that:
$(1)$ If $λ_{2}(G)<5<n-1<λ_{1}(G)$, $λ_{1}(G) \notin \{λ_{1}(W_3),λ_{1}(W_5)\}$ and $H$ is Laplacian cospectral with $G$, then $H$ must have the same degree sequence with $G$;
$(2)$ If $λ_2(G)\le 4.7<n-2< λ_1(G)$, and $H$ is Laplacian cospectral with $G$, then $H$ must have the same degree sequence with $G$.
The former result easily leads to the unique theorem result of [Discrete Math., 308 (2008) 4267--4271], that is: Every multi-fan graph $K_1\vee (P_{l_1}\cup P_{l_1}\cup\cdots \cup P_{l_t})$ is determined by the Laplacian spectrum. Moreover, it can also deduce a new conclusion: $K_1\vee (P_{l_1}\cup P_{l_1}\cup\cdots \cup P_{l_t}\cup C_{s_1}\cup C_{s_2}\cup\cdots \cup C_{s_k})$ $(t\ge 1, k\ge 1)$ is determined by the Laplacian spectrum if the graph order $n\ge 18$ and each $s_i$ $(i=1,2,\ldots, k)$ is odd.
Open problems of the 32nd Workshop on Cycles and Colourings
Since its beginnings, every Cycles and Colourings workshop holds one or two open problem sessions; this document contains the problems (together with notes regarding the current state of the art and related bibliography) presented by participants of the 32nd edition of the workshop which took place in Poprad, Slovakia during September 8-13, 2024 (see the workshop webpage https://candc.upjs.sk).
Bounded degree QBF and positional games
Published
• View Publication
• BIB
The study of SAT and its variants has provided numerous NP-complete problems, from which most NP-hardness results were derived. Due to the NP-hardness of SAT, adding constraints to either specify a more precise NP-complete problem or to obtain a tractable one helps better understand the complexity class of several problems. In 1984, Tovey proved that bounded-degree SAT is also NP-complete, thereby providing a tool for performing NP-hardness reductions even with bounded parameters, when the size of the reduction gadget is a function of the variable degree. In this work, we initiate a similar study for QBF, the quantified version of SAT. We prove that, like SAT, the truth value of a maximum degree two quantified formula is polynomial-time computable. However, surprisingly, while the truth value of a 3-regular 3-SAT formula can be decided in polynomial time, it is PSPACE-complete for a 3-regular QBF formula. A direct consequence of these results is that Avoider-Enforcer and Client-Waiter positional games are PSPACE-complete when restricted to bounded-degree hypergraphs. To complete the study, we also show that Maker-Breaker and Maker-Maker positional games are PSPACE-complete for bounded-degree hypergraphs.
Strategies in a misère two-player tree searching game
In this paper, we analyse a misere tree searching game, where players take turns to guess vertices in a tree with a secret `poisoned' vertex. After each turn, the guessed vertex is removed from the tree and the game continues on the component containing the poisoned vertex, and as soon as a player guesses the poisoned vertex, they lose. We describe and prove the solution when the game is played on a path graph, both between two optimal players and between a player who makes their decisions uniformly at random and an opponent who plays to exploit this. We show that, with two perfect players, the solution involves different guessing strategies depending on the value of n modulo 4. We then show that, with a random and an exploitative player, the probability that the exploitative player wins approaches a constant (approximately 0.599) as n increases, and that the vertices one away from the leaves of the path are always optimal guesses for them. We also solve the game played on a star graph, and briefly discuss the possibility for extending the analysis to more general trees.
Explicit constructions of optimal blocking sets and minimal codes
Published
• View Publication
• BIB
A strong $s$-blocking set in a projective space is a set of points that intersects each codimension-$s$ subspace in a spanning set of the subspace. We present an explicit construction of such sets in a $(k - 1)$-dimensional projective space over $\mathbb{F}_q$ of size $O_s(q^s k)$, which is optimal up to the constant factor depending on $s$. This also yields an optimal explicit construction of affine blocking sets in $\mathbb{F}_q^k$ with respect to codimension-$(s+1)$ affine subspaces, and of $s$-minimal codes. Our approach is motivated by a recent construction of Alon, Bishnoi, Das, and Neri of strong $1$-blocking sets, which uses expander graphs with a carefully chosen set of vectors as their vertex set. The main novelty of our work lies in constructing specific hypergraphs on top of these expander graphs, where tree-like configurations correspond to strong $s$-blocking sets. We also discuss some connections to size-Ramsey numbers of hypergraphs, which might be of independent interest.
Some Thoughts on Graph Similarity
Published
• View Publication
• BIB
We give an overview of different approaches to measuring the similarity of, or the distance between, two graphs, highlighting connections between these approaches. We also discuss the complexity of computing the distances.
Insights from a workshop on gamification of research in mathematics and computer science
Can outreach inspire and lead to research and vice versa? In this work, we introduce our approach to the gamification of research in mathematics and computer science through three illustrative examples. We discuss our primary motivations and provide insights into what makes our proposed gamification effective for three research topics in discrete and computational geometry and topology: (1) DominatriX, an art gallery problem involving polyominoes with rooks and queens; (2) Cubical Sliding Puzzles, an exploration of the discrete configuration spaces of sliding puzzles on the $d$-cube with topological obstructions; and (3) The Fence Challenge, a participatory isoperimetric problem based on polyforms. Additionally, we report on the collaborative development of the game Le Carré du Diable, inspired by The Fence Challenge and created during the workshop Let's talk about outreach!, held in October 2022 in Les Diablerets, Switzerland. All of our outreach encounters and creations are designed and curated with an inclusive culture and a strong commitment to welcoming the most diverse audience possible.
Gröbner bases, resolutions, and the Lefschetz properties for powers of a general linear form in the squarefree algebra
Published
• View Publication
• BIB
For the almost complete intersection ideals $(x_1^2, \dots, x_n^2, (x_1 + \cdots + x_n)^k)$, we compute their reduced Gröbner basis for any term ordering, revealing a combinatorial structure linked to lattice paths, elementary symmetric polynomials, and Catalan numbers. Using this structure, we classify the weak Lefschetz property for these ideals. Additionally, we provide a new proof of the well-known result that the squarefree algebra satisfies the strong Lefschetz property. Finally, we compute the Betti numbers of the initial ideals and construct a minimal free resolution using a Mayer-Vietoris tree approach.
Chevalley Polytopes and Newton-Okounkov Bodies
We construct a family of polytopes, which we call Chevalley polytopes, associated to homogeneous spaces $X=G/P$ in their projective embeddings $X\hookrightarrow \mathbb{P}(V_{\varpi})$ together with a choice of reduced expression for the minimal coset representative $w^P$ of $w_0$ in $W/W_P$. When $X$ is minuscule in its minimal embedding, we describe our construction in terms of order polytopes of minuscule posets and use the associated combinatorics to show that minuscule Chevalley polytopes are Newton-Okounkov bodies for $X$ and that the Plücker coordinates on $X$ form a Khovanskii basis for $\mathbb{C}[X]$. We conjecture similar properties for general $X$ and general embeddings $X\hookrightarrow\mathbb{P}(V_\varpi)$, along with a remarkable decomposition property which we consider as a polytopal shadow of the Littlewood-Richardson rule. We highlight a connection between Chevalley polytopes and string polytopes and give examples where Chevalley polytopes possess better combinatorial properties than string polytopes. We conclude with several examples further illustrating and supporting our conjectures.
Bounds on the connectivity of the independence complexes of hypergraphs
We provide lower bounds on the connectivity of the independence complexes of hypergraphs. Additionally, we compute the homotopy types of the independence complexes of $d$-uniform properly-connected triangulated hypergraphs.
Tropical combinatorics of max-linear Bayesian networks
Published in Journal of Symbolic Computation 134 (2025) 102518
• View Publication
• BIB
A polytrope is a tropical polyhedron that is also classically convex. We study the tropical combinatorial types of polytropes associated to weighted directed acyclic graphs (DAGs). This family of polytropes arises in algebraic statistics when describing the model class of max-linear Bayesian networks. We show how the edge weights of a network directly relate to the facet structure of the corresponding polytrope. We also give a classification of polytropes from weighted DAGs at different levels of equivalence. These results give insight on the statistical problem of identifiability for a max-linear Bayesian network.