Related papers: Minimum Weight Flat Antichains of Subsets

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_{q}$, and let $\mathcal{L}(V)=\bigcup_{0\leq k\leq n}\left[V\atop k\right]$ be the set of all subspaces of $V$. A family of subspaces $\mathcal{F}\subseteq…

Asymmetric nuclear matter is investigated in the low density region below the nuclear saturation density. Microscopic calculations based on the Dirac Brueckner Hartree-Fock (DBHF) approach with realistic nucleon-nucleon potentials are used…

We prove a continuous Freiman's $3k-4$ theorem for small sumsets in $\mathbb{R}$ by using some ideas from Ruzsa's work on measure of sumsets in $\mathbb{R}$ as well as some graphic representation of density functions of sets. We thereby get…

It is still open whether there exist infinitely many Fermat primes or infinitely many composite Fermat numbers. The same question concerning the Mersenne numbers is also unsolved. Extending some results from [9], we characterizethe the…

A resolving set for a graph $G$ is a set of vertices $Q = \{q_1, ..., q_k\}$ such that, for all $p\in V(G)$ the $k$-tuple $(d(p, q_1), ..., d(p, q_k ))$ uniquely determines $p$, where $d(p, q_i)$ is considered as the minimum length of a…

We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size…

Let R > S be finite Frobenius rings for which there exists a trace map T from R onto S as left S modules. Let C:= {x -> T(ax + bf(x)) : a,b in R}. Then C is an S-linear subring-subcode of a left linear code over R. We consider functions f…

Given a family $\mathcal{F}$ of subsets of $\{1,\ldots,m\}$, we try to compute the least natural number $n$ such that for every function $S:[\aleph_n]^{<\omega}\longrightarrow [\aleph_n]^{<\omega}$ there exists a bijection…

A $k$-spanner of a graph $G$ is a sparse subgraph $H$ whose shortest path distances match those of $G$ up to a multiplicative error $k$. In this paper we study spanners that are resistant to faults. A subgraph $H \subseteq G$ is an $f$…

In this work we will show that if $F$ is a positive integer, then the set ${\mathrm{Arf}}(F)=\{S\mid S \mbox{ is an Arf numerical semigroup with Frobenius number } F\}$ verifies the following conditions: 1) $\Delta(F)=\{0,F+1,\rightarrow\}$…

The finite Young lattice $L(m, n)$ is rank-symmetric, rank-unimodal, and has the strong Sperner property. R. Stanley further conjectured that $L(m, n)$ admits a symmetric chain order. We show that the order structure on $L(m, n)$ is…

We present a time-optimal deterministic distributed algorithm for approximating a minimum weight vertex cover in hypergraphs of rank $f$. This problem is equivalent to the Minimum Weight Set Cover problem in which the frequency of every…

Given a family $S$ of $k$--subsets of $[n]$, its lower shadow $\Delta(S)$ is the family of $(k-1)$--subsets which are contained in at least one set in $S$. The celebrated Kruskal--Katona theorem gives the minimum cardinality of $\Delta(S)$…

Let F be a finite union-closed family of sets whose largest set contains n elements. In \cite{Wojcik92}, Wojcik defined the density of F to be the ratio of the average set size of F to n and conjectured that the minimum density over all…

For applications to cryptography, it is important to represent numbers with a small number of non-zero digits (Hamming weight) or with small absolute sum of digits. The problem of finding representations with minimal weight has been solved…

We prove that if $N\ge 2$ and $\alpha: F_N\to \pi_1(\Gamma)$ is a marking on $F_N$, then for any integer $r\ge 2$ and any $F_N$-invariant collection of non-negative integral "weights" associated to all subtrees $K$ of $\widetilde \Gamma$ of…

Cylindrical Algebraic Decomposition (CAD) algorithms typically produce a decomposition adapted to a finite family of semi-algebraic sets $\mathcal{F}$ (i.e. every member of $\mathcal{F}$ is a union of cells). Different algorithms may…

In this paper, we study product-free subsets of the free semigroup over a finite alphabet $A$. We prove that the maximum density of a product-free subset of the free semigroup over $A$, with respect to the natural measure that assigns a…

For a fixed finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem asks, given an $n$-vertex input graph $G,$ for the minimum number of vertices that intersect all minor models in $G$ of the graphs in ${\cal F}$. by…

In this paper we study certain fundamental and distinguished subsets of weights of an arbitrary highest weight module over a complex semisimple Lie algebra. These sets ${\rm wt}_J \mathbb{V}^\lambda$ are defined for each highest weight…