Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Bounded Displacement Non-Equivalence In Substitution Tilings
In the study of aperiodic order and mathematical models of quasicrystals, questions regarding equivalence relations on Delone sets naturally arise. This work is dedicated to the bounded displacement (BD) equivalence relation, and especially to results concerning instances of non-equivalence. We present a general condition for two Delone sets to be BD non-equivalent, and apply our result to Delone sets associated with tilings of Euclidean space. First we consider substitution tilings, and exhibit a substitution matrix associated with two distinct substitution rules. The first rule generates only periodic tilings, while the second generates tilings for which any associated Delone set is non-equivalent to any lattice in space. As an extension of this result, we introduce arbitrarily many distinct substitution rules associated with a single matrix, with the property that Delone sets generated by distinct rules are non-equivalent. We then turn to the study of mixed substitution tilings, and present a mixed substitution system that generates representatives of continuously many distinct BD equivalence classes.
Minimizing the numbers of cliques and cycles of fixed size in an $F$-saturated graph
Published in European Journal of Combinatorics, Volume 90, December 2020, 103185
• View Publication
• BIB
This paper considers two important questions in the well-studied theory of graphs that are $F$-saturated. A graph $G$ is called $F$-saturated if $G$ does not contain a subgraph isomorphic to $F$, but the addition of any edge creates a copy of $F$. We first resolve a fundamental question of minimizing the number of cliques of size $r$ in a $K_s$-saturated graph for all sufficiently large numbers of vertices, confirming a conjecture of Kritschgau, Methuku, Tait, and Timmons. We also go further and prove a corresponding stability result. Next we minimize the number of cycles of length $r$ in a $K_s$-saturated graph for all sufficiently large numbers of vertices, and classify the extremal graphs for most values of $r$, answering another question of Kritschgau, Methuku, Tait, and Timmons for most $r$. We then move on to a central and longstanding conjecture in graph saturation made by Tuza, which states that for every graph $F$, the limit $\lim_{n \rightarrow \infty} \frac{\sat(n, F)}{n}$ exists, where $\sat(n, F)$ denotes the minimum number of edges in an $n$-vertex $F$-saturated graph. Pikhurko made progress in the negative direction by considering families of graphs instead of a single graph, and proved that there exists a graph family $\mathcal{F}$ of size $4$ for which $\lim_{n \rightarrow \infty} \frac{\sat(n, \mathcal{F})}{n}$ does not exist (for a family of graphs $\mathcal{F}$, a graph $G$ is called $\mathcal{F}$-saturated if $G$ does not contain a copy of any graph in $\mathcal{F}$, but the addition of any edge creates a copy of a graph in $\mathcal{F}$, and $\sat(n, \mathcal{F})$ is defined similarly). We make the first improvement in 15 years by showing that there exist infinitely many graph families of size $3$ where this limit does not exist. Our construction also extends to the generalized saturation problem when we minimize the number of fixed-size cliques.
Elementary Proof of a Theorem of Hawkes, Isaacs and Özaydin
We present an elementary proof of the theorem of Hawkes, Isaacs and Özaydin, which states that $Σ\,μ_{G}(H,K)\equiv 0$ mod $d$, where $μ_{G}$ denotes the Möbius function for the subgroup lattice of a finite group $G$, $H$ ranges over the conjugates of a given subgroup $F$ of $G$ with $[G:F]$ divisible by $d$, and $K$ over the supergroups of the $H$ for which $[K:H]$ divides $d$. We apply the theorem to obtain a result on the number of solutions of $|\langle H,g\rangle|\mid n$, for said $H$ and a natural number $n$.
The present version of the article includes an additional result on a quantity studied by K.S. Brown.
On the number of even roots of permutations
Published in Australas J. Combin., 86(2), pp. 308-319 (2023),
• Search Publication
Let $σ$ be a permutation on $n$ letters. We say that a permutation $τ$ is an even (resp. odd) $k$th root of $σ$ if $τ^k=σ$ and $τ$ is an even (resp. odd) permutation. In this article, we obtain generating functions for the number of even and odd $k$th roots of permutations. Our result implies know generating functions of Moser and Wyman and also some generating functions for sequences in The On-line Encyclopedia of Integer Sequences (OEIS).
On knot semigroups and Gelfand-Kirillov dimensions
A knot semigroup is defined by A. Vernitski. A. Vernitski conjectured that the knot semigroup of the 2-bridge knot is isomorphic to an alternating sum semigroup. To support this conjecture, and as a first main result, we prove that the knot semigroup of the double twist knot is isomorphic to an alternating sum semigroup. Moreover, as a second main result, we construct a link invariant constructed by the Gelfand-Kiriliov dimension of algebra.
Representability of permutation representations on coalgebras and the isomorphism problem
Published
• View Publication
• BIB
Let $G$ be a group and let $ρ\colon G\to\operatorname{Sym}(V)$ be a permutation representation of $G$ on a set $V$. We prove that there is a faithful $G$-coalgebra $C$ such that $G$ arises as the image of the restriction of $\operatorname{Aut}(C)$ to $G(C)$, the set of grouplike elements of $C$. Furthermore, we show that $V$ can be regarded as a subset of $G(C)$ invariant through the $G$-action, and that the composition of the inclusion $G\hookrightarrow\operatorname{Aut}(C)$ with the restriction $\operatorname{Aut}(C)\to\operatorname{Sym}(V)$ is precisely $ρ$. We use these results to prove that isomorphism classes of certain families of groups can be distinguished through the coalgebras on which they act faithfully.