Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Isometric copies of $\ell_\infty^n$ and $\ell_1^n$ in transportation cost spaces on finite metric spaces
Published in The Mathematical Legacy of Victor Lomonosov. Operator Theory, pp. 189--203, De Gruyter, 2020
• View Publication
• BIB
Main results: (a) If a metric space contains $2n$ elements, the transportation cost space on it contains a $1$-complemented isometric copy of $\ell_1^n$. (b) An example of a finite metric space whose transportation cost space contains an isometric copy of $\ell_\infty^4$. Transportation cost spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein $1$ spaces.
Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations
Published in Advances in Mathematics 369, 2020, 107170
• View Publication
• BIB
We establish and explore a relationship between two approaches to moment-cumulant relations in free probability theory: on one side the main approach, due to Speicher, given in terms of Möbius inversion on the lattice of noncrossing partitions, and on the other side the more recent non-commutative shuffle-algebra approach, where the moment-cumulant relations take the form of certain exponential-logarithm relations. We achieve this by exhibiting two operad structures on (noncrossing) partitions, different in nature: one is an ordinary, non-symmetric operad whose composition law is given by insertion into gaps between elements, the other is a coloured, symmetric operad with composition law expressing refinement of blocks. We show that these operad structures interact so as to make the corresponding incidence bialgebra of the former a comodule bialgebra for the latter. Furthermore, this interaction is compatible with the shuffle structure and thus unveils how the two approaches are intertwined. Moreover, the constructions and results are general enough to extend to ordinary set partitions.
A lower bound on the average degree forcing a minor
Published in Electronic Journal of Combinatorics 27;P2.4, 2020
• View Publication
• BIB
We show that for sufficiently large $d$ and for $t\geq d+1$, there is a graph $G$ with average degree $(1-\varepsilon)λt \sqrt{\ln d}$ such that almost every graph $H$ with $t$ vertices and average degree $d$ is not a minor of $G$, where $λ=0.63817\dots$ is an explicitly defined constant. This generalises analogous results for complete graphs by Thomason (2001) and for general dense graphs by Myers and Thomason (2005). It also shows that an upper bound for sparse graphs by Reed and Wood (2016) is best possible up to a constant factor.
Paired domination and 2- distance Paired domination of the flower graph $f_{n\times m}$
Let $G = (V, E)$ be a graph without an isolated vertex. A set $D\subseteq V(G)$ is a $k$-distance paired domination set of $G$ if $D$ is a $k$-distance dominating set of $G$ and the induced subgraph $\langle D \rangle$ has a perfect matching. The minimum cardinality of a $k$-distance paired dominating set for graph $G$ is the $k$-distance paired domination number, denoted by $γ_{p} ^{k}(G)$. In this paper, the $k$-distance paired domination of the flower graph $f_{n\times m}$ is discussed. For $m,n\geq 3$, the exact values for paired domination number and $2$-distance paired domination number of flower graph $f_{n\times m}$ are determined
Characterization of Gaps and Elements of a Numerical Semigroup Using Groebner Bases
Published in Contemporary Mathematics Volume 649, 2015
• View Publication
• BIB
This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way which enables us to prove some results and a hopefully interesting characterization of the elements of a semigroup in terms of Groebner bases.
On the computation of the Apéry set of numerical monoids and affine semigroups
Published in Semigroup Forum (2015) 91:139-158
• View Publication
• BIB
A simple way of computing the Apéry set of a numerical semigroup (or monoid) with respect to a generator, using Groebner bases, is presented, together with a generalization for affine semigroups. This computation allows us to calculate the type set and, henceforth, to check the Gorenstein condition which characterizes the symmetric numerical subgroups.
Integral points in rational polygons: a numerical semigroup approach
Published in Semigroup Forum (2017) 94:123-138
• View Publication
• BIB
In this paper we use an elementary approach by using numerical semigroups (specifically, those with two generators) to give a formula for the number of integral points inside a right-angled triangle with rational vertices. This is the basic case for computing the number of integral points inside a rational (not necessarily convex) polygon.
Some $q$-series identities extending work of Andrews, Crippa, and Simon on sums of divisors functions
Published
• View Publication
• BIB
In this article we extend a theorem of Andrews, Crippa, and Simon on the asymptotic behavior of polynomials defined by a general class of recursive equations. Here the polynomials are in the variable $q$, and the recursive definition at step $n$ introduces a polynomial in $n$. Our extension replaces the polynomial in $n$ with either an exponential or periodic function of $n$.
On the VC-dimension of half-spaces with respect to convex sets
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Combinatorics (August 19, 2021) dmtcs:6631
• View Publication
• BIB
A family S of convex sets in the plane defines a hypergraph H = (S, E) as follows. Every subfamily S' of S defines a hyperedge of H if and only if there exists a halfspace h that fully contains S' , and no other set of S is fully contained in h. In this case, we say that h realizes S'. We say a set S is shattered, if all its subsets are realized. The VC-dimension of a hypergraph H is the size of the largest shattered set. We show that the VC-dimension for pairwise disjoint convex sets in the plane is bounded by 3, and this is tight. In contrast, we show the VC-dimension of convex sets in the plane (not necessarily disjoint) is unbounded. We provide a quadratic lower bound in the number of pairs of intersecting sets in a shattered family of convex sets in the plane. We also show that the VC-dimension is unbounded for pairwise disjoint convex sets in R^d , for d > 2. We focus on, possibly intersecting, segments in the plane and determine that the VC-dimension is always at most 5. And this is tight, as we construct a set of five segments that can be shattered. We give two exemplary applications. One for a geometric set cover problem and one for a range-query data structure problem, to motivate our findings.
Elegant vertex labelings with prime numbers
We consider graph labelings with an assignment of odd prime numbers to the vertices. Similarly to graceful graphs, a labeling is said to be elegant if the absolute differences between the labels of adjacent vertices describe exactly the first even numbers. The labels of an elegant tree with $n$ vertices are the first $n$ odd prime numbers and we want that the resulting edge labels are exactly the first even numbers up to $2n-2$. We conjecture that each path is elegant and we give the algorithm with which we got elegant paths of $n$ primes for all $n$ up to $n=3500$.
Coboundary and cosystolic expansion from strong symmetry
Coboundary and cosystolic expansion are notions of expansion that generalize the Cheeger constant or edge expansion of a graph to higher dimensions. The classical Cheeger inequality implies that for graphs edge expansion is equivalent to spectral expansion. In higher dimensions this is not the case: a simplicial complex can be spectrally expanding but not have high dimensional edge-expansion. The phenomenon of high dimensional edge expansion in higher dimensions is much more involved than spectral expansion, and is far from being understood. In particular, prior to this work, the only known bounded degree cosystolic expanders known were derived from the theory of buildings that is far from being elementary.
In this work we study high dimensional complexes which are {\em strongly symmetric}. Namely, there is a group that acts transitively on top dimensional cells of the simplicial complex [e.g., for graphs it corresponds to a group that acts transitively on the edges]. Using the strong symmetry, we develop a new machinery to prove coboundary and cosystolic expansion.
On the list decodability of Rank Metric codes
Published
• View Publication
• BIB
Let $k,n,m \in \mathbb{Z}^+$ integers such that $k\leq n \leq m$, let $\mathrm{G}_{n,k}\in \mathbb{F}_{q^m}^n$ be a Delsarte-Gabidulin code.
Wachter-Zeh proven that codes belonging to this family cannot be efficiently list decoded for any radius $τ$, providing $τ$ is large enough. This achievement essentially relies on proving a lower bound for the list size of some specific words in $\mathbb{F}_{q^m}^n \setminus \mathrm{G}_{n,k}$.
In 2016, Raviv and Wachter-Zeh improved this bound in a special case, i.e. when $n\mid m$. As a consequence, they were able to detect infinite families of Delsarte-Gabidulin codes that cannot be efficiently list decoded at all.
In this article we determine similar lower bounds for Maximum Rank Distance codes belonging to a wider class of examples, containing Generalized Gabidulin codes, Generalized Twisted Gabidulin codes, and examples recently described by the first author and Yue Zhou. By exploiting arguments suchlike those used in the above mentioned papers, when $n\mid m$, we also show infinite families of generalized Gabidulin codes that cannot be list decoded efficiently at any radius greater than or equal to $\left\lfloor \frac{d-1}2 \right\rfloor+1$, where $d$ is its minimum distance. Nonetheless, in all other examples belonging to above mentioned class, we detect infinite families that cannot be list decoded efficiently at any radius greater than or equal to $\left\lfloor \frac{d-1}2 \right\rfloor+2$, where $d$ is its minimum distance.
Finally, relying on the properties of a set of subspace trinomials recently presented by McGuire and Mueller, we are able to prove that any rank metric code of $\mathbb{F}_{q^m}^n$ of order $q^{kn}$ with $n$ dividing $m$, such that $4n-3$ is a square in $\mathbb{Z}$ and containing $\mathrm{G}_{n,2}$, is not efficiently list decodable at some values of the radius $τ$.
Determining the Hausdorff Distance Between Trees in Polynomial Time
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Discrete Algorithms (August 19, 2021) dmtcs:6952
• View Publication
• BIB
The Hausdorff distance is a relatively new measure of similarity of graphs. The notion of the Hausdorff distance considers a special kind of a common subgraph of the compared graphs and depends on the structural properties outside of the common subgraph. There was no known efficient algorithm for the problem of determining the Hausdorff distance between two trees, and in this paper we present a polynomial-time algorithm for it. The algorithm is recursive and it utilizes the divide and conquer technique. As a subtask it also uses the procedure that is based on the well known graph algorithm of finding the maximum bipartite matching.
A Direct Construction of Optimal ZCCS With Maximum Column Sequence PMEPR Two for MC-CDMA System
Published
• View Publication
• BIB
Multicarrier code-division multiple-access (MC-CDMA) combines an orthogonal frequency division multiplexing (OFDM) modulation and a code-division multiple-access (CDMA) scheme to exploits the benefits of both the technologies. The high peak-to-mean envelope power ratio (PMEPR) is a considerable problem in MC-CDMA system. However, the problem can be addressed by utilizing complete complementary codes (CCCs) in MC-CDMA system. But the set size upper bound of CCC does not allow the system to support large number of users for a given number of subcarriers in the system. In a CCC and Z-complementary code set (ZCCS) based asynchronous MC-CDMA system, the PMEPR is determined by column sequence PMEPR of the codes. In order to support a large number of users with low column sequence PMEPR, in this paper, we have proposed a new optimal ZCCS with larger set size. The code is constructed using Boolean function approach, i.e., by a direct construction method. The number of constituent sequences in ZCCS is the same as the number of subcarriers in MC-CDMA. So, large size ZCCS for large number of users in MC-CDMA can be constructed through a rapid hardware generation. The proposed ZCCS has maximum column sequence PMEPR of 2 and it achieves the theoretical upper bound of optimality. Our proposed construction can also generate inter-group complementary (IGC) code set for MC-CDMA with the same PMEPR. This work also establishes a link from ZCCS and IGC code set to higher-order ($\geq 2$) Reed-Muller (RM) code.
On finitary properties for fiber products of free semigroups and monoids
Published
• View Publication
• BIB
We consider necessary and sufficient conditions for finite generation and finite presentability for fiber products of free semigroups and free monoids. We give a necessary and sufficient condition on finite fiber quotients for a fiber product of two free monoids to be finitely generated, and show that all such fiber products are also finitely presented. By way of contrast, we show that fiber products of free semigroups over finite fiber quotients are never finitely generated. We then consider fiber products of free semigroups over infinite semigroups, and show that for such a fiber product to be finitely generated, the quotient must be infinite but finitely generated, idempotent-free, and $\mathcal{J}$-trivial. Finally, we construct automata accepting the indecomposable elements of the fiber product of two free monoids/semigroups over free monoid/semigroup fibers, and give a necessary and sufficient condition for such a product to be finitely generated.
Semi-classical analysis of piecewise quasi-polynomial functions and applications to geometric quantization
Published
• View Publication
• BIB
Motivated by applications to multiplicity formulas in index theory, we study a family of distributions $Θ(m;k)$ associated to a piecewise quasi-polynomial function $m$. The family is indexed by an integer $k \in \mathbb{Z}_{>0}$, and admits an asymptotic expansion as $k \rightarrow \infty$, which generalizes the expansion obtained in the Euler-Maclaurin formula. When $m$ is the multiplicity function arising from the quantization of a symplectic manifold, the leading term of the asymptotic expansion is the Duistermaat-Heckman measure. Our main result is that $m$ is uniquely determined by a collection of such asymptotic expansions. We also show that the construction is compatible with pushforwards. As an application, we describe a simpler proof that formal quantization is functorial with respect to restrictions to a subgroup.
Formalizing the Solution to the Cap Set Problem
In 2016, Ellenberg and Gijswijt established a new upper bound on the size of subsets of $\mathbb{F}^n_q$ with no three-term arithmetic progression. This problem has received much mathematical attention, particularly in the case $q = 3$, where it is commonly known as the \emph{cap set problem}. Ellenberg and Gijswijt's proof was published in the \emph{Annals of Mathematics} and is noteworthy for its clever use of elementary methods. This paper describes a formalization of this proof in the Lean proof assistant, including both the general result in $\mathbb{F}^n_q$ and concrete values for the case $q = 3$. We faithfully follow the pen and paper argument to construct the bound. Our work shows that (some) modern mathematics is within the range of proof assistants.
The carry propagation of the successor function
Given any numeration system, we call carry propagation at a number $N$ the number of digits that are changed when going from the representation of $N$ to the one of $N+1$, and amortized carry propagation the limit of the mean of the carry propagations at the first $N$ integers, when $N$ tends to infinity, if this limit exists.
In the case of the usual base $p$ numeration system, it can be shown that the limit indeed exists and is equal to $p/(p-1)$. We recover a similar value for those numeration systems we consider and for which the limit exists.
We address the problem of the existence of the amortized carry propagation in non-standard numeration systems of various kinds: abstract numeration systems, rational base numeration systems, greedy numeration systems and beta-numeration. We tackle the problem by three different types of techniques: combinatorial, algebraic, and ergodic. For each kind of numeration systems that we consider, the relevant method allows for establishing sufficient conditions for the existence of the carry propagation and examples show that these conditions are close to being necessary conditions.
On the structure of modules over walled Brauer algebra via normal form and random walks
We analyze cyclic cell modules over walled Brauer algebra in terms of a certain normal form. The latter allows us to decompose the algebra into the generating set and annihilator ideal of a certain cyclic vector. In addition, we show that the numbers of reduced basis monomials of given length coincide with those for the symmetric group. For the semisimple case we utilize the theory of differential posets to calculate the dimensions of modules in terms of the paths in Bratelli diagram. It turns out that the number of primitive idempotents is the same as for the symmetric group.
Covering graphs with convex sets and partitioning graphs into convex sets
We present some complexity results concerning the problems of covering a graph with $p$ convex sets and of partitioning a graph into $p$ convex sets. The following convexities are considered: digital convexity, monophonic convexity, $P_3$-convexity, and $P_3^*$-convexity.