Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Parametrizing the Grassmannian using pipe dreams
Postnikov gave a parametrization for the totally non-negative Grassmannian using the matroid decomposition and associating a network with \reflectbox{L}-diagrams. Talaska and Williams extend this result to the entire Grassmannian by using the Deodhar decomposition instead of the matroid decomposition, and the networks this time are associated with the generalized versions of \reflectbox{L}-diagrams, which are called Go-diagrams. We provide an alternative parametrization for the Deodhar components, this time constructing a network based on the pipe dreams associated with the Go-diagrams.
This parametrization has several nice properties; for one, it allows us to easily calculate the image of a point under the isomorphism $Gr_{k,n}\simeq Gr_{n-k,n}$. The second feature of this parametrization is that if we write the Plücker coordinates using the Lindstörm-Gessel-Viennot (LGV) lemma in our parametrization, we can associate a pipe dream to each summand, which allows us to reveal additional structure on the summands. Finally, as an application of our parametrization, we describe a case where we can conclude whether one Deodhar component lies inside the closure of another.
A Census of Edge-transitive Surfaces
In this paper, we study edge-transitive surfaces, i.e. triangulated 2-dimensional manifolds whose automorphism groups act transitively on the edges of these triangulated surfaces. We show that there exist four types of edge-transitive surfaces, splitting up further into a total of five sub-types. We exploit our theoretical results to compute a census of edge-transitive surfaces with up to 5000 faces by constructing suitable cycle double covers of edge-transitive cubic graphs.
On certain blocking sets and the minimum weight of the code of generalised polygons
In this paper, we study and characterise certain blocking sets in generalised polygons. This will allow us to derive new results about the minimum weight and minimum weight code words in the code generated by the rows of the incidence matrix of a generalised polygon over a field F.
When Arcs Extend Uniquely: A Higher-Dimensional Generalization of Barlotti's Result
In this short communication, we generalize a classical result of Barlotti concerning the unique extendability of arcs in the projective plane to higher-dimensional projective spaces. Specifically, we show that for integers \( k \ge 3 \), \( s \ge 0 \), and prime power \( q \), any \((n, k + s - 1)\)-arc in PG\((k - 1, q)\) of size \( n = (s+1)(q+1) + k - 3 \) admits a unique extension to a maximal arc, provided \( s + 2 \mid q \) and \( s < q - 2 \). This result extends the classical characterizations of maximal arcs in PG\((2,q)\) and connects naturally to the theory of A$^s$MDS codes. Our findings establish conditions under which linear codes of given dimension and Singleton defect can be uniquely extended to maximal-length projective codes.
Half-Diagrams in Partition Algebras: A Geometric Perspective on Multiplicities
This paper studies the restriction multiplicities of half-diagram modules for the partition algebra and their geometric interpretations. By specializing the Bowman-De Visscher-Orellana formula [BVC, Theorem 4.3] for restriction multiplicities of standard modules in the partition algebra, we compute these multiplicities and provide interpretations in terms of planar triangles and conic sections. Additionally, through the decomposition of half-diagrams, we explain the intrinsic reasons underlying this connection between geometry and algebra.
Multi-scale symmetry analysis in molecular structures
Topological data analysis (TDA), as a relatively recent approach, has demonstrated great potential in capturing the intrinsic and robust structural features of complex data. While persistent homology, as a core tool of TDA, focuses on characterizing geometric shapes and topological structures, the automorphism groups of Vietoris-Rips complexes can capture the structured symmetry features of data. In this work, we propose a multi-scale symmetry analysis approach that leverages persistent automorphism modules to quantify variations in symmetries across scales. By modifying the category of graphs and constructing a suitable functor from the graph category to the category of modules, we ensure that the persistent automorphism module forms a genuine persistence module. Furthermore, we apply this framework to the structural analysis of fullerenes, predicting the stability of 12 fullerene molecules with a competitive correlation coefficient of 0.979.
On (102,000)-avoiding inversion sequences
In this article, we study (102,000)-avoiding inversion sequences with a fixed number of distinct elements. By introducing simple H-paths, we derive the trivariate generating function for these inversion sequences with respect to their length, number of distinct elements, and rank. As consequences, we obtain an explicit formula for the number of (102,000)-avoiding inversion sequences with fixed length and number of distinct elements and we also provide a formula for those with fixed number of distinct elements and rank. In particular, we show that both the number of (102,000)-avoiding inversion sequences with a fixed number of distinct elements whose maximum element occurs exactly once and the number of those whose rank is zero are given by the 3-Fuss-Catalan numbers.
Regions surrounded by circles whose Poincaré-Reeb graphs are trees
Regions in the Euclidean plane surrounded by circles are fundamental geometric and combinatorial objects. Related studies have been done and we cannot explain them precisely, or roughly, well.
We study such regions whose Poincaré-Reeb graphs are trees and investigate the trees obtained by a certain inductive rule from a disk in the plane. The Poincaré-Reeb graph of such a region is a graph whose underlying set is the set of all components of level sets of the restriction of the canonical projection to the closure and whose vertices are points corresponding to the components containing {\it singular} points. Related studies were started by the author, motivated by importance and difficulty of explicit construction of a real algebraic map onto a prescribed closed region in the plane.
On the Asymptotic Palindrome Density of Fibonacci Infinite Words
In this paper, we investigate the combinatorial and density properties of infinite words generated by Fibonacci-type morphisms, focusing on their subword structure, palindrome density, and extremal statistical behaviors. Using the morphism $0 \to 01$, $1 \to 0$, we define a derived ternary word $\mathbb{Y}$ and establish new results relating its density components $\mathrm{dens}(λ,n)$, $\mathrm{dens}(α,n)$, and $\mathrm{dens}(β,n)$, deriving explicit formulae and bounds on their behavior. We further prove a general density theorem for infinite words with paired subwords, showing that the associated palindromic prefix density is bounded above by $\frac{1}{\varphi_1}$, where $\varphi_1 = (1 + \sqrt{5})/2$ is the golden ratio. Our approach connects the structure of Fibonacci and Thue--Morse sequences with precise asymptotic and combinatorial interpretations for the observed densities.
Balanced Domination in Convex Polytopes, Trees, and Grid Graphs
This paper addresses two open questions posed in [27] regarding the balanced domination number in graphs. We show that three new classes of graphs, those of convex polytopes A_n, D_n, and Rn'', are d-balanced. Further, we provide a characterization of d-balancedness for rooted trees with two levels of descendants and prove that each full binary tree is d-balanced. Several results for caterpillar graphs are established. Moreover, we determine and prove the exact balanced domination number for grid graphs. Finally, we conclude by providing several open problems of interest.
Nonexistence of $srg(19,6,1,2)$: Combinatorial Proof
An $srg(19,6,1,2)$ is the graph with the smallest parameter set in the family of strongly regular graphs with parameters $λ=1$ and $μ=2$ for which the respective graph doesn't exist. The proof of that fact is based on algebraic arguments, particularly, on the Integrality Test, the very usefull tool for studying strongly regular graphs. To our best knowledge, there have not been proofs of pure combinatorial nature. In this short paper, we have decided to fill in this gap.
Hamiltonian Subgraphs of Order Seven in $srg(n,k,1,2)$
Strongly regular graphs are highly symmetrical and can be described fully with just a few parameters, yet the existence of many of them is still under the question. In this paper, we continue the study of the famuly of strongly regular graphs with parameters $λ=1$ and $μ=2$ and establish all of their possible Hamiltonian subgraphs of order seven. By doing so we establish the lower and upper bounds for number of 7-gons, or 7-cycles, in such graphs.
Iterative Generation and Generalized Degree Distribution of Higher-Order Fractal Scale-Free Networks
Fractals represent one of the fundamental manifestations of complexity, and fractal networks serve as tools for characterizing and investigating the fractal structures and properties of large-scale systems. Higher-order networks have emerged as a research hotspot due to their ability to express interactions among multiple nodes. This study proposes an iterative generation model for higher-order fractal networks. The iteration is controlled by three parameters: the dimension K of the simplicial complex, the multiplier m, and the iteration count t. The constructed network is a pure simplicial complex. Theoretical analysis using the similarity dimension and experimental verification using the box-counting dimension demonstrate that the generated networks exhibit fractal characteristics. When the multiplier m is large, the generalized degree distribution of the generated networks is characterized by its scale-free nature.
Adaptation and Fine-tuning with TabPFN for Travelling Salesman Problem
Tabular Prior-Data Fitted Network (TabPFN) is a foundation model designed for small to medium-sized tabular data, which has attracted much attention recently. This paper investigates the application of TabPFN in Combinatorial Optimization (CO) problems. The aim is to lessen challenges in time and data-intensive training requirements often observed in using traditional methods including exact and heuristic algorithms, Machine Learning (ML)-based models, to solve CO problems. Proposing possibly the first ever application of TabPFN for such a purpose, we adapt and fine-tune the TabPFN model to solve the Travelling Salesman Problem (TSP), one of the most well-known CO problems. Specifically, we adopt the node-based approach and the node-predicting adaptation strategy to construct the entire TSP route. Our evaluation with varying instance sizes confirms that TabPFN requires minimal training, adapts to TSP using a single sample, performs better generalization across varying TSP instance sizes, and reduces performance degradation. Furthermore, the training process with adaptation and fine-tuning is completed within minutes. The methodology leads to strong solution quality even without post-processing and achieves performance comparable to other models with post-processing refinement. Our findings suggest that the TabPFN model is a promising approach to solve structured and CO problems efficiently under training resource constraints and rapid deployment requirements.
On Maximal Left-Compressed Intersecting Families Generated by a Collection of Subsets of [$n$]
We provide a characterization of maximal left-compressed families based on their generating sets $\mathcal{G}\subseteq 2^{[n]}$. We show that there is a one-to-one correspondence between maximal left-compressed families $\mathcal{A}\subseteq \binom{[n]}{k}$ and principal generating sets. Moreover, we give a complete description of maximal left-compressed intersecting families having exactly two maximal generators. Based on this, for any $X\subseteq [2,n]$, we compare $\mathcal{A}(X)$, where $\mathcal{A}$ is a rank-2 maximal left-compressed intersecting family with exactly two maximal generators, and $\mathcal{S}(X)$, where $\mathcal{S}$ denotes the Star family.
Minimum bounding polytropes for estimation of max-linear Bayesian networks
Max-linear Bayesian networks are recursive max-linear structural equation models represented by an edge weighted directed acyclic graph (DAG). The identifiability and estimation of max-linear Bayesian networks is an intricate issue as Gissibl, Klüppelberg, and Lauritzen have shown. As such, a max-linear Bayesian network is generally unidentifiable and standard likelihood theory cannot be applied. We can associate tropical polyhedra to max-linear Bayesian networks. Using this, we investigate the minimum-ratio estimator proposed by Gissibl, Klüppelberg, and Lauritzen and give insight on the structure of minimal best-case samples for parameter recovery which we describe in terms of set covers of certain triangulations. We also combine previous work on estimating max-linear models from Tran, Buck, and Klüppelberg to apply our geometric approach to the structural inference of max-linear models. This is tested extensively on simulated data and on real world data set, the NHANES report for 2015--2016 and the upper Danube network data.
On the Anti-Ramsey Number Under Edge Deletion
According to a study by Erdős et al. in 1975, the anti-Ramsey number of a graph \(G\), denoted as \(AR(n, G)\), is defined as the maximum number of colors that can be used in an edge-coloring of the complete graph \(K_n\) without creating a rainbow copy of \(G\). In this paper, we investigate the anti-Ramsey number under edge deletion and demonstrate that both decreasing and unchanging are possible outcomes. For three non-negative integers \(k\), \(t\), and \(n\), let \(G = kP_4 \cup tP_2\). Let \(E'\) be a subset of the edge set \(E(G)\) such that every endpoint of these edges has a degree of two in \(G\). We prove that if one of the conditions (i) \(t \geq k + 1 \geq 2\) and \(n \geq 8k + 2t - 4\); (ii) \(k, t \geq 1\) and \(n = 4k + 2t\); (iii) \(k = 1\), \(t \geq 1\), and \(n \geq 2t + 4\), occurs then the behavior of the anti-Ramsey number remains consistent when the edges in \(E'\) are removed from \(G\), i.e., \(AR(n, G) = AR(n, G - E')\). However, this is not the case when \(k \geq 2\), \(t = 0\), and \(n=4k\). As a result, we calculate \(AR(kP_4 \cup tP_2)\) for the cases: (i) \(t \geq k + 1 \geq 2\) and \(n \geq 8k + 2t - 4\); (ii) \(k, t \geq 1\) and \(n = 4k + 2t\); (iii) \(k = 1\), \(t \geq 0\), and \(n \geq 2t + 4\); (iv) \(k \geq 1\), \(t = 0\), and \(n = 4k\).
Characterizing all $K_4$-free well-edge-dominated graphs of girth 3
Given a graph $G$, a set $F$ of edges is an edge dominating set if all edges in $G$ are either in $F$ or adjacent to an edge in $F$. $G$ is said to be well-edge-dominated if every minimal edge dominating set is also minimum. In 2022, it was proven that there are precisely three nonbipartite, well-edge-dominated graphs with girth at least four. Then in 2025, a characterization of all well-edge-dominated graphs containing exactly one triangle was found. In this paper, we characterize all well-edge-dominated graphs that contain a triangle and yet are $K_4$-free.
Growing Avoiders from the Right: An Operator-Theoretic Approach
(Work in progress) Marcus and Tardos \cite{MarcusTardos2004} proved the Stanley--Wilf conjecture by reducing pattern avoidance to an extremal problem on $0$--$1$ matrices. We give a parallel proof for classical permutation patterns that stays entirely in the ``grow from the right'' world of enumerative combinatorics. A $v$-avoiding permutation is built by right insertion; at each step we keep a pruned family of locations of $(k{-}1)$-partial occurrences of $v$ (the \emph{frontier}), each carrying its forbidden rank interval. The insertion step then induces a nonnegative transfer operator on a doubly weighted $\ell^\infty$ space. A quadratic penalty in the length makes this operator bounded, and a Neumann-series argument on a natural separable predual yields analyticity of the growth series, hence finite exponential growth for $\Av(v)$.
The formulation is completely internal -- we never pass to $0$--$1$ matrices -- and it cleanly separates the pattern-dependent combinatorics of the frontier from a purely operator-theoretic core. In particular, we obtain an abstract ``right-insertion/transfer-operator'' theorem: any system whose frontier grows at most linearly and whose transfer operator satisfies a uniform quadratic length bound has an analytic growth series.
Kontsevich graphs act on Nambu-Poisson brackets, VI. Open problems
Published in Bulgarian Journal of Physics (2025) Vol.52-s1 The 13th International Symposium on Quantum Theory and Symmetries, 90--95
• View Publication
• BIB
Kontsevich's graphs from deformation quantisation allow encoding multi-vectors whose coefficients are differential-polynomial in components of Poisson brackets on finite-dimensional affine manifolds. The calculus of Kontsevich graphs can be made dimension-specific for the class of Nambu--Poisson brackets given by Jacobian determinants. Using the Kontsevich--Nambu micro-graphs in dimensions $d\geqslant 2$, we explore the open problem of (non)triviality for Kontsevich's tetrahedral graph cocycle action on the space of Nambu--Poisson brackets. We detect a conjecturally infinite new set of differential-polynomial identities for Jacobian determinants of arbitrary sizes $d\times d$.