Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Construction of free curves by adding osculating conics to a given cubic curve
Published in International Mathematical Research Notices Vol. 2025(1): Art Id. rnae273, 12 pages (2025)
• View Publication
• BIB
In the present article we construct new families of free and nearly free curves starting from a plane cubic curve $C$ and adding some of its hyperosculating conics. We present results that involve nodal cubic curves and the Fermat cubic. In addition, we provide new insight into the geometry of the $27$ hyperosculating conics of the Fermat cubic curve using well-chosen group actions.
Discovering product and coproduct Rules for Bases of ${\textsf {QSym}}_F$ through Supercharacters
In this paper, we establish product and coproduct rules for three bases of the Hopf algebra $\textsf{QSym}_F$ of quasisymmetric functions over $F$, with $F$ being either $\mathbb{C}(q,t)$ or $\mathbb{C}(q)$. These results are derived through the categorizations of $\textsf{QSym}_{\mathbb{C}}$ obtained by utilizing the normal lattice supercharacter theories. Firstly, we deal with a basis $\{\mathcal{D}_α(q,t) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q,t)}$, where $\textsf{Comp}$ denotes the set of all compositions. This basis is obtained from the direct sum of specific supercharacter function spaces and consists of superclass identifier functions. Upon appropriate specializations of $q$ and $t$, it yields notable bases of $\textsf{QSym}_{\mathbb{C}}$ and $\textsf{QSym}_{\mathbb{C}(q)}$, including enriched $q$-monomial quasisymmetric functions introduced by Grinberg and Vassilieva. Secondly, we deal with the basis $\{G_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $G_α(q)$ represents the quasisymmetric Hall-Littlewood function introduced by Hivert. Our product rule is new, whereas our coproduct rule turns out to be equivalent to the existing coproduct rule of Hivert. Finally, we consider a basis $\{M_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $M_α(q)$ is a $q$-analogue of the monomial quasisymmetric function.
Alternating patterns in commutator monomials
Considering commutator monomials of the non-commutative associative variables $X_1,\ldots,X_n$; we determine the maximal possible number of alternating associative monomials in their noncommutative polynomial expansions. This is achieved by replacing generating functions with polytope sequences, which turn out to be finitely generated in some sense.
Non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$
Published
• View Publication
• BIB
In this paper, we classify non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$. This is progress towards what is hoped to be an eventual complete classification of distance-regular graphs with smallest eigenvalue at least $-3$, analogous to existing classification results available in the case that the smallest eigenvalue is at least $-2$.
The Chromatic Number of Kneser Hypergraphs via Consensus Division
Published
• View Publication
• BIB
We show that the Consensus Division theorem implies lower bounds on the chromatic number of Kneser hypergraphs, offering a novel proof for a result of Alon, Frankl, and Lovász (Trans. Amer. Math. Soc., 1986) and for its generalization by Kříž (Trans. Amer. Math. Soc., 1992). Our approach is applied to study the computational complexity of the total search problem Kneser$^p$, which given a succinct representation of a coloring of a $p$-uniform Kneser hypergraph with fewer colors than its chromatic number, asks to find a monochromatic hyperedge. We prove that for every prime $p$, the Kneser$^p$ problem with an extended access to the input coloring is efficiently reducible to a quite weak approximation of the Consensus Division problem with $p$ shares. In particular, for $p=2$, the problem is efficiently reducible to any non-trivial approximation of the Consensus Halving problem on normalized monotone functions. We further show that for every prime $p$, the Kneser$^p$ problem lies in the complexity class $\mathsf{PPA}$-$p$. As an application, we establish limitations on the complexity of the Kneser$^p$ problem, restricted to colorings with a bounded number of colors.
A necessary and sufficient condition for the existence of a properly coloured $f$-factor in an edge-coloured graph
The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the $f$-factor theorem given by Tutte in 1954. An alternative statement, analogous to the original $f$-factor theorem, is also given. We show that our theorem generalises the $f$-factor theorem; that is, the former implies the latter. We consider other properties of edge-coloured graphs, and show that similar results are unlikely for $f$-factors with rainbow components and distance-$d$-coloured $f$-factors, even when $d=2$ and the number of colours used is asymptotically minimal.
On a conjecture of Feigin, Wang and Yoshinaga
We settled a conjecture of Feigin, Wang and Yoshinaga, appeared in the preprint "Integral expressions for derivations of multiarrangements" (arXiv: 2309.01287v2).
On the Crazy Knight's Tour Problem
Heffter arrays are partially filled arrays that have been introduced in [1] as a tool to construct regular embeddings of graphs on surfaces. These constructions can be achieved from the solution of a tour problem on the filled cells of the array, introduced in [3] and called Crazy Knight's Tour Problem. In particular, the knight's move is seen as the composition of an horizontal move and a vertical one, where the directions (leftward or rightward, upward or downward respectively) are prescribed in advance for each row and each column of the array and each filled cell is mapped to the first filled cell encountered along that direction. Then, a solution to the Crazy Knight's Tour Problem is a set of directions such that the resulting move function is a tour over the array. Here, we consider a particular class of square arrays, and we construct solutions to the tour problem in some infinite families of these arrays.
From Trees to Polynomials and Back Again: New Capacity Bounds with Applications to TSP
We give simply exponential lower bounds on the probabilities of a given strongly Rayleigh distribution, depending only on its expectation. This resolves a weak version of a problem left open by Karlin-Klein-Oveis Gharan in their recent breakthrough work on metric TSP, and this resolution leads to a minor improvement of their approximation factor for metric TSP. Our results also allow for a more streamlined analysis of the algorithm.
To achieve these new bounds, we build upon the work of Gurvits-Leake on the use of the productization technique for bounding the capacity of a real stable polynomial. This technique allows one to reduce certain inequalities for real stable polynomials to products of affine linear forms, which have an underlying matrix structure. In this paper, we push this technique further by characterizing the worst-case polynomials via bipartitioned forests. This rigid combinatorial structure yields a clean induction argument, which implies our stronger bounds.
In general, we believe the results of this paper will lead to further improvement and simplification of the analysis of various combinatorial and probabilistic bounds and algorithms.
Majority dynamics on random graphs: the multiple states case
Published
• View Publication
• BIB
We study the evolution of majority dynamics with more than two states on the binomial random graph $G(n,p)$. In this process, each vertex has a state in $\{1,\ldots, k\}$, with $k\geq 3$, and at each round every vertex adopts state $i$ if it has more neighbours in state $i$ that in any other state. Ties are resolved randomly. We show that with high probability the process reaches unanimity in at most three rounds, if $np\gg n^{2/3}$.
The least eigenvalues of integral circulant graphs
The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$, where vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, with $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. In this paper, we establish that the minimal value of the least eigenvalues (minimal least eigenvalue) of integral circulant graphs $ICG_n(D)$, given an order $n$ with its prime factorization $p_1^{α_1}\cdots p_k^{α_k}$, is equal to $-\frac{n}{p_1}$. Moreover, we show that the minimal least eigenvalue of connected integral circulant graphs $ICG_n(D)$ of order $n$ whose complements are also connected is equal to $-\frac{n}{p_1}+p_1^{α_1-1}$. Finally, we determine the second minimal eigenvalue among all least eigenvalues within the class of connected integral circulant graphs of a prescribed order $n$ and show it to be equal to $-\frac{n}{p_1}+p_1-1$ or $-\frac{n}{p_1}+1$, depending on whether $α_1>1$ or not, respectively. In all the aforementioned tasks, we provide a complete characterization of graphs whose spectra contain these determined minimal least eigenvalues.
A Local Limit Theorem for Integer Partitions into Small Powers
The investigation of partitions of integers plays an important role in combinatorics and number theory. Among the many variations, partitions into powers $0<α<1$ were of recent interest. In the present paper we want to extend our considerations of the length of a random partition by providing a local limit theorem.
Minimal skew semistandard tableaux and the Hillman--Grassl correspondence
Published
• View Publication
• BIB
Standard tableaux of skew shape are fundamental objects in enumerative and algebraic combinatorics and no product formula for the number is known. In 2014, Naruse gave a formula (NHLF) as a positive sum over excited diagrams of products of hook-lengths. Subsequently, Morales, Pak, and Panova gave a $q$-analogue of this formula in terms of skew semistandard tableaux (SSYT). They also showed, partly algebraically, that the Hillman--Grassl map, restricted to skew semistandard tableaux, is behind their $q$-analogue. We study the problem of circumventing the algebraic part and proving the bijection completely combinatorially, which we do for border strips. For a skew shape, we define minimal semistandard Young tableaux, that are in correspondence with excited diagrams via a new description of the Hillman--Grassl bijection and have an analogue of excited moves. Lastly, we relate the minimal skew SSYT with the terms of the Okounkov-Olshanski formula (OOF) for counting standard tableaux of skew shape. Our construction immediately implies that the summands in the NHLF are less than the summands in the OOF and we characterize the shapes where both formulas have the same number of summands.
Multimatroids and rational curves with cyclic action
Published
• View Publication
• BIB
We study the connection between multimatroids and moduli spaces of rational curves with cyclic action. Multimatroids are generalizations of matroids and delta-matroids introduced by Bouchet, which naturally arise in topological graph theory. The vantage point of moduli of curves provides a tropical framework for studying multimatroids, generalizing the previous connection between type-A permutohedral varieties (Losev--Manin moduli spaces) and matroids, and the connection between type-B permutohedral varieties (Batyrev--Blume moduli spaces) and delta-matroids. Specifically, we equate a combinatorial nef cone of the moduli space with the space of $\mathbb{R}$-multimatroids, a slight generalization of multimatroids, and we introduce the independence polytopal complex of a multimatroid, whose volume is identified with an intersection number on the moduli space. As an application, for the generating set of the Chow ring of the moduli space consisting of all psi-classes and their pullbacks along certain forgetful maps, we give a combinatorial formula for their intersection numbers by relating to the volumes of independence polytopal complexes of multimatroids.
Connectivity threshold for superpositions of Bernoulli random graphs. II
Published
• View Publication
• BIB
Let $G_1,\dots, G_m$ be independent Bernoulli random subgraphs of the complete graph ${\cal K}_n$ having variable sizes $X_1,\dots, X_m\in \{0,1,2,\dots\}$ and densities $Q_1,\dots, Q_m\in [0,1]$. Letting $n,m\to+\infty$ we establish the connectivity threshold for the union $\cup_{i=1}^mG_i$ defined on the vertex set of ${\cal K}_n$. Assuming that $(X_1,Q_1), (X_2,Q_2),\dots, (X_m,Q_m)$ are independent identically distributed bivariate random variables and $\ln n -\frac{m}{n}E\bigl(X_1(1-(1-Q_1)^{|X_1-1|}\bigr)\to c$ we show that $P\{\cup_{i=1}^mG_i$ is connected$\}\to e^{-e^c}$.The result extends to the case of non-identically distributed random variables $(X_1,Q_1),\dots, (X_m,Q_m)$ as well.
Phylogenetic trees defined by at most three characters
Published
• View Publication
• BIB
In evolutionary biology, phylogenetic trees are commonly inferred from a set of characters (partitions) of a collection of biological entities (e.g., species or individuals in a population). Such characters naturally arise from molecular sequences or morphological data. Interestingly, it has been known for some time that any binary phylogenetic tree can be (convexly) defined by a set of at most four characters, and that there are binary phylogenetic trees for which three characters are not enough. Thus, it is of interest to characterise those phylogenetic trees that are defined by a set of at most three characters. In this paper, we provide such a characterisation, in particular proving that a binary phylogenetic tree $T$ is defined by a set of at most three characters precisely if $T$ has no internal subtree isomorphic to a certain tree.
The Structure of Metrizable Graphs
Published
• View Publication
• BIB
A consistent path system in a graph $G$ is an intersection-closed collection of paths, with exactly one path between any two vertices in $G$. We call $G$ metrizable if every consistent path system in it is the system of geodesic paths defined by assigning some positive lengths to its edges. We show that metrizable graphs are, in essence, subdivisions of a small family of basic graphs with additional compliant edges. In particular, we show that every metrizable graph with 11 vertices or more is outerplanar plus one vertex.
Noncommutative invariants of dihedral groups
Published
• View Publication
• BIB
We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case, when the algebra of invariants is not finitely generated, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra of the invariants in the polynomial algebra in two variables. In both associative and Lie cases we compute the Hilbert series of the algebras of invariants.
The subdivision of hypergraphs
Hypergraphs, as a generalization of simplicial complexes, have long been a subject of interest in their geometric interpretation. The subdivision of simplicial complexes can, to some extent, provide insights into the geometry of simplicial complexes. In this paper, we introduce the concept of the subdivision of hypergraphs. Notably, the subdivision of hypergraphs can be reduced to the subdivision of simplicial complexes. Moreover, we prove that the subdivision of hypergraphs has the topological invariance with respect to the embedded homology.
Tight lower bound on $|A+λA|$ for algebraic integer $λ$
We prove an asymptotically tight lower bound on $|A+λA|$ for $A\subset \mathbb{C}$ and algebraic integer $λ$. The proof combines strong version of Freiman's theorem, structural theorem on dense subsets of a hypercubic lattice and a generalisation of the continuous result on tight bound for the measure of $K+τK$ for a compact subset $K\subset \mathbb{R}^d$ of unit Lebesgue measure and a fixed linear operator $τ\colon\mathbb{R}^d\to \mathbb{R}^d$, obtained in our previous work.