Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Euclidean Gallai-Ramsey Theory
In this paper, we introduce Euclidean Gallai-Ramsey theory, by combining Euclidean Ramsey theory and Gallai-Ramsey theory on graphs. More precisely, we consider the following problem: For an integer $r$ and configurations $K$ and $K'$, does there exist an integer $n_0$ such that for any $r$-coloring of the points of $n$-dimensional Euclidean space with $n \geq n_0$, there is a monochromatic configuration congruent to $K$ or a rainbow configuration congruent to $K'$? In particular, we give a bound on $n_0$ for some configurations $K$ and $K'$, such as triangles and rectangles. Those are extensions of ordinary Euclidean Ramsey theory where the purpose is to find a monochromatic configuration.
Lagrangian densities of some $3$-uniform hypergraphs
Published
• View Publication
• BIB
The Lagrangian density of an $r$-uniform hypergraph $H$ is $r!$ multiplying the supremum of the Lagrangians of all $H$-free $r$-uniform hypergraphs. For an $r$-uniform graph $H$ with $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ with $t$ vertices is $λ$-perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. A theorem of Motzkin and Straus implies that all $2$-uniform graphs are $λ$-perfect. It is interesting to understand what kind of hypergraphs are $λ$-perfect. The property `$λ$-perfect' is monotone in the sense that an $r$-graph obtained by removing an edge from a $λ$-perfect $r$-graph (keep the same vertex set) is $λ$-perfect. It's interesting to understand the relation between the number of edges in a hypergraph and the `$λ$-perfect' property. We propose that the number of edges in a hypergraph no more than the number of edges in a linear hyperpath would guarantee the `$λ$-perfect' property. We show some partial result to support this conjecture. We also give some partial result to support the conjecture that the disjoint union of two $λ$-perfect $r$-uniform hypergraph is $λ$-perfect. We show that the disjoint union of a $λ$-perfect $3$-graph and $S_{2,t}=\{123,124,125,126,...,12(t+2)\}$ is perfect. This result implies the earlier result of Heftz and Keevash, Jiang, Peng and Wu, and several other earlier results.
A two-parameter deformation of the quasi-shuffle\\ and new bases of quasi-symmetric functions
Published
• View Publication
• BIB
We define a two-parameter deformation of the quasi-shuffle by means of the formal group law associated with the
exponential generating function of the homogeneous Eulerian polynomials, and construct bases of $QSym$ and $\WQSym$
whose product rule is given by this operation.
Clubs and their applications
Published
• View Publication
• BIB
Clubs of rank k are well-celebrated objects in finite geometries introduced by Fancsali and Sziklai in 2006. After the connection with a special type of arcs known as KM-arcs, they renewed their interest. This paper aims to study clubs of rank n in PG$(1,q^n)$. We provide a classification result for (n-2)-clubs of rank n, we analyze the $\mathrm{ΓL}(2,q^n)$-equivalence of the known subspaces defining clubs, for some of them the problem is then translated in determining whether or not certain scattered spaces are equivalent. Then we find a polynomial description of the known families of clubs via some linearized polynomials. Then we apply our results to the theory of blocking sets, KM-arcs, polynomials and rank metric codes, obtaining new constructions and classification results.
Tropical computations for toric intersection theory in Macaulay2
Published in J. Softw. Alg. Geom. 14 (2024) 19-29
• View Publication
• BIB
We present the Macaulay2 package TropicalToric.m2 for toric intersection theory computations using tropical geometry.
Reduced submodules of finite dimensional polynomial modules
Published
• View Publication
• BIB
Let $k$ be a field with characteristic zero, $R$ be the ring $k[x_1, \cdots, x_n]$ and $I$ be a monomial ideal of $R$. We study the Artinian local algebra $R/I$ when considered as an $R$-module $M$. We show that the largest reduced submodule of $M$ coincides with both the socle of $M$ and the $k$-submodule of $M$ generated by all outside corner elements of the Young diagram associated with $M$. Interpretations of different reduced modules is given in terms of Macaulay inverse systems. It is further shown that these reduced submodules are examples of modules in a torsion-torsionfree class, together with their duals; coreduced modules, exhibit symmetries in regard to Matlis duality and torsion theories. Lastly, we show that any $R$-module $M$ of the kind described here satisfies the radical formula.
Extremal ternary self-dual codes of length 36 and symmetric 2-(36,15,6) designs with an automorphism of order 2
Published
• View Publication
• BIB
In this note we report the classification of all symmetric 2-(36,15,6) designs that admit an automorphism of order 2 and their incidence matrices generate an extremal ternary self-dual code. It is shown that up to isomorphism, there exists only one such design, having a full automorphism group of order 24, and the ternary code spanned by its incidence matrix is equivalent to the Pless symmetry code.
Total Cut Complexes of Graphs
Published in Discrete Comput. Geom. 73, No. 2, 500-527 (2025)
• View Publication
• BIB
Inspired by work of Fröberg (1990), and Eagon and Reiner (1998), we define the \emph{total $k$-cut complex} of a graph $G$ to be the simplicial complex whose facets are the complements of independent sets of size $k$ in $G$. We study the homotopy types and combinatorial properties of total cut complexes for various families of graphs, including chordal graphs, cycles, bipartite graphs, the prism $K_n \times K_2$, and grid graphs, using techniques from algebraic topology and discrete Morse theory.
The asymptotic number of score sequences
Published in Combinatorica 43, No. 4, 827-844 (2023)
• View Publication
• BIB
A tournament on a graph is an orientation of its edges. The score sequence lists the in-degrees in non-decreasing order. Works by Winston and Kleitman (1983) and Kim and Pittel (2000) showed that the number $S_n$ of score sequences on the complete graph $K_n$ satisfies $S_n=Θ(4^n/n^{5/2})$. By combining a recent recurrence relation for $S_n$ in terms of the Erdős--Ginzburg--Ziv numbers $N_n$ with the limit theory for discrete infinitely divisible distributions, we observe that $n^{5/2}S_n/4^n\to e^λ/2\sqrtπ$, where $λ=\sum_{k=1}^\infty N_k/k4^k$. This limit agrees numerically with the asymptotics of $S_n$ conjectured by Takács (1986). We also identify the asymptotic number of strong score sequences, and show that the number of irreducible subscores in a random score sequence converges in distribution to a shifted negative binomial with parameters $r=2$ and $p=e^{-λ}$.
Perforated Tableaux in Type $A_{n-1}$ Crystal Graphs and the RSK Correspondence
Published
• View Publication
• BIB
We continue work begun in \cite{ptab} which introduced \emph{perforated tableaux} as a combinatorial model for crystals of type $A_{n-1}$, emphasizing connections to the classical Robinson-Schensted-Knuth (RSK) correspondence and Lusztig involutions, and, more generally, exploring the role of insertion schemes in the analysis of crystal graphs. An essential feature of our work is the role of \emph{dual} crystals (\cite{GerberLecouvey,vanLeeuwen}) from which we obtain new results within and beyond the classic RSK theory.
The Image of the Pop Operator on Various Lattices
Published
• View Publication
• BIB
Extending the classical pop-stack sorting map on the lattice given by the right weak order on $S_n$, Defant defined, for any lattice $M$, a map $\mathsf{Pop}_{M}: M \to M$ that sends an element $x\in M$ to the meet of $x$ and the elements covered by $x$. In parallel with the line of studies on the image of the classical pop-stack sorting map, we study $\mathsf{Pop}_{M}(M)$ when $M$ is the weak order of type $B_n$, the Tamari lattice of type $B_n$, the lattice of order ideals of the root poset of type $A_n$, and the lattice of order ideals of the root poset of type $B_n$. In particular, we settle four conjectures proposed by Defant and Williams on the generating function \begin{equation*} \mathsf{Pop}(M; q) = \sum_{b \in \mathsf{Pop}_{M}(M)} q^{|\mathscr{U}_{M}(b)|}, \end{equation*} where $\mathscr{U}_{M}(b)$ is the set of elements of $M$ that cover $b$.
Maxima of spectral radius of irregular graphs with given maximum degree
Let $λ^{*}$ be the maximum spectral radius of connected irregular graphs on $n$ vertices with maximum degree $Δ$. Liu, Shen and Wang (2007) conjectured that $\lim_{n\rightarrow \infty}(n^{2}(Δ-λ^{*}))/(Δ-1)=π^{2},$ which describes the asymptotic behavior for the maximum spectral radius of irregular graphs. Focusing on this conjecture, we consider the maximum spectral radius of connected subcubic bipartite graphs. The unique connected subcubic bipartite graph with the maximum spectral radius is determined. Let $G$ be a $k$-connected irregular graph with spectral radius $λ_{1}(G)$, we present a lower bound for $Δ-λ_{1}(G)$. Moreover, if $H$ is a proper subgraph of a $k$-connected $Δ$-regular graph, a lower bound for $Δ-λ_{1}(H)$ is also obtained. These bounds improve some previous results.
Statistics on clusters and $r$-Stirling permutations
Published
• View Publication
• BIB
The Goulden$\unicode{x2013}$Jackson cluster method, adapted to permutations by Elizalde and Noy, reduces the problem of counting permutations by occurrences of a prescribed consecutive pattern to that of counting clusters, which are special permutations with a lot of structure. Recently, Zhuang found a generalization of the cluster method which specializes to refinements by additional permutation statistics, namely the inverse descent number $\operatorname{ides}$, the inverse peak number $\operatorname{ipk}$, and the inverse left peak number $\operatorname{ilpk}$. Continuing this line of work, we study the enumeration of $2134\cdots m$-clusters by $\operatorname{ides}$, $\operatorname{ipk}$, and $\operatorname{ilpk}$, which allows us to derive formulas for counting permutations by occurrences of the consecutive pattern $2134\cdots m$ jointly with each of these statistics. Analogous results for the pattern $12\cdots (m-2)m(m-1)$ are obtained via symmetry arguments. Along the way, we discover that $2134\cdots (r+1)$-clusters are equinumerous with $r$-Stirling permutations introduced by Gessel and Stanley, and we establish some joint equidistributions between these two families of permutations.
The Field Q and the Equality 0.999 . . . = 1 from Combinatorics of Circular Words and History of Practical Arithmetics
Published
• View Publication
• BIB
We reconsider the classical equality 0.999. .. = 1 with the tool of circular words, that is: finite words whose last letter is assumed to be followed by the first one. Such circular words are naturally embedded with algebraic structures that enlight this problematic equality, allowing it to be considered in Q rather than in R. We comment early history of such structures, that involves English teachers and accountants of the first part of the xviii th century, who appear to be the firsts to assert the equality 0.999. .. = 1. Their level of understanding show links with Dubinsky et al.'s apos theory in mathematics education. Eventually, we rebuilt the field Q from circular words, and provide an original proof of the fact that an algebraic integer is either an integer or an irrational number.
Polynomial invariants for cactuses
Published
• View Publication
• BIB
Graph invariants are a useful tool in graph theory. Not only do they encode useful information about the graphs to which they are associated, but complete invariants can be used to distinguish between non-isomorphic graphs. Polynomial invariants for graphs such as the well-known Tutte polynomial have been studied for several years, and recently there has been interest to also define such invariants for phylogenetic networks, a special type of graph that arises in the area of evolutionary biology. Recently Liu gave a complete invariant for (phylogenetic) trees. However, the polynomial invariants defined thus far for phylogenetic networks that are not trees require vertex labels and either contain a large number of variables, or they have exponentially many terms in the number of reticulations. This can make it difficult to compute these polynomials and to use them to analyse unlabelled networks. In this paper, we shall show how to circumvent some of these difficulties for rooted cactuses and cactuses. As well as being important in other areas such as operations research, rooted cactuses contain some common classes of phylogenetic networks such phylogenetic trees and level-1 networks. More specifically, we define a polynomial $F$ that is a complete invariant for the class of rooted cactuses without vertices of indegree 1 and outdegree 1 that has 5 variables, and a polynomial $Q$ that is a complete invariant for the class of rooted cactuses that has 6 variables \vince{whose degree can be bounded linearly in terms of the size of the rooted cactus}. We also explain how to extend the $Q$ polynomial to define a complete invariant for leaf-labelled rooted cactuses as well as (unrooted) cactuses.
The Generalized Cluster Complex: Refined Enumeration of Faces and Related Parking Spaces
Published in SIGMA 19 (2023), 069, 40 pages
• View Publication
• BIB
The generalized cluster complex was introduced by Fomin and Reading, as a natural extension of the Fomin-Zelevinsky cluster complex coming from finite type cluster algebras. In this work, to each face of this complex we associate a parabolic conjugacy class of the underlying finite Coxeter group. We show that the refined enumeration of faces (respectively, positive faces) according to this data gives an explicit formula in terms of the corresponding characteristic polynomial (equivalently, in terms of Orlik-Solomon exponents). This characteristic polynomial originally comes from the theory of hyperplane arrangements, but it is conveniently defined via the parabolic Burnside ring. This makes a connection with the theory of parking spaces: our results eventually rely on some enumeration of chains of noncrossing partitions that were obtained in this context. The precise relations between the formulas counting faces and the one counting chains of noncrossing partitions are combinatorial reciprocities, generalizing the one between Narayana and Kirkman numbers.
Traversing a graph in general position
Let $G$ be a graph. Assume that to each vertex of a set of vertices $S\subseteq V(G)$ a robot is assigned. At each stage one robot can move to a neighbouring vertex. Then $S$ is a mobile general position set of $G$ if there exists a sequence of moves of the robots such that all the vertices of $G$ are visited whilst maintaining the general position property at all times. The mobile general position number of $G$ is the cardinality of a largest mobile general position set of $G$. In this paper, bounds on the mobile general position number are given and exact values determined for certain common classes of graphs including block graphs, rooted products, unicyclic graphs, Cartesian products, joins of graphs, Kneser graphs $K(n,2)$, and line graphs of complete graphs.
Revisiting Jacobi-Trudi identities via the BGG category $\mathcal{O}$
By interpreting Kostka numbers as tensor product multiplicities in the BGG category O for the special linear Lie algebras, we provide a new proof of the classical Jacobi--Trudi identities for skew Schur polynomials, derived from the celebrated Weyl character formula. We re-establish the Schur positivity of certain truncations in the Jacobi--Trudi expansion of skew Schur polynomials and obtain Schur positivity results for similar truncations in the Jacobi--Trudi-type expansion of the product of two Schur polynomials. Furthermore, we interpret the coefficients in the Schur polynomial expansions of these Jacobi--Trudi truncations as tensor product multiplicities in the BGG category O.
New Spectrally Constrained Sequence Sets with Optimal {Periodic} Cross-Correlation
Published
• View Publication
• BIB
Spectrally constrained sequences (SCSs) play an important role in modern communication and radar systems operating over non-contiguous spectrum. Despite numerous research attempts over the past years, very few works are known on the constructions of optimal SCSs with low cross-correlations. In this paper, we address such a major problem by introducing a unifying framework to construct unimodular SCS families using circular Florentine rectangles (CFRs) and interleaving techniques. By leveraging the uniform power allocation in the frequency domain for all the admissible carriers (a necessary condition for beating the existing periodic correlation lower bound of SCSs), we present a tighter correlation lower bound and show that it is achievable by our proposed SCS families including multiple SCS sets with zero correlation zone properties.
Maker-Breaker is solved in polynomial time on hypergraphs of rank 3
In the Maker-Breaker positional game, Maker and Breaker take turns picking vertices of a hypergraph $H$, and Maker wins if and only if she possesses all the vertices of some edge of $H$. Deciding the outcome (i.e. which player has a winning strategy) is PSPACE-complete even when restricted to 5-uniform hypergraphs (Koepke, 2025). On hypergraphs of rank 3, a structural characterization of the outcome and a polynomial-time algorithm have been obtained for two subcases: one by Kutz (2005), the other by Rahman and Watson (2020) who conjectured that their result should generalize to all hypergraphs of rank 3. We prove this conjecture through a structural characterization of the outcome and a description of both players' optimal strategies, all based on intersections of some key subhypergraph collections, from which we derive a polynomial-time algorithm. Another corollary of our structural result is that, if Maker has a winning strategy on a hypergraph of rank 3, then she can ensure to win the game in a number of rounds that is logarithmic in the number of vertices. Note: This paper provides a counterexample to a similar result which was incorrectly claimed (arXiv:2209.11202, Theorem 22).