Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Constructions and bounds for codes with restricted overlaps
Published
• View Publication
• BIB
Non-overlapping codes have been studied for almost 60 years. In such a code, no proper, non-empty prefix of any codeword is a suffix of any codeword. In this paper, we study codes in which overlaps of certain specified sizes are forbidden. We prove some general bounds and we give several constructions in the case of binary codes. Our techniques also allow us to provide an alternative, elementary proof of a lower bound on non-overlapping codes due to Levenshtein in 1964.
A new infinite family of $σ$-elementary rings
Published
• View Publication
• BIB
A cover of an associative (not necessarily commutative nor unital) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $σ(R)$ of $R$ is the cardinality of a minimal cover, and a ring $R$ is called $σ$-elementary if $σ(R) < σ(R/I)$ for every nonzero two-sided ideal $I$ of $R$. In this paper, we provide the first examples of $σ$-elementary rings $R$ that have nontrivial Jacobson radical $J$ with $R/J$ noncommutative, and we determine the covering numbers of these rings.
On the Ramsey number of daisies I
Daisies are a special type of hypergraphs introduced by Bollobás, Leader and Malvenuto. An $r$-daisy determined by a pair of disjoint sets $K$ and $M$ is the $(r+|K|)$-uniform hypergraph $\{K\cup P:\: P\in M^{(r)}\}$. In [Combin. Probab. Comput. 20, no. 5, 743-747, 2011] the authors studied Turán type density problems for daisies. This paper deals with Ramsey numbers of Daisies, which are natural generalizations of classical Ramsey numbers. We discuss upper and lower bounds for the Ramsey number of $r$-daisies and also for special cases where the size of the kernel is bounded.
On the Ramsey number of daisies II
Published
• View Publication
• BIB
A $(k+r)$-uniform hypergraph $H$ on $(k+m)$ vertices is an $(r,m,k)$-daisy if there exists a partition of the vertices $V(H)=K\cup M$ with $|K|=k$, $|M|=m$ such that the set of edges of $H$ is all the $(k+r)$-tuples $K\cup P$, where $P$ is an $r$-tuple of $M$. Complementing results in ["On the Ramsey number of daisies I"], we obtain an $(r-2)$-iterated exponential lower bound to the Ramsey number of an $(r,m,k)$-daisy for $2$-colors. This matches the order of magnitude of the best lower bounds for the Ramsey number of a complete $r$-graph.
Sharp lower bounds for the number of maximum matchings in bipartite multigraphs
Published
• View Publication
• BIB
We study the minimum number of maximum matchings in a bipartite multigraph G with parts $X$ and $Y$ under various conditions, refining the well-known lower bound due to M. Hall. When $|X|=n$, every vertex in $X$ has degree at least $k$, and every vertex in $X$ has at least $r$ distinct neighbors, the minimum is $r!(k-r+1)$ when $n\ge r$ and is $[r+n(k-r)]\prod_{i=1}^{n-1}(r-i)$ when $n<r$. When every vertex has at least two neighbors and $|Y|-|X|=t\ge 0$, the minimum is $[(n-1)t+2+b](t+1)$, where $b=|E(G)|-2(n+t)$. We also determine the minimum number of maximum matchings in several other situations. We provide a variety of sharpness constructions.
Star and Semi-Star Transformations in Fullerene Graphs
A perfect star packing in a graph G is a spanning subgraph of G whose every component is isomorphic to the star graph $K_{1,3}$. A perfect star packing of a fullerene graph G is of type P0 if all the centers of stars lie on hexagons of G. Many fullerene graphs arise from smaller fullerene graphs by applying some transformations. In this paper, we introduce two transformations for fullerene graphs that have perfect star packing of type P0 and examine some characteristics of the graphs obtained from this transformation.
Existence of a symmetric bipodal phase in the edge-triangle model
Published
• View Publication
• BIB
In the edge-triangle model with edge density close to 1/2 and triangle density below 1/8 we prove that the unique entropy-maximizing graphon is symmetric bipodal. We also prove that,for any edge density $e$ less than $e_0 = (3-\sqrt{3})/6 \approx 0.2113$ and triangle density slightly less than $e^3$, the entropy-maximizing graphon is not symmetric bipodal.
Efficient Determinant Maximization for All Matroids
Determinant maximization provides an elegant generalization of problems in many areas, including convex geometry, statistics, machine learning, fair allocation of goods, and network design. In an instance of the determinant maximization problem, we are given a collection of vectors $v_1,\ldots, v_n \in \mathbb{R}^d$, and the goal is to pick a subset $S\subseteq [n]$ of given vectors to maximize the determinant of the matrix $\sum_{i \in S} v_iv_i^\top$, where the picked set of vectors $S$ must satisfy some combinatorial constraint such as cardinality constraint ($|S| \leq k$) or matroid constraint ($S$ is a basis of a matroid defined on $[n]$).
In this work, we give a combinatorial algorithm for the determinant maximization problem under a matroid constraint that achieves $O(d^{O(d)})$-approximation for any matroid of rank $r\geq d$. This complements the recent result of~\cite{BrownLPST22} that achieves a similar bound for matroids of rank $r\leq d$, relying on a geometric interpretation of the determinant. Our result matches the best-known estimation algorithms~\cite{madan2020maximizing} for the problem, which could estimate the objective value but could not give an approximate solution with a similar guarantee. Our work follows the framework developed by~\cite{BrownLPST22} of using matroid intersection based algorithms for determinant maximization. To overcome the lack of a simple geometric interpretation of the objective when $r \geq d$, our approach combines ideas from combinatorial optimization with algebraic properties of the determinant. We also critically use the properties of a convex programming relaxation of the problem introduced by~\cite{madan2020maximizing}.
On bi-variate poly-Bernoulli polynomials
Published in Communications in Mathematics, Volume 31 (2023), Issue 1 (November 22, 2022) cm:10327
• View Publication
• BIB
We introduce poly-Bernoulli polynomials in two variables by using a generalization of Stirling numbers of the second kind that we studied in a previous work. We prove the bi-variate poly-Bernoulli polynomial version of some known results on standard Bernoulli polynomials, as the addition formula and the binomial formula. We also prove a result that allows us to obtain poly-Bernoulli polynomial identities from polynomial identities, and we use this result to obtain several identities involving products of poly-Bernoulli and/or standard Bernoulli polynomials. We prove two generalized recurrences for bi-variate poly-Bernoulli polynomials, and obtain some corollaries from them.
Spectral conditions for $k$-extendability and $k$-factors of bipartite graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph. If $G$ contains a matching of size $k$, and every matching of size $k$ is contained in a perfect matching of $G$, then $G$ is said to be \emph{$k$-extendable}. A $k$-regular spanning subgraph of $G$ is called a \textit{$k$-factor}. In this paper, we provide spectral conditions for a (balanced bipartite) graph with minimum degree $δ$ to be $k$-extendable, and for the existence of a $k$-factor in a balanced bipartite graph, respectively. Our results generalize some previous results on perfect matchings of graphs, and extend the results in \cite{D.F} and \cite{W.L} to $k$-extendable graphs. Furthermore, our results generalize the result of Lu, Liu and Tian \cite{Lu-Liu} to general regular factors. Additionally, using the equivalence of $k$ edge-disjoint perfect matchings and $k$-factors in balanced bipartite graphs, our results can derive a spectral condition for the existence of $k$ edge-disjoint perfect matchings in balanced bipartite graphs.
Unique identification and domination of edges in a graph: The vertex-edge dominant edge metric dimension
Dominating sets and resolving sets have important applications in control theory and computer science. In this paper, we introduce an edge-analog of the classical dominant metric dimension of graphs. By combining the concepts of a vertex-edge dominating set and an edge resolving set, we introduce the notion of a vertex-edge dominant edge resolving set of a graph. We call the minimum cardinality of such a set in a graph $\G$, the vertex-edge dominant edge metric dimension $\g_{emd}(\G)$ of $\G$. The new parameter $\g_{emd}$ is calculated for some common families such as paths, cycles, complete bipartite graphs, wheel and fan graphs. We also calculate $\g_{emd}$ for some Cartesian products of path with path and path with cycle. Importantly, some general results and bounds are presented for this new parameter. We also conduct a comparative analysis of $\g_{emd}$ with the dominant metric dimension of graphs. Comparison shows that these two parameters are not comparable, in general. Upon considering the class of bipartite graphs, we show that $\g_{emd}(T_n)$ of a tree $T_n$ is always less than or equal to its dominant metric dimension. However, we show that for non-tree bipartite graphs, the parameter is not comparable just like general graphs. Based on the results in this paper, we propose some open problems at the end.
Covering and packing with homothets of limited capacity
This work revolves around the two following questions: Given a convex body $C\subset\mathbb{R}^d$, a positive integer $k$ and a finite set $S\subset\mathbb{R}^d$ (or a finite Borel measure $μ$ on $\mathbb{R}^d$), how many homothets of $C$ are required to cover $S$ if no homothet is allowed to cover more than $k$ points of $S$ (or have measure larger than $k$)? How many homothets of $C$ can be packed if each of them must cover at least $k$ points of $S$ (or have measure at least $k$)? We prove that, so long as $S$ is not too degenerate, the answer to both questions is $Θ_d(\frac{|S|}{k})$, where the hidden constant is independent of $d$. This is optimal up to a multiplicative constant. Analogous results hold in the case of measures. Then we introduce a generalization of the standard covering and packing densities of a convex body $C$ to Borel measure spaces in $\mathbb{R}^d$ and, using the aforementioned bounds, we show that they are bounded from above and below, respectively, by functions of $d$. As an intermediate result, we give a simple proof the existence of weak $ε$-nets of size $O(\frac{1}ε)$ for the range space induced by all homothets of $C$. Following some recent work in discrete geometry, we investigate the case $d=k=2$ in greater detail. We also provide polynomial time algorithms for constructing a packing/covering exhibiting the $Θ_d(\frac{|S|}{k})$ bound mentioned above in the case that $C$ is an Euclidean ball. Finally, it is shown that if $C$ is a square then it is NP-hard to decide whether $S$ can be covered using $\frac{|S|}{4}$ squares containing $4$ points each.
Linear isometries on Weighted Coordinates Poset Block Space
Given $[n]=\{1,2,\ldots,n\}$, a poset order $\preceq$ on $[n]$, a label map $π: [n] \rightarrow \mathbb{N}$ defined by $π(i)=k_i$ with $\sum_{i=1}^{n}π(i) = N$, and a weight function $w$ on $\mathbb{F}_{q}$, let $\mathbb{F}_{q}^N$ be the vector space of $N$-tuples over the field $\mathbb{F}_{q}$ equipped with $(P,w,π)$-metric where $ \mathbb{F}_q^N $ is the direct sum of spaces $ \mathbb{F}_{q}^{k_1}, \mathbb{F}_{q}^{k_2}, \ldots, \mathbb{F}_{q}^{k_n} $. In this paper, we determine the groups of linear isometries of $(P,w,π)$-metric spaces in terms of a semi-direct product, which turns out to be similar to the case of poset (block) metric spaces. In particular, we re-obtain the group of linear isometries of the $(P,w)$-mertic spaces and $(P,π)$-mertic spaces.
Some Results on Digital Segments and Balanced Words
Published in Theoretical Computer Science 1021 (2024) 114935
• View Publication
• BIB
We exhibit combinatorial results on Christoffel words and binary balanced words that are motivated by their geometric interpretation as approximations of digital segments. We give a closed formula for counting the exact number of balanced words with $a$ zeroes and $b$ ones. We also study minimal non-balanced words.
On Matrix Algebras Isomorphic to Finite Fields and Planar Dembowski-Ostrom Monomials
Published in Finite Fields Appl. 103: 102590 (2025)
• View Publication
• BIB
Let $p$ be a prime and $n$ a positive integer. As the first main result, we present a deterministic algorithm for deciding whether the matrix algebra $\mathbb{F}_p[A_1,\dots,A_t]$ with $A_1,\dots,A_t \in \mathrm{GL}(n,\mathbb{F}_p)$ is a finite field, performing at most $\mathcal{O}(tn^6\log(p))$ elementary operations in $\mathbb{F}_p$. In the affirmative case, the algorithm returns a defining element $a$ so that $\mathbb{F}_p[A_1,\dots,A_t] = \mathbb{F}_p[a]$.
We then study an invariant for the extended-affine equivalence of Dembowski-Ostrom (DO) polynomials. More precisely, for a DO polynomial $g \in \mathbb{F}_{p^n}[x]$, we associate to $g$ a set of $n \times n$ matrices with coefficients in $\mathbb{F}_p$, denoted $\mathrm{Quot}(\mathcal{D}_g)$, that stays invariant up to matrix similarity when applying extended-affine equivalence transformations to $g$. In the case where $g$ is a planar DO polynomial, $\mathrm{Quot}(\mathcal{D}_g)$ is the set of quotients $XY^{-1}$ with $Y \neq 0,X$ being elements from the spread set of the corresponding commutative presemifield, and $\mathrm{Quot}(\mathcal{D}_g)$ forms a field of order $p^n$ if and only if $g$ is equivalent to the planar monomial $x^2$, i.e., if and only if the commutative presemifield associated to $g$ is isotopic to a finite field.
As the second main result, we analyze the structure of $\mathrm{Quot}(\mathcal{D}_g)$ for all planar DO monomials, i.e., for commutative presemifields of odd order being isotopic to a finite field or a commutative twisted field. More precisely, for $g$ being equivalent to a planar DO monomial, we show that every non-zero element $X \in \mathrm{Quot}(\mathcal{D}_g)$ generates a field $\mathbb{F}_p[X] \subseteq \mathrm{Quot}(\mathcal{D}_g)$ and $\mathrm{Quot}(\mathcal{D}_g)$ contains the field $\mathbb{F}_{p^n}$.
Some results on the Turán number of $k_1P_{\ell}\cup k_2S_{\ell-1}$
The Turán number of a graph $H$, denoted by $ex(n, H)$, is the maximum number of edges in any graph on $n$ vertices containing no $H$ as a subgraph. Let $P_{\ell}$ denote the path on $\ell$ vertices, $S_{\ell-1}$ denote the star on $\ell$ vertices and $k_1P_{\ell}\cup k_2S_{\ell-1}$ denote the path-star forest with disjoint union of $k_1$ copies of $P_{\ell}$ and $k_2$ copies of $S_{\ell-1}$. In 2013, Lidický et al. first considered the Turán number of $k_1P_4\cup k_2S_3$ for sufficiently large $n$. In 2022, Zhang and Wang raised a conjecture about the Turán number of $k_1P_{2\ell}\cup k_2S_{2\ell-1}$. In this paper, we determine the Turán numbers of $P_{\ell}\cup kS_{\ell-1}$, $k_1P_{2\ell}\cup k_2S_{2\ell-1}$, $2P_5\cup kS_4$ for $n$ appropriately large, which implies the conjecture of Zhang and Wang. The corresponding extremal graphs are also completely characterized.
Incidences of Cubic Curves in Finite Fields
Published
• View Publication
• BIB
In this paper we prove an incidence bound for points and cubic curves over prime fields. The methods generalise those used by Mohammadi, Pham, and Warren (2021).
Isomorphisms of quadratic quasigroups
Published in Proc. Edinburgh Math. Soc. 66 (2023), 1085-1109
• View Publication
• BIB
Let $\mathbb{F}$ be a finite field of odd order and $a,b\in\mathbb{F}\setminus\{0,1\}$ be such that $χ(a) = χ(b)$ and $χ(1-a)=χ(1-b)$, where $χ$ is the extended quadratic character. Let $Q_{a,b}$ be the quasigroup upon $\mathbb{F}$ defined by $(x,y)\mapsto x+a(y-x)$ if $χ(y-x) \ge 0$, and $(x,y)\mapsto x+b(y-x)$ if $χ(y-x) = -1$. We show that $Q_{a,b} \cong Q_{c,d}$ if and only if $\{a,b\}= \{α(c),α(d)\}$ for some $α\in \textrm{aut}(\mathbb{F})$. We also characterise $\textrm{aut}(Q_{a,b})$ and exhibit further properties, including establishing when $Q_{a,b}$ is a Steiner quasigroup or is commutative, entropic, left or right distributive, flexible or semisymmetric. In proving our results we also characterise the minimal subquasigroups of $Q_{a,b}$.
Unique-Neighbor-Like Expansion and Group-Independent Cosystolic Expansion
In recent years, high dimensional expanders have been found to have a variety of applications in theoretical computer science, such as efficient CSPs approximations, improved sampling and list-decoding algorithms, and more. Within that, an important high dimensional expansion notion is \emph{cosystolic expansion}, which has found applications in the construction of efficiently decodable quantum codes and in proving lower bounds for CSPs.
Cosystolic expansion is considered with systems of equations over a group where the variables and equations correspond to faces of the complex. Previous works that studied cosystolic expansion were tailored to the specific group $\mathbb{F}_2$. In particular, Kaufman, Kazhdan and Lubotzky (FOCS 2014), and Evra and Kaufman (STOC 2016) in their breakthrough works, who solved a famous open question of Gromov, have studied a notion which we term ``parity'' expansion for small sets. They showed that small sets of $k$-faces have proportionally many $(k+1)$-faces that contain \emph{an odd number} of $k$-faces from the set. Parity expansion for small sets could be used to imply cosystolic expansion only over $\mathbb{F}_2$.
In this work we introduce a stronger \emph{unique-neighbor-like} expansion for small sets. We show that small sets of $k$-faces have proportionally many $(k+1)$-faces that contain \emph{exactly one} $k$-face from the set. This notion is fundamentally stronger than parity expansion and cannot be implied by previous works.
We then show, utilizing the new unique-neighbor-like expansion notion introduced in this work, that cosystolic expansion can be made \emph{group-independent}, i.e., unique-neighbor-like expansion for small sets implies cosystolic expansion \emph{over any group}.
Double Balanced Sets in High Dimensional Expanders
Recent works have shown that expansion of pseudorandom sets is of great importance. However, all current works on pseudorandom sets are limited only to product (or approximate product) spaces, where Fourier Analysis methods could be applied. In this work we ask the natural question whether pseudorandom sets are relevant in domains where Fourier Analysis methods cannot be applied, e.g., one-sided local spectral expanders.
We take the first step in the path of answering this question. We put forward a new definition for pseudorandom sets, which we call ``double balanced sets''. We demonstrate the strength of our new definition by showing that small double balanced sets in one-sided local spectral expanders have very strong expansion properties, such as unique-neighbor-like expansion. We further show that cohomologies in cosystolic expanders are double balanced, and use the newly derived strong expansion properties of double balanced sets in order to obtain an exponential improvement over the current state of the art lower bound on their minimal distance.