Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Symmetric and Pseudo-Symmetric Numerical Semigroups via Young Diagrams and Their Semigroup Rings
This paper studies Young diagrams of symmetric and pseudo-symmetric numerical semigroups and describes new operations on Young diagrams as well as numerical semigroups. These provide new decompositions of symmetric and pseudo-symmetric semigroups into an over semigroup and its dual. It is also given exactly for what kind of numerical semigroup $S$, the semigroup ring $\Bbbk[\![S]\!]$ has at least one Gorenstein subring and has at least one Kunz subring.
On $k$-rainbow domination in middle graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph with vertex set $V(G)$ and edge set $E(G)$. A function $f : V(G) \rightarrow \mathcal{P}(\{1, 2, \dotsc, k\})$ is a \textit{$k$-rainbow dominating function} on $G$ if for each vertex $v \in V(G)$ for which $f(v)= \emptyset$, it holds that $\bigcup_{u \in N(v)}f(u) = \{1, 2, \dotsc, k\}$. The weight of a $k$-rainbow dominating function is the value $\sum_{v \in V(G)}|f(v)|$. The \textit{$k$-rainbow domination number} $γ_{rk}(G)$ is the minimum weight of a $k$-rainbow dominating function on $G$. In this paper, we initiate the study of $k$-rainbow domination numbers in middle graphs. We define the concept of a middle $k$-rainbow dominating function, obtain some bounds related to it and determine the middle $3$-rainbow domination number of some classes of graphs. We also provide upper and lower bounds for the middle $3$-rainbow domination number of trees in terms of the matching number. In addition, we determine the $3$-rainbow domatic number for the middle graph of paths and cycles.
Minimal partitions with a given $s$-core and $t$-core
Published
• View Publication
• BIB
Suppose $s$ and $t$ are coprime positive integers, and let $σ$ be an $s$-core partition and $τ$ a $t$-core partition. In this paper we consider the set $\mathcal P_{σ,τ}(n)$ of partitions of $n$ with $s$-core $σ$ and $t$-core $τ$. We find the smallest $n$ for which this set is non-empty, and show that for this value of $n$ the partitions in $\mathcal P_{σ,τ}(n)$ (which we call $(σ,τ)$-minimal partitions) are in bijection with a certain class of $(0,1)$-matrices with $s$ rows and $t$ columns.
We then use these results in considering conjugate partitions: we determine exactly when the set $\mathcal P_{σ,τ}(n)$ consists of a conjugate pair of partitions, and when $\mathcal P_{σ,τ}(n)$ contains a unique self-conjugate partition.
Complete quadrics: Schubert calculus for Gaussian models and semidefinite programming
Published
• View Publication
• BIB
We establish connections between: the maximum likelihood degree (ML-degree) for linear concentration models, the algebraic degree of semidefinite programming (SDP), and Schubert calculus for complete quadrics. We prove a conjecture by Sturmfels and Uhler on the polynomiality of the ML-degree. We also prove a conjecture by Nie, Ranestad and Sturmfels providing an explicit formula for the degree of SDP. The interactions between the three fields shed new light on the asymptotic behaviour of enumerative invariants for the variety of complete quadrics. We also extend these results to spaces of general matrices and of skew-symmetric matrices.
Fractional partitions and conjectures of Chern-Fu-Tang and Heim-Neuhauser
Published
• View Publication
• BIB
Many papers have studied inequalities for partition functions. Recently, a number of papers have considered mixtures between additive and multiplicative behavior in such inequalities. In particular, Chern-Fu-Tang and Heim-Neuhauser gave conjectures on inequalities for coefficients of powers of the generating partition function. These conjectures were posed in the context of colored partitions and the Nekrasov-Okounkov formula. Here, we study the precise size of differences of products of two such coefficients. This allows us to prove the Chern-Fu-Tang conjecture and to show the Heim-Neuhauser conjecture in a certain range. The explicit error terms provided will also be useful in the future study of partition inequalities. These are laid out in a user-friendly way for the researcher in combinatorics interested in such analytic questions.
Relator Games on Groups
Published
• View Publication
• BIB
We define two impartial games, the Relator Achievement Game $\texttt{REL}$ and the Relator Avoidance Game $\texttt{RAV}$. Given a finite group $G$ and generating set $S$, both games begin with the empty word. Two players form a word in $S$ by alternately appending an element from $S\cup S^{-1}$ at each turn. The first player to form a word equivalent in $G$ to a previous word wins the game $\texttt{REL}$ but loses the game $\texttt{RAV}$. Alternatively, one can think of $\texttt{REL}$ and $\texttt{RAV}$ as make a cycle and avoid a cycle games on the Cayley graph $Γ(G,S)$. We determine winning strategies for several families of finite groups including dihedral, dicyclic, and products of cyclic groups.
The catenary degree of the saturated numerical semigroups with prime multiplicity
In this paper we present the set of saturated numerical semigroups with prime multiplicity. We also characterize the catenary degree of these semigroups that we acquire. The catenary degree of a numerical semigroup is the variant which measures the distance between factorizations of elements within that numerical semigroup.
The Adjacency Spectra of Some Families of Minimally Connected Prime Graphs
Published
• View Publication
• BIB
In finite group theory, studying the prime graph of a group has been an important topic for almost the past half-century. Recently, prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs without any knowledge of the group theoretical background. In this paper we study prime graphs from a linear algebra angle and focus on the class of minimally connected prime graphs introduced in earlier work on the subject. As our main results, we determine the determinants of the adjacency matrices and the spectra of some important families of these graphs.
Remarks on the Spectral Approach to Finding Short Paths
We are interested in the general question: to what extent are the spectral properties of a graph connected to the distance function? Our motivation is a concrete example of this question that is due to Steinerberger. We provide some negative results via constructions of families of graphs where the spectral properties disagree with the distance function in a manner that answers many of the questions posed by Steinerberger. We also provide a positive result by replacing Steinerberger's set-up with conditions involving graph curvature.
Finding the Second-Best Candidate under the Mallows Model
Published
• View Publication
• BIB
The well-known secretary problem in sequential analysis and optimal stopping theory asks one to maximize the probability of finding the optimal candidate in a sequentially examined list under the constraint that accept/reject decisions are made in real-time. A version of the problem is the so-called postdoc problem, for which the question of interest is to devise a strategy that identifies the second-best candidate with highest possible probability of success.
We study the postdoc problem in its combinatorial form. In this setting, a permutation $π$ of length $N$ is sampled according to some distribution on the symmetric group $S_N$ and the elements of $π$ are revealed one-by-one from left to right so that at each step, one can only observe the relative orders of the elements. At each step, one must decide to either accept or reject the currently presented element and cannot recall the decision in the future. The question of interest is to find the optimal strategy for selecting the position of the second-largest value. We solve the postdoc problem for the untraditional setting where the candidates are not presented uniformly at random but rather according to permutations drawn from the Mallows distribution. The Mallows distribution assigns to each permutation $π\in S_N$ a weight $θ^{c(π)}$, where the function c counts the number of inversions in $π$. To identify the optimal stopping criteria for the significantly more challenging postdoc problem, we adopt a combinatorial methodology that includes new proof techniques and novel methodological extensions compared to the analysis first introduced in the setting of the secretary problem. The optimal strategies depend on the parameter $θ$ of the Mallows distribution and can be determined exactly by solving well-defined recurrence relations.
Conic divisorial ideals and non-commutative crepant resolutions of edge rings of complete multipartite graphs
Published
• View Publication
• BIB
The first goal of the present paper is to study the class groups of the edge rings of complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$, where $1 \leq r_1 \leq \cdots \leq r_n$. More concretely, we prove that the class group of $\Bbbk[K_{r_1,\ldots,r_n}]$ is isomorphic to $\mathbb{Z}^n$ if $n =3$ with $r_1 \geq 2$ or $n \geq 4$, while it turns out that the excluded cases can be deduced into Hibi rings. The second goal is to investigate the special class of divisorial ideals of $\Bbbk[K_{r_1,\ldots,r_n}]$, called conic divisorial ideals. We describe conic divisorial ideals for certain $K_{r_1,\ldots,r_n}$ including all cases where $\Bbbk[K_{r_1,\ldots,r_n}]$ is Gorenstein. Finally, we give a non-commutative crepant resolution (NCCR) of $\Bbbk[K_{r_1,\ldots,r_n}]$ in the case where it is Gorenstein.
Amenable cones are particularly nice
Published in SIAM Journal on Optimization 32(3), 2022, 2347--2375
• View Publication
• BIB
Amenability is a geometric property of convex cones that is stronger than facial exposedness and assists in the study of error bounds for conic feasibility problems. In this paper we establish numerous properties of amenable cones, and investigate the relationships between amenability and other properties of convex cones, such as niceness and projectional exposure.
We show that the amenability of a compact slice of a closed convex cone is equivalent to the amenability of the cone, and prove several results on the preservation of amenability under intersections and other convex operations. It then follows that homogeneous, doubly nonnegative and other cones that can be represented as slices of the cone of positive semidefinite matrices, are amenable.
It is known that projectionally exposed cones are amenable and that amenable cones are nice, however the converse statements have been open questions. We construct an example of a four-dimensional cone that is nice but not amenable. We also show that amenable cones are projectionally exposed in dimensions up to and including four.
We conclude with a discussion on open problems related to facial structure of convex sets that we came across in the course of this work, but were not able to fully resolve.
Generalization of five q-series identities of Ramanujan and unexplored weighted partition identities
Published
• View Publication
• BIB
Ramanujan recorded five interesting q-series identities in a section that is not as systematically arranged as the other chapters of his second notebook. These five identities do not seem to have acquired enough attention. Recently, Dixit and the third author found a one-variable generalization of one of the aforementioned five identities. From their generalized identity, they were able to derive the last three of these q-series identities, but didn't establish the first two. In the present article, we derive a one-variable generalization of the main identity of Dixit and the third author from which we successfully deduce all the five q-series identities of Ramanujan. In addition to this, we also establish a few interesting weighted partition identities from our generalized identity. In the mid 1980's, Bressoud and Subbarao found an interesting identity connecting the generalized divisor function with a weighted partition function, which they proved by means of a purely combinatorial argument. Quite surprisingly, we found an analytic proof for a generalization of the identity of Bressoud and Subbarao, starting from the fourth identity of the aforementioned five q-series identities of Ramanujan.
Muttalib--Borodin plane partitions and the hard edge of random matrix ensembles
We study probabilistic and combinatorial aspects of natural volume-and-trace weighted plane partitions and their continuous analogues. We prove asymptotic limit laws for the largest parts of these ensembles in terms of new and known hard- and soft-edge distributions of random matrix theory. As a corollary we obtain an asymptotic transition between Gumbel and Tracy--Widom GUE fluctuations for the largest part of such plane partitions, with the continuous Bessel kernel providing the interpolation. We interpret our results in terms of two natural models of directed last passage percolation (LPP): a discrete $(\max, +)$ infinite-geometry model with rapidly decaying geometric weights, and a continuous $(\min, \cdot)$ model with power weights.
Multiple Random Walks on Graphs: Mixing Few to Cover Many
Published in Combinatorics, Probability and Computing, 32(4):594 - 637, 2023
• View Publication
• BIB
Random walks on graphs are an essential primitive for many randomised algorithms and stochastic processes. It is natural to ask how much can be gained by running $k$ multiple random walks independently and in parallel. Although the cover time of multiple walks has been investigated for many natural networks, the problem of finding a general characterisation of multiple cover times for worst-case start vertices (posed by Alon, Avin, Koucký, Kozma, Lotker, and Tuttle~in 2008) remains an open problem.
First, we improve and tighten various bounds on the stationary cover time when $k$ random walks start from vertices sampled from the stationary distribution. For example, we prove an unconditional lower bound of $Ω((n/k) \log n)$ on the stationary cover time, holding for any $n$-vertex graph $G$ and any $1 \leq k =o(n\log n )$. Secondly, we establish the stationary cover times of multiple walks on several fundamental networks up to constant factors. Thirdly, we present a framework characterising worst-case cover times in terms of stationary cover times and a novel, relaxed notion of mixing time for multiple walks called the partial mixing time. Roughly speaking, the partial mixing time only requires a specific portion of all random walks to be mixed. Using these new concepts, we can establish (or recover) the worst-case cover times for many networks including expanders, preferential attachment graphs, grids, binary trees and hypercubes.
The sandpile group of polygon rings and twisted polygon rings
Published
• View Publication
• BIB
Let $C_{k_1}, \ldots, C_{k_n}$ be cycles with $k_i\geq 2$ vertices ($1\le i\le n$). By attaching these $n$ cycles together in a linear order, we obtain a graph called a polygon chain. By attaching these $n$ cycles together in a cyclic order, we obtain a graph, which is called a polygon ring if it can be embedded on the plane; and called a twisted polygon ring if it can be embedded on the Möbius band. It is known that the sandpile group of a polygon chain is always cyclic. Furthermore, there exist edge generators. In this paper, we not only show that the sandpile group of any (twisted) polygon ring can be generated by at most three edges, but also give an explicit relation matrix among these edges. So we obtain a uniform method to compute the sandpile group of arbitrary (twisted) polygon rings, as well as the number of spanning trees of (twisted) polygon rings. As an application, we compute the sandpile groups of several infinite families of polygon rings, including some that have been done before by ad hoc methods, such as, generalized wheel graphs, ladders and Möbius ladders.
Efficient polynomial-time approximation scheme for the genus of dense graphs
Published
• View Publication
• BIB
The main results of this paper provide an Efficient Polynomial-Time Approximation Scheme (EPTAS) for approximating the genus (and non-orientable genus) of dense graphs. By dense we mean that $|E(G)|\ge α|V(G)|^2$ for some fixed $α>0$. While a constant factor approximation is trivial for this class of graphs, approximations with factor arbitrarily close to 1 need a sophisticated algorithm and complicated mathematical justification. More precisely, we provide an algorithm that for a given (dense) graph $G$ of order $n$ and given $\varepsilon>0$, returns an integer $g$ such that $G$ has an embedding into a surface of genus $g$, and this is $\varepsilon$-close to a minimum genus embedding in the sense that the minimum genus $\mathsf{g}(G)$ of $G$ satisfies: $\mathsf{g}(G)\le g\le (1+\varepsilon)\mathsf{g}(G)$. The running time of the algorithm is $O(f(\varepsilon)\,n^2)$, where $f(\cdot)$ is an explicit function. Next, we extend this algorithm to also output an embedding (rotation system) whose genus is $g$. This second algorithm is an Efficient Polynomial-time Randomized Approximation Scheme (EPRAS) and runs in time $O(f_1(\varepsilon)\,n^2)$.
Distinct distances on non-ruled surfaces and between circles
Published
• View Publication
• BIB
We improve the current best bound for distinct distances on non-ruled algebraic surfaces in ${\mathbb R}^3$. In particular, we show that $n$ points on such a surface span $Ω\left(n^{32/39-\varepsilon}\right)$ distinct distances, for any $\varepsilon>0$. Our proof adapts the proof of Székely for the planar case, which is based on the crossing lemma.
As part of our proof for distinct distances on surfaces, we also obtain new results for distinct distances between circles in ${\mathbb R}^3$. Consider point sets ${\mathcal P}_1$ and ${\mathcal P}_2$ of respective sizes $m$ and $n$, such that each set lies on a distinct circle in ${\mathbb R}^3$. We characterize the cases when the number of distinct distances between the two sets can be $O(m+n)$. This includes a new configuration with a small number of distances. In any other case, we prove that the number of distinct distances is $Ω\left(\min\left\{m^{2/3}n^{2/3},m^2,n^2\right\}\right)$.
A characterization of Sturmian sequences by indistinguishable asymptotic pairs
Published in European Journal of Combinatorics. Volume 95, June 2021
• View Publication
• BIB
We give a new characterization of biinfinite Sturmian sequences in terms of indistinguishable asymptotic pairs. Two asymptotic sequences on a full $\mathbb{Z}$-shift are indistinguishable if the sets of occurrences of every pattern in each sequence coincide up to a finitely supported permutation. This characterization can be seen as an extension to biinfinite sequences of Pirillo's theorem which characterizes Christoffel words. Furthermore, we provide a full characterization of indistinguishable asymptotic pairs on arbitrary alphabets using substitutions and biinfinite characteristic Sturmian sequences. The proof is based on the well-known notion of derived sequences.
Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
Published
• View Publication
• BIB
We prove solution uniqueness for the genus one Canham variational problem arising in the shape prediction of biomembranes. The proof builds on a result of Yu and Chen that reduces the variational problem to proving non-negativity of a sequence defined by a linear recurrence relation with polynomial coefficients. We combine rigorous numeric analytic continuation of D-finite functions with classic bounds from singularity analysis to derive an effective index where the asymptotic behaviour of the sequence, which is positive, dominates the sequence behaviour. Positivity of the finite number of remaining terms is then checked computationally.