Showing 20 papers (Total: 81756 papers, 47371 authors in database)
From affine to barycentric coordinates in polytopes
Published in Banach Center Publications 129 (2025), 185-200
• View Publication
• BIB
Each point of a simplex is expressed as a unique convex combination of the vertices. The coefficients in the combination are the barycentric coordinates of the point. For each point in a general convex polytope, there may be multiple representations, so its barycentric coordinates are not necessarily unique. There are various schemes to fix particular barycentric coordinates: Gibbs, Wachspress, cartographic, etc. In this paper, a method for producing sparse barycentric coordinates in polytopes will be discussed. It uses a purely algebraic treatment of affine spaces and convex sets, with barycentric algebras. The method is based on a certain decomposition of each finite-dimensional convex polytope into a union of simplices of the same dimension.
Self-similarity of Communities of the ABCD Model
Published
• View Publication
• BIB
The Artificial Benchmark for Community Detection (ABCD) graph is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs similar to the well-known LFR model but it is faster and can be investigated analytically.
In this paper, we show that the ABCD model exhibits some interesting self-similar behaviour, namely, the degree distribution of ground-truth communities is asymptotically the same as the degree distribution of the whole graph (appropriately normalized based on their sizes). As a result, we can not only estimate the number of edges induced by each community but also the number of self-loops and multi-edges generated during the process. Understanding these quantities is important as (a) rewiring self-loops and multi-edges to keep the graph simple is an expensive part of the algorithm, and (b) every rewiring causes the underlying configuration models to deviate slightly from uniform simple graphs on their corresponding degree sequences.
The minimum number of peeling sequences of a point set
Published
• View Publication
• BIB
Let $P$ be a set of $n$ points in $\mathbb{R}^d$, in general position. We remove all of them one by one, in each step erasing one vertex of the convex hull of the current remaining set. Let $g_d(P)$ denote the number of different removal orders we can attain while erasing all points of $P$ this way, and let $g_d(n)$ be the \emph{minimum} of $g_d(P)$ over all $n$-element point sets $P\subset \mathbb{R}^d$. Dumitrescu and Tóth showed that $g_d(n)=(d+1)^{(d+1)^2n}$. We substantially improve their bound, by proving that $g_d(n)= O((d+d\ln{(d)})^{(2+\frac{(d-1)}{\lfloor d\ln{d}\rfloor})n})$. It follows that, for any $ε>0$, there exist sufficiently high dimensional point sets $P\subset \mathbb{R}^d$ with $g_d(P)\leq O(d^{(2+ε)n})$. This almost closes the gap between the upper bound and the best-known lower bound $(d+1)^n$ for large values of $d$.
A Correspondence between Chord Diagrams and Families of 0-1 Young Diagrams
A chord diagram is a set of chords in which no pair of chords has a common endvertex. For a chord diagram $E$ having a crossing $S = \{ ac, bd \}$, by the chord expansion of $E$ with respect to $S$, we have two chord diagrams $E_1 = (E\setminus S) \cup \{ ab, cd \}$ and $E_2 = (E\setminus S) \cup \{ da, bc \}$. Starting from a chord diagram $E$, by iterating expansions, we have a binary tree $T$ such that $E$ is a root of $T$ and a multiset of nonintersecting chord diagrams appear in the set of leaves of $T$. The number of leaves, which is not depending on the choice of expansions, is called the chord expansion number of $E$. A $0$-$1$ Young diagram is a Young diagram having a value of $0$ or $1$ for all boxes. This paper shows that the chord expansion number of some type counts the number of $0$-$1$ Young diagrams under some conditions. In particular, it is shown that the chord expansion number of an $n$-crossing, which corresponds to the Euler number, equals the number of $0$-$1$ Young diagrams of shape $(n,n-1,\ldots,1)$ such that each column has at most one $1$ and each row has an even number of $1$'s.
Enumerating families of clusters in type $\tilde{\mathbb{A}}$
Published
• View Publication
• BIB
In this paper, we will place clusters in type $\tilde{\mathbb{A}}$ (equivalently triangluations of an annulus) into infinite families parametrized by winding numbers of certain arcs in the corresponding triangulation. We will count how many such families there are and provide an algebraic description of these families in terms of the corresponding cluster category.
On the size and complexity of scrambles
The scramble number of a graph, a natural generalization of bramble number, is an invariant recently developed to study chip-firing games and graph gonality. We introduce the carton number of a graph, defined to be the minimum size of a maximum order scramble, to study the computational complexity of scramble number. We show that there exist graphs with carton number exponential in the size of the graph, proving that scrambles are not valid NP certificates. We characterize families of graphs whose scramble number and gonality can be constant-factor approximated in polynomial time and show that the disjoint version of scramble number is fixed parameter tractable. Lastly, we find that vertex congestion is an upper bound on screewidth and thus scramble number, leading to a new proof of the best known bound on the treewidth of line graphs and a bound on the scramble number of planar graphs with bounded degree.
Conditions of multiplicity and applications for almost Gorenstein graded rings
Published
• View Publication
• BIB
In this paper, we prove that if Cohen-Macaulay local/graded rings $R_1$, $R_2$ and $R$ satisfy certain conditions regarding multiplicity and Cohen-Macaulay type, then almost Gorenstein property of $R$ implies Gorenstein properties for all of $R_1$, $R_2$ and $R$. We apply our theorem to tensor products of semi-standard graded rings and some classes of affine semigroup rings, i.e., numerical semigroup rings, edge rings and stable set rings.
Cospectrality results for signed graphs with two eigenvalues unequal to $\pm 1$
Published
• View Publication
• BIB
Recently the collection $\cal G$ of all signed graphs for which the adjacency matrix has all but at most two eigenvalues equal to $\pm 1$ has been determined. Here we investigate $\cal G$ for cospectral pairs, and for signed graphs determined by their spectrum (up to switching). If the order is at most 20, the outcome is presented in a clear table. If the spectrum is symmetric we find all signed graphs in $\cal G$ determined by their spectrum, and we obtain all signed graphs cospectral with the bipartite double of the complete graph. In addition we determine all signed graphs cospectral with the Friendship graph $F_\ell$, and show that there is no connected signed graph cospectral but not switching equivalent with $F_\ell$.
Combinatorial decompositions for deformed or decorated classes of maps
Published
• View Publication
• BIB
The perturbative expansion of tensorial field theories in Feynman graphs can be interpreted as weighted generating series of some piecewise linear varieties. This simple fact establishes a link between two a priori distinct fields: the combinatorics of discrete manifolds on one hand and tensorial field theories on the other hand. In this thesis, we study different aspects revolving around this connection between combinatorics and field theory. First, we consider constellations model, which generalize maps and their algebraic properties. This makes them suited to probe the b-deformation, a deformation of the algebra of symmetric functions. We will study the constraints satisfied by the generating series of cubical b-deformed constellations. Second, we analyze the double scaling limit of particular tensor models of order 3. For tensor of order greater than two, the nature of the 1/N-expansion is qualitatively different from the matrix case of order 2. In particular, only the leading order graphs are fully characterized. Despite this fact, it is possible to identify graphs of subleading orders contributing to the double scaling limit by implementing the scheme decomposition for Feynman graphs of these theories. An analysis of the singularity of the schemes then allows us to give a complete characterization of the graphs contributing to the double scaling limit. Finally, we investigate a particular link between a tensor and a vector field theory which both admit a melonic limit. Namely, we will show that we can obtain the vectorial Amit-Roginski model by considering perturbations around a classical solution of the Boulatov model, a tensorial theory. We give sufficient conditions on the classical solution so that the effective action for the perturbation around this solution takes the form of the Amit-Roginski action.
A stability result for Berge-$K_{3,t}$ $r$-graphs and its applications
Published
• View Publication
• BIB
An $r$-uniform hypergraph ($r$-graph) is linear if any two edges intersect at most one vertex. For a graph $F$, a hypergraph $H$ is Berge-$F$ if there is a bijection $φ:E(F)\rightarrow E(H)$ such that $e\subseteq φ(e)$ for all $e$ in $E(F)$. In this paper, a kind of stability result for Berge-$K_{3,t}$ linear $r$-graphs is established. Based on this stability result, an upper bound for the linear Turán number of Berge-$K_{3,t}$ is determined. For an $r$-graph $H$, let $\mathcal{A}(H)$ be the adjacency tensor of $H$. The spectral radius of $H$ is the spectral radius of the tensor $\mathcal{A}(H)$. Some bounds for the maximum spectral radius of connected Berge-$K_{3,t}$-free linear $r$-graphs are obtained.
Composable Constraint Models for Permutation Enumeration
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (January 22, 2025) dmtcs:12620
• View Publication
• BIB
Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is that problems can easily be combined or expanded. In this paper, we illustrate that this versatility makes CP an ideal tool for exploring problems in permutation patterns.
We declaratively define permutation properties, permutation pattern avoidance and containment constraints using CP and show how this allows us to solve a wide range of problems. We show how this approach enables the arbitrary composition of these conditions, and also allows the easy addition of extra conditions. We demonstrate the effectiveness of our techniques by modelling the containment and avoidance of six permutation patterns, eight permutation properties and measuring five statistics on the resulting permutations. In addition to calculating properties and statistics for the generated permutations, we show that arbitrary additional constraints can also be easily and efficiently added.
This approach enables mathematicians to investigate permutation pattern problems in a quick and efficient manner. We demonstrate the utility of constraint programming for permutation patterns by showing how we can easily and efficiently extend the known permutation counts for a conjecture involving the class of $1324$ avoiding permutations. For this problem, we expand the enumeration of $1324$-avoiding permutations with a fixed number of inversions to permutations of length 16 and show for the first time that in the enumeration there is a pattern occurring which follows a unique sequence on the Online Encyclopedia of Integer Sequences.
Calibrated representations of the double Dyck path algebra
The double Dyck path algebra $\mathbb{A}_{q,t}$ and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra $\mathbb{B}_{q,t}$ was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra $\mathbb{B}_{q,t}$. We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.
2-covers of wide Young diagrams
A Young diagram $Y$ is called wide if every sub-diagram $Z$ formed by a subset of the rows of $Y$ dominates $Z'$, the conjugate of $Z$. A Young diagram $Y$ is called Latin if its squares can be assigned numbers so that for each $i$, the $i$th row is filled injectively with the numbers $1, \ldots ,a_i$, where $a_i$ is the length of $i$th row of $Y$, and every column is also filled injectively. A conjecture of Chow and Taylor, publicized by Chow, Fan, Goemans, and Vondrak is that a wide Young diagram is Latin. We prove a dual version of the conjecture.
Some congruences for $3$-core cubic bipartitions
In this paper, we derive certain congruences for the number of $3$-core cubic bipartitions using elementary $q$-series manipulations and dissection formulas.
Uniacute Spherical Codes
Published
• View Publication
• BIB
A spherical $L$-code, where $L \subseteq [-1,\infty)$, consists of unit vectors in $\mathbb{R}^d$ whose pairwise inner products are contained in $L$. Determining the maximum cardinality $N_L(d)$ of an $L$-code in $\mathbb{R}^d$ is a fundamental question in discrete geometry and has been extensively investigated for various choices of $L$. Our understanding in high dimensions is generally quite poor. Equiangular lines, corresponding to $L = \{-α, α\}$, is a rare and notable solved case.
Bukh studied an extension of equiangular lines and showed that $N_L(d) = O_L(d)$ for $L = [-1, -β] \cup \{α\}$ with $α,β> 0$ (we call such $L$-codes "uniacute"), leaving open the question of determining the leading constant factor. Balla, Dräxler, Keevash, and Sudakov proved a "uniform bound" showing $\limsup_{d\to\infty} N_L(d)/d \le 2p$ for $L = [-1, -β] \cup \{α\}$ and $p = \lfloor α/β\rfloor + 1$.
For which $(α,β)$ is this uniform bound tight? We completely answer this question. We develop a framework for studying uniacute codes, including a global structure theorem showing that the Gram matrix has an approximate $p$-block structure. We also formulate a notion of "modular codes," which we conjecture to be optimal in high dimensions.
On Sum Graphs over Some Magmas
Published
• View Publication
• BIB
We consider the notions of sum graph and of relaxed sum graph over a magma, give several examples and results of these families of graphs over some natural magmas. We classify the cycles that are sum graphs for the magma of the subsets of a set with the operation of union, determine the abelian groups that provide a sum labelling of $C_4$, and show that $C_{4\ell}$ is a sum graph over the abelian group $\mathbb{Z}_f\times\mathbb{Z}_f$, where $f=f_{2\ell}$ is the corresponding Fibonacci number. For integral sum graphs, we give a linear upper bound for the radius of matchings, improving Harary's labelling for this family of graphs, and give the exact radius for the family of totally disconnected graphs.
We found integer labellings for the 4D-cube, giving a negative answer to a question of Melnikov and Pyatikin, actually showing that the 4D-cube has infinitely many primitive labellings. We have also obtained some new results on mod sum graphs and relaxed sum graphs. Finally, we show that the direct product operation is closed for strong integral sum graphs.
Vines and MAT-labeled graphs
Published in Forum of Mathematics, Sigma 12 (2024) e128
• View Publication
• BIB
The present paper explores a connection between two concepts arising from different fields of mathematics. The first concept, called vine, is a graphical model for dependent random variables. This concept first appeared in a work of Joe (1994), and the formal definition was given later by Cooke (1997). Vines have nowadays become an active research area whose applications can be found in probability theory and uncertainty analysis. The second concept, called MAT-freeness, is a combinatorial property in the theory of freeness of logarithmic derivation modules of hyperplane arrangements. This concept was first studied by Abe-Barakat-Cuntz-Hoge-Terao (2016), and soon afterwards investigated further by Cuntz-M{ü}cksch (2020).
In the particular case of graphic arrangements, the last two authors (2023) recently proved that the MAT-freeness is completely characterized by the existence of certain edge-labeled graphs, called MAT-labeled graphs. In this paper, we first introduce a poset characterization of a vine, the so-called vine. Then we show that, interestingly, there exists an explicit equivalence between the categories of locally regular vines and MAT-labeled graphs. In particular, we obtain an equivalence between the categories of regular vines and MAT-labeled complete graphs.
Several applications will be mentioned to illustrate the interaction between the two concepts. Notably, we give an affirmative answer to a question of Cuntz-M{ü}cksch that MAT-freeness can be characterized by a generalization of the root poset in the case of graphic arrangements.
Conditions for Virtually Cohen--Macaulay Simplicial Complexes
Published
• View Publication
• BIB
A simplicial complex $Δ$ is a virtually Cohen-Macaulay simplicial complex if its associated Stanley-Reisner ring $S$ has a virtual resolution, as defined by Berkesch, Erman, and Smith, of length ${\rm codim}(S)$. We provide a sufficient condition on $Δ$ to be a virtually Cohen-Macaulay simplicial complex. We also introduce virtually shellable simplicial complexes, a generalization of shellable simplicial complexes. Virtually shellable complexes have the property that they are virtually Cohen-Macaulay, generalizing the well-known fact that shellable simplicial complexes are Cohen-Macaulay.
Zeta Functions for Spherical Tits Buildings of Finite General Linear Groups
Published in Adv. Math. 458 (2024) 109965
• View Publication
• BIB
In this paper, we define edge zeta functions for spherical buildings associated with finite general linear groups. We derive elegant formulas for these zeta functions and reveal patterns of eigenvalues of these buildings, by introducing and applying insightful tools including digraphs X0 and X2, cyclic n-partite graphs, partite-transitive group actions, and Springer's theorem on Hecke algebras.
Asymptotic Log-concavity of Dominant Lower Bruhat Intervals via Brunn--Minkowski Inequality
Björner and Ekedahl [Ann. of Math. (2), 170.2(2009), pp. 799--817] pioneered the study of length-counting sequences associated with parabolic lower Bruhat intervals in crystallographic Coxeter groups. In this paper, we study the asymptotic behavior of these sequences in affine Weyl groups. Let $W$ be an affine Weyl group with corresponding Weyl group $W_f$ and ${}^{f}{W}$ be the set of minimal representatives for the right cosets $W_f \backslash W$. Let $t_λ$ be the translation by a dominant coroot lattice element $λ$ and ${}^{f}{b}_i^{t_λ}$ be the number of elements of length $i$ below $t_λ$ in the Bruhat order on ${}^{f}{W}$. We show that the sequence $({}^{f}{b}_i^{t_λ})_i$ is ''asymptotically log-concave'' in the following sense: The sequence of discrete measures $(\mathfrak{m}_k)_k$ constructed from the $k$-fold dilated sequence $({}^{f}{b}_i^{t_{kλ}})_i$, as $k$ tends to infinity, converges weakly to a continuous measure obtained from a polytope $P^λ$. Moreover, the sequence of step functions $(S_k)_k$ of $({}^{f}{b}_i^{t_{kλ}})_i$ converges uniformly to the density function of this continuous measure. By Brunn--Minkowski inequality, this density is log-concave.